Paraconsistent logic! (A reply to Slater)
Beziau (Jean-Yves)
Source: Sorites 17, December 2006
Paper - Abstract

Paper Summary


Author’s Abstract

    We answer Slater’s argument according to which paraconsistent logic is a result of a verbal confusion between «contradictories» and «subcontraries». We show that if such notions are understood within classical logic, the argument is invalid, due to the fact that most paraconsistent logics cannot be translated into classical logic. However we prove that if such notions are understood from the point of view of a particular logic, a contradictory forming function in this logic is necessarily a classical negation. In view of this result, Slater’s argument sounds rather tautological.

Comment:

Filed electronically with the full edition of Sorites 17

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2018
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)



© Theo Todman, June 2007 - April 2018. Please address any comments on this page to theo@theotodman.com. File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page