A identidade como predicado lógico

6 Dezembro 2018, 18:00 • Ricardo Santos

Sentidos do verbo ‘ser’ – predicativo, existencial e identitativo – e sua representação na linguagem da lógica de predicados. Problemas filosóficos em torno dos conceitos de predicação, de existência e de identidade. Identidade entendida como identidade numérica – ser a mesma coisa. A identidade como predicado lógico, representado pelos símbolos = e ¹, cuja extensão é constante em todas as interpretações: uma relação que cada objecto do domínio tem consigo mesmo e só consigo mesmo. Formalizações com identidade.