[FOM] paraconsistent logic and computer science

[Alex Blum]

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