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
