On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set (Q2778662)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set |
scientific article; zbMATH DE number 1721727
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set |
scientific article; zbMATH DE number 1721727 |
Statements
20 March 2002
0 references
truth theory
0 references
complexity of definitions
0 references
fixed-point theory
0 references
revision theory of truth
0 references
algorithmic theory of truth
0 references
0 references
On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set (English)
0 references
Recall that the so-called revision theory of truth in the sense of Gupta and Belnap can be interpreted as an alternative approach to the Kripkean theory of fixed points. The author gives a simplified (use definitional complexity) notion of revision sequences so as to arrive at a slightly generalized algorithmic theory of truth. In the process, a modest unification is given to the Kripkean theory of truth. No new way is given to fend off the adverse effects of paradoxes; e.g., (strong) liar paradoxes.
0 references
