Obrigado a todos pelas respostas e indicações de referências, estão sendo muito úteis para elucidar as minhas dúvidas. O meu interesse é entender os aspectos conceituais que envolvem traduções entre lógicas. É aquela velha história: o estudante entende a demonstração do teorema da correção e da completude mas não entende a razão de ser necessária tal demonstração. Na questão de traduções entre lógicas é mais ou menos a mesma coisa (no que diz respeito à compreensão da razão por trás) que eu quero entender: eu compreendo, razoavelmente, os aspectos técnicos de como efetuar uma tradução, mas a razão conceitual por trás (digamos assim), não. Por exemplo, como o professor Carnielli disse, trata-se de traduzir teoremas (verdades absolutas) e deduções (verdades relativas), a questão é: (1) o que se pode entender (conceitualmente, não formalmente) por traduzir um teorema (uma verdade absoluta) ou uma dedução (uma verdade relativa)? (2) Quais as implicações conceituais ou filosóficas? As implicações na epistemologia, por exemplo?
Abraço a todos. Em 13 de maio de 2013 09:46, Tony Marmo <[email protected]> escreveu: > Por outro lado, é preciso que o Márcio se familiarize com as diferentes > lógicas, para ter uma ideia mais concreta. Antes de ler as referências do > João Marcos e do Jean-Yves, talvez seja melhor consultar os capítulos 1 e 2 > de Carnielli e Pizzi, "Modalities and Multimodalities": lá se encontram > alguns exemplos mais simples de como fazer traduções entre lógicas. > > Em 12 de maio de 2013 22:53, Walter Carnielli > <[email protected]>escreveu: > > Não se trata só de traduzir linguagens. Isso é simples demais. Trata-se >> de traduzir relações de consequência >> (portanto, ' verdades absolutas', isto é, teoremas, ou 'verdades >> relativas´, isto é, deduções). >> >> Walter >> >> Em 12 de maio de 2013 22:15, Tony Marmo <[email protected]> escreveu: >> >> Caro Márcio, >>> >>> A resposta de Jean-Yves cobre com muita propriedade o assunto. >>> Quanto à pergunta abaixo é simples: simplificando muito e de modo muito >>> resumido, duas linguagens lógicas são dois modos de formalizar o >>> pensamento. Acontece que para falar dos teoremas de uma na/ pela outra é >>> preciso não apenas traduzir de uma linguagem para outra, mas interessa >>> não >>> perder a propriedade de teorema, ou seja, interessa que o que é verdade >>> num >>> dos idiomas seja verdade no outro. Comparando é como se você escrevesse >>> "chove ou não chove" em Português e depois passasse para outro idioma: se >>> "chove ou não chove" em Português é tautológico também deveria sê-lo em >>> Alemão. Daí há que se estabelecer princípios para essa tradução de modo >>> que >>> no outro idioma não se perca a verdade do enunciado. >>> >>> Em 12 de maio de 2013 16:52, Marcio Cunha <[email protected] >>> >escreveu: >>> >>> > Você pode explicar melhor? Pode dar um exemplo mais concreto sobre a >>> > "questão da preservação da verdade" que envolva a necessidade de uma >>> função >>> > tradução entre dois sistemas lógicos? Estou falando, claro, do ponto de >>> > vista da motivação e implicação filosóficas. >>> > >>> > >>> > Em 12 de maio de 2013 16:42, Tony Marmo <[email protected]> >>> escreveu: >>> > >>> > As motivações incluem a própria questão da preservação da verdade e a >>> >> necessidade de estudar lógicas-objeto a partir de meta-lógicas. >>> >> >>> >> Em 12 de maio de 2013 16:39, Marcio Cunha <[email protected] >>> >escreveu: >>> >> >>> >>> Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para >>> >>> estudar >>> >>> as motivações e implicações filosóficas das traduções entre lógicas >>> (em >>> >>> particular, as traduções conservativas)? >>> >>> >>> >>> Outra coisa, alguém tem em pdf do texto *"Translation between >>> logics: a >>> >>> manifesto*." ? >>> >>> >>> >>> Obrigado. >>> >>> _______________________________________________ >>> >>> Logica-l mailing list >>> >>> [email protected] >>> >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >>> >>> >> >>> >> >>> > >>> _______________________________________________ >>> Logica-l mailing list >>> [email protected] >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >> >> >> >> -- >> ----------------------------------------------- >> Prof. Dr. Walter Carnielli >> Director >> Centre for Logic, Epistemology and the History of Science – CLE >> State University of Campinas –UNICAMP >> 13083-859 Campinas -SP, Brazil >> Phone: (+55) (19) 3521-6517 >> Fax: (+55) (19) 3289-3269 >> Institutional e-mail: [email protected] >> Website: http://www.cle.unicamp.br/prof/carnielli >> > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
