形式逻辑(名学论文

[摘要]“论辩充分性”标准是当代论证评估理论的一个新进展。它通过对论辩术理论视角的借鉴与整合，从而成功突破了仅关注“前提—结论间推论关系”的传统论证评估维度。论辩充分性标准要求...

［摘要］“真”这个词有谓词和算子两种用法，它们既有联系又有区别。“真”在概括中的用法是其谓词用法，而在T-模式中的用法是其算子用法。两种用法在一定条件下可以等价转换，但并非所有...

摘要：博弈论在多大程度上可从严格的贝叶斯式理论或决策论的角度推演出来，是获得统一的实践理性理论的唯一途径。但实际上并不存在这样的推演。博弈论中混杂相间的行动理性和认知理性有严格...

摘要：本文考察金岳霖如何接受、推进罗素的逻辑分析方法并加以反转式运用，构建一种道论新形上学，而此种新形而上学如何能够应对反形而上学的诸多诘难。完整的逻辑分析法包括狭义逻辑分析和...

摘要：括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同，它是一种整体表示法。以命题逻辑的形式语言为例，可以证明括号表示法的唯一性定理。在...

摘要：随着广义量词理论的兴起和发展，逻辑学家们开始研究比传统三段论更为复杂的广义三段论及其有效性。在广义量词单调性的基础上，给出十二个有效的广义三段论推理模式及其相应的有效的广...

【摘要】相容选言命题断定了其选言支可以同时为真，而选言命题没有对其选言支可否同时为真做出断定；判断选言命题的选言支可否同时为真的标准是思维的具体内容而不是思维的形式，逻辑联结词...

摘要：我们可以将类比推理的研究进路粗略地分为两类，一类是形式的，一类是实质的。类比的形式进路是目前占主导的研究范式，但这条研究进路存在一定的问题。诺顿提出了一种实质归纳理论，该...

摘要：存在预设在经典逻辑中有着重要的地位。存在预设失效了的逻辑系统就会成为一种自由逻辑系统，不得不面对空名与真值间隙问题。本文基于这些自由逻辑系统讨论了如何为存在预设失效提供一...

摘要：纯粹归纳逻辑是卡尔纳普进路归纳逻辑的一种复兴，其基本的目标是把归纳当作数理逻辑的一个分支来研究。在纯粹归纳逻辑的框架下，类比推理被建立在一阶逻辑的基础之上，其理论的核心是...

【摘要】面对说谎者悖论的挑战，极小主义真理论以真谓词以及意义使用论为基础，以基命题作为甄别标准，通过限定等值模式的可接受实例，从而达到避免说谎者悖论的目的。为了弥补无基命题产生...

摘要：“可设想性蕴涵可能性”论题（下简称为CP论题）一直以来被认为是可靠的理论假说。尤其是经过查莫斯（D.Chalmers）利用其二维语义理论消除了来自克里普克式后天必然语句的...

摘要：“类”判定决定了“类”范畴，对“类”判定过程及特征的分析，有利于揭示中国“类”范畴有别于西方“类”范畴的原因。中国传统思维方式主要是关联性思维，关联性思维离不开想象，“类...

摘要：非精确概率逻辑是经典命题逻辑的扩张，因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程；融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词...

摘要：逻辑地看，批判性思维主要表现为通过对日常生活、学科领域或公共空间中的实质论证进行识别、解释、分析、评估与建构来理性地决定相信什么或做什么。批判性思维有规则可循，但不能还原...

·科学技术的哲学理解·摘要：按照对“真”的结构分析，真理论可分为：内在论、符合论、融贯论和紧缩论。这四种方案各有其适用范围，但经过深入研究发现，除符...

摘要：使用“事实”概念的传统符合论遇到了很多严重的困难，主要是难以说清楚“事实”概念以及命题如何与事实“符合”。这不意味着要完全放弃传统符合论，转而求助某种其他形式的真理论。为...

摘要：诺顿提出了一种新的归纳理论：实质归纳理论，力图解决恼人的休谟问题。他认为在形式归纳理论中，归纳推理的有效性源自普遍推理模式。而在实质归纳理论中，归纳推理的有效性依赖实质事...

［摘要］皮尔士认为溯因是引入新观念的唯一推理类型，也是一种广泛适用的科学方法论。生成性解释、辩护性解释和追求性解释是溯因推理的三种解释，凸显了它在科学探究中的重要作用。溯因存在...

按照哲学家卡尔·波普尔的观点，科学理论和人类所掌握的一切知识，都不过是推测和假说。科学理论不能够被证实，但可能被证伪。例如，人们在观察到100只白天鹅后提出假说：...