"Braaaaaains!" (says the paraconsistent zombie) JM
On Thu, Apr 8, 2021 at 10:08 PM Walter Carnielli <[email protected]> wrote: > > Colegas: > > Um vídeo interessante de Geoff Sutcliffe (Department of Computer > Science, University of Miami) discutindo tópicos em lógica e prova > automatizada de teoremas, incluindo a plataforma TPTP. Ele menciona o > enfoque paraconsistente como uma boa linha de ataque a questões de > contradição na informação e ontologia. Claro que, como anglófono, ele > reduz tudo à "Lógica do Paradoxo", mas já é um reconhecimento... > > https://www.youtube.com/watch?v=5DiitzdHqTU > Walter > > > -- > =========================== > Walter Carnielli, Professor > Centre for Logic, Epistemology and the History of Science and > Department of Philosophy > University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Institutional e-mail: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para [email protected]. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcbYA1KKjQ9Chci1MmoWxH-Myore3u%2BgckRfGYUujc%2B5w%40mail.gmail.com. -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhe2Hux1dr_WfZT1sfwFYx%3DOyNj2juw_3LSAat1sOKZsw%40mail.gmail.com.
