Logic as calculus and logic as language

DOI10.1007/BF00485036zbMath0154.00305OpenAlexW4252667672WikidataQ60306071 ScholiaQ60306071MaRDI QIDQ2526147

Jean van Heijenoort

Publication date: 1967

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00485036

zbMATH Keywords

mathematical logic

Related Items

The Composition of Thoughts ⋮ Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics ⋮ Tarski's staggering existential assumptions ⋮ Logic in Russell's Principles of Mathematics ⋮ LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC ⋮ Guest editor's introduction: JvH100 ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ 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 ⋮ Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament ⋮ Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus ⋮ 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 ⋮ The Near Riot Over Negative Facts ⋮ Husserl and the algebra of logic: Husserl's 1896 lectures ⋮ LOGICAL CONTEXTUALITY IN FREGE ⋮ The Versatility of Universality inPrincipia Mathematica ⋮ Predication versus membership in the distinction between logic as language and logic a calculus ⋮ Quine's Philosophy of Language and Polish Logic ⋮ Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics ⋮ Frege's \textit{Begriffsschrift} as a lingua characteristica ⋮ The applicability of mathematics as a philosophical problem: mathematization as exploration ⋮ Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} ⋮ The logic of the ontological square ⋮ Wittgenstein and logic ⋮ Remarks on Independence Proofs and Indirect Reference ⋮ Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited ⋮ On three arguments against categorical structuralism ⋮ A New–old Characterisation of Logical Knowledge ⋮ Truth in Frege's ``law of truth ⋮ On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” ⋮ Carnap's work in the foundations of logic and mathematics in a historical perspective ⋮ Frege's new science ⋮ Frege meets Dedekind: A neologicist treatment of real analysis