THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS

DOI10.1017/S1755020318000266zbMath1452.03014OpenAlexW2900099951WikidataQ123160592 ScholiaQ123160592MaRDI QIDQ5221292

Marko Malink, Anubav Vasudevan

Publication date: 25 March 2020

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

Full work available at URL: https://doi.org/10.1017/s1755020318000266

zbMATH Keywords

Aristotlerelevance logicLeibnizreductio ad absurdumcategorical syllogismhypothetical syllogism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) History of mathematics in the 17th century (01A45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) History of Greek and Roman mathematics (01A20)

Related Items (1)

Leibniz on the Logic of Conceptual Containment and Coincidence

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic: a history of its central concepts
• Leibniz on intension, extension, and the representation of syllogistic inference
• The world, the facts, and primary logic
• The many valued and nonmonotonic turn in logic
• Aristotle's theory of the syllogism. A logico-philological study of book 'A' of the 'Prior analytics'
• Propositional logic in the sixteenth and early seventeenth centuries
• What is a syllogism?
• Truth and consequence in mediaeval logic
• Aristotle's Modal Syllogistic
• Aristotle on the Non-Cause Fallacy
• $$\mathbf {RM}$$ RM and its Nice Properties
• Schemata: The Concept of Schema in the History of Logic
• Negation and quantification in aristotle
• Relevant entailment—semantics and formal systems
• Aristotle on the reducibility of all valid syllogistic moods to the two universal moods of the first figure (APrA7, 29b1–25)
• An Invitation to Formal Reasoning
• Leibnizian Intensional Semantics for Syllogistic Reasoning
• Syllogistic Logic with Complements
• Leibniz on Intension and Extension
• IBN SĪNĀ ON REDUCTIO AD ABSURDUM
• Articulating Medieval Logic
• Connexive implication
• Axiomatizability by a schema
• Completeness of an ancient logic
• THE LOGIC OF LEIBNIZ’SGENERALES INQUISITIONES DE ANALYSI NOTIONUM ET VERITATUM

This page was built for publication: THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS