亚里士多德的三段论

图书标准信息

• 作者 [波兰]卢卡西维茨 著；李真、李先焜 译
• 出版社 商务印书馆
• 出版时间 1981-05
• 版次 1
• ISBN 9787100011051
• 定价 22.00元
• 装帧 平装
• 开本 大32开
• 纸张 胶版纸
• 页数 279页
• 正文语种 简体中文
• 丛书 汉译世界学术名著丛书

【内容简介】

《亚里士多德的三段论》是波兰著名逻辑学家卢卡西维茨的一部重要著作。作者的目的是用现代数理逻辑的观点解释亚里士多德逻辑最重要的部分——三段论理论。《亚里士多德的三段论》全面、系统地考察了亚氏三段论理论，绘出了亚氏三段论理论的严格的形式系统。《亚里士多德的三段论》曾对逻辑史的研究产生重大影响，对于把数理逻辑方法运用到其他领域也具有重要意义。《亚里士多德的三段论》是了解现代逻辑不可不读的参考书。

【作者简介】

作者：（波兰）卢卡西维茨 译者：李真 李先焜

【目录】

本书述评
第一版原序
第二版原序
本书所引用的亚里士多德的原著与注释的版本
第一章亚里士多德三段论系统的要素
1、亚里士多德式三段论的正确形式
2、前提和词项
3、为什么单一词项被亚里多德略去了
4、变项
5、三段论的必然性
6、什么是形式逻辑
7、什么是形式化

第二章亚里士多德三段论系统的断定命题
8、断定命题与推论规则
9、三段论的格
10、大项、中项和小项
11、关于一个错误的历史
12、前提的次序
13、一些现代注释家的错误
14、加仑的四个格

第三章亚里士多德三段论系统
15、完全的和不完全的三段论
16、词项逻辑与命题逻辑
17、换位法证明
18、归谬法证明
19、显示法证明
20、排斥的形式
21、一些未解决的问题

第四章用符号形式表达的亚里士多德系统
22、符号系统的说明
23、演绎理论
24、量词
25、三段论系统的基本要素
26、三段论的断定命题的推导
27、排斥的表达式的公理和规则
28、我国的公理和规则不充分

第五章判定问题
29、不能判定的表达式的数目
30、斯卢派斯基的排斥规则
31、化归为初的表达式
32、演绎的等值式
33、三段论系统的初等表达式
34、三段论系统的一个算术的解释
35、结束语

第六章亚里士多德的模态命题逻辑
第七章模态逻辑系统
第八章亚里士多德的模态三段论
索引