汉译世界学术名著丛书：《亚里士多德的三段论》
作者：[波兰]卢卡西维茨
译者：李真、李先焜
申明:本书由奇书网(Www.Qisuu.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
本书述评
这本书是波兰逻辑学家卢卡西维茨教授的一部重要著作。作者的目的是从现代形式逻辑主要是符号逻辑的观点，对于古希腊亚里士多德（公元前３８４—３２２年）
所创始的以三段论为主的形式逻辑的一种解释。现代符号逻辑或数理逻辑发展异常迅速，已远远超出古典形式逻辑的范围，然而它仍然和亚里士多德所创立的形式逻辑有密切的联系。