Logic in the twenties: the nature of the quantifier

DOI10.2307/2273128zbMATH Open0438.03001OpenAlexW2054885127MaRDI QIDQ3879201FDOQ3879201

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

• The consistency of arithmetics
• Title not available (Why is that?)

Cited In (36)

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

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)