Switch to: Citations

Add references

You must login to add references.
  1. Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   732 citations  
  • Definitions, Consistent and Inconsistent.Stephen Yablo - 1993 - Philosophical Studies 72 (2-3):147 - 175.
  • A Guide to Truth Predicates in the Modern Era.Michael Sheard - 1994 - Journal of Symbolic Logic 59 (3):1032-1054.
  • Notes on Naive Semantics.Hans Herzberger - 1982 - Journal of Philosophical Logic 11 (1):61 - 102.
  • Notes on the Mathematical Aspects of Kripke’s Theory of Truth.Melvin Fitting - 1986 - Notre Dame Journal of Formal Logic 27 (1):75-88.
  • Alternative Revision Theories of Truth.André Chapuis - 1996 - Journal of Philosophical Logic 25 (4):399-423.
    The Revision Theory of Truth has been challenged in A. M. Yaqūb's recent book The Liar Speaks the Truth. Yaqūb suggests some non-trivial changes in the original theory - changing the limit rule - to avoid certain artifacts. In this paper it is shown that the proposed changes are not sufficient, i.e., Yaqūb's system also produces artifacts. An alternative solution is proposed and the relation between it and Yaqūb's solution is explored.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Liar Speaks the Truth: A Defense of the Revision Theory of Truth.Aladdin Mahmūd Yaqūb - 1993 - Oxford, England: Oxford University Press.
    In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather than by a fixed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Elementary Induction on Abstract Structures.Yiannis Nicholas Moschovakis - 1974 - Amsterdam, Netherlands: Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   74 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.
    Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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 (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Vagueness and Revision Sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
    Theories of truth and vagueness are closely connected; in this article, I draw another connection between these areas of research. Gupta and Belnap’s Revision Theory of Truth is converted into an approach to vagueness. I show how revision sequences from a general theory of definitions can be used to understand the nature of vague predicates. The revision sequences show how the meaning of vague predicates are interconnected with each other. The approach is contrasted with the similar supervaluationist approach.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • On Rigorous Definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.
  • The Revision Theory of Truth.A. Gupta & N. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   189 citations  
  • Virtuous Circles: From Fixed Points to Revision Rules.G. Aldo Antonelli - 2000 - In Anil Gupta & Andre Chapuis (eds.), Circularity, Definition, and Truth. Indian Council of Philosophical Research. pp. 1--27.
     
    Export citation  
     
    Bookmark   1 citation  
  • Semantics and the Liar Paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.
    Direct download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Supervaluation on Trees for Kripke’s Theory of Truth.Casper Storm Hansen - 2015 - Review of Symbolic Logic 8 (1):46-74.
    A method of supervaluation for Kripke’s theory of truth is presented. It differs from Kripke’s own method in that it employs trees; results in a compositional semantics; assigns the intuitively correct truth values to the sentences of a particularly tricky example of Gupta’s; and – it is argued – is acceptable as an explication of the correspondence theory of truth.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • XV—Remarks on Definitions and the Concept of Truth.Anil Gupta - 1989 - Proceedings of the Aristotelian Society 89 (1):227-246.
  • Truth and Circular Definitions. [REVIEW]Francesco Orilia & Achille C. Varzi - 1996 - Minds and Machines 6 (1):124–129.
    This original and enticing book provides a fresh, unifying perspective on many old and new logico-philosophical conundrums. Its basic thesis is that many concepts central in ordinary and philosophical discourse are inherently circular and thus cannot be fully understood as long as one remains within the confines of a standard theory of definitions. As an alternative, the authors develop a revision theory of definitions, which allows definitions to be circular without this giving rise to contradiction (but, at worst, to “vacuous” (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
    In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the fixed-point theories. The current paper considers three natural ways to compare the various resulting theories of truth, and establishes the resulting relationships among these theories. The point is to get a sense of the lay of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
     
    Export citation  
     
    Bookmark   82 citations  
  • On Revision Operators.P. D. Welch - 2003 - Journal of Symbolic Logic 68 (2):689-711.
    We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as “revision operations”. More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta’s theory of truth over arithmetic using \emph{fully varied revision} sequences yields a complete \Pi13 set of integers; (iii) the set of \emph{stably categorical} sentences using their revision operator ψ is similarly \Pi13 and which (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  • Revision.Vann McGee - 1997 - Philosophical Issues 8:387-406.
  • Definition and Revision: A Response to McGee and Martin.Anil Gupta - 1997 - Philosophical Issues 8:419-443.
  • Revision and its Rivals.Donald A. Martin - 1997 - Philosophical Issues 8:407-418.
  • Set Theory.K. Kuratowski & A. Mostowski - 1971 - Philosophy of Science 38 (2):314-315.
     
    Export citation  
     
    Bookmark   15 citations