In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs of e-conversion, Darapti and Bocardo and e-subalternation, while showing how close to Aristotle’s text these proofs remain.

中文翻译：

---

辩证法、全能格言和美感

在本文中，我们对亚里士多德的先验分析中的当前方法进行了详细的批判性审查，以期激发一种新方法，该方法建立在 Marion & Rückert (2016) 之前关于 dictum de omni 的工作的基础上。这种方法将亚里士多德的工作置于辩证法的背景下，并使用洛伦岑的对话逻辑，在此使用 Martin-Löf 的建设性类型理论重新构建为“内在推理”。然后我们为后者提供三段论规则，并提供 e-conversion、Darapti 和 Bocardo 以及 e-subalternation 的证明，同时展示这些证明与亚里士多德的文本有多接近。