Aristotle'S natural deduction reconsidered

DOI10.1080/01445349708837269zbMath0885.03001OpenAlexW2022434570WikidataQ58560723 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 systemsequent systemAristotle's syllogistic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03) History of Greek and Roman mathematics (01A20)

Related Items (15)

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

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

This page was built for publication: Aristotle'S natural deduction reconsidered