Prezados interessados sobre lógica(s) paraconsistente(s) e paraconsistência:
tenho seguido a troca de sugestões sobre bibliografia sobre o tema
em português, e gostaria de colaborar com as seguintes observações:
1) não existe uma única "lógica paraconsistente" (se estamos
falando de sistemas). A esse respeito, a família das LFI' s
("logics of formal inconsistency" ) cuidadosamente (e arduamente)
trabalhadas pelo João Marcos, pelo Marcelo Coniglio e por mim são as
generalizações mais amplas dos sistemas Cn do Newton.
2) Como apontado por dois "referees" desses nossos trabalhos, as
LFI's retomam e completam o enfoque "brasileiro" sobre
paraconsistência.
3) Não há nada em português especificamente sobre isso, mas a
dissertação de Mesrado do João Marcos, "Semânticas de traduções
possíveis", sob minha orientação, é um dos trabalhos mais criativos
e esclarecedores que está na base dessa abordagem ampliada,
inclusive sobre as semânticas de traduções possíveis .
Sinto-me no dever de sugerir esse trabalho (que inclusive, segundo me
parece, será a base de um livro a ser publicado pelo João) como
literatura em língua portuguesa:
"Semânticas de traduções possíveis"
Disponível em
http://libdigi.unicamp.br/document/?code=vtls000224326
Abraços,
Walter
> Subject: Re: [Logica-l] Livros de Lógica Paraconsistente em português
> To: "Paulo Henrique Gomes Ferreira" <[email protected]>, "logica"
> <[email protected]>
> Message-ID: <42f03d34fd764119914b9cfce4db1...@usuario7f606ff>
> Content-Type: text/plain; charset="iso-8859-1"
>
> Paulo,
>
> Como diz o professor da Costa explicar a paraconsistência em termos simples é
> muito difícil, mas ele o faz com grande maestria no primeiro livro que te
> indiquei, entretanto pra ir se acostumando com a coisa podes começar lendo um
> texto e um outro "livro". O texto esta disponível na net, mas o livro, que tá
> mais pra uma apostila, só se achar em um Sebo. O texto:
> ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/ArtGT.pdf e o
> livro-apostilas é: DE SOUZA, E. G. ; COSTA, Newton Carneiro Affonso da ;
> MARANHÃO, Juliano Souza de Albuquerque . Introdução à lógica paraconsistente:
> a hierarquia Cn. São Paulo: Instituto de Estudos Avançados da Universidade de
> São Paulo, 2001 (Pré-publicação).
>
> Abraços,
> Dídimo Matos
> http://didimomatos.zip.net
> http://twitter.com/didimogeorge
+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
