Finitude and Hume's principle

DOI10.1023/A:1004299720847zbMath0885.03045OpenAlexW2109323615MaRDI QIDQ1372939

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

zbMATH Keywords

Hume's principlelogicismsecond order arithmeticsecond order logicDedekind-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)

Related Items

FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM ⋮ FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) ⋮ LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC ⋮ Is Hume's principle analytic? ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters ⋮ Ramified Frege arithmetic ⋮ Double vision: two questions about the neo-Fregean program ⋮ Focus restored: Comments on John MacFarlane ⋮ Hume's big brother: Counting concepts and the bad company objection ⋮ IN GOOD COMPANY? ON HUME’S PRINCIPLE AND THE ASSIGNMENT OF NUMBERS TO INFINITE CONCEPTS ⋮ Cardinality, counting, and equinumerosity ⋮ Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint ⋮ Frege meets Dedekind: A neologicist treatment of real analysis ⋮ DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES ⋮ Amending Frege's \textit{Grundgesetze der Arithmetik}