资源描述：
《逻辑哲学的基本问题与塔尔斯基的真理概念.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、暨南学报(哲学社会科学)..Vol16NO3第16卷第3期JOURNALOFJD日ANUNIVERSITY.1994年7月soPhy&SodalSciencesEdition1994(Philo)Jul逻辑哲学的基本间题与塔尔斯基的真理概念程仲棠.:提要逻辑哲学墓本问题的焦点在于逻辑真理是否反映现实与事实真理又有什么关.系?亚里士多德的真理符合论和莱布尼灰而至逻辑实证主义者所主张的逻辑真理先脸论代表了...历史上两种对立的看法塔尔斯基以亚氏的真理符合论为墓础构造了形式语言中的真理定义.建立了真理的语义学概念这个真理概念超
2、越了亚里士多德的片面性和莱布尼茨以后的唯心主..义对解决逻辑哲学基木问题作出了重大贡献关键词逻辑真理事实真理符合论先脸论必要条件充分条件,塔尔斯基(1902一1983)在逻辑领域的一个重大贡献就是建立了形式语言中的真理概念.这是一个语义学概念,但也涉及逻辑哲学的基本问题.本文的主旨就是试图在有关逻辑哲学基本问题的争论的历史背景中,揭示塔尔斯基的真理概念的深层意蕴.逻辑哲学原本是为了研究现代逻辑即数理逻辑的哲学问题,或者以现代逻辑作为解决哲学问题的工具而诞生于本世纪的一门新学科.但是,由于现代逻辑与传统逻辑有共同的研究对象
3、和共同的哲学问题,逻辑哲学的理论渊源与逻辑学的历史同样久远.逻辑哲学的基本问题就是逻辑与客观现实的关系问翘.这是历史上长期争论的问题,问题的焦点在于:逻辑规律即所谓逻辑真理是否反映客观现实?逻辑真理与所谓事实真理之间又有什么关系?逻辑学的始祖亚里士多德就探讨过逻辑哲学的基本问题,对于逻辑规律是不是客观现实.正确反映的问题作出肯定的回答他在《形而上学》中明确提出并详细论述了逻辑的基本规,:律矛盾律和排中律在谈到矛盾律的时候写道.事物不能同时存在而又不存在→“”,我们茸说起有些人不但自己主张同一事物可以既是而又非是还说这可让
4、世,,人公论事理确乎如此⋯⋯但我们现在认为任何事物不可能在同时既是而又非是.并且认为这原理能自明为一切原理中最是无可争论的原理←,,,在亚里士多德看来矛盾律首先是存在的规律它之所以能够成为逻辑思维的基本规律是因为它符合‘事理’,符合事物的“最是无可争论的原理”.,亚里士多德肯定了逻辑规律与存在规律的一致性其根据就是真理在于符合现实的理,.‘’,:论即所谓真理符合论他在上述著作中解释真与假这一对概念时写道、,,、..凡以不是为是是为不是者这就是假的凡以实为实以假为假者这就是真的↑↑,“:这就是亚里士多德的真理符合论塔尔斯基
5、把它归结为一句话语句之为真在于它与现.,,.实相一致↓亚里士多德对矛盾律和排中律的看法就是他的真理符合论的一个应用亚里,.,士多德的真理论可以说是唯物主义的一元论但是亚里士多德只强调了逻辑真理与存在,,.规律的一致性却忽视了它们之间的差别性也就是忽视了逻辑真理的特殊性亚里士多德哲学的片面性,终于引起人们对逻辑的真理性同样在于符合现实这一正确观点的怀疑..‘莱布尼茨说::首先对亚里士多德的真理一元论提出挑战的是莱布尼茨有两种真理推.’.,理的真理和事实的真理推理的真理是必然的⋯⋯事实的真理是偶然的〓他认为推理,“’.的真理
6、不象事实的真理那样依赖于经验它们的证明只能来自所谓天赋的内在原则⒈莱,“,,布尼茨关于事实的真理来自经验所谓推理的真理即逻辑真理则来自天赋的观点就成为真理二元论和逻辑真理先验论的一个起源.莱布尼茨发明的推理的真理和事实的真理的对立,在康德哲学中就演变而为分析判断和.,“综合判断的分歧康德认为一切来源于经验的判断都是综合判断;分析判断则是绝对独立”“’,,“于一切经验的知识即先天的知识O因为分析判断具有必然性而必然性正是经验永远,.,,“不能教给我的⒊在康德看来表示逻辑规律的判断就属于分析判断所以他断言:逻辑以,”.先天的
7、原理为基础逻辑的一切规律都能由这些先天的原理引导出来并被证明⒋,“’.“维特根斯坦把逻辑真理称为重言式(tautology又译为同语反复)他以重言式命题对于基’,‘本命题的所有一切真值的可能性都是真的0这一逻辑特性作为根据进而断言重言式既不,’,,“.,能为经脸所证实同样地不能为经验所否定O也就是说与现实没有任何描述关系0.’,“”.,可见它们是分析命题什么也没有说@后来重言式在另一个意义上被人们引人,,逻辑语义学当作是永真式的同一概念;但不管怎样维特根斯坦对于重言式与现实之间的关系的解释却是错误的.逻辑实证主义者则进一
8、步把康德关于分析判断和综合判断的区分推向极端.对于康德的“’,.,先天综合判断的提法他们嫌其不够彻底而加以抛弃在他们看来凡是先天的都是分析,.,,的;反之凡是分析的也都是先天的被康德归人先天综合判断的数学真理在他们看来同,.,逻辑真理一样是分析的和先天的0经过这样的修正逻辑实证主义者确立了一个基本的哲.“::学信条分
