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
logicismsecond order arithmeticsecond order logicHume's principleDedekind-Peano axiomsFrege's philosophy of mathematics
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)