Logic in the twenties: the nature of the quantifier

DOI10.2307/2273128MaRDI QIDQ3879201zbMATH OpenOpenAlexFDO

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

(37)

• ``The true in Gottlob Frege's ``Über die Grundlagen der Geometrie
• Peirce the logician
• Truth in Frege's ``law of truth
• Carnap on logic and rationality
• 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
• 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
• Quine's Philosophy of Language and Polish Logic
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Generality and existence: quantificational logic in historical perspective
• Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
• 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
• Theory structuralism in a rigid framework
• Hilbert's Programs: 1917–1922
• 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
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• 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
• Carnap's early semantics
• The Mathematical Development of Set Theory from Cantor to Cohen
• Frege on indirect proof
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
• Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics
• How to be a structuralist all the way down
• LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
• Wittgenstein's \textit{Tractatus} and the epistemology of logic
• A plea for logical objects

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)