逻辑真理为什么是永真的？

本文通过对因果条件句和实质蕴涵句的比较分析，表明了对同一命题事实真理观和逻辑真理观可有不同的理解：在此工作的基础上，本文根据对逻辑真理本性的分析，进而论证了，与传统观点所认为的不同，有效的演绎推理在其逻辑内容和事实内容方面都是可扩大的：因此逻辑推理的有效性并非必然地导源于其同义反复性。     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

从分析命题到逻辑真理——论弗雷格对康德分析命题的拓展

本文揭示了弗雷格逻辑主义的核心问题如果拓展康德的分析真理到范围更广的逻辑真理。能否涵盖某一范围的数学真理?弗雷格相信通过对逻辑真理范围的扩展,有可能对算术真理进行重新定位。弗雷格是从证明论的角度拓展康德的分析命题的。此外,本文通过对函数连续性概念的详尽分析,例示了弗雷格的概念词的析出法,指出康德概念论的局限在于如下一个简单的事实如果约束变元的值域是无限的,我们不可能把包含量词的表达式改写成合取范式或析取范式。     

自然主义视野中的逻辑必然性

从自然主义的视角出发,科学知识社会学的早期代表人物布鲁尔把逻辑知识等同于集体共享的推理模式,探求逻辑知识的自然与社会基础。在他看来演绎推理是建立在人类生物性基础上的一种社会惯例,逻辑必然性是一种道德必然性,逻辑的强制力来自于社会。逻辑规则作为社会惯例,是自我指涉、自我创造、自我证立的。     

存在问题的逻辑哲学省察

本文试图立足于现代逻辑哲学,从三个方面对存在问题作一初步的介绍与讨论：作为真实个体的存在与作为思想对象的存在;隐含的存在与明示的存在;传统逻辑的存在与现代逻辑的存在。     

作为反馈机制的真理概念--兼论戴维森的真理理论

戴维森的真理-意义理论基于对符合论与融贯论两种理论传统的内在缺陷的超越以及对奎因、塔斯基等人的技术手段的拓展.然而戴维森的理论内部存在技术上和哲学上两方面的问题.本文在继承和超越戴维森理论的基础上提出一种理解"真理概念"的视角,继承之处在于把真理概念放在交往、解释活动中,超越之处在于把真理概念作为交往、解释活动中的反馈中介.作为反馈机制的真理概念可以作为一种真理理论的起点.     

否定真理与不可满足性——解决莫尔纳问题的新尝试

莫尔纳问题使得否定真理以及相关主题再次成为了学界的争议焦点.从哲学史的角度来看,它并非一个全新的问题,罗素在逻辑原子主义时期就思考过类似的问题.尽管哲学家对莫尔纳问题从各个角度做出了回应,但是这些回应都有一些不足之处.从逻辑形式来看,否定真理主要可分为两类,一类是断言虚构或者主观创造的对象不存在的命题,另一类是断言某个...     

理性、真理与科学进步

理性和真理是西方科学哲学的基本概念，也是我们理解科学进步的基础。逻辑经验主义(包括波普尔)主要在理性的基础上讨论科学进步问题，他们把理性形式化，把真理等同为理由，从而使真理成为虚幻。社会历史学派的科学进步观疏远了理性，同时拒绝了真理。科学实在论者夏佩尔和普特南试图揭示理性和真理的内在关系，并在二者统一的基础上讨论科学进步，为科学进步问题的研究提供了有益的尝试。     

哲学逻辑与逻辑哲学

本文对哲学逻辑与逻辑哲学这两门新兴学科进行了较为详细的介绍与讨论，作者认为：（1）尽管“哲学逻辑”在英美哲学界与逻辑界具有不同的涵义，但我们宜在比较规范和合乎词义习惯的意义上使用“哲学逻辑”一词-用“哲学逻辑”指称不同于经典逻辑或标准逻辑的诸现代逻辑分支。（2）关于逻辑哲学，可以定义为研究逻辑特别是现代逻辑及其发展中的哲学问题的学科，这是一门介于元逻辑与语言哲学之间的学科。     

现代逻辑的几个重要成果以及所涉及的哲学问题（上）

现代逻辑是传统逻辑发展的最新阶段，是用形式化的方法研究思维的形式结构及其规律的学科。     

真理必要性论题的实验之争

传统知识的三元定义认为,确证、真理和信念是构成知识的三个要素.然而,有实证数据发现,对不真的命题,普通人也愿意归赋知识;针对知识概念的问卷也发现,普通的中国人不愿把真当作是知识的最重要的三个特征之一.实验研究似乎证明了真理非必要性论题."知识"概念的崇高地位,最新的实验证据以及"知道"的日常使用都为真理是知识的必要条件...     

在自然科学与哲学之间:现代逻辑方法的中介功能

现代逻辑方法是形式化的分析方法,是自莱布尼兹提出对传统逻辑进行形式化改造之后,经弗雷格把逻辑本身变成一个由公理和定理、规则构成的演绎体系的努力,由罗素这位现代符号逻辑的集大成者构筑而日趋成熟的。它体现着自然科学的发展进步,并开辟了哲学研究的新途径,将自然科学的研究成果及方法转换为推进现代哲学发展的新工具。逻辑方法历来都与自然科学、哲学有着密切的联系。在亚里士多德的逻辑体系中,就折射出具有演绎性质的古希腊几何学证明法,是这种关于证明的几何学为亚里士多德逻辑提供了蓝本。同时,早期的逻辑学还与哲学交织…     

现代逻辑的几个重要成果以及所涉及的哲学问题（中）

本世纪初，欧洲大陆有一座普通的别墅，热灰色的墙面隐没在郁郁葱葱的绿荫中，显得宁静而又庄重。布置不算精美的客厅中，放着一张古老和宽大的沙发，上面坐着一位头发灰白的绅士。在他面前的书桌上，整齐地叠放着一大堆书稿。他手中拿着一张信笺，深邃的目光已经离开了信纸，脸色显得疲劳而有点暗淡，眼眉阅显露出焦虑的神态。     

真理紧缩论与真理的规范性地位

长久以来,真理被认为是信念(断定)的规范。真理紧缩论由于认为真理概念仅仅是认可断定的装置,因而否认这一点。对于紧缩主义的立场,赖特提出了一个二难论证,认为紧缩主义本身是不一致的。要辩护紧缩主义,就不得不回应这一二难论证。但是,通过详细梳理紧缩主义者可能提出的回应方案,本文尝试论证,霍维奇保守的方案不是回应而是奖赏了赖特,而更激进的方案则面临严重的困难。     

Goedel对逻辑实证主义的批判

Goedel被看作维也纳学派共同体成员，生前从未发表过批判断逻辑实证主义的文字，但新近出版的《Goedel全集》第三卷中公布的一些资料使我们了解到他与维也纳学派观点的重大分歧。本文对Goedel的三篇手稿，特别是《数学是语言的句法吗？》一文中的观点以及他本人的论证进行分析，指出Goedel虽未提供令他自己满意的对于数学基础中的语言约定论的批判，但却指出了这种理论的内在矛盾，并提供了有力的论证。     

试析中国现代唯逻辑主义思潮

中国现代唯逻辑主义思潮是指中国现代时期（1919—1949）的一种文化现象,是西学东渐的产物,在文化启蒙与救亡的特殊背号下,使得“五四”以来知识分子一开始把目光投向逻辑的外部价值,把逻辑作为科学的重要内誊甚至作为科学,其价值在于成为解决政治、观念、转变学术研究等问题的手段或方法,而不是以逻辑自身的研究和发展为目的（当然也有逻辑学家进行深入的研究）。这样,逻辑就变成了解决社会危机、文化危机、学术转型的手段了。其特点是重视手段而不重目的、重宣传普及而不重研究、重其工具价值而忽视其本体研究。