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

DOI10.1080/01445340801976516zbMATH Open1167.03007OpenAlexW1980692149WikidataQ58594675 ScholiaQ58594675MaRDI QIDQ3615005FDOQ3615005

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

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

zbMATH Keywords

syllogismits formulationsits models

Mathematics Subject Classification ID

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

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

Cited In (3)

• Aristotle'S natural deduction reconsidered
• Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic
• 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)