In defense of epistemic arithmetic

DOI10.1023/A:1005016405987zbMath0931.03004OpenAlexW1504565834MaRDI QIDQ1299766

Leon Horsten

Publication date: 28 February 2000

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005016405987

zbMATH Keywords

Church's thesisintuitionismepistemic arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (6)

Closure of a priori knowability under a priori knowable material implication ⋮ MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY ⋮ The epistemic significance of numerals ⋮ Modal-epistemic arithmetic and the problem of quantifying in ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION ⋮ Non-deterministic logic of informal provability has no finite characterization

This page was built for publication: In defense of epistemic arithmetic