Re: [Logica-l] pressuposições clássicas e não clássicas

2012-04-10 Por tôpico Julio César
Olá Décio, Que bom que ao que tudo indica começamos a nos entender! Embora parece que não me fiz compreensível para quase ninguém mais. De fato, estou pressupondo que contradições genuínas são aquelas expressas classicamente. Também estou pressupondo que a negação genuína é

Re: [Logica-l] pressuposições clássicas e não clássicas

2012-04-10 Por tôpico Tony Marmo
Conforme expliquei, as lógicas não-clássicas podem ser vistas como extensões da lógica clássica, ou seja, a lógica clássica é um caso particular delas. Veja a minha resposta ou das professores Marcelo Finger e Marcelo Coniglio para explicação e busque mais informações na literatura. Em 11 de

Re: [Logica-l] pressuposições clássicas e não clássicas

2012-04-10 Por tôpico Tony Marmo
Não existe isso que muitos não aceitam. Justamente por serem extensões da lógica clássica, elas não incluem todos os princípios clássicos. Elas são mais gerais como já expliquei. Em 11 de abril de 2012 00:59, Julio César jcacusto...@yahoo.com.brescreveu: Tony, Você deve saber também que

Re: [Logica-l] pressuposições clássicas e não clássicas

2012-04-10 Por tôpico Walter Carnielli
Tony e Julio Cesar: nao sao extensões. Sao subsistemas. [ ' Walter Em 11 de abril de 2012 01:16, Tony Marmo marmo.t...@gmail.com escreveu: Não existe isso que muitos não aceitam. Justamente por serem extensões da lógica clássica, elas não incluem todos os princípios clássicos. Elas são