Julio e lista
Interessante a discussão sobre o que é lógica. Julio disse que
Defino Logica como formalismos para compor valores verdade
de sentencas complexas a partir de seus constituintes elementares.
Esta definicao eh usada por Wittgenstein, entre outros.
No entanto, se for assim, boa parte do que é considerado lógica hoje
(vide o American Subject Classification por exemplo), estaria de fora;
teoria da recursão, fundamentos da teoria dos conjuntos, forcing, etc.
O que acham?
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 18/08/2010, às 19:40, Julio Stern escreveu:
Defino Logica como formalismos para compor valores verdade
de sentencas complexas a partir de seus constituintes elementares.
Esta definicao eh usada por Wittgenstein, entre outros.
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
