Do ponto de vista filosófico, “atacar” a ideia de infinito atual não é algo muito viável. É muito forte. O que é possível fazer é ou indagar-se se tal ideia é concebível em certos termos, quais são suas consequências e a que conceitos pode ela aplicar-se. Mas, uma vez que um filósofo pode pensar a respeito, sem incorrer em contradição ou paradoxo, ela pode fazer parte de uma doutrina perfeitamente.
Só que não se aborda a distinção entre infinito atual e potencial en passant, a título de mero comentário. Não existe reflexão filosófica que comece sem mais nem menos, ainda mais se adentrar um tema que tem relevância para os fundamentos de uma teoria. É preciso primeiro ter uma questão clara para tentar responder. > On 31 Oct 2018, at 08:58, Anderson Nakano <[email protected]> wrote: > > 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ê recebeu essa mensagem porque está inscrito 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa 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. -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/268E60FD-BB23-4800-A4BB-3484F8E784C1%40gmail.com.
