A fórmula de Barcan.
No Thumbnail Available
Date
2011
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Description
Keywords
Verdade lógica, Possibilidade, Existência, Classical logic, Modality
Citation
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.