检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:周北海[1] 王强 郑植 Beihai Zhou;Qiang Wang;Zhi Zheng(Department of Philosophy, Peking University)
机构地区:[1]北京大学哲学系
出 处:《逻辑学研究》2018年第4期2-20,共19页Studies in Logic
基 金:国家社科基金重大项目(批准号12&ZD119)
摘 要:亚里士多德逻辑究竟是什么逻辑,这个问题实际上并没有真正解决。目前的几种主要看法都是基于数理逻辑的理论得到的,虽然略有不同,但都认为亚里士多德逻辑是一阶逻辑的子逻辑。从技术的观点看,这个结论没有错,但是亚里士多德逻辑有自己的思想基础,不能简单地从数理逻辑的视角来看。我们的观点是,亚里士多德逻辑是一种什么逻辑,应该回到亚里士多德的概念理论来考察。亚里士多德概念理论中作为其逻辑基础的是划分理论。亚里士多德划分理论在两个方面对柏拉图二分法加以改造:根据生物学分类得到亚里士多德分类树;改造柏拉图正反二分法提出了正负二分法。分类树和正负二分形成了亚里士多德划分格。按今天的理论看,亚里士多德划分格就是集合代数上的有补分配格。亚里士多德逻辑实际上是亚里士多德划分格上的逻辑。What is Aristotelian logic?It is a question that has not been settled yet.Although varying from each others,the major views on this problem,based on the theory of mathematical logic,is that Aristotelian logic is a sub-logic of first-order logic.Technically,this result is acceptable.Nevertheless,when its own ideological basis is considered,Aristotelian logic should not simply be investigated from the standpoint of mathematical logic.Our view is that,in order to solve this problem,we are supposed to return to Aristotle’s conception theory,in which the foundation of Aristotelian logic is his theory of division.Aristotle therein modified Plato’s dichotomy in two ways.First,he derived Aristotelian classification tree in the basis of biological taxonomy.Then,he developed contradictory dichotomy by improving Plato’s contrary dichotomy.It is Aristotelian classification tree and contradictory dichotomy that form Aristotle’s division lattice,which is a complemented distributive lattice in set algebra in today’s terminology.As a matter of fact,Aristotelian logic is the logic on Aristotle’s division lattice.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.33