显示法证明分析 |
| |
引用本文: | 杜国平.显示法证明分析[J].哲学研究,2004(6). |
| |
作者姓名: | 杜国平 |
| |
作者单位: | 南京大学哲学系 南京航空航天大学信息学院 |
| |
基金项目: | 国家社科基金(02CZX008),南京大学引进人才基金,南京大学笹川青年教育基金 |
| |
摘 要: | 亚里土多德在建立三段论理论系统的过程中,明确提出了三种证明方法:化归法(换位法)、归谬法和显示法(王路)。其中,化归法和归谬法在三段论证明中的作用已世所公认,但是对显示法证明(proofsby exposition)的作用,长期以来人们一直认识不清,甚至有的逻辑学家认为,显示法证明对于亚里士多德的三段论理论系统没有什么重要性(Lukasiewicz,pp.66-67)。本文通过对亚里士多德模态三段论理论系统的分析,将使人们对显示法证明获得一个新的认识。
|
本文献已被 CNKI 等数据库收录! |
|