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

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 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.
Published
2011-01-30
How to Cite
Murcho, D., & Merlussi, P. (2011). A FÓRMULA DE BARCAN. Virtualia Journal, 1(2). https://doi.org/10.5281/v.j.v1i2.2255
Issue
No. 2 (2011): Fundamento (ISSN 2177-6563)
Section
ARTIGOS

Copyright: The texts and images published in the Virtualia Journal are licensed under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. This license allows others to share, adapt, and build upon the published material for any purpose, even commercially, as long as appropriate credit is given to the authors and the journal. To view a copy of this license, visit: https://creativecommons.org/licenses/by/4.0