Switch to: References

Add citations

You must login to add citations.
  1. On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
    We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • ‘Proclaim liberty throughout all the land unto all the inhabitants thereof!’ Reading Leviticus 25:10 through the centuries. [REVIEW]Jonathan Stökl - 2018 - History of European Ideas 44 (6):685-701.
    ABSTRACTThis paper follows the text of Leviticus 25:10 in the Hebrew Bible and in selected works of the exegetical tradition of both Rabbinic Judaism and Western Christianity, in order to provide a lens through which to assess the use of a biblical text which was instrumental during the early modern period in formulating ideas about the Republic and its use in the modern liberal state. The main argument of the paper is that over time the meaning of the text shifted (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 185-199.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Turing–Taylor Expansions for Arithmetic Theories.Joost J. Joosten - 2016 - Studia Logica 104 (6):1225-1243.
    Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Talking to Infants: A Gricean Perspective.Steffen Borge - 2013 - American Philosophical Quarterly 50 (4):423.
    According to Paul Grice, when we address someone, we intend to make ourselves understood, partly by the addressee’s recognition of that intention. Call this set of nested audience-directed intentions an M-intention. The standard Gricean analysis of speaker’s meaning goes as follows: “U meant something by uttering x” is true iff, for some audience A, U uttered x intending: (1) A to produce a particular response r (2) A to think (recognize) that U intends (1) (3) A to fulfill (1) on (...)
    Download  
     
    Export citation  
     
    Bookmark