Logic in the twenties: the nature of the quantifier

DOI10.2307/2273128MaRDI QIDQ3879201zbMATHOpenAlexFDO

Authors Warren D. Goldfarb

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

zbMATH Keywords

quantifier

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Cites work

• scientific article; zbMATH DE number 2160636 (Why is no real title available?)
• The consistency of arithmetics

Cited in

(36)

• Quine's Philosophy of Language and Polish Logic
• Elementary propositions and independence
• LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
• Frege meets Dedekind: A neologicist treatment of real analysis
• Truth in Frege's ``law of truth
• Generality and existence: quantificational logic in historical perspective
• Hilbert's Programs: 1917–1922
• A plea for logical objects
• Inception of Quine's ontology
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Discussion on the foundation of mathematics
• ``The true in Gottlob Frege's ``Über die Grundlagen der Geometrie
• Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
• How to be a structuralist all the way down
• Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics
• In defense of logical universalism: taking issue with Jean van Heijenoort
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Theory structuralism in a rigid framework
• Peirce the logician
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Carnap on logic and rationality
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
• Jean van Heijenoort's conception of modern logic, in historical perspective
• Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament
• Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism
• Russell and the Universalist Conception of Logic
• Frege on indirect proof
• Traditional logic and the early history of sets, 1854-1908
• Completeness and categoricity: Frege, gödel and model theory
• Carnap's early semantics
• Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Frege's new science
• The Mathematical Development of Set Theory from Cantor to Cohen

This page was built for publication: Logic in the twenties: the nature of the quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3879201)