Júlio
Mesmo a caracterização do que seja a lógica clássica não é bem assentada. Há
várias "lógicas clássicas". Consequentemente, o que sejam as não clássicas
merece consideração idem. Mas se estamos falando de uma lógica que usa,
digamos, um símbolo de negação com axiomas distintos daqueles típi
Bom, não vou discutir termos, até porque o meu nobre mestre tem minha
confiança. Mas, uma lógica bi-valente é um caso particular de lógica
multi-valente, conforme expliquei a ele.
Em 11 de abril de 2012 01:31, Walter Carnielli
escreveu:
> Tony e Julio Cesar:
> nao sao extensões. Sao subsistemas.
Tony e Julio Cesar:
nao sao extensões. Sao subsistemas.
[ '
Walter
Em 11 de abril de 2012 01:16, Tony Marmo 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 mais gerais como já
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 escreveu:
> Tony,
>
> Você deve saber também que muitos não concordam que se
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 abri
>
>
>
> 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ín