Natural Logicism via the Logic of Orderly Pairing

DOI10.1007/978-1-4020-8926-8_5zbMATH Open1162.03006OpenAlexW2157212216MaRDI QIDQ3613301FDOQ3613301

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

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

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)

Cited In (6)

• The logic of number
• Where do the natural numbers come from?
• Title not available (Why is that?)
• 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)