Olá João, Daniel, Andrea e demais colegas. Já andei me questionando, devido as aulas de Lógica, sobre o uso do termo "consequencia sintática”.
Cheguei a pensar que poderia se tratar de uma contradição em termos. Porém o e-mail do Daniel me convenceu. “Penso na lógica como uma disciplina proposicional, que lida com proposições, e que as proposições, independentemente do tipo de entidade que sejam, são passíveis de expressão linguística (ou simbólica) através de sentenças governadas por regras sintático-gramaticais (ou de manipulação simbólica).” O adjetivo “sintática” seria então relativo à sintaxe, na idéia, por exemplo, do verbete abaixo: http://pt.wikipedia.org/wiki/Sintaxe Ou seja, a idéia é que a “manipulação simbólica” é parte da sintaxe, enquanto não leva em conta a semântica. Nesse sentido, o mal-estar da (aparente?) contradição em termos é salutar para dar destaque a intenção de se representar com um sistema formal (parte sintática de um sistema axiomático) a inferência semântica em estudo. Abraços, Ricardo. -- Dr. Ricardo Pereira Tassinari Departamento de Filosofia UNESP - FFC/Marília www.marilia.unesp.br/ricardotassinari _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
