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 exemplos mais simples de como fazer traduções entre lógicas.
Em 12 de maio de 2013 22:53, Walter Carnielli <[email protected]>escreveu: > 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 <[email protected]> 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 <[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 >> > > > > -- > ----------------------------------------------- > 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: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
