[FOM] paraconsistent logic and computer science

Alex Blum blumal at mail.biu.ac.il
Sat Oct 13 14:36:17 EDT 2007

Arnon Avron wrote in part in reply to Joseph Vidal-Rosset::

>  An instrument is only an instrument, and at least in
>principle, if in certain circumstances another instrument is more efficient
>and reliable than classical logic, it would be foolish not to use it.
Can there be anything more reliable than classical logic?

>  Needless to say,  the use of classical logic 
>becomes  100% reliable in case we use in our reasoning 
>*only* fully meaningful, real propositions.]
But it is the application of classical logic to a sentence and getting 
an untoward result  which is one main reason for saying that the 
sentence in question is not meaningfull.

Alex Blum

More information about the FOM mailing list