18 found
Order:
See also
Johannes Stern
University of Bristol
  1. Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  19
    Toward Predicate Approaches to Modality.Johannes Stern - 2015 - Switzerland: Springer.
    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 satisfactory approach (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  4
    KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic:1-26.
    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 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 program was whether it was possible “to justify the use of nonsignificant sentences (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  55
    Proving That the Mind Is Not a Machine?Johannes Stern - 2018 - Thought: A Journal of Philosophy 7 (2):81-90.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  1
    Belief, Truth, and Ways of Believing.Johannes Stern - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  73
    Modality and Axiomatic Theories of Truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.
    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 perspectives. First, we (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  40
    Modality and Axiomatic Theories of Truth II: Kripke-Feferman.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):299-318.
    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 discussed the theory Modal (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  60
    Montague’s Theorem and Modal Logic.Johannes Stern - 2014 - Erkenntnis 79 (3):551-570.
    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 unwarranted unless a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  34
    Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2018 - Journal of Philosophical Logic 47 (5):817-850.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  73
    Necessities and Necessary Truths. Proof-Theoretically.Johannes Stern - 2015 - Ergo: An Open Access Journal of Philosophy 2.
    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 perspective. To this end (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  38
    Truth and Subjunctive Theories of Knwledge: No Luck?Johannes Stern - manuscript
    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 evaluation schemes such as strong Kleene (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  50
    Paradoxes of Interaction?Johannes Stern & Martin Fischer - 2015 - Journal of Philosophical Logic 44 (3):287-308.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. The Modal Logics of Kripke-Feferman Truth.Carlo Nicolai & Johannes Stern - manuscript
    We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  13
    The Modal Logics of Kripke–Feferman Truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.
    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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Semantic Singularities: Paradoxes of Reference, Predication and Truth By Keith Simmons. [REVIEW]Johannes Stern - 2020 - Analysis 80 (3):601-604.
    _ Semantic Singularities: Paradoxes of Reference, Predication and Truth _ By SimmonsKeithOxford University Press, 2018. x + 250 pp.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  22
    Author Correction: Supervaluation-Style Truth Without Supervaluations.Johannes Stern - 2020 - Journal of Philosophical Logic 49 (1):219-219.
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  18
    Modes of Truth: The Unified Approach to Truth, Modality, and Paradox.Carlo Nicolai & Johannes Stern (eds.) - 2021 - Routledge.
    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 theme covers higher-order solutions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  14
    Miloš Adžić and Kosta Došen, Eds, Gödel's Basic Logic Course at Notre Dame, Belgrade: Logical Society Belgrade, Dosije, 2017, 302 Pp., ISBN 978‐8660472399. [REVIEW]Johannes Stern - 2018 - Dialectica 72 (4):617-622.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark