Scholarlink

<p>Aristotle’s <i>Analytica Priora</i> contains three systems of syllogistic proof, what are known as ‘figures’ 1–3. Aristotle states that all syllogistic inferences reduce to the first one but does not carry that through. It turns out that this reduction hides up to three nested instances of indirect proof. Syllogistic derivations are given as two-dimensional derivation trees—the only addition of substance to Aristotle’s proofs—with the result that nested indirect proofs can be resolved into a single such step, in perfect analogy to steps of normalization in natural deduction.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Nested Indirect Proofs in Aristotle’s Deductive Logic

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年2月18日

查看全文
  • Melissa Antonelli,
  • Jan von Plato

摘要

Aristotle’s Analytica Priora contains three systems of syllogistic proof, what are known as ‘figures’ 1–3. Aristotle states that all syllogistic inferences reduce to the first one but does not carry that through. It turns out that this reduction hides up to three nested instances of indirect proof. Syllogistic derivations are given as two-dimensional derivation trees—the only addition of substance to Aristotle’s proofs—with the result that nested indirect proofs can be resolved into a single such step, in perfect analogy to steps of normalization in natural deduction.