Epistemic theories and the interpretation of Gödel's incompleteness theorems (Q1094407)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Epistemic theories and the interpretation of Gödel's incompleteness theorems |
scientific article |
Statements
Epistemic theories and the interpretation of Gödel's incompleteness theorems (English)
0 references
1986
0 references
An arithmetic system with S4-modality B (to be interpreted either as belief or as intuitive provability) is described. Some schemata (called versions of Church's thesis) expressing recursive enumerability of truth predicate for sublanguages of this language are stated and discussed. Some philosophical arguments (Kalmar's on Church's thesis, Wang's on proving consistency) are discussed in terms of the connective B.
0 references
arithmetic system
0 references
S4-modality
0 references
belief
0 references
intuitive provability
0 references
Church's thesis
0 references
consistency
0 references
