Decio,

como sempre, eu gosto da ideia de saber *onde* as coisas sao
construtivas, *onde* sao classicas.

eu sei que nao sei o suficiente sobre a silogistica... ou suas extensoes.

Valeria

2010/8/11 Decio Krause <[email protected]>:
> Péra aí, gente. Talvez vocês consigam criar uma lógica de índole
> paraconsistente inspirada na silogística do velho, mas dizer que a dele É
> intuicionista ou outra coisa, eu acho demais. O mesmo se aplica para quem
> diz que a silogística se reduz ao cálculo monádico.
> D.
>
> ________________________________
> Decio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-990 Florianópolis, SC -- Brasil
> [email protected]
> www.cfh.ufsc.br/~dkrause
> ________________________________
> Doctor Bell say we’re connected,
> He called me on the phone,
> But if we’re really together baby,
> How can I feel so all alone?
> (Bell's Theorem Blues)
> Em 11/08/2010, às 14:45, Valeria de Paiva escreveu:
>
> (Temos colegas, aliás, que tem defendido seriamente
>
> a ideia de que a silogística aristotélica era intuicionista.)
>
> Quem, Joao Marcos? Aonde?
> eu gosto da ideia....
>
> Valeria
>
>
>



-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a