The Logic in Logicism
Dialogue 36:341–60 (1997)
| Abstract | Frege's logicism consists of two theses: (1) the truths of arithmetic are truths of logic; (2) the natural numbers are objects. In this paper I pose the question: what conception of logic is required to defend these theses? I hold that there exists an appropriate and natural conception of logic in virtue of which Hume's principle is a logical truth. Hume's principle, which states that the number of Fs is the number of Gs iff the concepts F and G are equinumerous is the central plank in the neo-logicist argument for (1) and (2). I defend this position against two objections (a) Hume's principle canot be both a logical truth as required by (1) and also have the ontological import required by (2); and (b) the use of Hume's principle by the logicist is in effect an ontological proof of a kind which is not valid. | |||||||||
| Keywords | logicism neo-Fregeanism Hume's principle | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesFraser Macbride (2000). On Finite Humet. Philosophia Mathematica 8 (2):150-159.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
Otavio Bueno (2010). Logicism Revisited. Principia 5 (1-2):99-124.
Roy T. Cook (2003). Aristotelian Logic, Axioms, and Abstraction. Philosophia Mathematica 11 (2):195-202.
Alexander Bird (1997). The Logic in Logicism. Dialogue 36 (02):341--60.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-05-04Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
