按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
作者：＇波兰＇卢卡西维茨
译者：李真、李先焜
…… 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
本书述评
这本书是波兰逻辑学家卢卡西维茨教授的一部重要著作。作者的目的是从现代形式逻辑主要是符号逻辑的观点，对于古希腊亚里士多德（公元前３８４—３２２年）
所创始的以三段论为主的形式逻辑的一种解释。现代符号逻辑或数理逻辑发展异常迅速，已远远超出古典形式逻辑的范围，然而它仍然和亚里士多德所创立的形式逻辑有密切的联系。现代许多西方的逻辑学家在用现代形式逻辑的观点解释古典形式逻辑方面曾经进行过若干尝试，但是，全面地、系统地应用符号逻辑的方法来解释亚里士多德的三段论的著作是不多的，