Arnon Avron
Arnon Avron
Arnon Avron is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence.
"Although a big part of the research on paraconsistent logics has so far been motivated by the paradoxes in naive set theory, and to developing alternative paraconsistent mathematics, I do not think that paraconsistent mathematics has real interest - at least not as long as we deal with truth in pure mathematics."
"For me the value of paraconsistent logics is as a potential instrument, to be used when there is a need to draw practical conclusions from an inconsistent body of "knowledge"."
