塔爾斯基真之語(yǔ)義論研究

1、河南大學(xué)碩士學(xué)位論文塔爾斯基真之語(yǔ)義論研究姓名：閆小宇申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：郭橋20080601A b s t r a c tT h ei n V e s t i g a t i o nt o t 1 1 e c o n c e p to f t r u t h i s a I l i m p o r t a n tt r a d i t i o n a li s s u e i nt h ef i e l d s o

2、 fp 1 1 i l o s o p h y a n d1 0 9 i c ．M a n yp 1 1 i l o s o p h e r s a n d l o g i c i a n s a l l p r o V i d e dt h e i ru n j q u ei d e a Sa b o u t 齜．A ．T a r s k i r e p o r t e dt h a ta l t h o u 曲t h e m e a

3、 l l i n go f t h ec o n c e p to ft r u mi n c o l l o q u i a l l a n g u a g e s e e m st o b e q u i t e c l e a ra n di m e l l i g i b l e ，a l l a _ t t e m p t s t 0d e f i n et h i sm e a I l i n gm o r ep r e c

4、 i s e l yh a d1 1 i t h e r t o b e e nf m i t l e s s ，b e c a u s et h e yh a do f t e nl e dt op a r a d o x e sa r 】【d a n t i n o m i e s ．H ed e V e l o p e da n e w m e t l l o do f m so w n ，i nw h i c h h ep r

5、e s e n t e da i 1 1 c i s i V ee ) 【p l a n a t i o nf ．r o m t h ea n g l eo f V i e wo f s e m 觚t i c s ，a 1 1 dc o n s t n l c t e dt h es e m a l l t i c a l l yd e f i n i t i o n o f t r u m ．T h e S e m a I l t i

6、 c a l l y t h e o r yo f T n n h a n a l y s e sa c c u r a t e l y t l l ec o n c e p t i o no f 仇l t h ，a 1 1 di ti n c l u d e sa s 嘶e so fc o n c 印t s ，m e o r i e sa n di d e a S ，s u c h a st h eH i e r a r c h yo

7、 f L a l l g u a g e s ，T a r s 妯T h e o r e m ，s o m es e m a n t i c a l c o n c e p t s a I l d s o o n ，w m c h a r ei m p o r r t a n t p a r t si n d i s p e n s a b l yi nt h ec o n s t m c t i o no f t h es e m 鋤

8、t i c a ld e f i n i t i o no ft n m l ．T h es e m a n t i c a ld e f i n i t i o n o f 鼬 i s c o n s t n l c t e d w i t h t h e p o s t u l a t e s o f t l l e m a t e r i a l a d e q u a c yc o n d i t i o n ，t h ef o

9、 r m a l c o r r e c tc o n d i t i o na 1 1 dp h y s i c a l i s m ，w t l i c hs t a r t 行o m t h ec l a s s i c a lc o n c e p t i o no f ㈨，a 1 1 db 2 u s e s o nt h eH i e r a r c h yo fL a n g u a g e s ，a I l db r i

10、 n g st ob e a rm em e t h o d o f r e c 粥i o n ，a 1 1 dd e f - m e s t h ec o n c 印t i o no ft m t hi nV i r t u eo ft h ec o n c 印t i o no fs a t i s f - a c t i o ni I la s i m p l ef o r m a ll a n g u a g e —曲eL a n

11、 g u a g e o f m e C a l c u l u so f C l a S s e s ．T h ed e f i n i t i o nn o to I l l yr e s e r v e st h ei n t u i t i V em e a n j n go f 螄s t o t e l i a na n c i e n tc o n c e p t i o no ft n l t h ，b u ta V O

12、i d st h em e n a c eo f t h ep a r a d o xi ns e m 鋤t i c a l l yc l o s el a n g u a g e ，w h i c hc a nb er e g a r d e da Sa “s a t i s f ．a(chǎn) c t o 巧”d e f i m t i o no ft n I t hi n 讓屺7 I 缸s l d ’sm e 趾i n g ．T m st

13、h e r o ym c l u d e s t m ．e ea s p e c t so fc o n t e n t s ．F i r s t l y ，t h es e m a n t i c a lt h e o r yo f 伽l t hi sa e x p l a l l a t i o no fc o r r e s p o n d e n c ei na w e a k s e n s ei nt h ep 1 1 i