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

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

从逻辑哲学看弗雷格的"真"理论

弗雷格的“真”理论主要包括真的范围、性质、表达、本体论地位、真与思想的关系以及真在逻辑中的地位等几个方面的内容，是一个系统的、全面的理论。它不仅直接为创立现代逻辑提供了哲学上的辩护，而且还为意义理论的创立提供了基本的概念和方法。因此，这个理论在弗雷格逻辑哲学中占有核心的地位；整个弗雷格逻辑哲学是围绕这个中心理论展开的。无论是从历史的维度看，还是从蓬勃发展的现实看，弗雷格的“真”理论对于现代逻辑与现代西方哲学都具有十分重要的意义。     

论分析命题和综合命题--从蒯因到克里普克

蒯因打破了传统的分析命题和综合命题的区分；克里普克提出了“先验偶然命题”和“后验必然命题”的存在，打破了原来以为先验命题一定是必然的，后验命题一定是偶然的这种传统的观点，这个现点是对蒯固观点的发展。我们认为，蒯因的观点有一定合理性，但他忽视了逻辑真理作为分析命题与综合命题的区分；克里普克对先验偶然命题的和后验必然命题的论证与他的理论体系是融贯一致的，但他对严格指示词的证明是不充分的。当然，蒯因和克里普克现点的提出是分析哲学发展中的重要的里程碑，极天地推动了分析哲学在当代的发展。     

数学工具主义者对弗雷格问题的认识论分析

在数学哲学实在论和反实在论对抗的大背景下,德特勒夫森复活了希尔伯特的有限主义。他把自己的思想称为希尔伯特工具主义,这是一种改良版的实在论。通过对弗雷格问题的解决,我们看到希尔伯特工具主义者是如何既承认抽象对象的存在,又发展出关于抽象对象的认识论。通过在有限思维中加入抽象的元素,他解决了抽象对象存在的问题。通过复制主义策略和证明模式认识论,他解决了认识抽象对象的问题。这种实在论既不同于弗雷格的实在论,也不同于菲尔德的唯名论,它是一种介于实在论和唯名论间的新形式。     

弗雷格与达米特意义理论的特征差异及其根源--从逻辑哲学的观点看

弗雷格意义理论与达米特意义理论是两种不同形态的意义理论。论文从理论构建的出发点、理论核心概念——“真”概念的诠释、认知因素在意义理论中的地位等三个方面分析了二者差异的根源，以此表明“真”概念是意义理论的核心概念，“真”概念从实在论的形态到反实在论形态的转化导致了意义理论从实在论形态到反实在论形态的转型，由此生动昭示和例证了当代意义理论研究中的认知转向。     

新康德主义与逻辑经验主义对广义相对论哲学意义的解读

作为一项重要的革命性的物理学理论,广义相对论不仅对于物理学研究具有重要意义,还得到了来自新康德主义、逻辑经验主义等不同哲学流派的哲学家的广泛关注。文章概述了以卡西尔为代表的新康德主义、以赖兴巴赫和石里克为代表的逻辑经验主义对广义相对论的哲学意义的不同解读,认为他们均运用广义相对论为自己的哲学立场服务。康德对爱因斯坦的影响是相当间接的,康德哲学与广义相对论并不相容。对广义相对论哲学意义的解读,构成了逻辑经验主义产生的重要的历史背景。     

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

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

群体对一个命题可能的知道状态分析

一个n人组成的群体对一个“外部世界”的命题p有2“个可能的“知道”状态，但当我们要分析群体成员之间“相互知道”或“相互不知道”p的关系时，我们发现，该群体有无限多个可能的认知状态。公共知识为群体中对某个真的事实知道及相互知道的关系。公共知识的递归定义为：一个命题是公共知识，当且仅当每个成员知道该命题，并且“每个成员知道该命题”是公共知识。群体对命题p的公共知识存在级剐之分。一旦一个群体有低级的公共知识，那么它必定有高级的公共知识；并且如果一个群体有一个公共知识，它必定有无穷多个公共知识。群体的可能的公共知识状态也是无限多的。“D是公共知识”是第0级的公共知识，它只是无限多的公共知识状态中的一种。     

一个灵长类动物学家与康德主义者的对话——对人类道德独特性的反思

灵长类动物学家德·瓦尔和康德主义哲学家科斯嘉德之间的一场争论表明试图论证强调人类道德具有进化论的根基并不必然破坏道德的独特性。进而,被科斯嘉德认为是规范性的主要源泉的反思性的自我意识也可以在其他灵长类动物身上找到某些起源。认知性的移情以及其他个体间的能力是自我反恩的基础。但是,在动物世界中找到人类道德的构成性要素并不意味着伦理学应该被生物学化;相反,道德的“突现”特征要求我们对人类的整个道德系统在其不同的层次上从不同的分析模型出发来进行研究。     

从"勇气"到"忧惧"——论康德与约纳斯德性观的张力

"勇气"和"忧惧"的词义几乎相反,在康德和约纳斯伦理学中,分别被称为真正的德性和智慧.康德的"勇气"作为道德力量,不但内在于实践理性,也作用于知性的自我启蒙,但不负责在效果上的善恶.为了回应康德确立的伦理传统,约纳斯通过对海德格尔生存论与布洛赫"希望原理"的分析,使"忧惧"在技术时代具有了伦理功能.其至少从"人"的概念...     

关于归纳逻辑的若干问题——对现代归纳逻辑的回顾与展望

本通过从现代归纳逻辑的诸多问题中选出休谟问题、经验主义概率归纳逻辑、逻辑主义概率归纳逻辑、主观主义概率归纳逻辑、贝叶斯定理、无差别原则、相关变项法、非帕斯卡概率归纳逻辑、局部归纳逻辑与整体归纳逻辑等九个问题加以讨论,展示出现代归纳逻辑的发展脉络及其前景。笔认为,局部归纳逻辑在很大程度上是绕过谟问题以及其他一些疑难问题的,因而尽管它对于现代归纳逻辑的发展起了相当大的促进作用,但是过于宽泛的局部化     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。     

从"绝对命令"到"责任命令"——汉斯·约纳斯对康德道德哲学的反思

康德以"善良意志"为前提,以"绝对命令"为核心建构了他的实践哲学.由于康德在构建他的道德体系时,重视的是道德原则,忽略了一般的、操作层面上的道德规则的设计,从而导致了其"绝对命令"在道德实践活动中并不能像在理论活动中那样强大有力.而在当今科学技术全面统治的时代,康德的"绝对命令"被严重弱化,为此,德裔美籍哲学家汉斯·约纳斯从存在的根基着手对康德的"绝对命令"进行创新与扬弃,提出了适应新的技术时代要求的"责任命令".约纳斯的以"责任命令"为基础的责任伦理学把视野从人类的现在扩展到未来的地平线,扩展到自然界乃至整个地球生物圈,这样便从时间和空间两个维度拓展了康德的"绝对命令",进一步完善了康德的道德哲学体系.     

从"理性模型"到动物的"对象性价值"——康德环境哲学解读

从"善良意志"的先验性和属人性,到"人是目的"的"普遍的道德法则",再到动物只具有"对象性价值"和伦理学的排他性,这便是康德环境哲学的逻辑进路;把康德视为人类中心主义的奠基者而对其口诛笔伐,这是对康德哲学的形而上学误解;事实上,康德是非人类中心主义的极力反对者,却不一定是人类中心主义的积极倡导者。     

论奎因对分析-综合的批判

奎因对逻辑实证主义的分析命题与综合命题的区分进行了最实质的批判,引发了一场激烈的争论并导致了逻辑实证主义转向逻辑实用主义.奎因的批判引发的哲学界的反思直到现在仍有深远的意义.     

从科学逻辑到科学语用学--论科学解释模型的范式转变

科学解释从亨佩尔"演绎—规律"模型到范·弗拉森语用学解释模型的发展,显示出的是一种范式的转变,即从以语形和语义分析为基础的静态逻辑向以语用分析为基础的动态语境的变化,它深刻地反映了科学哲学的发展和演变路径,标明了语用分析方法作为一种普遍的方法论手段已全面地渗透于科学哲学理论的建构和发展中。     

逻辑分析可以取消形而上学么——论冯友兰对逻辑句法理论的批判

逻辑句法理论认为,假对象句子可翻译为句法句子,分析性的句法句子不涉及言语之外的对象,这样,看似表述某种知识的假对象句子就被取消了。形而上学命题多是看似表述某种知识,却无证实可能的假对象句子,因此,卡尔纳普拒斥作为知识形态的形而上学。为挽救形而上学危机,冯友兰对逻辑句法理论进行了批判:(一)"翻译"问题。假对象句子与句法句子间的翻译并非一贯,而是分三种情况,"同义"的句子可相互翻译和取消,"等义"的句子可相互翻译,但翻译不能取消原句子,"既不同义又不等义"的句子不能相互翻译和取消;(二)"指称"问题。假对象句子与句法句子在言语之外都有指称对象,前者的对象是共相,后者的对象是第一层次的语言。实际上,假对象句子和句法句子指称对象是否存在,是冯先生与卡尔纳普的根本分歧。从新理学角度看,这些指称对象存在,冯先生的批判确有道理,但逻辑句法理论也并不因此被完全否定。     

理论确证的分析真与整体论——从逻辑经验主义到格莱莫尔

自逻辑经验主义的确证理论产生以来,尤其是亨普尔的《确证逻辑研究》发表之后,确证逻辑所涉及的分析真与整体论等问题引起了许多逻辑哲学家的关注,以亨普尔为代表的观点受到了奎因的反驳,而80年代前后格莱莫尔等人又提出了批评与修正。...