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
