A FÓRMULA DE BARCAN

Authors

  • 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.

Downloads

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

License

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