Olá Dídimo e Julio Cesar. Isso mesmo, em C1 ~~A -> A vale, mas A -> ~~A não vale. Em lógica intiucionista A -> ~~A vale, mas ~~A -> A não vale.
Do ponto de vista matemático, v estes princípios são independentes. Do ponto de vista filosófico, a lógica paraconsistente e a lógica intuicionista se propõe a lidar com problemas totalmente distintos. []s Marcelo 2010/9/5 julio cesar <[email protected]>: > > > Olá, Dídimo, > > bem, 1) ~~A->A é um postulado em C1, no entanto, > 2) A->~~A é inválido, não é isso? > Mas o que eu disse foi justamente 2), ou seja, *não se pode derivar ~~A de A*. > Certo? > > Abraços, > Júlio > > > > ________________________________ > De: Dídimo Matos <[email protected]> > Para: julio cesar <[email protected]>; logica <[email protected]> > Enviadas: Domingo, 5 de Setembro de 2010 18:00:40 > Assunto: Re: [Logica-l] Res: esquemas paraconsistentes > > > ~~a---> a vale em c1. Não entendi. > > Abraços, > Dídimo Matos > http://didimogeorge.blogspot.com/ > http://twitter.com/didimogeorge > _______________________ > Para algumas pessoas, antes morrer que pensar. E, morrem antes mesmo. > Russell em tradução de Rodrigo Jungman. > > > > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
