Varieties of Self-Reference in Metamathematics

被引：1

作者：

Grabmayr, Balthasar ^{[1
]}

Halbach, Volker ^{[2
,3
]}

Ye, Lingyuan ^{[4
]}

机构：

[1] Univ Haifa, Dept Philosophy, Haifa, Israel

[2] Univ Oxford, Oxford, England

[3] New Coll, Oxford, England

[4] Univ Amsterdam, ILLC, Amsterdam, Netherlands

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 2023年 / 52卷 / 04期

关键词：

Self-reference; Arithmetic; Intensionality; Diagonalization; Well-foundedness; Uniformity; Henkin sentence;

D O I：

10.1007/s10992-022-09696-y

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

This paper investigates the conditions under which diagonal sentences can be taken to constitute paradigmatic cases of self-reference. We put forward well-motivated constraints on the diagonal operator and the coding apparatus which separate paradigmatic self-referential sentences, for instance obtained via Godel's diagonalization method, from accidental diagonal sentences. In particular, we show that these constraints successfully exclude refutable Henkin sentences, as constructed by Kreisel.

引用

页码：1005 / 1052

页数：48

共 50 条

[21] Self-reference as a principal indicator of complexity
Hempel, Stefan
Pineda, Ricardo
Smith, Eric
COMPLEX ADAPTIVE SYSTEMS, 2011, 6
[22] IS THE BAN ON SELF-REFERENCE REALLY NECESSARY?
Andrushkevich, Alexandr G.
EPISTEMOLOGY & PHILOSOPHY OF SCIENCE-EPISTEMOLOGIYA I FILOSOFIYA NAUKI, 2023, 60 (03): : 61 - 67
[23] Properties complementary to program self-reference
Case, John
Moelius, Samuel E., III
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2007, PROCEEDINGS, 2007, 4708 : 253 - +
[24] ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
Rosenblatt, Lucas
ANALISIS FILOSOFICO, 2012, 32 (01): : 53 - 59
[25] THE LIAR PARADOX WITHOUT SELF-REFERENCE
Ladov, Vsevolod A.
VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2019, 50 : 249 - 254
[26] Cantor diagrams: A unifying discussion of self-reference
Germano, GM
Mazzanti, S
APPLIED CATEGORICAL STRUCTURES, 2003, 11 (04) : 313 - 336
[27] Program Self-Reference in Constructive Scott Subdomains
Case, John
Moelius, Samuel E., III
THEORY OF COMPUTING SYSTEMS, 2012, 51 (01) : 22 - 49
[28] How to eliminate self-reference: a précis
Philippe Schlenker
Synthese, 2007, 158 : 127 - 138
[29] Self-reference and engagement in the contemporary spanish novel
Fauquet, Isabelle
BULLETIN HISPANIQUE, 2014, 116 (02): : 719 - 732
[30] Thermoelastic Measurement Techniques Enabled by Self-reference
Boyce, Bradley R.
Lesniak, Jon R.
RESIDUAL STRESS, THERMOMECHANICS & INFRARED IMAGING, HYBRID TECHNIQUES AND INVERSE PROBLEMS, VOL 7, 2019, : 125 - 127

← 1 2 3 4 5 →