Sökning: onr:"swepub:oai:gup.ub.gu.se/316660" >
Never trust an unso...
Never trust an unsound theory
-
- Bennet, Christian, 1954 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för didaktik och pedagogisk profession,Department of Pedagogical, Curricular and Professional Studies
-
- Blanck, Rasmus, 1982 (författare)
- 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
- Engelska.
-
Ingår i: Theoria. - : Wiley. - 0040-5825 .- 1755-2567. ; 88:5, s. 1053-1056
- Relaterad länk:
-
https://gup.ub.gu.se...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- 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)
Nyckelord
- fixed points
- Gödel sentences
- soundness
- truth
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
-
Theoria
(Sök värdpublikationen i LIBRIS)
Till lärosätets databas