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