Logic in the twenties: the nature of the quantifier
From MaRDI portal
Publication:3879201
DOI10.2307/2273128zbMath0438.03001MaRDI 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
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
01A55: History of mathematics in the 19th century
Related Items
Completeness and categoricity: Frege, gödel and model theory, Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism, Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited, 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, The Mathematical Development of Set Theory from Cantor to Cohen, Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics, ``The true in Gottlob Frege's ``Über die Grundlagen der Geometrie, Peirce the logician, Truth in Frege's ``law of truth, Frege's new science, Frege meets Dedekind: A neologicist treatment of real analysis, Traditional logic and the early history of sets, 1854-1908, Elementary propositions and independence, Quine's Philosophy of Language and Polish Logic, Domains of Sciences, Universes of Discourse and Omega Arguments, Inception of Quine's ontology, Discussion on the foundation of mathematics, Russell and the Universalist Conception of Logic, Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results, Hilbert's Programs: 1917–1922
Cites Work
