Indirect proof and inversions of syllogisms

DOI10.1017/BSL.2018.59MaRDI QIDQ5226594zbMATH OpenOpenAlexFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• A completed system for Robin Smith's incomplete ecthetic syllogistic
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• Aristotle's Syllogistic and Core Logic
• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• Completeness of an ancient logic
• Completeness of an ecthetic syllogistic
• Elements of logical reasoning
• The great formal machinery works. Theories of deduction and computation at the origins of the digital age
• The principle of contradiction and ecthesis in Aristotle's syllogistic
• What is a syllogism?

Cited in

(5)

• On two immediate inferences by limitation
• scientific article; zbMATH DE number 89224 (Why is no real title available?)
• Analysis inPrior AnalyticsI.45
• The notion of diagrammatic isomorphism in Venn-Peirce diagrams
• Proclus and the Neoplatonic syllogistic

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)