The modal logic of Gödel sentences

DOI10.1007/S10992-010-9140-8MaRDI QIDQ600852zbMATH OpenOpenAlexFDO

Authors Hirohiko Kushida

Publication date 3 November 2010

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

Full work available at URL https://doi.org/10.1007/s10992-010-9140-8

zbMATH Keywords

Gödel sentenceincompleteness theoremsmodal logicPeano arithmeticprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Review text

A Gödel sentence is a PA-unprovable sentence of the language of PA which is true in the standard model of the natural numbers. In the style of provability logics, the author presents here a modal logic GS for such Gödel sentences. He proves a Kripke-style completeness theorem, gives mutually faithful interpretations for GS with the provability logics GL and Grz and also with intuitionistic logic. And he proves an arithmetic completeness theorem saying that the arithmetical interpretations of GS-sentences are just the ``true but unprovable Gödel sentences of arithmetic.

Recommendations

• A proof theory for the logic of provability in true arithmetic
• The Logic of Provability
• Provability and modal logic
• Provability: The emergence of a mathematical modality
• Self-reference and modal logic

Cites work

• Arithmetical necessity, provability and intuitionistic logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 6287581 (Why is no real title available?)
• Logics of essence and accident
• Provability interpretations of modal logic
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting

Cited in

(14)

• An incomplete system of modal logic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Addendum to ``Sloman's view of Gödel's sentence
• On the classification of first order Gödel logics
• A proof theory for the logic of provability in true arithmetic
• The modified Ramsey theorem is not a Gödel sentence
• What's so special about the Gödel sentence \(\mathcal{G}\)?
• scientific article; zbMATH DE number 2020141 (Why is no real title available?)
• Undecidability of the elementary theory of the semilattice of GLP-words
• Gödel Homomorphisms as Gödel Modal Operators
• Constructive truth and falsity in Peano arithmetic
• There may be many arithmetical Gödel sentences
• On Godel Sentences and What They Say
• Gödelian sentences, Rosserian sentences and truth

This page was built for publication: The modal logic of Gödel sentences

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