> Além do mais, me parece que temos que levar em conta o uso pelos lusitanos- > se é que qevemos levar a sério a lusofonia-- e este usam " > enquadramento". E usam " "martelo sintático" e " martelo > semântico" para aqueles conhecidos 'turnstile' (cuja dstinção deve > ser banida, conforme prega o João Marcos (Johnny Frames :-) ?)
Eu nunca "preguei" nada nem parecido com isso, Walter. O que eu mostrei, em uma longa discussão coletiva, foi que a terminologia "consequência sintática" não faz sentido. Não deixam por isso de existir, como é óbvio, diferentes *noções de consequência*, definidas por sistemas dedutivos, por semânticas etc. Mas é preciso saber distinguir a Sintaxe da Teoria das Demonstrações. A Sintaxe é um pressuposto linguístico de qualquer sistema formal. Uma vez construída uma Linguagem, sintaticamente, há diversas maneiras de associar a ela uma noção de consequência. Podemos por exemplo pensar nas noções de consequência da *lógica clássica* e da *lógica intuicionista* como definidas sobre uma mesma sintaxe. E podemos trabalhar com qualquer uma destas lógicas, certamente sem identificá-las, usando instrumentos semânticos, demonstracionais, algébricos, categóricos, dialógicos etc. Como você mesmo disse antes, é quase uma "trivialidade" o que eu estou apontando. Mas aqui você infelizmente representou mal toda a esclarecedora discussão que tivemos antes, afirmando que eu disse algo que eu não poderia ter dito... O equívoco de se falar em "consequência sintático" não tem nada a ver com a língua portuguesa, e pode ser encontrado em muitas partes de uma certa literatura que ainda sobrevive por aí --- mas que vai morrer. Provavelmente isto acontece porque as pessoas que usam esta terminologia a usam por mero _costume_, e nunca pararam realmente para analisar ou rever a _adequação_ de seus hábitos linguísticos. Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
