FICTIONAL PROPOSITIONS AND THE UNPROVABILITY OF CONSISTENCY

被引：0

作者：

Martino, Enrico ^{[1
]}

机构：

[1] Univ Padua, Padua, Italy

来源：

GRAZER PHILOSOPHISCHE STUDIEN | 2006年 / 72卷 / 01期

关键词：

D O I：

10.1163/18756735-072001010

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

We introduce an epistemic version of validity and completeness of first order logic, based on the notions of ideal agent and fictional model. We then show how the perspective here considered may help to solve an epistemic puzzle arising from Godel's second incompleteness theorem.

引用

页码：201 / 210

页数：10

共 50 条

[1] Truth and the unprovability of consistency
Field, Hartry
[J]. MIND, 2006, 115 (459) : 567 - 605
[2] ON GODELS PROOF OF UNPROVABILITY OF CONSISTENCY
BARBO, FR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 566 - &
[3] A Note on the Unprovability of Consistency in Formal Theories of Truth
Davey, Kevin
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2021, 50 (06) : 1313 - 1340
[4] Propositions, images and fictional worlds
Kot'atko, Petr
[J]. FILOSOFICKY CASOPIS, 2014, 62 (04): : 507 - 522
[5] UNPROVABILITY OF CONSISTENCY STATEMENTS IN FRAGMENTS OF BOUNDED ARITHMETIC
BUSS, SR
IGNJATOVIC, A
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1995, 74 (03) : 221 - 244
[6] A Note on the Unprovability of Consistency in Formal Theories of Truth
Kevin Davey
[J]. Journal of Philosophical Logic, 2021, 50 : 1313 - 1340
[7] Pleonastic Entities: Fictional Characters and Propositions
Vignolo, Massimiliano
[J]. PHILOSOPHICAL INVESTIGATIONS, 2009, 32 (01) : 65 - 78
[8] Unprovability and Proving Unprovability
Cai, Mingzhong
[J]. STUDIA LOGICA, 2015, 103 (03) : 559 - 578
[9] Unprovability and Proving Unprovability
Mingzhong Cai
[J]. Studia Logica, 2015, 103 : 559 - 578
[10] Improvements of Categorical Propositions on Consistency and Computability
Zhang, Yinsheng
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2019, 33 (4-5) : 397 - 413

← 1 2 3 4 5 →