Faith & falsity

被引：26

作者：

Visser, A ^{[1
]}

机构：

[1] Univ Utrecht, Dept Philosophy, NL-3584 CS Utrecht, Netherlands

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2005年 / 131卷 / 1-3期

关键词：

Rosser arguments; faithful interpretations; sequential theories; Sigma-soundness;

D O I：

10.1016/j.apal.2004.04.008

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

A theory T is trustworthy iff, whenever a theory U is interpretable in T, then it is faithfully interpretable. In this paper we give a characterization of trustworthiness. We provide a simple proof of Friedman's Theorem that finitely axiomatized, sequential, consistent theories are trustworthy. We provide an example of a theory whose schematic predicate logic is complete Pi(2)(0), (C) 2004 Elsevier B.V. All rights reserved.

引用

页码：103 / 131

页数：29

共 23 条

[11]

Smorynski C., 1981, Notre Dame Journal of Formal Logic, V22, P357, DOI DOI 10.1305/NDJFL/1093883515

[12]

SMORYNSKI C, 1985, H FRIEDMANS RES FDN

[13]

Smorynski C., 1985, SELF REFERENCE MODAL

[14] MODAL-ANALYSIS OF GENERALIZED ROSSER SENTENCES [J].

SVEJDAR, V .

JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) :986-999

[15]

Tarski Alfred, 1953, Undecidable Theories

[16]

VERBRUGGE LC, 1994, J SYMBOLIC LOGIC, V59, P785

[17] THE UNPROVABILITY OF SMALL INCONSISTENCY - A STUDY OF LOCAL AND GLOBAL INTERPRETABILITY [J].

VISSER, A .

ARCHIVE FOR MATHEMATICAL LOGIC, 1993, 32 (04) :275-298

[18] AN INSIDE VIEW OF EXP - OR, THE CLOSED FRAGMENT OF THE PROVABILITY LOGIC OF I-DELTA-0 + OMEGA-1 WITH A PROPOSITIONAL CONSTANT FOR EXP [J].

VISSER, A .

JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) :131-165

[19]

Visser A., 1999, NOTRE DAME J FORM L, V40, P116, DOI DOI 10.1305/NDJFL/1039096308

[20]

VISSER A, 1998, CLSI LECT NOTES, V87

← 1 2 3 →