亚里士多德的三段论〔波兰〕卢卡西维茨 - (TXT全文下载)

文件大小：0.4mb。
书籍内容：

汉译世界学术名著丛书亚里士多德的三段论〔波兰〕卢卡西维茨著

-- 1

汉译世界学术名著丛书

亚里士多德的三段论

〔波兰〕卢卡西维茨著

李　真　李先j译

-- 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

目　　录３

４。

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

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

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

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

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

模态逻辑的四值系 ............

以上为书籍内容预览，如需阅读全文内容请下载TXT文件，祝您阅读愉快。