Aristotle, Logic, and QUARC

DOI10.1080/01445340.2018.1467198zbMath1427.03047OpenAlexW2807410726WikidataQ58527035 ScholiaQ58527035MaRDI QIDQ5208104

Jonas Raab

Publication date: 15 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2018.1467198

Mathematics Subject Classification ID

Logic of natural languages (03B65) History of mathematical logic and foundations (03-03) History of Greek and Roman mathematics (01A20)

Related Items (3)

ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ The quantified argument calculus with two- and three-valued truth-valuational semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Validity, the squeezing argument and alternative semantic systems: the case of Aristotelian syllogistic
• Aristotelian syllogisms and generalized quantifiers
• Things that are right with the traditional square of opposition
• Aristotle's theory of the syllogism. A logico-philological study of book 'A' of the 'Prior analytics'
• What is a syllogism?
• Aristotle's Modal Syllogistic
• THE QUANTIFIED ARGUMENT CALCULUS
• Negation and quantification in aristotle
• DECOMPOSING GENERALIZED QUANTIFIERS
• Establishing Connections between Aristotle's Natural Deduction and First-Order Logic
• Aristotle'S natural deduction reconsidered
• Plural Logic
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• PLURAL QUANTIFICATION LOGIC: A CRITICAL APPRAISAL
• A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL
• Completeness of an ancient logic

This page was built for publication: Aristotle, Logic, and QUARC