Desidério Murcho
Universidade Federal de Ouro Preto
Pedro Merlussi
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.