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

DOI10.1007/s11787-012-0063-8zbMath1270.03007MaRDI 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 logic; historiography; history of logic; philosophy of logic; Jean van Heijenoort; historical development of modern logic; subsystems of logic

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

01A70: Biographies, obituaries, personalia, bibliographies

03A05: Philosophical and critical aspects of logic and foundations

03B10: Classical first-order logic

03-03: History of mathematical logic and foundations

01A55: History of mathematics in the 19th century

03B20: Subsystems of classical logic (including intuitionistic logic)

01A85: Historiography

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