Oi Daniel. Obrigado por mencionar as classes próprias. Eu (acho que) sei o que são classes próprias, e não me parece que essas "totalidades" (de que nunca ouvi falar num contexto formal) se referem a elas. Elas são usadas para se referir a objetos "grandes demais" para serem conjuntos, não? Tipo: "o conjunto de todos os conjuntos", "a classe de todas as ordens reflexivas", e outros objetos que violam algum dos axiomas da teoria dos conjuntos. E, não, como no contexto em que mencionei, objetos proibidos de possuir a propriedade da infinitude.
Afinal, não há motivos para se restringir, a priori, a classes sem a propriedade da infinitude. A posteriori, sempre podemos nos referir a classes finitas, ilimitadas, recursivas, etc. []s On Wed, Oct 31, 2018 at 1:09 PM Daniel Durante <durant...@gmail.com> wrote: > 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. >> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> 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 >> <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 > ORCID: 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. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > 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/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ê 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. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > 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/D1350B07-7158-475A-85F2-8963DDC96781%40gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D1350B07-7158-475A-85F2-8963DDC96781%40gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 -- 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/CABqmzx1mpeZZQzoi0YhwKJYf-MO4is9wgQHK---tL5uGxS12ZQ%40mail.gmail.com.
