[FOM] paraconsistent logic and computer science
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.
More information about the FOM