EXTENDING THE 1ST-ORDER THEORY OF COMBINATORS WITH SELF-REFERENTIAL TRUTH

被引：4

作者：

CANTINI, A

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1993年 / 58卷 / 02期

关键词：

D O I：

10.2307/2275216

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The aim of this paper is to introduce a formal system STW of self-referential truth, which extends the classical first-order theory of pure combinators with a truth predicate and certain approximation axioms. STW naturally embodies the mechanisms of general predicate application/abstraction on a par with function application/abstraction; in addition, it allows non-trivial constructions, inspired by generalized recursion theory. As a consequence, STW provides a smooth inner model for Myhill's systems with levels of implication.

引用

页码：477 / 513

页数：37

共 50 条

[1] Self-referential order
Aste, T.
Butler, P.
Di Matteo, T.
[J]. PHILOSOPHICAL MAGAZINE, 2013, 93 (31-33) : 3983 - 3992
[2] AN AXIOMATIC APPROACH TO SELF-REFERENTIAL TRUTH
FRIEDMAN, H
SHEARD, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1987, 33 (01) : 1 - 21
[3] On the Arithmetical Truth of Self-Referential Sentences
Lajevardi, Kaave
Salehi, Saeed
[J]. THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2019, 85 (01): : 8 - 17
[4] A self-referential paradox for the truth account of assertion
Pelling, Charlie
[J]. ANALYSIS, 2011, 71 (04) : 688 - 688
[5] An ordinal analysis for theories of self-referential truth
Graham Emil Leigh
Michael Rathjen
[J]. Archive for Mathematical Logic, 2010, 49 : 213 - 247
[6] SOCIAL COGNITION - THE CONSTRUCTION OF SELF-REFERENTIAL TRUTH
SINNOTT, JD
[J]. EDUCATIONAL GERONTOLOGY, 1986, 12 (04) : 335 - 338
[7] An ordinal analysis for theories of self-referential truth
Leigh, Graham Emil
Rathjen, Michael
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (02): : 213 - 247
[8] Assertoric Semantics and the Computational Power of Self-Referential Truth
Stefan Wintein
[J]. Journal of Philosophical Logic, 2012, 41 : 317 - 345
[9] Assertoric Semantics and the Computational Power of Self-Referential Truth
Wintein, Stefan
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2012, 41 (02) : 317 - 345
[10] Proof-theoretical aspects of self-referential truth
Cantini, A
[J]. LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 : 7 - 27

← 1 2 3 4 5 →