PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:209 - 216 (1994)
|Abstract||We call Frege's discovery that, in the context of second-order logic, Hume's principle-viz., The number of Fs = the number of Gs if, and only if, F a G, where F a G (the Fs and the Gs are in one-to-one correspondence) has its usual, second-order, explicit definition-implies the infinity of the natural numbers, Frege's theorem. We discuss whether this theorem can be marshalled in support of a possibly revised formulation of Frege's logicism.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
Similar books and articles
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
Hirotoshi Tabata (2000). Frege's Theorem and His Logicism. History and Philosophy of Logic 21 (4):265-295.
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
William Demopoulos (2013). Logicism and its Philosophical Legacy. Cambridge University Press.
Richard Heck & Robert May (forthcoming). The Function is Unsaturated. In Michael Beaney (ed.), The Oxford Handbook of the History of Analytic Philosophy. Oxford University Press.
Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
Boudewijn de Bruin (2008). Wittgenstein on Circularity in the Frege-Russell Definition of Cardinal Number. Philosophia Mathematica 16 (3):354-373.
Joan Weiner (2007). What's in a Numeral? Frege's Answer. Mind 116 (463):677 - 716.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Saul A. Kripke (2008). Frege's Theory of Sense and Reference: Some Exegetical Notes. Theoria 74 (3):181-218.
Bird Alexander (1997). The Logic in Logicism. Dialogue 36:341–60.
Matthias Schirn (2003). Fregean Abstraction, Referential Indeterminacy and the Logical Foundations of Arithmetic. Erkenntnis 59 (2):203 - 232.
Sorry, there are not enough data points to plot this chart.
Added to index2011-05-29
Recent downloads (6 months)0
How can I increase my downloads?