11 found
Order:
See also
Johannes Stern
University of Bristol
  1.  97
    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 (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  38
    Proving That the Mind Is Not a Machine?Johannes Stern - 2018 - Thought: A Journal of Philosophy 7 (2):81-90.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  9
    Toward Predicate Approaches to Modality.Johannes Stern - 2016 - 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  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  59
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  48
    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   2 citations  
  6.  29
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  11
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  41
    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  
  9.  10
    Author Correction: Supervaluation-Style Truth Without Supervaluations.Johannes Stern - forthcoming - Journal of Philosophical Logic:1-1.
    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)  
     
    Export citation  
     
    Bookmark  
  10.  58
    Necessities and Necessary Truths. Proof-Theoretically.Johannes Stern - 2015 - Ergo: An Open Access Journal of Philosophy 2.
  11.  21
    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