Saudações a todos. Permito-me dar alguns "pitacos". 1. A ideia de que um conjunto é infinito quando ele é similar a uma parte própria sua vem, salvo engano, de Dedekind (no *Was sind und wie sollen die Zahlen?*). Na verdade, trata-se de uma *definição* do infinito. 2. Cantor subscreve a essa ideia e a utiliza nos seus artigos. Cantor defendeu que o infinito potencial, no sentido rigoroso, pressupõe o infinito atual. Essa é a posição que me parece atacável do ponto de vista filosófico. 3. Concordo com o João Marcos: a crença cantoriana no infinito "atual" é "irrelevante" para embasar o cálculo por ele introduzido (isso soa, a propósito, bastante "wittgensteiniano") 4. (3) não implica que não se possa atacar a definição de Dedekind e a defesa de Cantor do infinito atual do ponto de vista filosófico. 5. Eu não estou defendendo, obviamente, as ideias do OC, só estou dizendo que elas não estão erradas "já de partida". 6. Se a negação do infinito atual implica que não há *totalidades *infinitas, então é claro que não há, em particular, totalidades que possuem partes próprias similares a ela e, portanto, vale o Axioma 5 de Euclides.
Abraço, Anderson -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9fb84d3e-1ccb-4a32-bb75-08ab938f59cc%40dimap.ufrn.br.