O comprometimento da identidade com a individuação nas teorias formais clássicas
DOI:
https://doi.org/10.4013/fsu.2015.161.02Resumo
Neste artigo, defendemos a ideia de que as teorias formais clássicas (aqui entendidas como sendo a lógica clássica, a teoria de conjuntos usual e, desta forma, também a matemática nelas assentadas) parecem se comprometer com a individualidade de seus ‘objetos’ a partir do modo como (tentam) formalizar a noção de identidade em seus sistemas. Iniciamos mostrando como a identidade é formalizada nestas disciplinas e os problemas que existem em tais formalizações (algo que em geral os filósofos desconhecem). Entremeados à discussão, mostramos vários argumentos que podem nos fazer crer que tais teorias formais realmente assumem que seus objetos, ao possuir uma identidade, são assim também indivíduos na acepção plena do termo.
Palavras-chave: identidade, individualidade, lógica clássica, matemática clássica, teoria de conjuntos clássica.
Downloads
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Concedo a revista Filosofia Unisinos – Unisinos Journal of Philosophy o direito de primeira publicação da versão revisada do meu artigo, licenciado sob a Licença Creative Commons Attribution 4.0 (que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista).
Afirmo ainda que meu artigo não está sendo submetido a outra publicação e não foi publicado na íntegra em outro periódico e assumo total responsabilidade por sua originalidade, podendo incidir sobre mim eventuais encargos decorrentes de reivindicação, por parte de terceiros, em relação à autoria do mesmo.
