检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:杜国平[1]
机构地区:[1]南京大学哲学系
出 处:《哲学研究》2004年第6期91-95,共5页Philosophical Research
基 金:国家社科基金(02CZX008);南京大学引进人才基金;南京大学笹川青年教育基金
摘 要:亚里士多德在建立三段论理论系统的过程中,明确提出了三种证明方法:化归法(换位法)、归谬法和显示法(王路)。其中,化归法和归谬法在三段论证明中的作用已世所公认,但是对显示法证明(proofs by exposition)的作用,长期以来人们一直认识不清,甚至有的逻辑学家认为,显示法证明对于亚里士多德的三段论理论系统没有什么重要性(Lukasiewicz,PP.66-67)。本文通过对亚里士多德模态三段论理论系统的分析,将使人们对显示法证明获得一个新的认识。
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.200