Finitude and Hume's principle

DOI10.1023/A:1004299720847zbMATH Open0885.03045OpenAlexW2109323615MaRDI QIDQ1372939FDOQ1372939

Authors: Richard G. jun. Heck 

Publication date: 31 March 1998

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004299720847

Recommendations

• Nothing matters too much, or Wright is wrong
• Ramified Frege arithmetic
• The proof of Hume's principle
• scientific article; zbMATH DE number 6111395
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Why, in 1902, wasn't Frege prepared to accept Hume's Principle as the Primitive Law for his Logicist Program?
• Amending Frege's \textit{Grundgesetze der Arithmetik}
• Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
• The Logic in Logicism
• Neo-Logicism and Its Logic

zbMATH Keywords

logicismsecond order arithmeticsecond order logicHume's principleDedekind-Peano axiomsFrege's philosophy of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35)

Cited In (32)

• Double vision: two questions about the neo-Fregean program
• Focus restored: Comments on John MacFarlane
• Skolem redux
• Hume's principle, beginnings
• FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM
• TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
• Logicism, interpretability, and knowledge of arithmetic
• Finiteness and choice
• Nothing matters too much, or Wright is wrong
• On the concept of finitism
• Frege's other program
• Neo-Fregeanism: an embarrassment of riches
• Finiteness and the falsification by fellow traveler property.
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Frege meets Dedekind: A neologicist treatment of real analysis
• Is Hume's principle analytic?
• Explicit abstract objects in predicative settings
• The proof of Hume's principle
• In good company? On Hume's principle and the assignment of numbers to infinite concepts
• Hume's big brother: Counting concepts and the bad company objection
• Ramified Frege arithmetic
• Amending Frege's \textit{Grundgesetze der Arithmetik}
• Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
• Neologicism, Frege's constraint, and the Frege-Heck condition
• Cantor's Abstractionism and Hume's Principle
• Cardinality, counting, and equinumerosity
• ``Till at last there remain nothing. Hume's \textit{Treatise} 1.4.1 in contemporary perspective
• FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
• Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint
• Deductive cardinality results and nuisance-like principles
• Generalizing Boolos' theorem
• On finite Hume

This page was built for publication: Finitude and Hume's principle

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