Switch to: References

Add citations

You must login to add citations.
  1. Liar-type paradoxes and intuitionistic natural deduction systems.Seungrak Choi - 2018 - Korean Journal of Logic 21 (1):59-96.
    It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Not Only a Messenger: Towards an Attitudinal‐Representational Theory of Pain.Hilla Jacobson - 2018 - Philosophy and Phenomenological Research 99 (2):382-408.
    The main goal of this paper is to present a theory of the most salient aspect of the phenomenal character of pain – namely, the painfulness of pain or its negative affective quality. This task involves developing an account of the evaluative structure of pain, according to which painfulness is constituted by a frustrated conative attitude that is directed towards the bodily condition the obtaining of which the pain represents. The argument for the proposed Attitudinal-Representational Theory of Pain proceeds by (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Berry's Paradox... Again.Graham Priest - 2019 - Australasian Journal of Logic 16 (2):41-48.
    The paper is a discussion of whether Berry's Pardox presupposes the Principle of Excluded Middle, with particular reference to the work of Ross Brady.
    Download  
     
    Export citation  
     
    Bookmark  
  • On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea University
    In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Parallels Between Gaps and Gluts.Daniel Immerman - 2012 - Australasian Journal of Philosophy 90 (2):383-394.
    This paper compares two proposed solutions to the liar paradox, both of which involve revisions to classical semantics. The first, that of truth value gaps, denies that all sentences are true or false. The second, that of truth value gluts, asserts that some sentences are true and false. A natural question about these proposals is, ?Do they offer equally good (or bad) solutions, or is one better than the other?? Parsons 1990 suggested an answer to this question, arguing that for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The use of definitions and their logical representation in paradox derivation.Ross T. Brady - 2017 - Synthese 199 (Suppl 3):527-546.
    We start by noting that the set-theoretic and semantic paradoxes are framed in terms of a definition or series of definitions. In the process of deriving paradoxes, these definitions are logically represented by a logical equivalence. We will firstly examine the role and usage of definitions in the derivation of paradoxes, both set-theoretic and semantic. We will see that this examination is important in determining how the paradoxes were created in the first place and indeed how they are to be (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations