Internal Categoricity, Truth and Determinacy

被引：2

作者：

Fischer, Martin ^{[1
]}

Zicchetti, Matteo ^{[2
]}

机构：

[1] Ludwig Maximilians Univ Munchen, Munich Ctr Math Philosophy MCMP, Munich, Germany

[2] Univ Warsaw, Fac Philosophy, Warsaw, Poland

来源：

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

基金：

英国艺术与人文研究理事会;

关键词：

Categoricity; Internalism; Axiomatic truth; Intolerance; Determinacy;

D O I：

10.1007/s10992-023-09707-6

中图分类号：

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

学科分类号：

010104 ; 010105 ;

摘要：

This paper focuses on the categoricity of arithmetic and determinacy of arithmetical truth. Several 'internal' categoricity results have been discussed in the recent literature. Against the background of the philosophical position called internalism, we propose and investigate truth-theoretic versions of internal categoricity based on a primitive truth predicate. We argue for the compatibility of a primitive truth predicate with internalism and provide a novel argument for (and proof of) a truth-theoretic version of internal categoricity and internal determinacy with some positive properties.

引用

页码：1295 / 1325

页数：31

共 32 条

[1]

Buss Sr, 1998, STUD LOGIC, V137, P1

[2]

Button T., 2018, Philosophy and model theory, DOI DOI 10.1093/OSO/9780198790396.001.0001

[3] Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of MathematicsaEuro [J].

Button, Tim ;

Walsh, Sean .

PHILOSOPHIA MATHEMATICA, 2016, 24 (03) :283-307

[4]

Button Tim, 2022, Engaging Putnam, P157

[5] NOTES ON FORMAL-THEORIES OF TRUTH [J].

CANTINI, A .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (02) :97-130

[6]

Carnap R., 1950, REV INT PHILOS, V4, P20

[7] MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY [J].

Damnjanovic, Zlatan .

BULLETIN OF SYMBOLIC LOGIC, 2017, 23 (04) :381-404

[8]

Detlefsen M, 2011, PHILOS IMPRINT, V11

[9]

Dummett M., 1963, TRUTH OTHER ENIGMAS, P186

[10] PREDICATIVE FOUNDATIONS OF ARITHMETIC [J].

FEFERMAN, S ;

HELLMAN, G .

JOURNAL OF PHILOSOPHICAL LOGIC, 1995, 24 (01) :1-17

← 1 2 3 4 →