Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic

DOI10.1007/s11787-012-0063-8zbMath1270.03007OpenAlexW2013875666MaRDI QIDQ1942090

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-0063-8

zbMATH Keywords

classical first-order logichistoriographyhistory of logicphilosophy of logicJean van Heijenoorthistorical development of modern logicsubsystems of logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Subsystems of classical logic (including intuitionistic logic) (03B20) Historiography (01A85)

Cites Work

• Peirce the logician
• On the development of the model-theoretic viewpoint in logical theory
• Leben und Werk Leopold Löwenheims (1878-1957)
• Untersuchungen über das logische Schliessen. I
• Pairs of real 2-by-2 matrices that generate free products
• Peirce's development of quantifiers and of predicate logic
• Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
• An improved proof procedure1
• Theorem-Proving on the Computer
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Wiener on the logics of Russell and Schröder
• Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
• A Machine-Oriented Logic Based on the Resolution Principle
• Analytic natural deduction
• Trees and nest structures
• Finite nest structures and propositional logic
• Analytic cut
• Uniform Gentzen systems
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• A Bibliography of Symbolic Logic
• David Hilbert and his mathematical 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

This page was built for publication: Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic