Oi Marcelo, Acontece que os filósofos e matemáticos se referem a "totalidades" que não são conjuntos. Quando eles dizem, por exemplo, que a sequência dos ordinais não forma um conjunto, eles estão se referindo à sequência toda, à totalidade da sequência. E eles chamam estas coisas de classes próprias. Então parece melhor identificar totalidades com classes e não com conjuntos, porque as classes próprias são referenciáveis/identificáveis (ou seja, referidas como totalidades), mas não são conjuntos.
Saudações, Daniel. ----- Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > Em 31 de out de 2018, à(s) 11:30, Marcelo Finger <mfin...@ime.usp.br> > escreveu: > > 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. > > Me parece que o conceito de "totalidade" não foi definido, e que se formos > formalizá-lo, daremos a ele o nome de "conjunto". > > Logo, o ponto 6 acima diz o seguinte: se partimos de uma hipótese que > diretamente implica a inexistência de conjuntos infinitos, então a definição > de conjunto infinito não vale para nenhum conjunto. Ou seja, o conteúdo de 6 > é totalmente trivial, quase tautológico: se não há o infinito, então nenhum > conjunto é infinito. > > E esse é o problema com boa parte de discussões filosóficas chatas: a partir > do momento em que são formalizadas, elas se trivializam > > []s > > Marcelo > > > > 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 logica-l+unsubscr...@dimap.ufrn.br > <mailto:logica-l+unsubscr...@dimap.ufrn.br>. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br > <mailto:logica-l@dimap.ufrn.br>. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > <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 > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9fb84d3e-1ccb-4a32-bb75-08ab938f59cc%40dimap.ufrn.br?utm_medium=email&utm_source=footer>. > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger <http://www.ime.usp.br/~mfinger> ORCID: > https://orcid.org/0000-0002-1391-1175 <https://orcid.org/0000-0002-1391-1175> > ResearcherID: A-4670-2009 > > -- > 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 logica-l+unsubscr...@dimap.ufrn.br > <mailto:logica-l+unsubscr...@dimap.ufrn.br>. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br > <mailto:logica-l@dimap.ufrn.br>. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > <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/CABqmzx2SonbWbAqoHj_nA2BDw5YQCd8jBYq8UVptdX5bP%3Dx8mQ%40mail.gmail.com > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx2SonbWbAqoHj_nA2BDw5YQCd8jBYq8UVptdX5bP%3Dx8mQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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/D1350B07-7158-475A-85F2-8963DDC96781%40gmail.com.
