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
