Alguém pode me dar uma idéia, ou indicar uma referência, mais detalhada de como
o paradoxo de Russel invalida o V axioma de Frege?
Sei o básico, que o V axioma pressupoe que conjuntos possam ser elementos de
outros conjuntos e que (por 1 axioma da teoria de conjuntos) dada uma
propriedade bem definida podemos criar um cojunto cujos elementos serão aqueles
que possuem tal propriedade e assim criamos o conjunto cujos elementos são os
conjuntos que não são elementos de si mesmo..., mas gostaria de ouvir mais
sobre o assunto se houer alguém interessado. Sei de algumas tentativas de
reconstruir a demonstração de Frege e evitar a inconsistência, o que dizem
sobre isso?
Rodrigo
_________________________________________________________________
Emoticons e Winks super diferentes para o Messenger. Baixe agora, é grátis!
http://specials.br.msn.com/ilovemessenger/pacotes.aspx_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
