Achava que era Márcio, agora vejo Marcos.
Teoremas são verdades para aquela teoria justamente, não dependem de
hipóteses. Por exemplo, numa lógica clássica A implica A é teorema, ou
ainda diremos que é uma tautologia, ou seja, tem sempre valor 1. Mas, e se
não for a lógica clássica? Se a lógica permitir infinitos valores no
intervalo [0,1], então A pode ser 1/2, donde o valor de A implica A pode
ser 1/2, se A implica A :=max{1-A, A}.
Em 13 de maio de 2013 11:02, Marcos Alves <marcosal...@cle.unicamp.br>escreveu:
> 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 <marmo.t...@gmail.com> 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 <marciocunha...@gmail.com
> >> >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 <marmo.t...@gmail.com>
> >> 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 <marciocunha...@gmail.com
> >> >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
> >> >>> Logica-l@dimap.ufrn.br
> >> >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >> >>>
> >> >>
> >> >>
> >> >
> >> _______________________________________________
> >> Logica-l mailing list
> >> Logica-l@dimap.ufrn.br
> >> 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: walter.carnie...@cle.unicamp.br
> > Website: http://www.cle.unicamp.br/prof/carnielli
> > _______________________________________________
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > 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
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
