成功加入购物车
[波兰]卢卡西维茨 著; 李真 、 李先焜 译 / 商务印书馆 / 1981-05 / 平装
售价 ¥ 9.00 4.1折
定价 ¥22.00
品相 九五品品相描述
优惠 满包邮
延迟发货说明
上书时间2020-10-06
卖家超过10天未登录
亚里士多德的三段论
《亚里士多德的三段论》是波兰著名逻辑学家卢卡西维茨的一部重要著作。作者的目的是用现代数理逻辑的观点解释亚里士多德逻辑最重要的部分——三段论理论。《亚里士多德的三段论》全面、系统地考察了亚氏三段论理论,绘出了亚氏三段论理论的严格的形式系统。《亚里士多德的三段论》曾对逻辑史的研究产生重大影响,对于把数理逻辑方法运用到其他领域也具有重要意义。《亚里士多德的三段论》是了解现代逻辑不可不读的参考书。
作者:(波兰)卢卡西维茨 译者:李真 李先焜
本书述评第一版原序第二版原序本书所引用的亚里士多德的原著与注释的版本第一章亚里士多德三段论系统的要素1、亚里士多德式三段论的正确形式2、前提和词项3、为什么单一词项被亚里多德略去了4、变项5、三段论的必然性6、什么是形式逻辑7、什么是形式化第二章亚里士多德三段论系统的断定命题8、断定命题与推论规则9、三段论的格10、大项、中项和小项11、关于一个错误的历史12、前提的次序13、一些现代注释家的错误14、加仑的四个格第三章亚里士多德三段论系统15、完全的和不完全的三段论16、词项逻辑与命题逻辑17、换位法证明18、归谬法证明19、显示法证明20、排斥的形式21、一些未解决的问题第四章用符号形式表达的亚里士多德系统22、符号系统的说明23、演绎理论24、量词25、三段论系统的基本要素26、三段论的断定命题的推导27、排斥的表达式的公理和规则28、我国的公理和规则不充分第五章判定问题29、不能判定的表达式的数目30、斯卢派斯基的排斥规则31、化归为初的表达式32、演绎的等值式33、三段论系统的初等表达式34、三段论系统的一个算术的解释35、结束语第六章亚里士多德的模态命题逻辑第七章模态逻辑系统第八章亚里士多德的模态三段论索引
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30