Schemata: The Concept of Schema in the History of Logic

DOI10.2178/bsl/1146620060zbMath1123.03001OpenAlexW2170416778MaRDI QIDQ3430938

John Corcoran

Publication date: 5 April 2007

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

Full work available at URL: https://doi.org/10.2178/bsl/1146620060

zbMATH Keywords

history of logicformalizationphilosophy of logicaxiom schemata

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items

Vaught's Theorem on Axiomatizability by a Scheme, Aristotle's prototype rule-based underlying logic, Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions, A Decidable Class of Nested Iterated Schemata, EXISTENTIAL-IMPORT MATHEMATICS, Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence, THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS, When is a schema not a schema? On a remark by Suszko, The Tarskian Turn: Deflationism and Axiomatic Truth, A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata, On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra”

Cites Work

• General recursive functions of natural numbers
• On the logic of quantification
• String theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item