試論邏輯語言的發(fā)展.pdf

1、Y 。9 1 0 8 0 Z學(xué)校代碼：1 0 4 7 5學(xué) 號(hào)： 1 0 4 7 5 3 0 3 0 0 1 7河南大學(xué)研究生碩士學(xué)位論文試論邏輯語言的發(fā)展o n t h e D e V e l o p m e n t o f L o g i c a l L a n g u a g e專 業(yè)名專業(yè)代研究方籃向：墨垡堡堡級(jí)：三Q Q 三絲研究生姓名：塞塑導(dǎo)師姓名、職稱：奎塑耋絲完成 日 期：二O o 六年五月論文主題詞：邏輯／半形姒匕語言

2、／j l ；黼言A b s t r a c tL 0 9 i ci sc l o s e l y r e l a t e dw i 血l a n g u a g e i ns of 打a si th a si t so w n l i n g u i s t i cm e a l l so fc o m m u n i c a t i l l gi d e a s ．A st h ef o u n d e ro f L o g i c

3、，A r i s t o t l es t a r t e dt ou s e a k i I l do ff o m a ll a Ⅱg l 】a g e w h i c hw a sd 甜v e d 丹o ma n a t 【l r a l l a n g u a g eb ya d d i n g s o m es 逸n a l s w i t hs p e c i a l m e a n i n g ．1 1 1 Ⅱ1 e 17

4、 mc e n t l l 珥G e Ⅱn a n p h i l o s o p h e r a n d l o g i c i a n G o t t 銜e dW i l h e l mL e i b n i zb r o u 曲tan e w 1 i f e t o m el o g i c a l l a n g u a g eu s e db yA r i s t o t l e ．H eb e l i e v e dt h

5、a ti t w a s n e c e s s a r y t oe s t 曲l i s ha c o m m o n l o g i c a ¨a n g u a g es oa st om e a s u r el o g i c a ld e b a t e s w i t l lm a m e m a t i c s ．H e p u t f o n v a r dt w o b a s i ci d e a so

6、 f m a 也e m a t i c a l1 0 9 i ct o c o n s 仃u c t f o n I l a l 1 a n g u a g e a I l d f b l l l l d c a l c u I u s ．h 1 t h e m i d - 1 9 t h c e n t u ⅨE n g l i s hm a t h e m a t i c i a nG e o 唱eB o o l ef o u n

7、d e d al o g i c a la l g e b r a ，r e a l i z i n gL e i b n i z ’sp m p o s a Ii nt l l e m a i n ．s o o n 啦e r ，G e r I 工1 a n1 0 9 i c i a l la 1 1 dp h i l o s o p h e rG o m o b F r e g ef o u n d e daf o r n l a l

8、1 a n g l l a g ei 1 1 h i sw o r k “C o n c e p ta I l d C h a r a c t e r ，’．I ti I l l p r o v e d 山ee X p r e s s i o no f G o t t l o bF r e g ea 1 1 dd e v e l 叩e dt h ec a l c u l a b l es y s t e mo f M a t h e m

9、 a I i c a l L o g i c ．A f } e r l h i s ，A m e r i c a I lL o g i c i a nK l l nG o d e Ip r o v e d t h ec o m p l e t e n e s s 也e o r yo f p r e d i c a t ec a l c u l u s ．T h i sm e a n sm e c o m p l e t i o no f

10、 m e b a s e o f M o d e m L o g i c ．B a s e do n t | l e d e v e l 叩m e n to fH i s t o r yo fW e s t e mL o g i c ，m y 也e s i sg t I l d i e s t h ed e v e l o p m e n to fl o g i c a l I a n g u a g e 仔o mm eh a l f

11、f b n n a l l a n g u a g et om ea b s o l u t ef b r n l a ll a l l g u a g e ．M a n y p e o p l ee n g a g e dm t h es t I l d yo f L o g i ca n d L a n g u a g e w 蛆t t or e a db o o k sd e v o t e dt of 0 I m a ll o

12、g i c a ll a l l g u a g ea b o u t H i s t o 巧o f W e s t e ⅢL o g i c ．B u t l h e yc a l l 0 n I yf i n dt h e s e s ．n e r e f o r e ，1w 趾t t o s m d yt h e d e v e l o p m e n to fL o g i c 舶m u s i n g n a t I l r

13、a ll a n g 【l a g e ，h a l ff b n T l a l1 a n g l l a g et of b m a l l a n g I l a g e ．Ih o p em y t l l e s i s w i l lc o n 仃i b u t et om e s t u d yo f 也e d e V e l o p m e n t o f l o g i c1 a n g u a g ei I l C