弗雷格求真思想的启迪.pdf

摘要自古希腊以来，追求真理就一直是逻辑学的一个传统目标亚里士多德是传统逻辑的创始人弗雷格，德国著名的数学家，逻辑学家，是现代数理逻辑的创始人作为两代逻辑研究的大师，他们对于真理问题都有自己独特的理解本文试图从亚里士多德的传统真理观入手，并将其作为探讨弗雷格真理观的一个基准和角度，进而阐述和评价弗雷格的独特求真观首先，本文从介绍亚里士多德的真理观入手他作为真理符合论的代表，从传统认识论出发对于真理的定义和检验标准给出了明确的回答然而他提出的四谓词理论和建立的三段论演绎系统体现了现代逻辑的思想，孕育了现代形式公理体系的萌芽其次，本文详细阐述了弗雷格的真理观弗雷格继承了亚里士多德传统逻辑的公理化思想，摒弃传统认识沦的内容，从语言出发，运用逻辑分析方法对句子进行分析，在较完全的意义上建构了逻辑演算的理论体系——一阶谓词演算系统和量词理论，真正实现了逻辑数学化，迈出了数理逻辑发展至关重要的一步最后，介绍了弗雷格的独特真理观的意义弗雷格打破了传统逻辑的体系结构，建立了现代逻辑研究体系，开创了对现代逻辑的研究而且改变了哲学研究的中心，开创了分析的时代，对现代分析哲学，语言哲学和逻辑学产生了深远的影响。

通过本文介绍，笔者旨在强调不断重视现代逻辑的重要性和必要性，呼吁我国高校哲学系应该特别重视现代逻辑课程的设置、时间的安排，和师资的培训关键宇：哑里士多德；弗雷格；真；真理A b s t r a e tS i n c ea n c i e n tG r e e c et h et r u t ho fS e a r c h i n ga l w a y sw a sat r a d i t i o n a lg o a li nl o g i c ．A r i s t o t l ew a st h ef o u n d e ro f t r a d i t i o n a ll o g i c ，a n dG F r e g e ，af a m o u sm a t h e m a t i c i a no fG e r m a n ，w a st h ef o u n d e ro fm o d e mm a t h e m a t i c a ll o g i c ．B o t ho ft h e m ，a st w og e n e r a t i o no fl o g i c a lr e s e a r c hm a s t e r ，h a dt h e i ro w nt m i q u eu n d e r s t a n d i n gt ot h e t r o t hq u e s t i o n ．T h i sp a p e rt a k i n gA r i s t o t l e ’St r a d i t i o n a lt h e o r yo ft r u t ha sad a t u ma n dt h ea n g l et od i s c u s sF r e g e ’St h e o r yo f t r u t h ，a t t e m p t st oi n t e r p r e ta n de v a l u a t et h eu n i q u et h e o r yo f t r u t ho f F r e g e ．F i r s t ，t h i sp a p e rp r e s e n t sa ni n t r o d u c t i o no fA r i s t o t l e ’St r a d i t i o n a lt h e o r yo f t r u t h 。

A r i s t o t l e ，a st h er e p r e s e n t a t i v eo f c o r r e s p o n d e n c et h e o r yo f t r u t h ，h a sp r o d u c e dt h ee x p l i c i tr e p l yr e g a r d i n gt h et r o t hd e f i n i t i o na n dt h ee x a m i n a t i o ns t a n d a r d ，a n dt h ef o u rp r e d i c a t e st h e o r i e sa n dt h es y l l o g i s md e d u c t i o ns y s t e mp r o p o s e db yh i mh a s m a n i f e s t e di nt h em o d e ml o g i c a lt h o u g h t S e c o n d l y ，t h i sa r t i c l ee l a b o r a t e sF r e g e ’st h e o r yo ft r u t h ，F r e g e ，a f t e ri n h e r i t i n gA r i s t o t l e ’St r a d i t i o n a ll o g i ca x i o m a t i ct h o u g h ta n da b a n d o n i n gs o m ec o n t e n t so ft h et r a d i t i o n a le p i s t e m o l o g y ，h a sa n a l y z e dt h es e n t e n c eu s i n gt h el o g i ca n a l y s i sm e t h o d ，a st oc o n s t r u c tt h el o g i c a lf i r s t - o r d e rp r e d i c a t ec a l c u l u ss y s t e ma n dt h eq u a n t i f i e rt h e o r yi nt h ec o m p l e t es i g n i f i c a n c e ，w h i c hh a sr e a l i z e dt h el o g i c a lm a t h e m a t i c st r u l y ，a n dt a k e nt h ev i t a ls t e pi nt h ed e v e l o p m e n to fm o d e mm a t h e m a t i c a ll o g i c ．F i n a l l y ，i ti n t r o d u c e dt h es i g n i f i c a n c eo fF r e g e ’Su n i q u et h e o r yo ft r u t h ．H eh a sb r o k e nt h et r a d i t i o n a ll o g i cs y s t e ms t r u c t u r e ，a n de s t a b l i s h e dt h em o d e r nl o g i cr e s e a r c hs y s t e m ．W h a t ’Sm o r eh eh a sc h a n g e dt h ep h i l o s o p h yr e s e a r c hc e n t e r ，a n ds t a r t e da na n a l y s i se r a ，w h i c hh a dap r o f o u n di n f l u e n c eo nt h em o d e ma n a l y s i sp h i l o s o p h ya n dt h el a n g u a g ep h i l o s o p h y ．A c c o r d i n gt ot h i sp a p e r , t h ea u t h o ra i m st os t r e s st h ei m p o r t a n c ea n d 馥en e c e s s i t yo f m o d e ml o g i cu n c e a s i n g l y ．K e y w o r d s ：A r i s t o t l e ：F r e g e ；t r u t h引言引言无论是在哲学起源的古希腊，还是在各学科独立门庭的现代，从亚里士多德直至弗雷格，哲学大师们都在重复着一个问题，即求真——这一哲学的永恒追求。

求真不仅是西方哲学史的主线，也是理性与智慧的集中体现然而在现代逻辑哲学的研究中，经常会见到“逻辑真”和“逻辑真理”两种不同的表述因此在研究真理问题方面，有必要对“真”和“真理”这两个概念做一个简要的表明在现代哲学中，特别是分析哲学和语言哲学中，“真”是一个十分重要的概念围绕它的讨论主要是从弗雷格、罗素等人的思想中产生出来的它的核心是探讨自然语言中的“这是真的”中的“真的”是什么意思? “真理”与“真”是否相应? 也就是说，“真理”是否表达了“真的”涵义? 比如，塔尔斯基在《形式化语言中真这一概念》这篇论文中明确地说，该文“几乎完全只考虑一个问题：真的定义它的任务就是参照一种给定的语言，为‘真句子’这个词构造一个实质适当和形式正确的定义”显然他所探讨的“真”是“真的”或“是真的”这种意义上的东西他关于“真”这- - N 词的研究不仅十分出名，而且形成了当代语言哲学奠基性的重要成果而根据马克思主义的认识论，真理是对客观事物及其规律的正确认识这种认识，即思想或理论，是观念性的东西，需要用规律性的真语句来表达但对什么是真语句，逻辑语义学和哲学认识论则是从不同方面，用不同方法来进行研究的因此，“真值的语义定义和真理的认识论定义是根本不同的”。

@ 这样有人认为，现代语言哲学家主要是从现代逻辑出发，并且主要是从语言出发来讨论“真”，因而的确可以说他们探讨的是与“真”有关的东西，但是在传统哲学中，哲学家们却不是从逻辑和语言出发，因而讨论的不是与“真”有关，而是与“真理”有关的东西本人认为，理解真与真理问题，不能仅仅停留在字面上意思，而应该深入到西方哲学史上那些伟大的哲学家的著作中去，深入到他们思想的相互联系中去寻求理解亚里士多德不仅是形而上学，而且也是逻辑学的创始人他的传统真理观中不仅有着传统认识论对于真理的理解，还闪耀着现代逻辑中“必然地得出”的思想光芒本文试图从亚里士多德的传统真理观入手，并将其作为探讨弗雷格真理观的一个基准和角度，进而阐述和评价弗雷格的独特求真观最后通过以卜分析强调学习现代逻辑的重要性和必要性王路．《“是”与“真”Ⅺ人民出版社，2 0 0 3 年，第3 5 页张家龙．《数理逻辑发展史》社会科学文献出版社，1 9 9 3 年，第3 9 5 页．1 一弗雷格求真思想的宿迪一、亚里士多德的逻辑观和逻辑真思想1 ．1 亚里士多德的逻辑观一一必然地得出亚里士磐德是逻辑的刨始人，他的逻辑思想主要攘中体现在他的《工具论》中。

该书主要毅浆了《蓬踌籀》、《舞器簇》、《藏分辑篱》、《意分辑藉》、《诡辩篝》、《辩谬篇》等六部名篇在遮越著作中，姓熙士多德并没有使用“逻辑”这个词，渐使用的术语是“分析”、“推理”或“三段论”由于逻辑主要是与必然性的推理礴荧，溺鼗我囊蓠惫讨论委墨士多德对“燕瑗”酌定义德在毽篷《谂辫籀》耪《蓠努辑篇》两部著作中有过明确的寝达推理是一种论证，其中有些被设定为前提，另处的判断则必然她出它们发生啦“三段沧是一干1 ，论i 正，其中只要确藏某些论断，菜些异于它们的事物便可以必然地从如此确定的论断中推如所谓‘如此确定的论断’，我的意思愚指结论通过它翻两褥出骛东魏，蓑是说，不嚣。