terça-feira, 24 de abril de 2012

A Fórmula de Barcan

Autor: Desidério Murcho & Pedro Merlussi


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 constatarmos 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 aceitarmos a lógica clássica e aceitarmos uma certa concepção da modalidade (que explicitaremos brevemente no artigo), a fórmula de Barcan é uma verdade lógica.






Citação: Murcho, Desidério & Merlussi, Pedro (2011). "A Fórmula de Barcan". Fundamento: vol. 2, n. 2, pp. 127-157. Artigo eletrônico encontrado em http://www.revistafundamento.ufop.br/pdf/vol1n2-7.pdf e acessado em xx/xx/xxxx.