Generality and existence: quantificational logic in historical perspective

DOI10.1017/BSL.2014.29MaRDI QIDQ2795206zbMATH OpenOpenAlexFDO

Authors Jan von Plato

Publication date 18 March 2016

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/bsl.2014.29

zbMATH Keywords

BernaysBrouwerFregeGentzenGoodsteinHeytingHilbertpredicate logicquantifiersRussellSkolemWittgenstein

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• Wittgenstein's struggles with the quantifiers
• Regarding the origins of quantifier logic in analysis
• Frege
• scientific article; zbMATH DE number 1324396
• Existence, identity, and the algebra of logic

Cites work

• A Formalization of Recursive Arithmetic
• Combinatorial analysis of proofs in projective and affine geometry
• Elements of logical reasoning
• Gentzen's Proof of Normalization for Natural Deduction
• Gentzen's proof systems: byproducts in a work of genius
• scientific article; zbMATH DE number 6371939 (Why is no real title available?)
• scientific article; zbMATH DE number 1952952 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Il silenzio delle sirene: La matematica greca antica
• In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
• Logic in the twenties: the nature of the quantifier
• ON THE NATURE OF MATHEMATICAL SYSTEMS
• Polynomial Time Uniform Word Problems
• The silence of the sirens. The ancient Greek mathematics
• The word and generator problems for lattices

Cited in

(4)

• Existence, identity, and the algebra of logic
• The universal generalization problem
• Wittgenstein's struggles with the quantifiers
• Formalized deduction of quantifier-expanded syllogisms

This page was built for publication: Generality and existence: quantificational logic in historical perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2795206)