Provability in principle and controversial constructivistic principles (Q1372941): Difference between revisions

New classical epistemic principles are formulated in the language of Shapiro's system of Epistemic Arithmetic. It is argued that some intrinsic plausibility can be attributed to these principles. Subsequently, the relations between these principles and variants of controversial constructivistic principles are investigated. The result of adding these new epistemic principles to Shapiro's system of Epistemic Arithmetic yields systems which are still conservative over Heyting arithmetic (under Gödel's translation). But at the same time these principles make certain relations between (translations of) controversial intuitionistic principles provable which are in their absence unprovable. For instance, in the context of one such principle, the intuitionistic version of Church's Thesis implies Markov's Principle.