Jean-Yves.

Talvez já esteja na hora de v  clarificar a distinção ontológica e
taxonômica que instancia a expressão "bad guys".  É do deputado
Donadon e dos que votaram contra sua caçação que v está falando?

[]s

Marcelo

2013/11/20 jean-yves beziau <[email protected]>:
> Caro Daniel
>
> De fato a palavra "entailment" é uma palvara que é dominada pelos bad guys.
> Agora tem que tomar cuidado com a questao da implicacao:
> Os good guys da logica classica fazem a diferenca entre (relacao de)
>  consequencia e (conectivo de ) implicaco,
> usando duas palavras diferentes.
>
> Mas os bad guys da logica relevante misturam tudo (really bad guys!)
>  usa "entailment" para a relacao de consequencia significativa deles
> mas tambem para um conectivo de implicacao signiificativo.
>
> De qualquer forma
> usar "implicacao" para falar de uma relacao de consequencia nao me parece
> uma boa escolha
> e usar "accaretamento" para um connectivo de implicao tambem nao,
> Se voce usa entao "accaretamento" para traduzir "entailment", pode entao
> ter uma certa ambuiguidade,
> ja que entailment as vezes é uma conectivo de implicacao.
>
> Um abraço
> Jean-Yves
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a