-
213Cognitive Projects and the Trustworthiness of Positive TruthErkenntnis (8). 2022.The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.1229…Read more
-
56Internal Categoricity, Truth and DeterminacyJournal of Philosophical Logic 52 (5): 1295-1325. 2023.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…Read more
-
24The Epistemology of Meta-theoretic Properties of Mathematical Theories: Consistency, Soundness, CategoricityDissertation, University of Bristol. 2022.
-
22Truth, Reflection, and CommitmentIn Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox, Routledge. pp. 69-87. 2021.Proof-theoretic reflection principles have been discussed in proof theory ever since Gödel’s discovery of the incompleteness theorems. But these reflection principles have not received much attention in the philosophical community. The present chapter aims to survey some of the principal meta-mathematical results on the iteration of proof-theoretic reflection principles and investigate these results from a logico-philosophical perspective; we will concentrate on the epistemological significance …Read more
-
11Definite totalities and determinate truth in conceptual structuralismSynthese 203 (1): 1-22. 2024.This article investigates the connection and dependence between the definiteness of the totalities involved in mathematical structures and the determinateness of statements about that structure. From a logical perspective, we investigate whether logical principles expressing the definiteness of totalities license the use of classical logic. From a philosophical perspective, this article provides a reconstruction of Solomon Feferman’s claim that the definiteness of the natural number conception i…Read more
Warsaw, Poland
Areas of Specialization
Epistemology of Mathematics |
Philosophy of Mathematics |
Theories of Truth |