[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

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

E-mail: panu.raatikainen at helsinki.fi

More information about the FOM mailing list