On the development of the model-theoretic viewpoint in logical theory
From MaRDI portal
Publication:1202494
DOI10.1007/BF00869545zbMath0756.03002OpenAlexW4232345288MaRDI QIDQ1202494
Publication date: 2 February 1993
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00869545
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Model theory (03C99) History of mathematical logic and foundations (03-03)
Related Items
Searches for the origins of the epistemological concept of model in mathematics ⋮ PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC ⋮ Why Euclid's geometry brooked no doubt: J. H. Lambert on certainty and the existence of models ⋮ Arthur Prior and hybrid logic ⋮ Gödel on Tarski ⋮ Frege, hilbert, and the conceptual structure of model theory ⋮ Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator ⋮ LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC ⋮ Guest editor's introduction: JvH100 ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ On rereading van Heijenoort's selected essays ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ Logic as calculus versus logic as language, language as calculus versus language as universal medium, and syntax versus semantics ⋮ INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD ⋮ Frege and the origins of model theory in nineteenth century geometry ⋮ The role of universal language in the early work of Carnap and Tarski ⋮ HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY ⋮ Aspekte der frege–hilbert-korrespondenz ⋮ Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics ⋮ Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited ⋮ First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment ⋮ Carnap's work in the foundations of logic and mathematics in a historical perspective
