Existência necessária ou domínio variável?

12 Dezembro 2016, 10:00 • Ricardo Santos

A fórmula de Barcan e a necessidade da existência (continuação). Alegada ambiguidade da noção de existência: existência concreta (no espaço e no tempo) e existência lógica (ou “ser alguma coisa”). A analogia modalidade-tempo: admissão de objectos possíveis e de objectos passados e futuros. O argumento de Williamson em defesa do necessitarismo (com base nas condições necessárias para a existência de certas proposições). Será que a proposição de que X não existe requer, para existir, que X exista? Aproximação à pergunta de Russell (em “On Denoting”): “Como pode uma não-entidade ser o sujeito de uma proposição?”. A Lógica Modal Quantificada com Domínio Variável (LMQDV) como alternativa ao necessitarismo. Problemas para a construção de uma LMQDV. Como avaliar “Fa” num mundo em que o objecto referido por “a” não existe? A adopção de uma lógica livre e de um predicado especial de existência.