Aristotle'S natural deduction reconsidered

DOI10.1080/01445349708837269zbMath0885.03001WikidataQ58560723 ScholiaQ58560723MaRDI QIDQ4358419

John N. Martin

Publication date: 15 April 1998

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

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

zbMATH Keywords

natural deduction system; sequent system; Aristotle's syllogistic

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations

03F03: Proof theory in general (including proof-theoretic semantics)

01A20: History of Greek and Roman mathematics

Related Items

Distributive Terms, Truth, and thePort Royal Logic, Aristotle's Syllogistic and Core Logic, Arthur Schopenhauer on Naturalness in Logic, Aristotle, Logic, and QUARC, Mereology in Aristotle's Assertoric Syllogistic, Universal Logic as a Science of Patterns, Leibnizian Intensional Semantics for Syllogistic Reasoning, Proclus and the Neoplatonic syllogistic, LOGICS FOR THE RELATIONAL SYLLOGISTIC, Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic, The Hamiltonian syllogistic, Syllogistic Logic with Cardinality Comparisons, AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC, Establishing Connections between Aristotle's Natural Deduction and First-Order Logic

Cites Work

• Unnamed Item
• Completeness of an ecthetic syllogistic
• Aristotle's theory of the syllogism. A logico-philological study of book 'A' of the 'Prior analytics'
• What is a syllogism?
• On the interpretation of Aristotelian syllogistic
• Completeness of an ancient logic
• Syllogism and quantification