专名之成为问题在语言哲学中由来已久。一个多世纪以来，哲学家对专名问题保持了强烈而持久的兴趣。这首先是因为，专名处于语言哲学的核心位置，因为语言哲学的基本问题就是语言与现实的关系问题，而专名正是考察这种......
在目前的文化氛围下，逻辑学不是显学，在某种意义上已退居边缘，但逻辑学界的同仁仍在各自的领域内埋头工作，认真钻研，在2005年取得了不俗的成绩，主要体现在以下方面：一、与国际逻辑学界的交往日趋活跃，其研......
值此纪念金岳霖先生诞辰110周年之际，本文拟就金先生的悖论观作进一步探讨，以期引起更深入的研究。一、悖论研究的历程金岳霖是中国最早系统深入地探讨逻辑哲学问题的哲学家和逻辑学家，也是融会中西哲学并在中国......
经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑？逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代，但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下，数学基础的研究任务不再是为数......
受“弗雷格之谜”(Frege'sPuzzle)的启发，克里普克(SaulKripke)把“信念之谜”(Puzzleofbelief)当作真正的问题提了出来，这个“信念之谜”不仅涉及同一替换律、信念、意......
我在这里捍卫的观点是（我认为这也是皮尔士的观点），形而上学需要以逻辑学为基础，而数学则不需要。根据皮尔士的观点，形而上学非常依赖逻辑学。不了解逻辑规则的形而上学家必定会误入歧途，因为他很容易痴迷于自己......
施太格缪勒在《当代哲学主流》一书中曾经这样描述过现代逻辑和现代科学理论的研究状况：“近几十年来，在研究形式逻辑的过程中，这样一种信念变得越来越强烈了，即，只有当所研究的对象不是物质的东西或思想的东西—......
如果把全球化的世界比作一座大厦，那么，它的钢筋骨架就是现代科学技术。例如，没有计算机科学和以此为基础的网络技术，全球化是不可设想的。如果说“英特耐雄纳尔就一定要实现”尚是一个理想，那么“英特耐特就一定......
为了反驳把名称在语义上等同于摹状词的描述论，并论证他本人的“名称是严格指示词，大多数摹状词是非严格指示词”的观点，克里普克提出了3个论证：认知论证，语义论证和模态论证①。其中，模态论证可以概述如下：P......
一、描划边界在古代，逻辑产生自两个源头：(一)对存在于论辩(dialectical)传统中的真正论证的研究；(二)对用于组织科学探究且基于公理的证明模式的研究。历经随之而来的数个世纪，这门学科变得越来......