**节  问题的提出
  第二节  新的翻译模式
  第三节  传统直言推理式的简化
第八章  联合演算对传统直言推理的系统化
  **节  联合演算的出发点
    一、初始符号
    二、形成规则
    三、定义
    四、公理
    五、基本推理规则
  第二节  定理的推演
    一、传统直接推理的系统化
    二、直言三段论推理的系统化
  第三节  传统直言三段论的化归
    一、化归原理和方法
    二、三段论的化归——归于**格AAA式
第九章  亚里士多德模态三段论的形式系统
  **节  对亚里士多德模态三段论的等价表述
    一、带有两必然前提的三段论
    二、两前提一为必然一为实然的三段论
    三、带有两可能前提的三段论
    四、两前提一为可能一为实然的三段论
    五、两前提一为可能一为必然的三段论
  第二节  模态三段论演算的出发点
    一、初始符号
    二、形成规则
    三、定义
    四、公理
    五、变形规则
    六、定理的推演
  第三节  亚里士多德模态三段论的化归
    一、化归原理和方法
    二、亚里士多德模态三段论的化归
    三、余论:亚里士多德的模态悖论
参考文献
后记

论联合演算 节选

马雷所著的《论联合演算》通过对传统词项逻辑的一般特征的分析,抓住联合演算的实质特点,划分了联合演算的两个层次,在此基础上提出结构分析的方法作为判明或建构永真式的一个依据,同时提出一个极近似于命题逻辑的范式判定方法,用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画,仅就变项而言,就没有穷尽其全部特征,因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统,并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明:传统词项逻辑在其自身所把握的范围内,确如康德所说,是封闭的和完备的。

论联合演算 作者简介

1965年生,安徽舒城人(祖籍霍邱)。哲学博士,东南大学哲学与科学系教授、博士生导师。国家社会科学基金项目特约通讯评委,中国博士后基金项目特约通讯评委,中国逻辑学会科学逻辑专业委员会委员,国家“985工程”哲学社会科学创新基地“科技、伦理与艺术”高级研究中心兼职研究员,南京大学现代逻辑与逻辑应用研究所兼职研究员,江苏省逻辑学会常务理事,江苏省自然辩证法研究会理事,东南大学人文学院学术委员会委员。主要从事逻辑学、科学哲学、外国哲学等领域的研究,在科学哲学领域提出和建构了科学进步的协调合理性理论。主持完成和承担国家社会科学基金课题各一项,代表作有:《进步、合理性与真理》(人民出版社,2003年)、《冲突与协调——科学合理性新论》(商务印书馆,2006年,2008年)。

 2/2   首页 上一页 1 2

哲学/宗教 哲学 逻辑学

在线阅读