Establishing Connections between Aristotle's Natural Deduction and First-Order Logic

DOI10.1080/01445340801976516zbMath1167.03007OpenAlexW1980692149WikidataQ58594675 ScholiaQ58594675MaRDI QIDQ3615005

Edward Becerra, Edgar José Andrade

Publication date: 17 March 2009

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340801976516

zbMATH Keywords

syllogismits formulationsits models

Mathematics Subject Classification ID

Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Related Items (2)

Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic ⋮ Aristotle, Logic, and QUARC

Cites Work

• Aristotle's syllogistic from the standpoint of modern formal logic
• Aristotle'S natural deduction reconsidered
• Completeness of an ancient logic
• Modal logic as dialogical logic

This page was built for publication: Establishing Connections between Aristotle's Natural Deduction and First-Order Logic