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
