SOBRE TRADUÇÕES ENTRE LÓGICAS: RELAÇÕES ENTRE TRADUÇÕES CONSERVATIVAS E TRADUÇÕES CONTEXTUAIS ABSTRATAS

DESDE AS PRIMEIRAS DÉCADAS DO SÉCULO XX TEM-SE ESTUDADO TRADUÇÕES ENTRE LÓGICAS, SENDO QUE O TERMO “TRADUÇÃO” NEM SEMPRE FOI UTILIZADO. DESTACAMOS COMO PIONEIROS DE PESQUISAS NESTA ÁREA, KOLMOGOROV (1925), GLIVENKO (1929), GÖDEL (1933) E GENTZEN (1933). E, TAMBÉM, PRAWITZ E MALMNÄS (1968), BROWN E SUSZKO (1973), SZCZERBA (1977), WÓJCICKI (1988) E EPSTEIN (1990), AUTORES QUE SE EMPENHARAM EM IDENTIFICAR QUAIS AS PRINCIPAIS CARACTERÍSTICAS DO QUE ATUALMENTE DENOMINAMOS COMO TRADUÇÃO ENTRE LÓGICAS. EM 1999, DA SILVA, D’OTTAVIANO E SETTE PROPUSERAM UMA DEFINIÇÃO BEM GERAL PARA O CONCEITO DE TRADUÇÃO ENTRE LÓGICAS. ESTA DEFINIÇÃO TRATA DE CAPTURAR A INTUIÇÃO INERENTE À “NOÇÃO” DE TRADUÇÃO. ORIENTADO POR D’OTTAVIANO, FEITOSA (1997), EM SUA TESE DE DOUTORADO, ANALISOU O CONCEITO DE TRADUÇÃO CONSERVATIVA E A CATEGORIA TRCON CUJOS OBJETOS SÃO AS LÓGICAS TARSKIANAS E CUJOS MORFISMOS SÃO AS TRADUÇÕES CONSERVATIVAS. TÊM SIDO PUBLICADOS DIVERSOS ARTIGOS UTILIZANDO ESTES DOIS CONCEITOS. NO “II WORLD CONGRESS ON UNIVERSAL LOGIC” (UNILOG’07), CARNIELLI, CONIGLIO E D’OTTAVIANO (2007) INTRODUZIRAM O CONCEITO DE TRADUÇÃO CONTEXTUAL, SIMPLIFICANDO O CONCEITO DE META-TRADUÇÃO INTRODUZIDO POR CONIGLIO (2005A). RECENTEMENTE, JE?ÁBEK (2012) OBTEVE RESULTADOS SOBRE A EXISTÊNCIA DE TRADUÇÃO CONSERVATIVA ENTRE QUAISQUER DOIS SISTEMAS DEDUTIVOS, POR ELE IDENTIFICADOS COMO “RAZOÁVEIS”, E PONDEROU QUE SERIAM NECESSÁRIOS CRITÉRIOS MAIS REFINADOS PARA DEFINIR TRADUÇÕES. NESTA TESE, ALÉM DE TERMOS ESTUDADO OS ARTIGOS HISTÓRICOS SOBRE TRADUÇÕES ENTRE LÓGICAS, ANALISAMOS TRABALHOS RECENTES DA LITERATURA SOBRE O TEMA. INTRODUZIMOS, BASEADO NO CONCEITO DE TRADUÇÃO CONTEXTUAL, O CONCEITO DE TRADUÇÃO CONTEXTUAL ABSTRATA E OBTIVEMOS UMA CONDIÇÃO NECESSÁRIA E SUFICIENTE PARA ESTE NOVO CONCEITO; ESTUDAMOS UMA NOVA CATEGORIA CUJOS OBJETOS SÃO AS LÓGICAS TARSKIANAS E CUJOS MORFISMOS SÃO AS TRADUÇÕES CONTEXTUAIS ABSTRATAS; ANALISAMOS AS ESPECIFICIDADES E INTER-RELAÇÕES ENTRE OS CONCEITOS DE TRADUÇÃO (DA SILVA, D’OTTAVIANO, SETTE, 1999), TRADUÇÃO CONSERVATIVA, TRADUÇÃO CONTEXTUAL E TRADUÇÃO CONTEXTUAL ABSTRATA, E RELACIONAMOS ESTES CONCEITOS COM OS CONCEITOS DE TRADUÇÃO CONTEXTUAL-CONSERVATIVA (ESTRITA), TRADUÇÃO HIPER-CONTEXTUAL E ISOMORFISMO. INTRODUZIMOS OS CONCEITOS DE TRADUÇÃO CONTEXTUAL-CONSERVATIVA (ESTRITA) E TRADUÇÃO HIPER-CONTEXTUAL A PARTIR, RESPECTIVAMENTE, DOS CONCEITOS DE TRADUÇÃO CONTEXTUAL E HIPERTRADUÇÃO, ESTE ÚLTIMO INTRODUZIDO POR FIGALLO (2013). FINALMENTE, AO ANALISARMOS O POSSÍVEL IMPACTO DO ARTIGO DE JE?ÁBEK (2012) SOBRE O CONCEITO DE TRADUÇÃO CONSERVATIVA, DESTACAMOS A RIQUEZA DO CONCEITO DE TRADUÇÃO CONSERVATIVA E A ABUNDÂNCIA DA CATEGORIA TRCON.