第1章

作者:[波兰]卢卡西维茨 | TXT小说下载 | 返回目录:1章/69章 | 下一节

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