A fórmula de Barcan.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFOP |
Texto Completo: | http://www.repositorio.ufop.br/handle/123456789/5759 |
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 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. |
id |
UFOP_f9400ae6116828c7a2169f9d5b70e54f |
---|---|
oai_identifier_str |
oai:localhost:123456789/5759 |
network_acronym_str |
UFOP |
network_name_str |
Repositório Institucional da UFOP |
repository_id_str |
3233 |
spelling |
Murcho, Desidério Orlando FigueiredoMerlussi, Pedro2015-11-12T18:42:18Z2015-11-12T18:42:18Z2011MURCHO, D. O. F.; MERLUSSI, P. A fórmula de Barcan. Fundamento: revista de filosofia, v. 1, p. 127-157, 2011. Disponível em: <http://www.revistafundamento.ufop.br/index.php/fundamento/article/view/30>. Acesso em: 04 maio 2015.2177-6563http://www.repositorio.ufop.br/handle/123456789/5759Neste 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.In this paper we discuss briefly some of the reasons to believe that the Barcan formula is metaphysically plausible and that it is a logical truth. We start by briefly presenting the formula itself and the way nowadays it is an obvious theorem of a system of modal logic that is an extension of classical logic. Then we explore and respond to the most obvious objections to the Barcan formula. The final result of our discussion is that the following conditional has a strong degree of plausibility: if one accepts classical logic plus a certain conception of modality (briefly expanded upon in the paper), the Barcan formula is a logical truth.Verdade lógicaPossibilidadeExistênciaClassical logicModalityA fórmula de Barcan.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleO periódico Fundamento - Revista de Pesquisa em FIlosofia permite o depósito da versão pós-print de um artigo. Permite remixagem, adaptação e nova criação a partir da obra para fins não comerciais desde que seja atribuído o crédito ao autor (CC BY-NC). Fonte: Diadorim <https://diadorim.ibict.br/handle/1/622>. Acesso em: 10 mar. 2020.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFOPinstname:Universidade Federal de Ouro Preto (UFOP)instacron:UFOPLICENSElicense.txtlicense.txttext/plain; charset=utf-82636http://www.repositorio.ufop.br/bitstream/123456789/5759/2/license.txtc2ffdd99e58acf69202dff00d361f23aMD52ORIGINALARTIGO_FormulaBarcan.pdfARTIGO_FormulaBarcan.pdfapplication/pdf922481http://www.repositorio.ufop.br/bitstream/123456789/5759/1/ARTIGO_FormulaBarcan.pdf685c02512a89c3b682b16a2379e360f2MD51123456789/57592020-03-10 07:36:56.707oai:localhost:123456789/5759PGh0bWw+Cjxib2R5Pgo8ZGl2IGFsaWduPSJqdXN0aWZ5Ij48c3Ryb25nPkxpY2VuJmNjZWRpbDthIGRvIFJlcG9zaXQmb2FjdXRlO3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIE91cm8gUHJldG88L3N0cm9uZz4KICA8YnI+CiAgPGJyPgogIEFvIGNvbmNvcmRhciBjb20gZXN0YSBsaWNlbiZjY2VkaWw7YSwgdm9jJmVjaXJjOyhzKSBhdXRvcihlcykgb3UgdGl0dWxhcihlcykgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIGRhIG9icmEgYXF1aSBkZXNjcml0YSBjb25jZWRlKG0pICZhZ3JhdmU7CiAgPGJyPgogIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIE91cm8gUHJldG8gKFVGT1ApIGdlc3RvcmEgZG8gUmVwb3NpdCZvYWN1dGU7cmlvIEluc3RpdHVjaW9uYWwgZGEgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUgT3VybyBQcmV0bwogIDxicj4KICAoUkktVUZPUCksIG8gZGlyZWl0byBuJmF0aWxkZTtvLWV4Y2x1c2l2byBkZSByZXByb2R1emlyLCBjb252ZXJ0ZXIgKGNvbW8gZGVmaW5pZG8gYWJhaXhvKSBlL291IGRpc3RyaWJ1aXIgbyBkb2N1bWVudG8gZGVwb3NpdGFkbwogIDxicj4KICBlbSBmb3JtYXRvIGltcHJlc3NvLCBlbGV0ciZvY2lyYztuaWNvIG91IGVtIHF1YWxxdWVyIG91dHJvIG1laW8uCiAgPGJyPgogIDxicj4KICBWb2MmZWNpcmM7KHMpIGNvbmNvcmRhKG0pIHF1ZSBhIFVGT1AsIGdlc3RvcmEgZG8gUkktVUZPUCwgcG9kZSwgc2VtIGFsdGVyYXIgbyBjb250ZSZ1YWN1dGU7ZG8sIGNvbnZlcnRlciBvIGFycXVpdm8gZGVwb3NpdGFkbyBhCiAgPGJyPgogIHF1YWxxdWVyIG1laW8gb3UgZm9ybWF0byBjb20gZmlucyBkZSBwcmVzZXJ2YSZjY2VkaWw7JmF0aWxkZTtvLiBWb2MmZWNpcmM7KHMpIHRhbWImZWFjdXRlO20gY29uY29yZGEobSkgcXVlIGEgVUZPUCwgZ2VzdG9yYSBkbyBSSS1VRk9QLCBwb2RlCiAgPGJyPgogIG1hbnRlciBtYWlzIGRlIHVtYSBjJm9hY3V0ZTtwaWEgZGVzdGUgZGVwJm9hY3V0ZTtzaXRvIHBhcmEgZmlucyBkZSBzZWd1cmFuJmNjZWRpbDthLCA8ZW0+YmFjay11cDwvZW0+IGUvb3UgcHJlc2VydmEmY2NlZGlsOyZhdGlsZGU7by4KICA8YnI+CiAgPGJyPgogIFZvYyZlY2lyYzsocykgZGVjbGFyYShtKSBxdWUgYSBhcHJlc2VudGEmY2NlZGlsOyZhdGlsZGU7byBkbyBzZXUgdHJhYmFsaG8gJmVhY3V0ZTsgb3JpZ2luYWwgZSBxdWUgdm9jJmVjaXJjOyhzKSBwb2RlKG0pIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zCiAgPGJyPgogIG5lc3RhIGxpY2VuJmNjZWRpbDthLiBWb2MmZWNpcmM7KHMpIHRhbWImZWFjdXRlO20gZGVjbGFyYShtKSBxdWUgbyBlbnZpbyAmZWFjdXRlOyBkZSBzZXUgY29uaGVjaW1lbnRvIGUgbiZhdGlsZGU7byBpbmZyaW5nZSBvcyBkaXJlaXRvcyBhdXRvcmFpcyBkZSBvdXRyYQogIDxicj4KICBwZXNzb2Egb3UgaW5zdGl0dWkmY2NlZGlsOyZhdGlsZGU7by4gQ2FzbyBvIGRvY3VtZW50byBhIHNlciBkZXBvc2l0YWRvIGNvbnRlbmhhIG1hdGVyaWFsIHBhcmEgbyBxdWFsIHZvYyZlY2lyYzsocykgbiZhdGlsZGU7byBkZXQmZWFjdXRlO20gYSB0aXR1bGFyaWRhZGUKICA8YnI+CiAgZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCB2b2MmZWNpcmM7KHMpIGRlY2xhcmEobSkgcXVlIG9idGV2ZSBhIHBlcm1pc3MmYXRpbGRlO28gaXJyZXN0cml0YSBkbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkZSBjb25jZWRlciAmYWdyYXZlOwogIDxicj4KICBVRk9QLCBnZXN0b3JhIGRvIFJJLVVGT1Agb3MgZGlyZWl0b3MgcmVxdWVyaWRvcyBwb3IgZXN0YSBsaWNlbiZjY2VkaWw7YSBlIHF1ZSBvcyBtYXRlcmlhaXMgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zLCBlc3QmYXRpbGRlO28KICA8YnI+CiAgZGV2aWRhbWVudGUgaWRlbnRpZmljYWRvcyBlIHJlY29uaGVjaWRvcyBubyB0ZXh0byBvdSBjb250ZSZ1YWN1dGU7ZG8gZGEgYXByZXNlbnRhJmNjZWRpbDsmYXRpbGRlO28uCiAgPGJyPgogIDxicj4KICBDQVNPIE8gVFJBQkFMSE8gREVQT1NJVEFETyBURU5IQSBTSURPIEZJTkFOQ0lBRE8gT1UgQVBPSUFETyBQT1IgVU0gJk9hY3V0ZTtSRyZBdGlsZGU7TywgUVVFIE4mQXRpbGRlO08gQSBJTlNUSVRVSSZDY2VkaWw7JkF0aWxkZTtPIERFU1RFCiAgPGJyPgogIFJFU1BPU0lUJk9hY3V0ZTtSSU86IFZPQyZFY2lyYzsgREVDTEFSQSBURVIgQ1VNUFJJRE8gVE9ET1MgT1MgRElSRUlUT1MgREUgUkVWSVMmQXRpbGRlO08gRSBRVUFJU1FVRVIgT1VUUkFTIE9CUklHQSZDY2VkaWw7Jk90aWxkZTtFUwogIDxicj4KICBSRVFVRVJJREFTIFBFTE8gQ09OVFJBVE8gT1UgQUNPUkRPLiAKICA8YnI+CiAgPGJyPgogIE8gcmVwb3NpdCZvYWN1dGU7cmlvIGlkZW50aWZpY2FyJmFhY3V0ZTsgY2xhcmFtZW50ZSBvIHNldShzKSBub21lKHMpIGNvbW8gYXV0b3IoZXMpIG91IHRpdHVsYXIoZXMpIGRvIGRpcmVpdG8gZGUgYXV0b3IoZXMpIGRvIGRvY3VtZW50bwogIDxicj4KICBzdWJtZXRpZG8gZSBkZWNsYXJhIHF1ZSBuJmF0aWxkZTtvIGZhciZhYWN1dGU7IHF1YWxxdWVyIGFsdGVyYSZjY2VkaWw7JmF0aWxkZTtvIGFsJmVhY3V0ZTttIGRhcyBwZXJtaXRpZGFzIHBvciBlc3RhIGxpY2VuJmNjZWRpbDthLjwvcD4KPC9kaXY+CjwvYm9keT4KPC9odG1sPgo=Repositório InstitucionalPUBhttp://www.repositorio.ufop.br/oai/requestrepositorio@ufop.edu.bropendoar:32332020-03-10T11:36:56Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP)false |
dc.title.pt_BR.fl_str_mv |
A fórmula de Barcan. |
title |
A fórmula de Barcan. |
spellingShingle |
A fórmula de Barcan. Murcho, Desidério Orlando Figueiredo Verdade lógica Possibilidade Existência Classical logic Modality |
title_short |
A fórmula de Barcan. |
title_full |
A fórmula de Barcan. |
title_fullStr |
A fórmula de Barcan. |
title_full_unstemmed |
A fórmula de Barcan. |
title_sort |
A fórmula de Barcan. |
author |
Murcho, Desidério Orlando Figueiredo |
author_facet |
Murcho, Desidério Orlando Figueiredo Merlussi, Pedro |
author_role |
author |
author2 |
Merlussi, Pedro |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Murcho, Desidério Orlando Figueiredo Merlussi, Pedro |
dc.subject.por.fl_str_mv |
Verdade lógica Possibilidade Existência Classical logic Modality |
topic |
Verdade lógica Possibilidade Existência Classical logic Modality |
description |
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. |
publishDate |
2011 |
dc.date.issued.fl_str_mv |
2011 |
dc.date.accessioned.fl_str_mv |
2015-11-12T18:42:18Z |
dc.date.available.fl_str_mv |
2015-11-12T18:42:18Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
MURCHO, D. O. F.; MERLUSSI, P. A fórmula de Barcan. Fundamento: revista de filosofia, v. 1, p. 127-157, 2011. Disponível em: <http://www.revistafundamento.ufop.br/index.php/fundamento/article/view/30>. Acesso em: 04 maio 2015. |
dc.identifier.uri.fl_str_mv |
http://www.repositorio.ufop.br/handle/123456789/5759 |
dc.identifier.issn.none.fl_str_mv |
2177-6563 |
identifier_str_mv |
MURCHO, D. O. F.; MERLUSSI, P. A fórmula de Barcan. Fundamento: revista de filosofia, v. 1, p. 127-157, 2011. Disponível em: <http://www.revistafundamento.ufop.br/index.php/fundamento/article/view/30>. Acesso em: 04 maio 2015. 2177-6563 |
url |
http://www.repositorio.ufop.br/handle/123456789/5759 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFOP instname:Universidade Federal de Ouro Preto (UFOP) instacron:UFOP |
instname_str |
Universidade Federal de Ouro Preto (UFOP) |
instacron_str |
UFOP |
institution |
UFOP |
reponame_str |
Repositório Institucional da UFOP |
collection |
Repositório Institucional da UFOP |
bitstream.url.fl_str_mv |
http://www.repositorio.ufop.br/bitstream/123456789/5759/2/license.txt http://www.repositorio.ufop.br/bitstream/123456789/5759/1/ARTIGO_FormulaBarcan.pdf |
bitstream.checksum.fl_str_mv |
c2ffdd99e58acf69202dff00d361f23a 685c02512a89c3b682b16a2379e360f2 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFOP - Universidade Federal de Ouro Preto (UFOP) |
repository.mail.fl_str_mv |
repositorio@ufop.edu.br |
_version_ |
1801685750550364160 |