Completeness of an ancient logic

DOI10.2307/2272415zbMath0261.02004OpenAlexW2152077747WikidataQ60307520 ScholiaQ60307520MaRDI QIDQ5675336

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

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

Related Items (37)

The syllogistic with unity ⋮ Aristotle's prototype rule-based underlying logic ⋮ What kind of opposition-forming operator is privation? ⋮ A Diagrammatic Calculus of Syllogisms ⋮ Epistemic Syllogistic: First Steps ⋮ Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions ⋮ Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic ⋮ Equivalential structures for binary and ternary syllogistics ⋮ Aristotle'S natural deduction reconsidered ⋮ Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies ⋮ Natural density and the quantifier ``most ⋮ Syllogistic Logic with Cardinality Comparisons ⋮ 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 ⋮ The Hamiltonian syllogistic ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ AN INTENSIONAL LEIBNIZ SEMANTICS FOR ARISTOTELIAN LOGIC ⋮ Proclus and the Neoplatonic syllogistic ⋮ EXISTENTIAL-IMPORT MATHEMATICS ⋮ Establishing Connections between Aristotle's Natural Deduction and First-Order Logic ⋮ Aristotle's Demonstrative Logic ⋮ Aristotle, Logic, and QUARC ⋮ Mereology in Aristotle's Assertoric Syllogistic ⋮ Dialectic, the Dictum de Omni and Ecthesis ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS ⋮ INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS ⋮ Distributive Terms, Truth, and thePort Royal Logic ⋮ Aristotle's Syllogistic and Core Logic ⋮ The Principle of Contradiction and Ecthesis in Aristotle's Syllogistic ⋮ LOGICS FOR THE RELATIONAL SYLLOGISTIC ⋮ Universal Logic as a Science of Patterns ⋮ Aristotle on Language and Universal Proof ⋮ Causality and Attribution in an Aristotelian Theory ⋮ Adding Guarded Constructions to the Syllogistic ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic ⋮ Logical Foundations and Kant's Principles of Formal Logic

Cites Work

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