JM
estamos de acordo então.
o artigo deles deve mesmo ser interessante.
abraço
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 12/08/2010, às 05:41, Joao Marcos escreveu:
Olá, Decio:
É claro que eu apresentei a proposta do Luiz Carlos de forma
imprecisa, com um propósito provocativo, ao dizer que ele vem
defendendo que "a silogística aristotélica era intuicionista"... A
proposta que ele apresentou com o Hermann e com o Paulo Veloso
recentemente era intitulada, mais especificamente, "Constructive
results in the logic of categorical propositions".
Não posso me atrever a formular precisamente o que eles defenderam
ali, mas creio que eles já têm um paper mais ou menos pronto onde eles
próprio formulam precisamente o que querem defender.
Abraços,
JM
2010/8/12 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.
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
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
