Incompleteness, Undecidability, and Normativity: A Case for a Logos

Fuente: Zenodo
Salvato in:
Dettagli Bibliografici
Autore principale: Zhang, Andrew
Natura: Recurso digital
Lingua:inglese
Pubblicazione: Zenodo 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866901608858648576
author Zhang, Andrew
author_facet Zhang, Andrew
contents <p dir="ltr">This paper argues that any consistent, effectively axiomatized formal Theory of Everything (TOE) that decides all physical facts about physically realizable finite computation cannot be syntactically complete, by Gödel incompleteness and Turing style undecidability. This is a limit on formal provability or predictability within a TOE, not a claim that reality itself is incomplete, and it does not imply that human minds outrun computation. The second part argues that “truth,” “validity,” and “correctness” are normative notions, and that purely descriptive causal accounts do not by themselves yield objective normativity without an additional bridge principle. On an abductive reading, if objective normativity is not fully reducible to descriptive causal facts, then positing a nonphysical ground, one candidate being a Logos not dependent for its existence on anything else, is reasonable.</p> <p> </p>
format Recurso digital
id zenodo_https___doi_org_10_5281_zenodo_18595907
institution Zenodo
language eng
publishDate 2026
publisher Zenodo
record_format zenodo
spellingShingle Incompleteness, Undecidability, and Normativity: A Case for a Logos
Zhang, Andrew
Mind-Body Relations, Metaphysical/classification
Metaphysics
Metaphysics
Mind-Body Relations, Metaphysical
Mind-Body Relations, Metaphysical/ethics
Epistemology
Religious Philosophies/psychology
Metamathematics
Physicalism
<p dir="ltr">This paper argues that any consistent, effectively axiomatized formal Theory of Everything (TOE) that decides all physical facts about physically realizable finite computation cannot be syntactically complete, by Gödel incompleteness and Turing style undecidability. This is a limit on formal provability or predictability within a TOE, not a claim that reality itself is incomplete, and it does not imply that human minds outrun computation. The second part argues that “truth,” “validity,” and “correctness” are normative notions, and that purely descriptive causal accounts do not by themselves yield objective normativity without an additional bridge principle. On an abductive reading, if objective normativity is not fully reducible to descriptive causal facts, then positing a nonphysical ground, one candidate being a Logos not dependent for its existence on anything else, is reasonable.</p> <p> </p>
title Incompleteness, Undecidability, and Normativity: A Case for a Logos
topic Mind-Body Relations, Metaphysical/classification
Metaphysics
Metaphysics
Mind-Body Relations, Metaphysical
Mind-Body Relations, Metaphysical/ethics
Epistemology
Religious Philosophies/psychology
Metamathematics
Physicalism
url https://doi.org/10.5281/zenodo.18595907