报告人：江璐，中山大学哲学系

题目：亚里士多德论否定：对当方阵、排中律和矛盾律（Aristotle on negation: the square of opposition, the law of excluded middle and the law of non-contradiction）

时间：2021/5/25 15:10-18:00

腾讯会议ID：274 727 620

摘要：亚里士多德在《解释篇》中定义并讨论了“否定”这个逻辑算子，通过对这一部分的讨论的分析，可以看出“否定”对他来说并非与现代逻辑中一样是对句子的否定，而是可以分为对系词的否定和对谓词的否定，两种不同的否定之逻辑功能是不同的。亚里士多德通过对当方阵描述了这两种不同否定的具体表现与功能。正因为对“否定”的界定与现代逻辑不同，同样在二值逻辑的体系下，亚里士多德却能够有意义地区分排中律和矛盾律。对当方阵非常直观地展现了这样的区分。利用对当方阵，可以确定亚里士多德的矛盾律和排中律的具体形态。亚里士多德在他《解释篇》著名的未来海战问题上运用了排中律，而在他的《形而上学》中详细讨论了矛盾律以及它对形而上学的作用，在确定了这两个逻辑法则的形式之后，我们将简要介绍它们在亚里士多德哲学论证中起到的作用，以及它们对中世纪逻辑的影响。