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 (14)
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
This page was built for publication: Frege, hilbert, and the conceptual structure of model theory