Switch to: References

Add citations

You must login to add citations.
  1. Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
    We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - Notre Dame Journal of Formal Logic 57 (2):153-179.
    In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
    Download  
     
    Export citation  
     
    Bookmark  
  • Some observations on truth hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.
    We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s recent (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
    The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.
    The classical theory of definitions bans so-called circular definitions, namely, definitions of a unary predicate P, based on stipulations of the form $$Px =_{\mathsf {Df}} \phi,$$where ϕ is a formula of a fixed first-order language and the definiendumP occurs into the definiensϕ. In their seminal book The Revision Theory of Truth, Gupta and Belnap claim that “General theories of definitions are possible within which circular definitions [...] make logical and semantic sense” [p. IX]. In order to sustain their claim, they (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Periodicity and Reflexivity in Revision Sequences.Edoardo Rivello - 2015 - Studia Logica 103 (6):1279-1302.
    Revision sequences were introduced in 1982 by Herzberger and Gupta as a mathematical tool in formalising their respective theories of truth. Since then, revision has developed in a method of analysis of theoretical concepts with several applications in other areas of logic and philosophy. Revision sequences are usually formalised as ordinal-length sequences of objects of some sort. A common idea of revision process is shared by all revision theories but specific proposals can differ in the so-called limit rule, namely the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).
    Download  
     
    Export citation  
     
    Bookmark