Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)In contradiction: a study of the transconsistent.Graham Priest - 2006 - New York: Oxford University Press.
    In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...)
    Download  
     
    Export citation  
     
    Bookmark   440 citations  
  • The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.
    Michael Dummett is a leading contemporary philosopher whose work on the logic and metaphysics of language has had a lasting influence on how these subjects are conceived and discussed. This volume contains some of the most provocative and widely discussed essays published in the last fifteen years, together with a number of unpublished or inaccessible writings. Essays included are: "What is a Theory of Meaning?," "What do I Know When I Know a Language?," "What Does the Appeal to Use Do (...)
    Download  
     
    Export citation  
     
    Bookmark   245 citations  
  • Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
    Download  
     
    Export citation  
     
    Bookmark   172 citations  
  • Saving truth from paradox.Hartry Field - 2008 - New York: Oxford University Press.
    A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.
    Download  
     
    Export citation  
     
    Bookmark   335 citations  
  • Reply to Priest on Berry's paradox.Ross T. Brady - 1984 - Philosophical Quarterly 34 (135):157-163.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
    Download  
     
    Export citation  
     
    Bookmark   171 citations  
  • Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • Can Gödel's Incompleteness Theorem be a Ground for Dialetheism?Seungrak Choi - 2017 - Korean Journal of Logic 20 (2):241-271.
    Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest’s argument for Dialetheism from Gödel’s theorem is unconvincing as the lesson of Gödel’s proof (or Rosser’s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest’s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Gödel sentence to the inconsistent and complete theory of arithmetic. We argue, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Paradoxes.R. M. Sainsbury - 1991 - Philosophy and Phenomenological Research 51 (2):455-459.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • (1 other version)Paradoxes.R. M. Sainsbury - 1990 - Philosophy 65 (251):106-111.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Proof and Paradox.Neil Tennant - 1982 - Dialectica 36 (2‐3):265-296.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • In Contradiction, A Study of the Transconsistent.Joel M. Smith - 1991 - Noûs 25 (3):380-383.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • On Paradox without Self-Reference.Neil Tennant - 1995 - Analysis 55 (3):199 - 207.
    Download  
     
    Export citation  
     
    Bookmark   24 citations