AXIOMATIZING SEMANTIC THEORIES OF TRUTH?

被引：27

作者：

Fischer, Martin ^{[1
]}

Halbach, Volker ^{[2
]}

Kriener, Joenne ^{[3
]}

Stern, Johannes ^{[1
]}

机构：

[1] LMU Munchen, MCMP, Munich, Germany

[2] Univ Oxford, Oxford OX1 2JD, England

[3] Univ London Birkbeck Coll, Dept Philosophy, London WC1E 7HX, England

来源：

REVIEW OF SYMBOLIC LOGIC | 2015年 / 8卷 / 02期

基金：

欧洲研究理事会;

关键词：

KRIPKES THEORY;

D O I：

10.1017/S1755020314000379

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of N-categoricity and discuss its usefulness and limits.

引用

页码：257 / 278

页数：22

共 31 条

[1] [Anonymous], 1996, Logical Frameworks for Truth and Abstraction: An Axiomatic Study
[2] [Anonymous], 1993, The Revision Theory of Truth
[3] [Anonymous], 1983, LOGIC SEMANTICS META
[4] Burgess J. P., 2009, C HON 60 BIRTH UNPUB
[5] THE TRUTH IS NEVER SIMPLE
BURGESS, JP
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 663 - 681
[6] ON THE WEAK KLEENE SCHEME IN KRIPKES THEORY OF TRUTH
CAIN, J
DAMNJANOVIC, Z
[J]. JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (04) : 1452 - 1468
[7] A THEORY OF FORMAL TRUTH ARITHMETICALLY EQUIVALENT TO ID1
CANTINI, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (01) : 244 - 259
[8] NOTES ON FORMAL-THEORIES OF TRUTH
CANTINI, A
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (02): : 97 - 130
[9] THE STRUCTURE AND CONTENT OF TRUTH
DAVIDSON, D
[J]. JOURNAL OF PHILOSOPHY, 1990, 87 (06) : 279 - 328
[10] THE FOLLY OF TRYING TO DEFINE TRUTH
DAVIDSON, D
[J]. JOURNAL OF PHILOSOPHY, 1996, 93 (06) : 263 - 278

← 1 2 3 4 →