《亚里士多德的三段论》第1章

　　汉译世界学术名著丛书：《亚里士多德的三段论》

　　作者：[波兰]卢卡西维茨

　　译者：李真、李先焜

　　申明:本书由文学库(Www.WenXueKu.com)自网络收集整理制作,仅供预览交流学习使用,版权归原作者和出版社所有,如果喜欢,请支持订阅购买正版.

　　-- 1

　　汉译世界学术名著丛书

　　亚里士多德的三段论

　　〔波兰〕卢卡西维茨著

　　李 真 李先焜译

　　-- 2

　　目 录

　　本书述评…………………………………………………………………………１…

　　第一版原序……………………………………………………………………１…

　　第二版原序……………………………………………………………………４…

　　本书所引用的亚里士多德的原著与注释的版本………………………６…

　　第一章 亚里士多德三段论系统的要素………………………………８…

　　１。

　　亚里士多德式三段论的正确形式……………………………………８…

　　A２。

　　前提和词项…………………………………………………………１…１A３。

　　为什么单一词项被亚里士多德略去了……………………………１…５A４。

　　变项…………………………………………………………………１…７A５。

　　三段论的必然性……………………………………………………２…１A６。

　　什么是形式逻辑……………………………………………………２…４A７。

　　什么是形式化………………………………………………………２…８A第二章 亚里士多德三段论系统的断定命题…………………………３…５８。

　　断定命题与推论规则………………………………………………３…５A９。

　　三段论的格…………………………………………………………３…９A１０。

　　大项、中项和小项…………………………………………………４…６A１。

　　关于一个错误的历史………………………………………………４…９A１２。

　　前提的次序…………………………………………………………５…２A１３。

　　一些现代注释家的错误……………………………………………５…５A１４。

　　加仑的四个格………………………………………………………５…９A第三章 亚里士多德三段论系统………………………………………６…６１５。

　　完全的和不完全的三段论…………………………………………６…６A１６。

　　词项逻辑与命题逻辑………………………………………………７…２A

　　-- 3

　　２目 录

　　１７。

　　换位法证明…………………………………………………………７…７A１８。

　　归谬法证明…………………………………………………………８…１A１９。

　　显示法证明…………………………………………………………８…８A２０。

　　排斥的形式…………………………………………………………９…８A２１。

　　一些未解决的问题………………………………………………１…０５A第四章 用符号形式表达的亚里士多德系统………………………１…１１２。

　　符号系统的说明…………………………………………………１…１１A２３。

　　演绎理论…………………………………………………………１…１４A２４。

　　量词………………………………………………………………１…２０A２５。

　　三段论系统的基本要素…………………………………………１…２５A２６。

　　三段论的断定命题的推导………………………………………１…２９A２７。

　　排斥的表达式的公理和规则……………………………………１…３４A２８。

　　我们的公理和规则不充分………………………………………１…３９A第五章 判定问题…………………………………………………………１…４３２９。

　　不能判定的表达式的数目………………………………………１…４３A３０。

　　斯卢派斯基的排斥规则…………………………………………１…４７A３１。

　　演绎的等值式……………………………………………………１…５２A３２。

　　化归为初等表达式………………………………………………１…５７A３。

　　三段论系统的初等表达式………………………………………１…７０A３４。

　　三段论系统的一个算术的解释…………………………………１…７８A３５。

　　结束语……………………………………………………………１…８２A第六章 亚里士多德的模态命题逻辑…………………………………１…８７３６。

　　导言………………………………………………………………１…８７A３７。

　　模态函项和它们的相互关系……………………………………１…８８A３８。

　　基本模态逻辑……………………………………………………１…９１A３９。

　　扩展定律…………………………………………………………１…９４A４０。

　　亚里士多德对扩展的Ｍ－定律的证明…………………………１…９７A４１。

　　命题之间的必然联系……………………………………………２…０１A４２。

　　“实质”

　　蕴涵还是“严格”

　　蕴涵？…………………………………２…０６A４３。

　　分析命题…………………………………………………………２…０８A

　　-- 4

　　目 录３

　　４。

　　一个亚里士多德的誖论…………………………………………２…１２A４５。

　　亚里士多德的偶然性……………………………………………２…１６A第七章 模态逻辑系统……………………………………………………２…２１４６。

　　真值表方法………………………………………………………２…２１A４７。

　　Ｃ－Ｎ－δ－ｐ系统…………………………………………………２…２５A４８。

　　δ－定义……………………………………………………………２…２９A４９。

　　模态逻辑的四值系统……………………………………………２…３３A５０。

　　必然性和模态逻辑的四值系统…………………………………２…３７A５１。

　　成对的可能性……………………………………………………２…４１A５２。

　　偶然性和模态逻辑的四值系统…………………………………２…４４A５３。

　　其他某些问题……………………………………………………２…５０A第八章 亚里士多德的模态三段论……………………………………２…５３５４。

　　有两个必然前提的各式…………………………………………２…５３A５。

　　有一个必然前提和一个实然前提的各式………………………２…５６A５６。

　　有一个必然前提和一个实然前提的被排斥的各式……………２…６０A５７。

　　争论的解决………………………………………………………２…６３A５８。

　　有可能前提的各式………………………………………………２…６７A５９。

　　偶然命题的换位律………………………………………………２…７１A６０。

　　纠正亚里士多德的错误…………………………………………２…７７A６１。

　　有偶然前提的各式………………………………………………２…８１A６２。

　　模态逻辑的哲学涵义……………………………………………２…８６A

　　-- 5

　　本书述评

　　这本书是波兰逻辑学家卢卡西维茨教授的一部重要著作。作者的目的是从现代形式逻辑主要是符号逻辑的观点，对于古希腊亚里士多德（公元前３８４—３２２年）

　　所创始的以三段论为主的形式逻辑的一种解释。现代符号逻辑或数理逻辑发展异常迅速，已远远超出古典形式逻辑的范围，然而它仍然和亚里士多德所创立的形式逻辑有密切的联系。