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
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
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.
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.comescreveu:
Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para estudar
as
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
Olá, Marcio:
Sobre este assunto, do ponto de vista técnico, este é um dos artigos
mais importantes dos últimos anos:
The ubiquity of conservative translations
Emil Jeřábek
http://journals.cambridge.org/action/displayAbstract?fromPage=onlineaid=8757256
http://arxiv.org/abs/1108.6263
Do
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
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