Eu acho que se a Paula do Daniel estiver sabendo disso, ele tá é apanhando dela....EhEh D.
2008/10/5 Ricardo Pereira Tassinari <[EMAIL PROTECTED]> > Olá a todos. > > Não leio e-mail faz 2,5 dias, só agora estou retomando as discussões. > > Primeiro. O problema para o intuicionista da demonstração que apresentei, > pelo que posso entender são basicamente dois: > > (1) Usa como hipótese Av~A, ou melhor, Rac(s^s)V~Rac(s^s); o que me parece > não é aceito por um intucionista originário; > > Arthur: é verdade que um clássico poderia falar ao intuicionista que quis > dizer ~(A&~A) (com a tradução de Gödel), ou seja, ~(Rac(s^s)V~Rac(s^s)); de > qualquer modo os dois continuam não se entendendo quanto ao uso do conectivo > 'ou', não pensam da mesma forma sobre esse conectivo; mas admito que há essa > equivalência entre as duas formas de pensar (i.e., considerando a tradução, > como eu poderia negar!:-) mas então porque dizer "haver uma única lógica, a > qual é a lógica intuicionista", principalmente considerando o problema (2) > abaixo? > > (2) Demonstra a existência de dois números irracionais sem verdadeiramente > exibi-los, o que, novamente, parece-me não ser aceito por um intuicionista > originário. > > Poderia ser dado exemplos de outras lógicas; porém, bem entendido, o > problema que estou colocando é o da UNICIDADE DA LÓGICA. > > Tendo a concordar com William Steinle de que "uma pluralidade de lógicas > não-clássicas mostra que essas são, ao que tudo indica, possíveis, e se são > possíveis, não há motivos, a não ser pessoais, para sustentarmos que existe > apenas uma lógica." Porém, para mim, isso não é uma conclusão (assim, não > usa uma lógica) é um princípio. > > A questão que podemos tirar daí, penso é: admitindo que há várias lógicas e > que uma filosofia pressupõe uma lógica, como não admitir que há várias > filosofias? > > Abraço a todos > Ricardo. > > PS. > Daniel: sem recusar as disjunções, responda francamente: você continua ou > não batendo na Paula? > > > -- > Dr. Ricardo Pereira Tassinari - Departamento de Filosofia > UNESP - Faculdade de Filosofia e Ciências - Marília > Homepage: http://www.marilia.unesp.br/ricardotassinari > > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- _________________________________ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina C.P. 476 88040-900 Florianópolis, SC - Brasil Tel.: +(48)3331-9248 www.cfh.ufsc.br/~dkrause Grupo de Lógica e Fundamentos da Ciência www.logica.cfh.ufsc.br _____________________________________
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
