The Goedel's legacy: revisiting the Logic

Giuseppe Raguni'

DOI: https://doi.org/10.48550/arXiv.1206.2023

2013-05-02

Abstract:Some common fallacies about fundamental themes of Logic are exposed: the First and Second incompleteness Theorem interpretations, Chaitin's various superficialities and the usual classification of the axiomatic Theories in function of its language order.

Logic

What problem does this paper attempt to address?

Paradox regained: Life beyond Goedel's shadow

Bhupinder Singh Anand

DOI: https://doi.org/10.48550/arXiv.math/0201307

2002-01-30

General Mathematics

Abstract:Goedel's explicit thesis was that his undecidable formula GUS is a well-formed, well-defined formal sentence in any formalisation of Intuitive Arithmetic IA in which the axioms and rules of inference are recursively definable. His implicit thesis was that GUS is not formally inconsistent in any such system. I argue in a constructive, intuitionistically unobjectionable, and recursively definable formalisation PP of IA that GUS is a well-formed formula but an ill-defined formal sentence reflecting the "Liar" paradox in PP. Further, introducing "formal truth" and "provability" values to selected propositions of IA through PP leads to the collapse of Lucas' Goedelian argument.
On a fallacy concerning I-am-unprovable sentences: what to take home from Goedel's introduction

Kaave Lajevardi,Saeed Salehi

2023-11-11

Abstract:We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a certain property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Goedel's classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular informal argument plays no role in Goedel's technical results. Going deeper into the issue and investigating truth conditions of Goedelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Goedelian sentences of systems--a debate which is at least as old as Dummett (1963).

Logic
Logic and Paradox

Xuezhi Yang

2023-08-07

Abstract:This article discusses the logical errors in the liar paradox, Gödel's incompleteness theorems, Russell's paradox, and the halting problem. In order to avoid these errors, a redefinition of logic has been presented, which is concluded as four principles in set-theoretic language, including 1. Don't talk about empty; 2. Elements of set should have identity; 3. Sets should have definitions; and 4. A total set should be defined. The new definition of logic can eliminate all paradoxes and invalid statements, thus becoming a solid foundation for human language and knowledge.

General Mathematics
Kurt Gödel and the Logic of Concepts

Jovana Kostić,Slobodan Vujošević

2024-06-11

Abstract:The literature dealing with Gödel's legacy is largely preoccupied with challenging his philosophical views, regarding them as outdated. We believe that such an approach prevents us from seeing Gödel's views in the right light and understanding their rationale. In this article, his views are discussed in the philosophical realm in which he himself understood them. We explore the consequences of Gödel's incompleteness theorems for the question of the objectivity of mathematics and its epistemology. Taking set theory as the paradigm of formal mathematical theories, we examine the relationship between its incompleteness and extensionality. We argue, based on his philosophical views, that Gödel believed incompleteness can be overcome only by some intensional considerations about concepts from the basis of mathematical theories. These considerations should eventually lead to founding the so-called logic of concepts.

History and Overview
Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable

Bhupinder Singh Anand

DOI: https://doi.org/10.48550/arXiv.math/0703723

2007-03-25

Abstract:Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - one each in Theorem VI and in Theorem XI - which do not meet Goedel's, explicitly stated, requirement of classically constructive, and intuitionistically unobjectionable, reasoning. We see how these objections can be addressed, and note some consequences.

General Mathematics
Teaching G{ö}del's incompleteness theorems

Gilles Dowek

2023-03-31

Abstract:The basic notions of logic-predicate logic, Peano arithmetic, incompleteness theorems, etc.-have for long been an advanced topic. In the last decades, they became more widely taught, inphilosophy, mathematics, and computer science departments, to graduate and to undergraduate students. Many textbooks now present these notions, in particular the incompleteness theorems. Having taught these notions for several decades, our community can now stand back and analyze the choices faced when designing such a course. In this note, we attempt to analyze the choices faced when teaching the incompleteness theorems.

History and Overview,Logic in Computer Science
A common Misconception about the Categorical Arithmetic

Giuseppe Raguní

DOI: https://doi.org/10.48550/arXiv.1602.03389

2016-01-13

Abstract:Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the second-order Logic that can be deduced by these same Theorems does not imply the standard semantic incompleteness that can be derived using the Loewenheim-Skolem or the compactness Theorem. This state of affairs has its origins in an incorrect and misinterpreted Goedel's comment at the Koenigsberg congress of 1930 and has consolidated due to different circumstances. This paper aims to clear up these questions and proposes an alternative interpretation for the Goedel's statement.

General Mathematics
Gdel's Theorem and the Evolution of Logical Cognition

Shaochuan Wu

2011-01-01

Abstract:Gdel's Theorem is one of the three top achievements of Modern Logic Science in 20th century,and it has been seriously cited in many fields.People think that the discovered Incompleteness exists not only in a mathematical or logical system,but also in the human language.Af-ter Gdel,the logic theories have greatly changed.From the evolutionary and dialectic point of view,the Theorem should be not absolutized,because the logical cognition of human is continuously developing in scientific practice.
Logic Lectures: Gödel's Basic Logic Course at Notre Dame

Milos Adzic,Kosta Dosen

DOI: https://doi.org/10.48550/arXiv.1705.02601

2017-06-16

Abstract:An edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. Gödel presumably intended them just for himself, and they are full of abbreviations. This together with some other matters (like two versions of the same topic, and guessing the right order of the pages) required additional effort to obtain a readable edited version. Because of the quality of the material provided by Gödel, including also important philosophical points, this effort should however be worthwhile. The edited version of the text is accompanied by another version, called the source version, which is quite close to Gödel's manuscript. It is meant to be a record of the editorial interventions involved in producing the edited version (in particular, how the abbreviations were disabridged), and a justification of that later version.

History and Overview,Logic
An Introduction to Mathematical Logic

Anton Freund

2023-11-27

Abstract:This introduction begins with a section on fundamental notions of mathematical logic, including propositional logic, predicate or first-order logic, completeness, compactness, the Löwenheim-Skolem theorem, Craig interpolation, Beth's definability theorem and Herbrand's theorem. It continues with a section on Gödel's incompleteness theorems, which includes a discussion of first-order arithmetic and primitive recursive functions. This is followed by three sections that are devoted, respectively, to proof theory (provably total recursive functions and Goodstein sequences for $\mathsf{I\Sigma}_1$), computability (fundamental notions and an analysis of Kőnig's lemma in terms of the low basis theorem) and model theory (ultraproducts, chains and the Ax-Grothendieck theorem). We conclude with some brief introductory remarks about set theory (with more details reserved for a separate lecture). The author uses these notes for a first logic course for undergraduates in mathematics, which consists of 28 lectures and 14 exercise sessions of 90 minutes each. In such a course, it may be necessary to omit some material, which is straightforward since all sections except for the first two are independent of each other.

Logic
What If Turing Had Preceded Gödel?

Sebastian Oberhoff

2024-04-18

Abstract:The overarching theme of the following pages is that mathematical logic -- centered around the incompleteness theorems -- is first and foremost an investigation of $\textit{computation}$, not arithmetic. Guided by this intuition we will show the following. * First, we'll all but eliminate the need for Gödel numbers. * Next, we'll introduce a novel notational device for representable functions and walk through a condensed demonstration that Peano Arithmetic can represent every computable function. It has achieved Turing completeness. * Continuing, we'll derive the Diagonal Lemma and First Incompleteness Theorem using significantly simplified proofs. * Approaching the Second Incompleteness Theorem, we'll be able to use some self-referential trickery to avoid much of the technical morass surrounding it; arriving at three separate versions. * Extending the analogy between the First Incompleteness Theorem and the Unsolvability of the Halting Problem produces an equivalent of the Nondeterministic Time Hierarchy Theorem from the field of computational complexity. * Lastly, we'll briefly peer into the realm of the uncomputable by connecting our ideas to oracles.

Computational Complexity,Logic in Computer Science
Logical Paradoxes and Self-reference——on Kripke's Thoughts of Logical Paradoxes

LIU Ye-tao

DOI: https://doi.org/10.3969/j.issn.1009-2692.2007.01.002

2007-01-01

Abstract:Outline of A Theory of Truth is one of the most important literatures on logical paradoxes.The arhtor Kripke gave a correct explanation for the formation of logical paradoxes: self-reference and paradoxes are independent of each other,and orthodox approach involves no constrain on self-reference.These can be clearly illustrated by means of our accounts on Gouml;del's self-reference theorem and the relationship be-tween Tarski's truth theory in formal language and Gouml;del's incompleteness theorem.
Generalized Logic in Experience Thinking

HC He,YH Liu,DQ He,H Cheng

1996-01-01

Abstract:> The thinking and mathematical background of raising GL is explained first,then the main definitions and basic features of GL are presented,and finally the relationship between GL and other logic and the GL family are discussed.Although the research of GL just began,it may become the logic of all other logic.GL will be one of the basic theories in AI research,and has promising application.
Epistemological Consequences of the Incompleteness Theorems

Giuseppe Raguní

DOI: https://doi.org/10.48550/arXiv.1602.03390

2016-01-13

Abstract:After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental arithmetical theories are shown: the non-mechanizability for the truths of the first-order arithmetic and the peculiarities for the model of the second-order arithmetic. Finally, the common epistemological interpretation of the second incompleteness Theorem is corrected, proposing the new "Metatheorem of undemonstrability of internal consistency".

General Mathematics
Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic

Feng Liu,Florentin Smarandache

DOI: https://doi.org/10.48550/arXiv.math/0211465

2002-11-29

General Mathematics

Abstract:The paper presents a fresh new comprehensive ideology on Neutrosophic Logic based on contradiction study. It does a survey on Chinese philosophy. The paper aims to solve the chaos of logic and exhibit the potential power of neutrosophy: a new branch of scientific philosophy.
Where is Logic Going, and Should It?

Johan van Benthem

DOI: https://doi.org/10.1007/s11245-006-0018-x

2005-01-01

Abstract:Modern logic is about information flow and communication far beyond its traditional agenda of inference and meaning. This makes it a player at a central academic interface between many disciplines, where normative and descriptive stances, often thought to be at odds, meet in creating new practices which also affect reality. This same theatre is where philosophy in general would thrive, if it so wished.
The Revisability of Logic Revisited

Chen Bo

2008-01-01

Abstract:This paper explains,clarifies and argues for the following thesis:the revisablility of logic is a serious and difficult topic,it means that classic logic is revisable,but the revision is local and partial,not total and comprehensive.Classic logic cannot justify itself completely,besides metalogical justification,some other forms of justification are needed.Logic is the abstraction and idealization of human epistemic practice,and also has some indirect and remote connections with the world,that is why logic is revisable.There is no essential difference between the methodology of logic and the methodology of other sciences,that is,they both adopt the procedure of hypothesis-deduction.It is difficult for people to accept the revisability of logic just because they make some inappropriate reasonings and transitions.Although logic is revisable,it is always a reasonable strategy not to hurt logic.Revisionism in logic is almost fallibilism in logic,vice versa.
An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem

Hugo Herbelin,Danko Ilik

2024-01-24

Abstract:G{ö}del's completeness theorem for classical first-order logic is one of the most basic theorems of logic. Central to any foundational course in logic, it connects the notion of valid formula to the notion of provable formula.We survey a few standard formulations and proofs of the completeness theorem before focusing on the formal description of a slight modification of Henkin's proof within intuitionistic second-order

Logic
Rethinking the Epistemology of Logicism Under the Perspective of Structural Linguistics

Qin-an HUANG

DOI: https://doi.org/10.15983/j.cnki.sxss.2018.0532

2018-01-01

Abstract:From the perspective of structural linguistics, a fundamental defect of Logicism's notion of truth is that it makes no difference between signified and signifier in formal logic language. Due to the persistance in the beliefs of reductionism and logocentricism, Logicism fall into a semantic dilemma. To pursue the signified of logic truth in the scope of signifier leads to failure in the end. G del's incompleteness theorem, Tarski theorem and undecidability of the halting problem of the Turing machine all indicate that in logic theory, there is no meta language which can be escaped from being questioned, neither ultimate logic signified truth. Any logic paradigms should keep dynamic openness and diversified alternatives, so that they could play better and unique effects in the process of revealing the truth of formal language.
A new viewpoint of the Gödel's incompleteness theorem and its applications

Tianheng Tsui

DOI: https://doi.org/10.48550/arXiv.1805.02795

2018-05-08

Logic

Abstract:A new viewpoint of the G\"odel's incompleteness theorem be given in this article which reveals the deep relationship between the logic and computation. Upon the results of these studies, an algorithm be given which shows how to search a proof of statement in first order logic from finite concrete examples, and an approach be proposed to improve searching mathematical proof by neural network.

The Goedel's legacy: revisiting the Logic

Paradox regained: Life beyond Goedel's shadow

On a fallacy concerning I-am-unprovable sentences: what to take home from Goedel's introduction

Logic and Paradox

Kurt Gödel and the Logic of Concepts

Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable

Teaching G{ö}del's incompleteness theorems

A common Misconception about the Categorical Arithmetic

Gdel's Theorem and the Evolution of Logical Cognition

Logic Lectures: Gödel's Basic Logic Course at Notre Dame

An Introduction to Mathematical Logic

What If Turing Had Preceded Gödel?

Logical Paradoxes and Self-reference——on Kripke's Thoughts of Logical Paradoxes

Generalized Logic in Experience Thinking

Epistemological Consequences of the Incompleteness Theorems

Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic

Where is Logic Going, and Should It?

The Revisability of Logic Revisited

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem

Rethinking the Epistemology of Logicism Under the Perspective of Structural Linguistics

A new viewpoint of the Gödel's incompleteness theorem and its applications