Curiosidade sobre a teoria lógica da identidade

Abstract

A Lógica Modema é uma subdisciplina da Matemática e da Filosofia. Mas com considerável autonomia face a outras áreas destas disciplinas. Ela tem vários resultados com interesse para as Humanidades (e.g., sobre a satisfazibilidade, a verdade, a completude ou a decidibilidade), mas a apresentação e comentário de algum deles pareceu- me, neste âmbito, descabida: alguns são muito técnicos, outros levariam muito tempo a expor e, além disso, devo cingir-me ao tema dos encontros Identidade, Tradição e Memória. Tendo a Lógica pouco ou nada a dizer sobre Tradição e Memória, resta-me a Identidade. A Lógica Modema tem várias aplicações. Destas, a que considero mais interessante é a que aplica conceitos e teorias da Lógica a, digamos, aspectos das Linguagens Naturais (como o Português, o Inglês, etc). O que vou então fazer é expor a Teoria Lógica da Identidade e descrever algumas aplicações desta que me parecem curiosas.