Switch to: References

Add citations

You must login to add citations.
  1. Argumentation Theory and the Conception of Epistemic Justification.Lilian Bermejo-Luque - 2009 - In Marcin Koszowy (ed.), Informal Logic and Argumentation Theory. University of Białystok. pp. 285--303.
    I characterize the deductivist ideal of justification and, following to a great extent Toulmin’s work The Uses of Argument, I try to explain why this ideal is erroneous. Then I offer an alternative model of justification capable of making our claims to knowledge about substantial matters sound and reasonable. This model of justification will be based on a conception of justification as the result of good argumentation, and on a model of argumentation which is a pragmatic linguistic reconstruction of Toulmin’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Rigorous Definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.
  • 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  
  • Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
    We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Information, Security, Privacy, and Anonymity : Definitional and Conceptual Issues.Björn Lundgren - 2018 - Dissertation, KTH Royal Institute of Technology
    This doctoral thesis consists of five research papers that address four tangential topics, all of which are relevant for the challenges we are facing in our socio-technical society: information, security, privacy, and anonymity. All topics are approached by similar methods, i.e. with a concern about conceptual and definitional issues. In Paper I—concerning the concept of information and a semantic conception thereof—it is argued that the veridicality thesis is false. In Paper II—concerning information security—it is argued that the current leading definitions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • 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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Two Types of Deflationism.Aladdin M. Yaqub - 2008 - Synthese 165 (1):77-106.
    It is a fundamental intuition about truth that the conditions under which a sentence is true are given by what the sentence asserts. My aim in this paper is to show that this intuition captures the concept of truth completely and correctly. This is conceptual deflationism, for it does not go beyond what is asserted by a sentence in order to define the truth status of that sentence. This paper, hence, is a defense of deflationism as a conceptual account of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
  • 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Non-Well-Founded Sets Via Revision Rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
  • The Rationale Behind Revision-Rule Semantics.Lionel Shapiro - 2006 - Philosophical Studies 129 (3):477 - 515.
    According to Gupta and Belnap, the “extensional behavior” of ‘true’ matches that of a circularly defined predicate. Besides promising to explain semantic paradoxicality, their general theory of circular predicates significantly liberalizes the framework of truth-conditional semantics. The authors’ discussions of the rationale behind that liberalization invoke two distinct senses in which a circular predicate’s semantic behavior is explained by a “revision rule” carrying hypothetical information about its extension. Neither attempted explanation succeeds. Their theory may however be modified to employ a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Gupta’s Gambit.Selim Berker - 2011 - Philosophical Studies 152 (1):17-39.
    After summarizing the essential details of Anil Gupta’s account of perceptual justification in his book _Empiricism and Experience_, I argue for three claims: (1) Gupta’s proposal is closer to rationalism than advertised; (2) there is a major lacuna in Gupta’s account of how convergence in light of experience yields absolute entitlements to form beliefs; and (3) Gupta has not adequately explained how ordinary courses of experience can lead to convergence on a commonsense view of the world.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • What's in a Function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.
    In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
  • Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.
    We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Zero-Place Operations and Functional Completeness, and the Definition of New Connectives.I. L. Humberstone - 1993 - History and Philosophy of Logic 14 (1):39-66.
    Tarski 1968 makes a move in the course of providing an account of ?definitionally equivalent? classes of algebras with a businesslike lack of fanfare and commentary, the significance of which may accordingly be lost on the casual reader. In ?1 we present this move as a response to a certain difficulty in the received account of what it is to define a function symbol (or ?operation symbol?). This difficulty, which presents itself as a minor technicality needing to be got around (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Analytic Conception of Truth and the Foundations of Arithmetic.Peter Apostoli - 2000 - Journal of Symbolic Logic 65 (1):33-102.