O comprometimento da identidade com a individuação nas teorias formais clássicas

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) formaliz...

Full description

Saved in:
Bibliographic Details
Published in:Filosofia Unisinos 2015-07, Vol.16 (1)
Main Author: Jaison Schinaider
Format: Article
Language:eng ; por
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1984-8234
DOI:10.4013/fsu.2015.161.02