Switch to: References

Add citations

You must login to add citations.
  1. Notes on Leitgeb’s What Truth Depends on.Edoardo Rivello - 2020 - Studia Logica 108 (6):1235-1262.
    In Hannes Leitgeb’s article What truth depends on the author provides a formally correct and materially adequate truth definition for the set of all grounded sentences, defined as the least fixed point of a monotone operator of semantic dependence. In this paper we will focus on the mathematical aspects of Leitgeb’s notions of dependence, grounding and truth, recasting Leitgeb’s construction in a functional setting in which we establish some new facts about these notions.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Limits in the Revision Theory: More Than Just Definite Verdicts.Catrin Campbell-Moore - 2019 - Journal of Philosophical Logic 48 (1):11-35.
    We present a new proposal for what to do at limits in the revision theory. The usual criterion for a limit stage is that it should agree with any definite verdicts that have been brought about before that stage. We suggest that one should not only consider definite verdicts that have been brought about but also more general properties; in fact any closed property can be considered. This more general framework is required if we move to considering revision theories for (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Probability for the Revision Theory of Truth.Catrin Campbell-Moore, Leon Horsten & Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (1):87-112.
    We investigate how to assign probabilities to sentences that contain a type-free truth predicate. These probability values track how often a sentence is satisfied in transfinite revision sequences, following Gupta and Belnap’s revision theory of truth. This answers an open problem by Leitgeb which asks how one might describe transfinite stages of the revision sequence using such probability functions. We offer a general construction, and explore additional constraints that lead to desirable properties of the resulting probability function. One such property (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • How to Express Self-Referential Probability. A Kripkean Proposal.Catrin Campbell-Moore - 2015 - Review of Symbolic Logic 8 (4):680-704.
    We present a semantics for a language that includes sentences that can talk about their own probabilities. This semantics applies a fixed point construction to possible world style structures. One feature of the construction is that some sentences only have their probability given as a range of values. We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of the ω-rule. By considering this semantics we argue that principles such as (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • One Hundred Years of Semantic Paradox.Leon Horsten - 2015 - Journal of Philosophical Logic (6):1-15.
    This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
  • Paradoxes and Contemporary Logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.