Prolog detects pathological self reference in the Gödel sentence

Abstract

This sentence G ↔ ¬(F ⊢ G) and its negation G ↔ ~(F ⊢ ¬G) are shown to meet the conventional definition of incompleteness: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). They meet conventional definition of incompleteness because neither the sentence nor its negation is provable in F (or any other formal system). --

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Defining Gödel Incompleteness Away.P. Olcott - manuscript
On the Arithmetical Truth of Self‐Referential Sentences.Kaave Lajevardi & Saeed Salehi - 2019 - Theoria 85 (1):8-17.
Omega-consistency and the diamond.George Boolos - 1980 - Studia Logica 39 (2-3):237 - 243.
The Liar Syndrome.Albert A. Johnstone - 2002 - SATS 3 (1).
Socrates did it before Gödel.Josef Wolfgang Degen - 2011 - Logic and Logical Philosophy 20 (3):205-214.
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.
Incompleteness and inconsistency.Stewart Shapiro - 2002 - Mind 111 (444):817-832.
Парадокс лжеца и первая теорема геделя о неполноте.Vitaly Tselishchev - 2017 - Schole 11 (2):415-427.
The Liar Syndrome.Albert A. Johnstone - 2002 - SATS 3 (1):37-55.
Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.
What he could have said (but did not say) about Gödel’s second theorem: A note on Floyd-Putnam’s Wittgenstein.Kaave Lajevardi - 2021 - Wittgenstein-Studien 12 (1):121-129.
There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
Can Gödel's Incompleteness Theorem be a Ground for Dialetheism?Seungrak Choi - 2017 - Korean Journal of Logic 20 (2):241-271.

Analytics

Added to PP
2021-04-10

Downloads
288 (#69,921)

6 months
90 (#52,004)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references