《亚里士多德的三段论》(pdf电子书下载)[s2510]

跳至底部下载链接

目　　录
本书述评……………………………………………………………………………１
第一版原序………………………………………………………………………１
第二版原序………………………………………………………………………４
本书所引用的亚里士多德的原著与注释的版本…………………………６
第一章　亚里士多德三段论系统的要素…………………………………８
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２７．排斥的表达式的公理和规则………………………………………１３４
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５４．有两个必然前提的各式……………………………………………２５３
A５５．有一个必然前提和一个实然前提的各式…………………………２５６
A５６．有一个必然前提和一个实然前提的被排斥的各式………………２６０
A５７．争论的解决…………………………………………………………２６３
A５８．有可能前提的各式…………………………………………………２６７
A５９．偶然命题的换位律…………………………………………………２７１
A６０．纠正亚里士多德的错误……………………………………………２７７
A６１．有偶然前提的各式…………………………………………………２８１
A６２．模态逻辑的哲学涵义………………………………………………２８６