Epistemic theories and the interpretation of Gödel's incompleteness theorems (Q1094407): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 02:11, 5 March 2024
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
