IFAC - Instituto de Filosofia, Artes e Cultura

URI permanente desta comunidadehttp://www.hml.repositorio.ufop.br/handle/123456789/635

Navegar

Filtros

20111

Configurações

Autor: search.filters.author.Merlussi, PedroAssunto: search.filters.subject.Classical logic

Resultados da Pesquisa

Agora exibindo 1 - 1 de 1
  • Nenhuma Miniatura Disponível
    Item
    A fórmula de Barcan.
    (2011) Murcho, Desidério Orlando Figueiredo; Merlussi, Pedro
    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.