Provability logic

Stanford Encyclopedia of Philosophy (2008)
  Copy   BIBTEX

Abstract

Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability predicates. The logic has been inspired by developments in meta-mathematics such as Gödel’s incompleteness theorems of 1931 and Löb’s theorem of 1953. As a modal logic, provability logic has been studied since the early seventies, and has had important applications in the foundations of mathematics. From a philosophical point of view, provability logic is interesting because the concept of provability in a fixed theory of arithmetic has a unique and non-problematic meaning, other than concepts like necessity and knowledge studied in modal and epistemic logic. Furthermore, provability logic provides tools to study the notion of self-reference.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
Provability, complexity, grammars.Lev Dmitrievich Beklemishev - 1999 - Providence, RI: American Mathematical Society. Edited by Mati Reĭnovich Pentus & Nikolai Konstantinovich Vereshchagin.

Analytics

Added to PP
2009-01-28

Downloads
18 (#708,380)

6 months
4 (#315,466)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Reflections on Orlov.Graham Priest - 2021 - History and Philosophy of Logic 42 (2):118-128.
Embedding Classical Logic in S4.Sophie Nagler - 2019 - Dissertation, Munich Center for Mathematical Philosophy (Mcmp), Lmu Munich

Add more citations

References found in this work

An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.

View all 119 references / Add more references