Natural Logicism via the Logic of Orderly Pairing

DOI10.1007/978-1-4020-8926-8_5MaRDI QIDQ3613301zbMATH OpenOpenAlexFDO

Authors Neil Tennant

Publication date 12 March 2009

Published in Synthese Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-8926-8_5

zbMATH Keywords

natural deductionarithmeticconstructive logicist programorderly pairing

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Recommendations

• The logic of number
• A new path to the logicist construction of numbers
• scientific article; zbMATH DE number 3115104
• Frege's theorem and his logicism
• scientific article; zbMATH DE number 7238893

Cited in

(6)

• The logic of number
• Where do the natural numbers come from?
• scientific article; zbMATH DE number 2063840 (Why is no real title available?)
• The logical structure of scientific explanation and prediction: planetary orbits in a sun's gravitational field
• Two accounts of pairs
• Hume's principle: a plea for austerity

This page was built for publication: Natural Logicism via the Logic of Orderly Pairing

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