Acho que uma boa razão para a manutenção da distinção entre consequência sintática e semântica é o tamanho do conjunto de suposições. Uma conclusão que necessita de um conjunto infinito de premissas para ser obtida, a meu ver só pode ser consequência semântica destas premissas, jamais consequência sintática. O que acham?

Saudações,
Daniel
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a