Search: onr:"swepub:oai:gup.ub.gu.se/316660" >
Never trust an unso...
Never trust an unsound theory
-
- Bennet, Christian, 1954 (author)
- Gothenburg University,Göteborgs universitet,Institutionen för didaktik och pedagogisk profession,Department of Pedagogical, Curricular and Professional Studies
-
- Blanck, Rasmus, 1982 (author)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
(creator_code:org_t)
- 2022-06-05
- 2022
- English.
-
In: Theoria. - : Wiley. - 0040-5825 .- 1755-2567. ; 88:5, s. 1053-1056
- Related links:
-
https://gup.ub.gu.se...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Lajevardi and Salehi, in “There may be many arithmetical Gödel sentences”, argue against the use of the definite article in the expression “the Gödel sentence”, by claiming that any unsound theory has Gödelian sentences with different truth values. We show that their Theorems 1 and 2 are special cases (modulo Löb's theorem and the first incompleteness theorem) of general observations pertaining to fixed points of any formula, and argue that the false sentences of Lajevardi and Salehi are in fact not Gödel sentences.
Subject headings
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
Keyword
- fixed points
- Gödel sentences
- soundness
- truth
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
-
Theoria
(Search for host publication in LIBRIS)
To the university's database