一、悖论的基本性质和各种主要的解悖方案这里所说的“悖论”，仅指逻辑悖论。悖论这个词在英文中主要有两个称呼，一个是paradox，另一个是antinomy。“paradox”是指与通常见解相抵触的理论、......
正则语言类在并、连结和星号运算下是封闭的。其证明采用的都是非确定型有穷自动机（简记作NFA）理论。M.Sipser在《IntroductiontotheTheoryofComputation》中用确定......
摘要：偏好是哲学、博弈论、决策论和效益理论等学科的核心概念，偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。本文从抽象逻辑的角度为偏好建模。首先，文章引入基于个体对象的单主体的信念偏......
“塔尔斯基的名字特别是与两件事情联系在一起的：逻辑与元逻辑之间的区别，关于真理的语义学理论（thesemantictheoryoftruth）”(约翰.巴斯摩尔，第447页)。这两件事情对逻辑学和哲学......
一希尔柏脱和阿克曼在《数理逻辑基础》中认为，联合演算的最重要的问题，是找出一个形式的审定法，以此决定哪一个公式是表示永真的命题联系，即把其中出现的谓词记号或类记号给以任意的意义后，它均为真的，并且对于......
在《对逻辑推理四大基础类型的反演算和非演算》一文中，笔者已将相同、相似、相异、相反4大公理各自具有的独立性且一致性及其在双闭双开区间整体上的完全性，统一地表示为如下4大互蕴公理皆成立(⊨)......
“范式”这个术语是美国著名哲学家库恩(Kuhn，Th.)从语言学里借用来的，原意是语法中表示词形的变化规则，如名词变格、动词人称变化等，由此可以引申出模式、模型、范例等义。库恩在《科学革命的结构》一书......
在古代汉语中，公私是对立的一对范畴，“公”意谓公平、公正、无私，而“私”意谓自己的家私，“雨我公田，遂及我私”（《诗·小雅·大田》），引申为利己。故而有“背私为公”（《韩非子·五蠹》），“以公灭私”（......
穆勒方法在系统化、规则化和程式化方面较以往有很大的进步,它简明、实用,科学性较强,但仍然是初步的、简单的,有很大的局限性,这主要表现在语言上的含混和对因果关系的错误理解。现代学者从因果联系的语言的精确......
自20世纪初梁启超、胡适等人创立中国古代逻辑史学科以来，它所研究的基本问题是：中国古代是否存在逻辑?如果存在，它具有什么特点，是否与西方逻辑相同或类似?(参见崔清田主编，第1-33页；孙中原，第1-1......