•  138
    Methodological deflationism and metaphysical grounding: from because_ via _truth_ to _ground
    Inquiry: An Interdisciplinary Journal of Philosophy. forthcoming.
    The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language o…Read more
  •  7
    The notions of belief and truth frequently interact in philosophical discourse but, surprisingly, a coherent semantics for such discourse is still wanting. Indeed, a number of puzzles stand in way of a satisfactory semantic account of the notion of truth in doxastic contexts. In this paper we discuss these puzzles and develop a more satisfactory semantic account that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.
  •  47
    The aim of this volume is to open up new perspectives and to raise new research questions about a unified approach to truth, modalities, and propositional attitudes. The volume's essays are grouped thematically around different research questions. The first theme concerns the tension between the theoretical role of the truth predicate in semantics and its expressive function in language. The second theme of the volume concerns the interaction of truth with modal and doxastic notions. The third t…Read more
  •  15
    KF, PKF and Reinhardt’s Program
    Review of Symbolic Logic (1): 33-58. 2022.
    In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s progr…Read more
  •  60
    The paper explores applications of Kripke's theory of truth to semantics for anti-luck epistemology, that is, to subjunctive theories of knowledge. Subjunctive theories put forward modal or subjunctive conditions to rule out knowledge by mere luck as to be found in Gettier-style counterexamples to the analysis of knowledge as justified true belief. Because of the subjunctive nature of these conditions the resulting semantics turns out to be non-monotone, even if it is based on non-classical eval…Read more
  •  23
    The modal logics of kripke–feferman truth
    Journal of Symbolic Logic 86 (1): 362-396. 2021.
    We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal {M}$, or an axiomatization S thereof, we find a modal logic M such that a modal sentence $\varphi $ is a theorem of M if and only if the sentence $\varphi ^*$ obtained by translating the modal operator with the truth predicate is true in $\mathcal {M}$ or a theorem of S under all such translations. To this end, we in…Read more
  •  18
    _ Semantic Singularities: Paradoxes of Reference, Predication and Truth _ By SimmonsKeithOxford University Press, 2018. x + 250 pp.
  •  25
    Author Correction: Supervaluation-Style Truth Without Supervaluations
    Journal of Philosophical Logic 49 (1): 219-219. 2020.
    The original version of the article unfortunately contained a mistake. In the Acknowledgments section of the original version of the article, the grant number of the Marie Sklodowska-Curie Individual Fellowship supporting the author’s work was misstated.
  •  28
    In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicates. The book discusses the philosophical interpretation of these modal paradoxes and argues that any sat…Read more
  •  43
    Supervaluation-Style Truth Without Supervaluations
    Journal of Philosophical Logic 47 (5): 817-850. 2018.
    Kripke’s theory of truth is arguably the most influential approach to self-referential truth and the semantic paradoxes. The use of a partial evaluation scheme is crucial to the theory and the most prominent schemes that are adopted are the strong Kleene and the supervaluation scheme. The strong Kleene scheme is attractive because it ensures the compositionality of the notion of truth. But under the strong Kleene scheme classical tautologies do not, in general, turn out to be true and, as a cons…Read more
  •  64
    Proving that the Mind Is Not a Machine?
    Thought: A Journal of Philosophy 7 (2): 81-90. 2018.
    This piece continues the tradition of arguments by John Lucas, Roger Penrose and others to the effect that the human mind is not a machine. Kurt Gödel thought that the intensional paradoxes stand in the way of proving that the mind is not a machine. According to Gödel, a successful proof that the mind is not a machine would require a solution to the intensional paradoxes. We provide what might seem to be a partial vindication of Gödel and show that if a particular solution to the intensional par…Read more
  •  51
    Paradoxes of Interaction?
    Journal of Philosophical Logic 44 (3): 287-308. 2015.
    Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we develop a notion of…Read more
  •  79
    Necessities and Necessary Truths. Proof-Theoretically
    Ergo: An Open Access Journal of Philosophy 2. 2015.
    In his seminal “Outline of a Theory of Truth” Kripke (1975) proposed understanding modal predicates as complex expressions defined by a suitable modal operator and a truth predicate. In the case of the alethic modality of logical or metaphysical necessity, this proposal amounts to understanding the modal predicate ‘is necessary’ as the complex predicate ‘is necessarily true’. In this piece we work out the details of Kripke’s proposal, which we label the Kripke reduction, from a proof-theoretic p…Read more
  •  69
    Montague’s Theorem and Modal Logic
    Erkenntnis 79 (3): 551-570. 2014.
    In the present piece we defend predicate approaches to modality, that is approaches that conceive of modal notions as predicates applicable to names of sentences or propositions, against the challenges raised by Montague’s theorem. Montague’s theorem is often taken to show that the most intuitive modal principles lead to paradox if we conceive of the modal notion as a predicate. Following Schweizer (J Philos Logic 21:1–31, 1992) and others we show this interpretation of Montague’s theorem to be …Read more
  •  84
    Modality and axiomatic theories of truth I: Friedman-Sheard
    Review of Symbolic Logic 7 (2): 273-298. 2014.
    In this investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different p…Read more
  •  51
    Modality and axiomatic theories of truth II: Kripke-Feferman
    Review of Symbolic Logic 7 (2): 299-318. 2014.
    In this second and last paper of the two part investigation on "Modality and Axiomatic Theories of Truth" we apply a general strategy for constructing modal theories over axiomatic theories of truth to the theory Kripke-Feferman. This general strategy was developed in the first part of our investigation. Applying the strategy to Kripke-Feferman leads to the theory Modal Kripke-Feferman which we discuss from the three perspectives that we had already considered in the first paper, where we discus…Read more
  •  131
    Axiomatizing semantic theories of truth?
    Review of Symbolic Logic 8 (2): 257-278. 2015.
    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 ℕ-categoricity and discuss its usefulness and limits