Aula 15 - A Identidade
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
ATENÇÃO: os tempos das transições entre trechos desta aula ainda não estão perfeitamente calibrados. O vídeo pode começar alguns segundos antes ou depois. Use as setas do teclado para avançar ou retroceder.
Situo os alunos na etapa final da construção da linguagem da Lógica de Primeira Ordem (LPO). Apresento o último elemento que falta para completar nosso sistema: a relação de identidade. Explico que, ao final, refletiremos sobre o debate filosófico sobre a inclusão ou não da identidade como parte integrante da lógica.
[01:43] – O Problema da Auto-referência em Domínios
Analiso a sentença "Paulo deve dinheiro a todos". Demonstro que, se Paulo pertence ao domínio de pessoas, a simbolização padrão implica que ele deve dinheiro a si mesmo. Explico que essa interpretação fere o princípio da caridade metodológica, exigindo uma forma de expressar exceções como "todos os outros" ou "exceto ele mesmo".
[04:45] – A Inclusão da Identidade na LPO
Apresento a identidade como um predicado especial de dois lugares que expressa uma relação binária, equivalente ao "igual" da matemática. Ressalto que, embora pareça simples, a aplicação desse conceito ao mundo das coisas concretas é mais complexa do que no mundo das entidades abstratas.
[07:04] – Identidade Lógica vs. Semelhança
Esclareço que ser idêntico, do ponto de vista lógico, não significa ser apenas parecido ou igual em propriedades. Utilizo o exemplo de duas moléculas de água quimicamente idênticas para mostrar que elas ainda possuem identidades distintas por serem objetos diferentes. Ser idêntico significa ser, literalmente, o mesmo objeto.
[10:31] – Notação e Convenções de Simbolização
Explico que, embora a identidade seja um predicado de dois lugares, adotamos a notação matemática infixa (x = y) em vez da notação de prefixo usada para outros predicados. Estabeleço que essa linha de identidade está subentendida em todas as nossas chaves de simbolização.
[12:38] – Simbolização de Identidade e Negação
Demonstro casos práticos de simbolização, como "Paulo é o Doutor Ferreira" (p = f) e sua negação, "Paulo não é o Doutor Ferreira" ¬(p = f). Alerto para a convenção usual de omitir parênteses na negação de identidades ¬p = f, mesmo que isso possa gerar dúvidas iniciais sobre o escopo.
[14:55] – Simbolizando "Todos os Outros"
Retomo o problema inicial de Paulo e mostro como a identidade resolve a questão das exceções. Demonstro a paráfrase "Para todo x, se x não for Paulo, então Paulo deve dinheiro a x", resultando na fórmula ∀x(¬x = p → D(p,x)).
[17:50] – Expressões de Exclusividade: "Apenas", "Somente" e "Só"
Examino sentenças que indicam que um único indivíduo possui certa propriedade. Proponho paráfrases como "Ninguém diferente de Paulo deve dinheiro" ou "Para todo x, se x deve dinheiro, então x é Paulo". Explico que essas formas buscam capturar a unicidade da relação.
[20:33] – O Problema da Verdade por Vacuidade na Identidade
Analiso uma sutileza técnica: se ninguém deve dinheiro no domínio, as simbolizações universais de exclusividade tornam-se vacuamente verdadeiras. Explico que isso gera um descompasso com a linguagem natural, que geralmente pressupõe que o fato principal (o ato de dever) ocorreu.
[23:55] – Reforço da Veracidade Factual
Apresento uma solução para o problema da vacuidade: acrescentar explicitamente a afirmação factual à simbolização por meio de uma conjunção. Mostro que a forma completa deve dizer "Somente Paulo deve dinheiro E Paulo de fato deve dinheiro", garantindo a precisão da representação lógica.
[25:55] – Debate: A Identidade é uma Constante Lógica?
Introduzo o debate entre lógicos sobre a natureza da identidade. Discuto as consequências de considerá-la uma constante lógica (interpretação fixa em todos os domínios) ou um predicado comum (interpretação flexível dependente do contexto), relacionando isso à liberdade de simbolização.
[28:36] – Implicações Metafísicas e Mudança
Utilizo o exemplo da substituição de átomos em uma molécula para questionar a rigidez da identidade lógica. Provoco a reflexão sobre se pequenas mudanças em um objeto deveriam ou não resultar em uma nova identidade, ligando a lógica à metafísica e à filosofia da ciência.
[32:09] – Escolhas Filosóficas e Conclusão
Finalizo reforçando que, como em toda a filosofia, não há respostas definitivas, mas sim escolhas baseadas em motivações e consequências. Explico que assumiremos provisoriamente a identidade como parte da LPO para fins didáticos e oriento os alunos sobre os próximos passos e exercícios.