Provability logic

Provability logic

Provability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic.

There are a number of provability logics, some of which are covered in the literature mentioned in the References section. The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W. It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4). It was pioneered by Robert M. Solovay in 1976. Since then until his passing in 1996 the prime inspirer of the field was George Boolos. Significant contributions to the field have been made by Sergei Artemov, Lev Beklemishev, Giorgi Japaridze, Dick de Jongh, Franco Montagna, Vladimir Shavrukov, Albert Visser and others. Interpretability logics present natural extensions of provability logic.

References

*George Boolos, The Logic of Provability. Cambridge University Press, 1993.
* [http://www.csc.villanova.edu/~japaridz/ Giorgi Japaridze] and Dick de Jongh, [http://www.csc.villanova.edu/~japaridz/Text/prov.pdf "The logic of provability"] . In: Handbook of Proof Theory, S. Buss, ed. Elsevier, 1998, pp. 475-546.
* [http://www.cs.gc.cuny.edu/~sartemov/ Sergei Artemov] and [http://www.phil.uu.nl/~lev/ Lev Beklemishev] , [http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint234.pdf "Provability logic"] . In: Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds., vol. 13, 2nd ed., pp. 229-403. Kluwer, Dordrecht, 2004.
*Per Lindström, "Provability logic - a short introduction". Theoria 62 (1996), pp. 19-61.
*Craig Smoryński, Self-reference and modal logic. Springer, Berlin, 1985.
*Robert M. Solovay, ``Provability Interpretations of Modal Logic``, Israel Journal of Mathematics, Vol. 25 (1976): 287-304.
* [http://plato.stanford.edu/entries/logic-provability/ Provability logic] , from the Stanford Encyclopedia of Philosophy.

ee also

*Interpretability logic
*Kripke semantics.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • Interpretability logic — Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Pi;1 conservativity,… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • List of basic topics in logic — For a more comprehensive list, see the List of logic topics. Logic, a branch of both philosophy and mathematics, is the study of criteria for the evaluation of arguments. The task of the logician is to advance an account of valid and fallacious… …   Wikipedia

  • List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… …   Wikipedia

  • Probabilistic logic — The aim of a probabilistic logic (or probability logic) is to combine the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure. The result is a richer and more expressive formalism with a… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”