A FÓRMULA DE BARCAN

  • Desidério Murcho Universidade Federal de Ouro Preto
  • Pedro Merlussi
DOI: https://doi.org/10.5281/v.j..v1i2.2255

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 cons- tatarmos 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 acei- tarmos a lógica clássica e aceitarmos uma certa concepção da modalida- de  (que  explicitaremos  brevemente  no  artigo),  a  fórmula  de  Barcan  é  uma verdade lógica.
Publicado
2011-01-30
Como Citar
Murcho, D., & Merlussi, P. (2011). A FÓRMULA DE BARCAN. Virtualia Journal, 1(2). https://doi.org/10.5281/v.j.v1i2.2255
Edição
n. 2 (2011): Fundamento (ISSN 2177-6563)
Seção
ARTIGOS

Direitos Autorais: Os textos e imagens publicados na Revista Virtualia estão licenciados sob a Creative Commons Atribuição 4.0 Internacional (CC BY 4.0). Esta licença permite que outros compartilhem, adaptem, e criem a partir do material publicado para qualquer fim, inclusive comercial, desde que seja dado o crédito apropriado aos autores e à revista. Para ver uma cópia da licença, visite: https://creativecommons.org/licenses/by/4.0