Caros colegas: Gostaríamos de compartilhar com vocês nosso mais recente trabalho a respeito da interpretação epistêmica da paraconsistência:
"An epistemic approach to paraconsistency: a logic of evidence and truth" (Walter Carnielli e Abilio Rodrigues), a aparecer em Synthese, disponivel para download em http://philsci-archive.pitt.edu/14115/ Acho interessante notar que Melvin Fitting se interessou bastante por nossa interpretação informal, e publicou recentemente uma versão formalizada usando "Justification Logic" Melvin Fitting. Paraconsistent Logic, Evidence, and Justification Studia Logica https://link.springer.com/article/10.1007/s11225-017-9714-3 "In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence (BLE) whose natural deduction rules are thought of as preserving evidence instead of truth. [...] The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. " Estamos muito satisfeitos com o resultado deste longo trabalho, que resultou inclusive em um convite para escrever um livro para a Synthese Library a respeito da questão de se interpretar a paraconsistência epistemicamente. Detalhes. em futuro proximo :-) Abraços, Walter -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli CV Lattes : http://lattes.cnpq.br/1055555496835379 -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58O-GJog5udz06VWA2Cmi6vSynHph9X6To66HoDbmZqicQ%40mail.gmail.com.
