Switch to: Citations

Add references

You must login to add references.
  1. Frontiers in Paraconsistent Logic.Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.) - 2000 - Research Studies Press.
    Paraconsistent logic, logic in which inconsistent information does not deliver arbitrary conclusions, is one of the fastest growing areas of logic, with roots in profound philosophical issues, and applications in information processing and philosophy of science. This book contains selected papers presented at the First World Congress on Paraconsistency, held in Ghent in 1997. It contains papers on various aspects of the subject. As such, it should be of interest to all who want to learn what the subject is, and (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • (1 other version)The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8‐10):119-126.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
    In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Models for inconsistent and incomplete differential calculus.Chris Mortensen - 1990 - Notre Dame Journal of Formal Logic 31 (2):274-285.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (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   439 citations  
  • Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
    Download  
     
    Export citation  
     
    Bookmark   205 citations  
  • Ultralogic as Universal?: The Sylvan Jungle -.Richard Routley - 2019 - Springer Verlag.
    Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • In Contradiction. A Study of the Transconsistent. [REVIEW]Jan Woleński - 1989 - Studia Logica 48 (2):259-260.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Anti-intuitionism and paraconsistency.Andreas B. M. Brunner & Walter A. Carnielli - 2005 - Journal of Applied Logic 3 (1):161-184.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - New York: Cambridge University Press.
    This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and (...)
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman (eds.) - 1989 - Philosophia Verlag.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
    Download  
     
    Export citation  
     
    Bookmark   174 citations  
  • Prospects for inconsistency.C. Mortensen - unknown
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Transfinite numbers in paraconsistent set theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.
    This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...)
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Universal Logic.Ross Brady - 2006 - CSLI Publications.
    Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be solved in (...)
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
    Download  
     
    Export citation  
     
    Bookmark   123 citations  
  • Inconsistent mathematics.Chris Mortensen - 2008 - Studia Logica.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus.Bryson Brown & Graham Priest - 2004 - Journal of Philosophical Logic 33 (4):379-388.
    In this paper we introduce a paraconsistent reasoning strategy, Chunk and Permeate. In this, information is broken up into chunks, and a limited amount of information is allowed to flow between chunks. We start by giving an abstract characterisation of the strategy. It is then applied to model the reasoning employed in the original infinitesimal calculus. The paper next establishes some results concerning the legitimacy of reasoning of this kind - specifically concerning the preservation of the consistency of each chunk (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • (4 other versions)Universal Logic.Ross Brady - 2007 - Studia Logica 87 (2-3):359-362.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • (1 other version)The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8-10):119-126.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
    Download  
     
    Export citation  
     
    Bookmark   200 citations  
  • (1 other version)Paraconsistent Logic Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman - 1993 - British Journal for the Philosophy of Science 44 (1):167-170.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Relevant Logic: A Philosophical Interpretation.Edwin Mares - 2004 - New York: Cambridge University Press.
    This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic and (...)
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Book Reviews. [REVIEW]C. Mortensen - 2000 - Studia Logica 64 (2):285-300.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • The non-triviality of dialectical set theory.Ross T. Brady - 1989 - In Graham Priest, Richard Routley & Jean Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 437--470.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Inconsistent mathematics: Some philosophical implications.C. Mortensen - unknown
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
    Download  
     
    Export citation  
     
    Bookmark   119 citations  
  • (3 other versions)Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
    Download  
     
    Export citation  
     
    Bookmark   223 citations  
  • Varieties of constructive mathematics.Douglas Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
    This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
    Download  
     
    Export citation  
     
    Bookmark   258 citations  
  • Curry’s Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Relevant Logics and Their Rivals, Volume II.Richard Sylvan & Ross Brady - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
    Download  
     
    Export citation  
     
    Bookmark   10 citations