Citations of work:

P. D. Welch (2009). Games for Truth.

11 found
Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  6
    Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - forthcoming - Journal of Philosophical Logic:1-9.
  2.  9
    A Note on Horwich’s Notion of Grounding.Thomas Schindler - forthcoming - Synthese:1-10.
    Horwich proposes a solution to the liar paradox that relies on a particular notion of grounding—one that, unlike Kripke’s notion of grounding, does not invoke any “Tarski-style compositional principles”. In this short note, we will formalize Horwich’s construction and argue that his solution to the liar paradox does not justify certain generalizations about truth that he endorses. We argue that this situation is not resolved even if one appeals to the \-rule. In the final section, we briefly discuss how Horwich (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  9
    Truth, Partial Logic and Infinitary Proof Systems.Martin Fischer & Norbert Gratzl - 2018 - Studia Logica 106 (3):515-540.
    In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω-rule.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  30
    A Graph-Theoretic Analysis of the Semantic Paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
    We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. It is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  6
    Truth, Partial Logic and Infinitary Proof Systems.Fischer Martin & Gratzl Norbert - 2017 - Studia Logica:1-26.
    In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an \-rule.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  28
    Infinitary Tableau for Semantic Truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  15
    The Complexity of the Dependence Operator.P. D. Welch - 2015 - Journal of Philosophical Logic 44 (3):337-340.
    We show that Leitgeb’s dependence operator of Leitgeb is a \-operator and that this is best possible.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  11
    Some Observations on Truth Hierarchies.P. D. Welch - 2014 - Review of Symbolic Logic 7 (1):1-30.
  9.  60
    Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
    In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original definition. Moreover, we (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  15
    Field's Saving Truth From Paradox: Some Things It Doesn't Do.Donald A. Martin - 2011 - Review of Symbolic Logic 4 (3):339-347.
    I will discuss Fields Outline of a Theory of Truth. I will point out important properties of Kripkeleast fixed points constructions and theory. I do this not to demean Field’s superb work on truth but rather to suggest that there may be no really satisfactory conditional connective for languages containing their own truth predicates.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  30
    Truth, Logical Validity and Determinateness: A Commentary on Field's Saving Truth From Paradox.P. D. Welch - 2011 - Review of Symbolic Logic 4 (3):348-359.
    We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path-dependent hierarchies of his determinateness operator.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations