Logic in the twenties: the nature of the quantifier
From MaRDI portal
Publication:3879201
DOI10.2307/2273128zbMath0438.03001OpenAlexW2054885127MaRDI QIDQ3879201
Publication date: 1979
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273128
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items
Hilbert's Programs: 1917–1922, Inception of Quine's ontology, A plea for logical objects, Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics, Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics, Traditional logic and the early history of sets, 1854-1908, Elementary propositions and independence, Theory structuralism in a rigid framework, Russell and the Universalist Conception of Logic, LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC, Jean van Heijenoort's conception of modern logic, in historical perspective, In defense of logical universalism: taking issue with Jean van Heijenoort, Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament, Carnap on logic and rationality, The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, Peirce the logician, The Mathematical Development of Set Theory from Cantor to Cohen, Carnap's early semantics, Completeness and categoricity: Frege, gödel and model theory, The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, Discussion on the foundation of mathematics, Frege on Indirect Proof, Quine's Philosophy of Language and Polish Logic, Domains of Sciences, Universes of Discourse and Omega Arguments, Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism, How to be a structuralist all the way down, GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE, Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem, Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic, Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics, Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited, Truth in Frege's ``law of truth, ``The true in Gottlob Frege's ``Über die Grundlagen der Geometrie, Frege's new science, Frege meets Dedekind: A neologicist treatment of real analysis, Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results
Cites Work
