Frege, hilbert, and the conceptual structure of model theory
From MaRDI portal
Publication:4312343
DOI10.1080/01445349408837233zbMath0808.01002OpenAlexW1967212445WikidataQ58531067 ScholiaQ58531067MaRDI QIDQ4312343
Publication date: 10 November 1994
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445349408837233
History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES, LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC, Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics, Frege and the origins of model theory in nineteenth century geometry, Poincaré on the Foundation of Geometry in the Understanding, Hilbert's objectivity, LOGICAL CONTEXTUALITY IN FREGE, The place of probability in Hilbert's axiomatization of physics, ca. 1900--1928, Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence, On the origin and status of our conception of number, Frege's new science, Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
Cites Work