A fórmula de Barcan.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorMurcho, Desidério Orlando Figueiredo-
Autor(es): dc.creatorMerlussi, Pedro-
Data de aceite: dc.date.accessioned2019-11-06T13:25:51Z-
Data de disponibilização: dc.date.available2019-11-06T13:25:51Z-
Data de envio: dc.date.issued2012-12-05-
Data de envio: dc.date.issued2012-12-05-
Data de envio: dc.date.issued2011-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/123456789/1993-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/555206-
Descrição: dc.descriptionNeste 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.-
Idioma: dc.languagept_BR-
Direitos: dc.rightsDisponível sob Licença Creative Commons 3.0, que permite copiar, distribuir e transmitir o trabalho, desde que seja citado o autor e licenciante. Não permite o uso para fins comerciais nem a adaptação desta. Fonte: Fundamento <http://www.revistafundamento.ufop.br/index.php/fundamento> Acesso em 18 nov. 2013.-
Palavras-chave: dc.subjectFórmula de Barcan-
Palavras-chave: dc.subjectVerdade lógica-
Palavras-chave: dc.subjectPossibilidade-
Palavras-chave: dc.subjectExistência-
Palavras-chave: dc.subjectLógica clássica-
Palavras-chave: dc.subjectModalidade-
Título: dc.titleA fórmula de Barcan.-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.