按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 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
本书述评
这本书是波兰逻辑学家卢卡西维茨教授的一部重要著作。作者的目的是从现代形式逻辑主要是符号逻辑的观点，对于古希腊亚里士多德（公元前３８４—３２２年）
所创始的以三段论为主的形式逻辑的一种解释。现代符号逻辑或数理逻辑发展异常迅速，已远远超出古典形式逻辑的范围，然而它仍然和亚里士多德所创立的形式逻辑有密切的联系。现代许多西方的逻辑学家在用现代形式逻辑的观点解释古典形式逻辑方面曾经进行过若干尝试，但是，全面地、系统地应用符号逻辑的方法来解释亚里士多德的三段论的著作是不多的，这是其中的一本。
本书作者卢卡西维茨教授（１８７８—１９５６）
是波兰著名逻辑学家、波兰科学院院士（１９３７）
；利沃夫（综合性）
大学教授（１９０６—１５）
；华沙（综合性）
大学教授（１９１５—３９）
；第二次世界大战后，１９４６年起，在都柏林的爱尔兰皇家科学院任教授。他在逻辑学方面的主要著作除本书外，有：《逻辑中的归纳法和因果关系问题》；《概率论的基础理论》；《第一个多值逻辑系统的构造，并用以构造模态逻辑系统》；《为形式逻辑和数学表达式而制订的一种创造性的语言》（即卢卡西维茨教授的没有括号的符号系统）
，等。由于卢卡西维茨教授的工作，波兰成为数理逻辑的世界中心之一，人才辈出。
本书第一版出版于１９５１年，共五章；１９５７年出第二版时，增加了三章，讨论亚里士多德的模态逻辑。本书根据第二版译出。
本书第一至第三章，作者考证了与三段论有关的两个历史问题。
第一个问题，作者根据《前分析篇》和《后分析篇》希腊原文的研究，阐明了亚里士多德三段论的真正形式与传统逻辑的三段论形式之间的区别。第二个问题即所谓三段论的第四格，通常称为加伦（或译盖伦）
…… 6
２本书述评
格的问题。作者根据古抄本断定，三段论有两种：一种是简单三段论，即亚里士多德的三段论，亚里士多德划分为三个格，第四格是一位佚名作者增补的；另一种是复合三段论，是加伦发明的，他把这种三段论划分为四个格；复合三段论有四个词项，其中有两个中项，三个前提。
它与亚里士多德的简单三段论不是一回事。所以通常认为第四格是加伦发明的看法是错误的。作者的这些历史考证，发前人所未发，颇富有启发性。
第四至第五章讨论非模态逻辑的三段论，这两章是本书的核心部分；第六至第八章讨论模态逻辑。作者对于亚里士多德的非模态三段论系统给予高度的评价，认为“亚里士多德三段论是一个系统，其严格性甚至于超过了一门数学理论的严格性，而这就是它的不朽的价值”
（第１６３页）。下面我们分别来介绍卢卡西维茨教授在这部书中所达到的研究成果。
体系。卢卡西维茨教授在１９２９年以前创造了一个符号体系，即不用括号的书写方式，这个符号体系，自从他发明以来，不甚为人们所注意；但是自从计算机科学发展以来，这种符号体系，在计算机上的应用却是很方便的。
在这同时期，他还创造了一个演绎体系。
卢卡西维茨教授说，这个演绎