AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC

DOI10.1017/S1755020309990396zbMath1211.03009WikidataQ56679504 ScholiaQ56679504MaRDI QIDQ3577745

Klaus Glashoff

Publication date: 23 July 2010

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

zbMATH Keywords

intensional semanticsAristotelian categorical logicAristotelian syntaxformal system for Aristotelian logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

A diagrammatic calculus of syllogisms ⋮ Universal Logic as a Science of Patterns ⋮ Leibnizian Intensional Semantics for Syllogistic Reasoning

Cites Work

• Completeness of an ecthetic syllogistic
• Quantification, domains of discourse, and existence
• What is a syllogism?
• Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics
• Aristotelian Syntax from a Computational–Combinatorial Point of View
• Aristotle'S natural deduction reconsidered
• Completeness of an ancient logic

This page was built for publication: AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC