Completeness of an ancient logic

DOI10.2307/2272415MaRDI QIDQ5675336zbMATH OpenOpenAlexWikidataFDO

Authors John Corcoran

Publication date 1973

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272415

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Cites work

• Aristotle's syllogistic
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)

Cited in

(43)

• Aristotle's prototype rule-based underlying logic
• Equivalential structures for binary and ternary syllogistics
• Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
• Natural density and the quantifier ``most
• The Hamiltonian syllogistic
• Syllogisms in rudimentary linear logic, diagrammatically
• The syllogistic with unity
• What kind of opposition-forming operator is privation?
• Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics
• The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900
• Existential-import mathematics
• A Diagrammatic Calculus of Syllogisms
• Aristotle on universal quantification: a study from the point of view of game semantics
• Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
• Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies
• Syllogistic logic with cardinality comparisons
• An intensional Leibniz semantics for Aristotelian logic
• Establishing Connections between Aristotle's Natural Deduction and First-Order Logic
• Aristotle's Demonstrative Logic
• Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic
• Aristotle'S natural deduction reconsidered
• Distributive terms, truth, and the \textit{Port Royal Logic}
• Aristotle's Syllogistic and Core Logic
• The principle of contradiction and ecthesis in Aristotle's syllogistic
• Adding Guarded Constructions to the Syllogistic
• Aristotle, logic, and QUARC
• Mereology in Aristotle's Assertoric Syllogistic
• Dialectic, the \textit{dictum de omni} and ecthesis
• The peripatetic program in categorical logic: Leibniz on propositional terms
• Indirect proof and inversions of syllogisms
• Universal logic as a science of patterns
• Aristotle on language and universal proof
• Causality and Attribution in an Aristotelian Theory
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Logical Foundations and Kant's Principles of Formal Logic
• Proclus and the Neoplatonic syllogistic
• Epistemic Syllogistic: First Steps
• Natural kind semantics for a classical essentialist theory of kinds
• Corcoran the mathematician
• Ibn Ḥazm on heteronomous imperatives. A landmark in the history of the logical analysis of norms
• Analysis inPrior AnalyticsI.45
• Judgments vs Propositions in Alexander of Aphrodisias' Conception of Logic
• The Place of Reduction in Aristotle's Prior Analytics

This page was built for publication: Completeness of an ancient logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5675336)