Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics

DOI10.1080/01445349808837311zbMath1052.03500OpenAlexW2055523923WikidataQ58573251 ScholiaQ58573251MaRDI QIDQ2757970

George Boger

Publication date: 5 December 2001

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

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

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) History of Greek and Roman mathematics (01A20)

Related Items (4)

The notion of diagrammatic isomorphism in Venn-Peirce diagrams ⋮ Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic ⋮ Fallacies and formal logic in Aristotle ⋮ AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC

Cites Work

• Aristotle's theory of the syllogism. A logico-philological study of book 'A' of the 'Prior analytics'
• What is a syllogism?
• Completeness of an ancient logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics