Prezado Walter, tenho duas dúvidas, se achar conveniente respondê-las:
1) por que você identifica verdades absolutas com teoremas? Teoremas podem ser verdades de uma dada teoria, mas não ser de outras. Em que sentido está utilizando verdades absolutas neste caso? 2) em que sentido você identifica verdades relativas e dedução? A verdade parece ser um atributo de proposições, de sentenças, não de deduções. abço, Marcos. > 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 > =============================================================^M Marcos Alves Centro de Lógica, Epistemologia e História da Ciência - CLE Universidade Estadual de Campinas - UNICAMP http://www.cle.unicamp.br ============================================================= _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
