手机知网 App
24小时专家级知识服务
打 开
逻辑学
手机知网首页
文献检索
期刊
工具书
图书
我的知网
充值中心
显示法证明分析
南京大学哲学系 南京航空航天大学信息学院
|
杜国平
<正> 亚里土多德在建立三段论理论系统的过程中,明确提出了三种证明方法:化归法(换位法)、归谬法和显示法(王路)。其中,化归法和归谬法在三段论证明中的作用已世所公认,但是对显示法证明(proofsby exposition)的作用,长期以来人们一直认识不清,甚至有的逻辑学家认为,显示法证明对于亚里士多德的三段论理论系统没有什么重要性(Lukasiewicz,pp.66-67)。本文通过对亚里士多德模态三段论理论系统的分析,将使人们对显示法证明获得一个新的认识。
机 构:
南京大学哲学系 南京航空航天大学信息学院;
领 域:
逻辑学
；
关键词:
必然三段论
；
归谬法
；
化归法
；
不属于
；
亚里士多德三段论系统
；
三段论公理
；
三段论理论
；
格 式:
PDF原版；EPUB自适应版
(需下载客户端)
2
148
下载PDF版
手机阅读本文
下载APP 手机查看本文
哲学研究
2004年06期
精选好书
查看更多好书
相似文献
期刊
硕士
博士
会议
报纸
参考文献
引证文献
共引文献
同被引文献
二级参考文献
二级引证文献
图书推荐
相关工具书
搜 索
下载PDF版
