Self-referential theories

DOI10.1017/JSL.2020.54MaRDI QIDQ5858928zbMATH OpenOpenAlexFDO

Authors Samuel A. Alexander

Publication date 15 April 2021

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.11535

zbMATH Keywords

quantified modal logicstrong mechanistic thesis

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Abstract: We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Recommendations

• Editorial introduction
• Self-reference in arithmetic. II
• A simple axiomatizable theory of truth
• An axiomatic approach to self-referential truth
• Uniform self-reference

Cites work

• A machine that knows its own code
• Absolute Versions of Incompleteness Theorems
• After Godel
• Elementary patterns of resemblance
• scientific article; zbMATH DE number 6833840 (Why is no real title available?)
• Intensional mathematics
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ungroundedness in Tarskian languages

Cited in

(7)

• Fast-collapsing theories
• T-schema deflationism versus Gödel's first incompleteness theorem
• On the consistency of self-referential systems
• scientific article; zbMATH DE number 6424084 (Why is no real title available?)
• Strengthening Consistency Results in Modal Logic
• Specieslike clusters based on identical ancestor points
• Alethic reference

This page was built for publication: Self-referential theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5858928)