Switch to: References

Add citations

You must login to add citations.
  1. Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Semantic closure.Graham Priest - 1984 - Studia Logica 43 (1-2):117 - 129.
    This paper argues for tlie claims that a) a natural language such as English is semanticaly closed b) semantic closure implies inconsistency. A corollary of these is that the semantics of English must be paraconsistent. The first part of the paper formulates a definition of semantic closure which applies to natural languages and shows that this implies inconsistency. The second section argues that English is semeantically closed. The preceding discussion is predicated on the assumption that there are no truth value (...)
    Download  
     
    Export citation  
     
    Bookmark   15 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  
  • 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  
  • Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • 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