Provability in principle and controversial constructivistic principles

Journal of Philosophical Logic 26 (6):635-660 (1997)

Abstract

New epistemic principles are formulated in the language of Shapiro's system of Epistemic Arithmetic. It is argued that some plausibility can be attributed to these principles. The relations between these principles and variants of controversial constructivistic principles are investigated. Special attention is given to variants of the intuitionistic version of Church's thesis and to variants of Markov's principle

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,879

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
44 (#261,551)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

References found in this work

Two Dogmas of Empiricism.W. Quine - 1951 - [Longmans, Green].
Content Preservation.Tyler Burge - 1993 - Philosophical Review 102 (4):457-488.
Two Dogmas of Empiricism.W. V. O. Quine - 1951 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 202-220.
A Logical Analysis of Some Value Concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.

View all 16 references / Add more references