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 <marmo.t...@gmail.com> 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 <marciocunha...@gmail.com > >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 <marmo.t...@gmail.com> 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 <marciocunha...@gmail.com > >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 > >>> Logica-l@dimap.ufrn.br > >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >>> > >> > >> > > > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > 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: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l