A Note on Gödel’s First Disjunct Formalised in DTK System

Logic and Logical Philosophy 33 (4):555-565 (2024)
  Copy   BIBTEX

Abstract

This note clarifies the significance of the proof of Gödel’s first disjunct obtained through the formalisation of Penrose’s second argument within the DTK system. It analyses two formulations of the first disjunct – one general and the other restricted – and dwells on the demonstration of the restricted version, showing that it yields the following result: if by F we denote the set of propositions derivable from any formalism and by K the set of mathematical propositions humanly knowable, then, given certain conditions, F necessarily differs from K. Thus it is possible that K surpasses F but also, on the contrary, that F surpasses K. In the latter case, however, the consistency of F is humanly undecidable.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.
Gödels disjunctie.L. Horsten - 1998 - Tijdschrift Voor Filosofie 60 (1):83 - 105.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).
Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.

Analytics

Added to PP
2024-11-14

Downloads
6 (#1,710,069)

6 months
6 (#818,268)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antonella Corradini
Università Cattolica del Sacro Cuore di Milano

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references