Jean van Heijenoort's conception of modern logic, in historical perspective

DOI10.1007/s11787-012-0055-8zbMath1268.03003OpenAlexW2085408728MaRDI QIDQ1942093

Irving H. Anellis

Publication date: 15 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0055-8

zbMATH Keywords

Gottlob Fregehistory of logicNorbert WienerJean van HeijenoortJaques HerbrandLeopold Löwenheim

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (1)

Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some views of Russell and Russell's logic by his early contemporaries
• Frege's \textit{Begriffsschrift} as a lingua characteristica
• Aristotle's logic and the quest for the quantification of the predicate
• Russell on the nature of logic (1903-1913)
• Peirce and Dedekind: the definition of finite set
• Frege against the Booleans
• Some unpublished papers of Jean van Heijenoort
• Peirce the logician
• On the development of the model-theoretic viewpoint in logical theory
• Predication versus membership in the distinction between logic as language and logic a calculus
• Sense in Frege
• Frege on sense identity
• The reception of Frege's \textit{Begriffsschrift}
• Supposition as quantification versus supposition as global quantificational effect
• Russell and his sources for non-classical logics
• Peirce's development of quantifiers and of predicate logic
• Number system for the immediate inferences and the syllogism in Aristotelian logic
• Pure numerical Boolean syllogisms
• The problem of existential import (From George Boole to P. F. Strawson)
• Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain
• Russell’s earliest reactions to Cantorian set theory, 1896–1900
• RUSSELL'S EARLIEST INTERPRETATION OF CANTORIAN SET THEORY, 1896–1900
• RUSSELL AND ENGELS: TWO APPROACHES TO A HEGELIAN PHILOSOPHY OF MATHEMATICS¹
• Logic in the twenties: the nature of the quantifier
• Wiener on the logics of Russell and Schröder
• Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan
• Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
• Suppositio and Quantification in Ockham
• Systems of predicative analysis
• A Class of Topological Boolean Algebras
• Transfinite recursive progressions of axiomatic theories
• On the logic of quantification

This page was built for publication: Jean van Heijenoort's conception of modern logic, in historical perspective