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

DOI10.1080/01445340801976516MaRDI QIDQ3615005zbMATH OpenOpenAlexWikidataFDO

Authors Edgar José Andrade, Edward Becerra

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

its formulationsits modelssyllogism

Mathematics Subject Classification ID

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

Recommendations

• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• scientific article; zbMATH DE number 2171643
• scientific article; zbMATH DE number 3878892
• scientific article; zbMATH DE number 5233865
• scientific article; zbMATH DE number 6287646

Cites work

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

Cited in

(3)

• Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic
• Aristotle'S natural deduction reconsidered
• Aristotle, logic, and QUARC

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3615005)