arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2209.03388math.LO
收藏

量词推理与亚里士多德及古代逻辑中的多重普遍性

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic

Centro de Filosofia da Universidade de Lisboa(里斯本大学哲学中心)

Clarence Lewis Protin

AI总结:

本文探讨亚里士多德及古代逻辑理论在处理多重普遍性问题上的能力,挑战传统对单称谓逻辑的不足认知。

摘要:

亚里士多德逻辑及其相关传统在古代往往被认为等同于单称谓逻辑,因此不足以形式化数学以及科学和哲学论述。本文论文认为相反的是,亚里士多德和古代作者如加伦和波埃修斯的逻辑理论实际上足以解释上述学科中涉及多重普遍性的逻辑复杂表达和推理。

英文摘要:

Aristotelian logic and its related traditions in antiquity are often held to have been equivalent to monadic predicate logic and as such inadequate to formalize mathematics as well as scientific and philosophical discourse in general. In this paper we argue that on the contrary the logical theories of Aristotle and ancient authors such as Galen and Boethius were in fact quite sufficient to account for the logically complex expressions and reasoning involving multiple generality fundamental to the aforementioned disciplines.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑