Hume's principle, beginnings

DOI10.1017/S1755020310000316MaRDI QIDQ3006003zbMATH OpenFDO

Authors Albert Visser

Publication date 10 June 2011

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

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

zbMATH Keywords

comprehensionfirst-order arithmeticHume's Principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• On the origin and status of our conception of number
• The proof of Hume's principle
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Is Hume's principle analytic?
• Finitude and Hume's principle

Cites work

• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Logical number theory I. An introduction
• Predicative Fragments of Frege Arithmetic

Cited in

(9)

• On the origin and status of our conception of number
• Logicism, interpretability, and knowledge of arithmetic
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• The small-is-very-small principle
• The proof of Hume's principle
• The interpretation existence lemma
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Neo-Logicism and Its Logic
• Identity and the cognitive value of logical equations in Frege's foundational project

This page was built for publication: Hume's principle, beginnings

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