内容摘要：援类而推的方法，是中国古代社会特有的并广泛使用的一种思维方法，它是按照两种不同事物、现象在“类”属性或“类”事理上具有某种同一性或相似性，因此可以由此达彼、由言事而论道的一种推理论说方式。这......
情境语义学解悖方案产生于20世纪80年代，是美国著名逻辑学家巴威斯(J.Barwise)和艾切曼迪(J.Etchemendy)在创设情境语义学的基础上提出的。情境语义学解悖方案的典型特征是借用了语用学......
摘要：本文以汉传因明的研究成果为基础，论证法称因明的演绎逻辑体系与陈那因明的非演绎逻辑体系有根本的差别。以玄奘的“唯识比量”作为标尺，论述法称因明在认识论、逻辑和辩论术三方面全面改造了陈那因明。论述了......
一、引言从梁启超1904年发表《墨子之论理学》以来，对墨辩的研究形成了一个主要的范式，其特征是把墨辩诠释为逻辑学，可称为墨辩研究的逻辑学范式（简称“逻辑学范式”）。逻辑学范式自梁启超创立后，得到胡适的......
四种性质判断之间的对当关系可以分为两种：一是必然性关系，如A真E必假；二是非必然性关系，如A假E可真可假。传统形式逻辑一般只讲根据必然性关系进行直言直接推理，但也存在一种看法，认为根据性质判断对当关系......
一、悖论的基本性质和各种主要的解悖方案这里所说的“悖论”，仅指逻辑悖论。悖论这个词在英文中主要有两个称呼，一个是paradox，另一个是antinomy。“paradox”是指与通常见解相抵触的理论、......
正则语言类在并、连结和星号运算下是封闭的。其证明采用的都是非确定型有穷自动机（简记作NFA）理论。M.Sipser在《IntroductiontotheTheoryofComputation》中用确定......
摘要：偏好是哲学、博弈论、决策论和效益理论等学科的核心概念，偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。本文从抽象逻辑的角度为偏好建模。首先，文章引入基于个体对象的单主体的信念偏......
“塔尔斯基的名字特别是与两件事情联系在一起的：逻辑与元逻辑之间的区别，关于真理的语义学理论（thesemantictheoryoftruth）”(约翰.巴斯摩尔，第447页)。这两件事情对逻辑学和哲学......
一希尔柏脱和阿克曼在《数理逻辑基础》中认为，联合演算的最重要的问题，是找出一个形式的审定法，以此决定哪一个公式是表示永真的命题联系，即把其中出现的谓词记号或类记号给以任意的意义后，它均为真的，并且对于......