Advertisement

Paraconsistency: Logic and Applications

  • Koji Tanaka
  • Francesco Berto
  • Edwin Mares
  • Francesco Paoli

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 26)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli
    Pages 1-12
  3. Logic

    1. Front Matter
      Pages 13-13
    2. Walter Carnielli, Marcelo E. Coniglio
      Pages 27-41
    3. Edwin D. Mares
      Pages 43-55
    4. Patrick Allo
      Pages 57-79
    5. Marek Nasieniewski, Andrzej Pietruszczak
      Pages 141-161
    6. R. E. Jennings, Y. Chen
      Pages 163-172
  4. Applications

    1. Front Matter
      Pages 199-199
    2. Michael L. Anderson, Walid Gomaa, John Grant, Don Perlis
      Pages 201-222
    3. Chris Mortensen
      Pages 309-314
    4. Zach Weber
      Pages 315-328
    5. David Ripley
      Pages 329-348
    6. Dominic Hyde
      Pages 349-366
    7. Graham Priest
      Pages 367-377
  5. Back Matter
    Pages 379-383

About this book

Introduction

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation.  

The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.

Keywords

Applications in logic Articular Logic D2 consequense Equivocal Logic Liar Paradox Logical Paradoxes Logical Systems Paraconsistency Paraconsistent logic Philosophical Logic Philosophy of Computation Pluralist Mathemathics Routley Functor Set Theory Sorites Vagueness

Editors and affiliations

  • Koji Tanaka
    • 1
  • Francesco Berto
    • 2
  • Edwin Mares
    • 3
  • Francesco Paoli
    • 4
  1. 1., Department of PhilosophyUniversity of AucklandAucklandNew Zealand
  2. 2., Department of PhilosophyUniversity of AberdeenAberdeenUnited Kingdom
  3. 3., Department of PhilosophyVictoria University of WellingtonWellingtonNew Zealand
  4. 4., Department of EducationUniversity of CagliariCagliariItaly

Bibliographic information