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

11 Dezembro 2017, 16:00 • Ricardo Santos

A Lógica Modal Quantificada Simples (com domínio constante) e a necessidade da existência (continuação). Alegados contra-exemplos às fórmulas de Barcan. 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? Há frases declarativas nem verdadeiras nem falsas? Problemas de uma lógica trivalente. A adopção de uma lógica livre. Lógica livre negativa (objectos inexistentes só podem ter propriedades negativas) e lógica livre positiva (objectos inexistentes podem ter propriedades positivas). O uso de quantificadores internos (relativos ao domínio de cada mundo) e os problemas para a generalização existencial e para a instanciação do universal.