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  
  • Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.
    Download  
     
    Export citation  
     
    Bookmark   7 citations