论文标题
现代定义和古代定义
Modern Definition and Ancient Definition
论文作者
论文摘要
在本文中，我们研究了亚里士多德的\ emph {emph {topips}和porphyry's \ emph {eisagog的定义理论的某些方面。我们的目标是有助于理解古代和现代逻辑和科学之间存在的所谓差距，以及在古代定义理论中指控不足和缺乏复杂性的指控背后的原因。还要研究现代数学定义实践与古代定义实践之间的共同解释的可能性，尤其是鉴于Topos理论。我们发现古老的定义实践提出了有关现代数学实践的相关和被忽视的问题，这些问题显然逃脱了当前的哲学和数学逻辑文献。我们还提出了一些有关理论的结构和发展的一般考虑，因为这些与定义理论有关。
In this essay we examine some aspects of the classical theory of definition as codified in Aristotle's \emph{Topics} and Porphyry's \emph{Eisagogê} in the light of the way definition is carried out in modern mathematical practice. Our goal is to contribute to the understanding of the alleged gap existing between ancient and modern logic and science as well as the reasons behind allegations of inadequacy and lack of sophistication in the ancient theory of definition. Also to investigate the possibility of a co-interpretation between modern mathematical definitional practice and ancient definitional practice in particular in the light of topos theory. We find the ancient definitional practice asks relevant and overlooked questions about modern mathematical practice which apparently have escaped current philosophical and mathematical logical literature. We also present some general considerations about the structure and development of theories as these relate to the theory of definition.
