Um conjunto é uma entidade abstrata, assim como são seus elementos. Podem 
ditar quem quiserem, mas não me convenço do contrário deste fato. Já que gostam 
de citar, no seu livro de fundamentos da maremática, Kunen fala que a lógica é 
uma coisa que deve ser feita duas vezes: começa-se com coisas intuitivas, meio 
construtivamente, atè chegarmosaos sistemas mais elaborados, como ZF. Entào, 
diz ele, fazemos tido de novo, reconstruindo, aí dentro, o que fizemos antes. 
Ideias semelhantes estào no Ensaio... do Prof. Newton Costa.
Saludos
D



------------------------------------------------------
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
------------------------------------------------------

Em 26/01/2013, às 13:09, Rodrigo Podiacki <[email protected]> escreveu:

> "O autor chega a sugerir que um grupo de pessoas é um conjunto. Logo, pode-se 
> inferir, pessoas são entidades abstratas."
>  
> Que inferência é essa? Se um grupo de determinadas coisas é um conjunto, isso 
> significa que as coisas que formam esse grupo também são um conjunto? O grupo 
> é abstrato, mas não seus elementos. Isso é demasiado básico, e lamentável é 
> eu ter que dizer isso para um professor de lógica.
> 
> "A set is any collection, group, or conglomerate. So we have the set of all 
> students registered at the City University of New York in February 1998, the 
> set of all even natural numbers [...], the set of all pink elephants. [...] 
> the set of all molecules in a drop of water is not the same object as that 
> drop of water."
> 
> -- Karel Hrbacek e Thomas Jech, Introduction to set theory. p. 1.
> 
> 
>  
> Em 26 de janeiro de 2013 02:49, Décio Krause <[email protected]> escreveu:
>> Caro Mario
>> Grato pelo link. Vi dois textos. No de lógica, o autor inicia dizendo que a 
>> lógica é a ciência do raciocínio correto...Lamentável. Quer dizer que Teoria 
>> da Recursão, Teoria dos Modelos, etc. tratam de raciocínios corretos, ou não 
>> fazem arte da lógica?  De resto, o texto é bem útil mas contém enganos de 
>> digitação facilmente corrigíveis (difícil não ter, né?). O de conjuntos é 
>> bem pior. O autor chega a sugerir que um grupo de pessoas é um conjunto. 
>> Logo, pode-se inferir, pessoas são entidades abstratas. Lamentável de novo. 
>> Ainda estamos capengas de textos confiáveis em português.
>> Abraço
>> D
>> 
>> 
>> 
>> 
>> ------------------------------------------------------
>> Décio Krause
>> Departamento de Filosofia
>> Universidade Federal de Santa Catarina
>> 88040-900 Florianópolis - SC - Brasil
>> http://www.cfh.ufsc.br/~dkrause
>> ------------------------------------------------------
>> 
>> Em 25/01/2013, às 16:24, Mario Benevides <[email protected]> escreveu:
>> 
>> >   Caros,
>> >
>> > Segue um link para uma página com notas de aula em protuguês
>> >
>> >   O link:
>> >
>> >   http://arquivoescolar.org/handle/arquivo-e/9
>> >
>> >  Estas duas paginas explicam a filosofia e regras deste projeto:
>> >
>> > http://arquivoescolar.org/help/aboutarchive.html
>> > http://arquivoescolar.org/password-login
>> >
>> >  Um abraço,
>> >
>> > Mario
>> >
>> >
>> >
>> >
>> >
>> > --
>> > Federal University of Rio de Janeiro
>> > www.cos.ufrj.br/~mario
>> > _______________________________________________
>> > Logica-l mailing list
>> > [email protected]
>> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>> _______________________________________________
>> Logica-l mailing list
>> [email protected]
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> 
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a