A fórmula de Barcan.

Nenhuma Miniatura disponível
Data
2011
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
Neste artigo, discutiremos brevemente algumas das razões para considerar que a fórmula de Barcan é metafisicamente plausível e uma verdade lógica. Depois de apresentarmos brevemente a fórmula e constatarmos que hoje se trata de um teorema óbvio de um sistema de lógica modal que seja uma extensão da lógica clássica, exploraremos as objeções mais óbvias, a que damos resposta. O resultado final da discussão é que a seguinte condicional tem um forte grau de plausibilidade: se aceitarmos a lógica clássica e aceitarmos uma certa concepção da modalidade (que explicitaremos brevemente no artigo), a fórmula de Barcan é uma verdade lógica.
Descrição
Palavras-chave
Verdade lógica, Possibilidade, Existência, Classical logic, Modality
Citação
MURCHO, D. O. F.; MERLUSSI, P. A fórmula de Barcan. Fundamento: revista de filosofia, v. 1, p. 127-157, 2011. Disponível em: <http://www.revistafundamento.ufop.br/index.php/fundamento/article/view/30>. Acesso em: 04 maio 2015.