A necessidade da existência e a necessidade da identidade em discussão.

14 Dezembro 2017, 16:00 • Ricardo Santos

Diferentes opções para uma lógica modal quantificada com domínio variável. A quantificação na lógica livre positiva. Predicado especial de existência e novas regras para os quantificadores.

A reacção conservadora de Williamson. Os contra-exemplos são só aparentes. Ambiguidade da noção de existência: existência concreta e existência lógica (‘ser alguma coisa’). No sentido lógico, existem possibilia (objectos meramente possíveis) – e eles concretizam-se só nalguns mundos. Um argumento positivo em defesa da necessidade da existência – com base nas condições para a existência de certas proposições genuinamente singulares (‘i não existe’). Discussão do argumento.

A necessidade da identidade examinada do ponto de vista intuitivo e do ponto de vista da teoria lógica. Designadores rígidos e designadores não-rígidos.