On explicating the concept the power of an arithmetical theory

Journal of Philosophical Logic 37 (2):183 - 202 (2008)
  Copy   BIBTEX

Abstract

In this paper I discuss possible ways of measuring the power of arithmetical theories, and the possiblity of making an explication in Carnap's sense of this concept. Chaitin formulates several suggestions how to construct measures, and these suggestions are reviewed together with some new and old critical arguments. I also briefly review a measure I have designed together with some shortcomings of this measure. The conclusion of the paper is that it is not possible to formulate an explication of the concept

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Arithmetical and specular self-reference.Damjan Bojadžiev - 2004 - Acta Analytica 19 (33):55-63.
Chapter.John Bell - manuscript
Unraveling and discovering: the conceptual relations between the concept of power and the concept of empowerment.Brian Thomas - 2011 - Critical Review of International Social and Political Philosophy 14 (4):443-463.
Postmodern Education and the Concept of Power.Thomas Aastrup Rømer - 2011 - Educational Philosophy and Theory 43 (7):755-772.
Modal analysis of generalized Rosser sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Bayesian probability.Patrick Maher - 2010 - Synthese 172 (1):119 - 127.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.

Analytics

Added to PP
2009-01-28

Downloads
35 (#456,481)

6 months
2 (#1,198,779)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
Gödel, Escher, Bach: An Eternal Golden Braid.Judson C. Webb - 1979 - Journal of Symbolic Logic 48 (3):864-871.
On interpreting Chaitin's incompleteness theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.

View all 13 references / Add more references