A FÓRMULA DE BARCAN

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.