Aristotle's prototype rule-based underlying logic

DOI10.1007/s11787-018-0189-4zbMath1397.01005OpenAlexW2801341432MaRDI QIDQ1653547

John Corcoran

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0189-4

zbMATH Keywords

rule-based deduction

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) History of Greek and Roman mathematics (01A20)

Related Items

Universal logic: evolution of a project

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• A note concerning the notion of mereological class. Postscript
• A completed system for Robin Smith's incomplete ecthetic syllogistic
• What is a syllogism?
• EXISTENTIAL-IMPORT MATHEMATICS
• Schemata: The Concept of Schema in the History of Logic
• Aristotle's Demonstrative Logic
• Aristotle'sPrior Analyticsand Boole'sLaws of Thought
• Investigating Knowledge and Opinion
• The Great Formal Machinery Works
• Completeness of an ancient logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item