A Logic for Frege’s Theorem

DOI10.1093/OSO/9780199278343.003.0002OpenAlexW3022062290MaRDI QIDQ5137232FDOQ5137232

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

logicismarithmeticsecond-order logicneo-logicismancestral logic

Mathematics Subject Classification ID

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

Cited In (7)

• A basic free logic
• THE POTENTIAL IN FREGE’S THEOREM
• Fregean logics
• Frege's theorem in a constructive setting
• Axioms in Frege
• The Ontological Innocence of Schematic Logic
• Title not available (Why is that?)

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)