Consequences of a Godel’s Misjudgment - Open Access Library Journal

OALibJ > Vol.2 No.9, September 2015

Consequences of a Godel’s Misjudgment ()

HTML XML

Download as PDF (Size: 447KB) PP. 1-12

DOI: 10.4236/oalib.1101820 690 Downloads 1,343 Views Citations

Author(s)

Giuseppe Raguní

Affiliation(s)

Universidad Católica de Murcia (UCAM), Murcia, Spain.

ABSTRACT

The fundamental aim of the paper is to correct a harmful way to interpret a Godel’s erroneous remark at the Congress of Konigsberg in 1930. Although the Godel’s fault is rather venial, its misreading has produced and continues to produce dangerous fruits, so as to apply the incompleteness Theorems to the full second-order Arithmetic and to deduce the semantic incompleteness of its language by these same Theorems. The first three paragraphs are introductory and serve to define the languages inherently semantic and its properties, to discuss the consequences of the expression order used in a language and some questions about the semantic completeness. In particular, it is highlighted that a non-formal theory may be semantically complete despite using a language semantically incomplete. Finally, an alternative interpretation for the Godel’s unfortunate comment is proposed.

KEYWORDS

Semantic Completeness, Syntactic Incompleteness, Categoricity, Arithmetic, Second-Order Languages, Paradoxes

Share and Cite:

Raguní, G. (2015) Consequences of a Godel’s Misjudgment. Open Access Library Journal, 2, 1-12. doi: 10.4236/oalib.1101820.

Journals Menu