Oi, Andrea: > Mas precisamos de uma expressão para nos reportar ao fato de > que, num sistema dado, uma sentença alfa é obtida a partir > de um conjunto de sentenças gama (caso em que alguns dizem > que alfa é consequência sintática de gama). Eu gosto de usar > a expressão "consequência dedutiva" para isso, uma vez que > dedução é um conceito que diz respeito a um sistema formal > específico - e não apenas à linguagem.
Gosto da expressão "consequência dedutiva", desde que já esteja claro o "sistema dedutivo" em questão. Fica talvez menos apropriado o termo, contudo, se eventualmente considerarmos noções de consequência que sejam não-monotônicas, ou digam respeito a raciocínios "indutivos" ou "abdutivos". Grande abraço, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
