[FOM] relevant logic and paraconsitent logic

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Thu Mar 2 11:00:58 EST 2006


Quoting Edwin Mares <Edwin.Mares at vuw.ac.nz>:
  
> A paraconsistent logic is any logic that rejects as valid the rule
> scheme: A, ~A => B. 


So, minimal logic (which is a weakening of intuitionistic logic) is a 
paraconsistent logic.

Best, Panu


Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy, 
University of Helsinki
Finland

Visiting Fellow, 
Institute of Philosophy,
School of Advanced Studies, 
University of London

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm
 


More information about the FOM mailing list