The Henkin Sentence

Albert Visser; Volker Halbach

doi:10.1007/978-3-319-09719-0_17

The Henkin Sentence

Albert Visser, Volker Halbach

OFR - Theoretical Philosophy

University of Oxford

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of
the question and the early responses by Kreisel and Löb and sketch how this discussion led to the development of Provability Logic. We argue that, in addition to that, the question has philosophical aspects that are still interesting.

Original language	English
Title of host publication	The Life and Work of Leon Henkin
Subtitle of host publication	Essays on his Contributions
Editors	María Manzano, Ildikó Sain, Enrique Alonso
Publisher	Birkhaüser
Pages	249-263
Number of pages	14
ISBN (Electronic)	978-3-319-09719-0
ISBN (Print)	978-3-319-09718-3
DOIs	https://doi.org/10.1007/978-3-319-09719-0_17
Publication status	Published - 2014

Publication series

Name	Studies in Universal Logic
Publisher	Birkhäuser
ISSN (Print)	2297-0282
ISSN (Electronic)	2297-0290

Keywords

self-reference
fixed points
second incompleteness theorem
provability logic

Access to Document

10.1007/978-3-319-09719-0_17

Embargoed Document

17
Final published version, 285 KB
Embargo ends: 1/01/50

Cite this

@inbook{af0a69af0dc043a4b734712763232c46,

title = "The Henkin Sentence",

abstract = "In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of the question and the early responses by Kreisel and L{\"o}b and sketch how this discussion led to the development of Provability Logic. We argue that, in addition to that, the question has philosophical aspects that are still interesting. ",

keywords = "self-reference, fixed points, second incompleteness theorem, provability logic",

author = "Albert Visser and Volker Halbach",

year = "2014",

doi = "10.1007/978-3-319-09719-0\_17",

language = "English",

isbn = "978-3-319-09718-3",

series = "Studies in Universal Logic",

publisher = "Birkha{\"u}ser",

pages = "249--263",

editor = "Mar{\'i}a Manzano and Ildik{\'o} Sain and Enrique Alonso",

booktitle = "The Life and Work of Leon Henkin",

address = "United States",

}

TY - CHAP

T1 - The Henkin Sentence

AU - Visser, Albert

AU - Halbach, Volker

PY - 2014

Y1 - 2014

N2 - In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of the question and the early responses by Kreisel and Löb and sketch how this discussion led to the development of Provability Logic. We argue that, in addition to that, the question has philosophical aspects that are still interesting.

AB - In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of the question and the early responses by Kreisel and Löb and sketch how this discussion led to the development of Provability Logic. We argue that, in addition to that, the question has philosophical aspects that are still interesting.

KW - self-reference

KW - fixed points

KW - second incompleteness theorem

KW - provability logic

U2 - 10.1007/978-3-319-09719-0_17

DO - 10.1007/978-3-319-09719-0_17

M3 - Chapter

SN - 978-3-319-09718-3

T3 - Studies in Universal Logic

SP - 249

EP - 263

BT - The Life and Work of Leon Henkin

A2 - Manzano, María

A2 - Sain, Ildikó

A2 - Alonso, Enrique

PB - Birkhaüser

ER -

The Henkin Sentence

Abstract

Publication series

Keywords

Access to Document

Embargoed Document

Fingerprint

Cite this