A fórmula de Barcan e a necessidade da existência.

5 Dezembro 2016, 10:00 • Ricardo Santos

A fórmula de Barcan (FB) e a fórmula de Barcan conversa (FBC): versão universal e versão existencial. Confirmação da sua validade na lógica modal quantificada simples (LMQS). Conflito com a avaliação intuitiva: algumas coisas poderiam não existir, e poderiam existir outras coisas além das que efectivamente existem. Contra-exemplos às fórmulas de Barcan: o possível filho de Wittgenstein, e a possível inexistência do rio Tua. A defesa feita por Timothy Williamson (1998) das fórmulas de Barcan e da LMQS. A réplica segundo a qual o crítico da LMQS pressupõe ele próprio um domínio de quantificação único e constante. A admissão de objectos meramente possíveis, ou possibilia.