Indirect proof and inversions of syllogisms

DOI10.1017/BSL.2018.59zbMATH Open1477.03006OpenAlexW2963169263MaRDI QIDQ5226594FDOQ5226594

Roy Dyckhoff

Publication date: 1 August 2019

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/18167

Recommendations

• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• Aristotle'S natural deduction reconsidered
• Aristotle's syllogistics revisited
• Aristotle's Syllogistic and Core Logic
• Syllogistic with Indefinite Terms

zbMATH Keywords

deductionsyllogismindirect proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Structure of proofs (03F07)

Cites Work

• Title not available (Why is that?)
• What is a syllogism?
• Completeness of an ancient logic
• Aristotle's Syllogistic and Core Logic
• Completeness of an ecthetic syllogistic
• A completed system for Robin Smith's incomplete ecthetic syllogistic
• The Great Formal Machinery Works
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• Title not available (Why is that?)
• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic

Cited In (5)

• Proclus and the Neoplatonic syllogistic
• The notion of diagrammatic isomorphism in Venn-Peirce diagrams
• On two immediate inferences by limitation
• Analysis inPrior AnalyticsI.45
• Title not available (Why is that?)

This page was built for publication: Indirect proof and inversions of syllogisms

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