A Logic for Frege’s Theorem

DOI10.1093/OSO/9780199278343.003.0002MaRDI QIDQ5137232zbMATH OpenOpenAlexFDO

Authors Richard G. jun. Heck

Publication date 2 December 2020

Published in Logic, Language, and Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/oso/9780199278343.003.0002

zbMATH Keywords

ancestral logicarithmeticlogicismneo-logicismsecond-order logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Neo-Logicism and Its Logic
• Frege's theorem and his logicism
• Ramified Frege arithmetic
• Frege's other program
• What is Neologicism?

Cited in

(7)

• A basic free logic
• scientific article; zbMATH DE number 3926870 (Why is no real title available?)
• Frege's theorem in a constructive setting
• Semantics and completeness for schematic logic
• Axioms in Frege
• Fregean logics
• THE POTENTIAL IN FREGE’S THEOREM

This page was built for publication: A Logic for Frege’s Theorem

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