Lógicas bimodais quantificadas para a sistematização de um operador de atualidade

Detalhes bibliográficos
Autor(a) principal: Antezana, Alan Renê Maciel
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: https://repositorio.unb.br/handle/10482/42531
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2019.
id UNB_c847c22b150918e401d59df2df59814e
oai_identifier_str oai:repositorio.unb.br:10482/42531
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Lógicas bimodais quantificadas para a sistematização de um operador de atualidadeAtualismoLógicas modais quantificadasMetafísica axiomáticaMetaontologiaDissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2019.Este trabalho tem como objetivo primário comparar teorias formais atualistas e possibilistas em dois níveis: (i) em aspectos de formalização e (ii) sua plausibilidade filosófica. Objetivos secundários do trabalho são: (a) descrição de lógicas modais quantificadas; (b) descrição de interpretações filosóficas dos sistemas formais; (c) considerações sobre a metodologia da metafísica; (d) considerações sobre sistemas axiomáticos como heurística; (e) considerações sobre a metodologia da metafísica axiomática. O primeiro capítulo consiste em uma descrição da linguagem que utilizaremos como teoria formal para a descrição de ambos posicionamentos filosóficos. O segundo capítulo consiste em uma descrição dos conceitos filosóficos formalizados pela linguagem previamente descrita. O terceiro capítulo consiste em um apanhado de estudos de caso, avaliando determinados sistemas formais correntes na discussão, utilizando critérios de avaliação correntes na literatura. Na conclusão, estabelecemos generalizações sobre ambas abordagens, buscando esclarecer uma parcela do debate.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq).This work has the primary task of comparing actualist and possibilist formal theories in two levels of analysis: (i) formalization aspects and (ii) philosophical plausibility. Secondary objectives of this work are (a) the description of quantified modal logics; (b) description of philosophical interpretation of formal systems; (c) considerations on the methodology of metaphysics; (d) considerations on axiomatic systems as an heuristics; (e) considerations on the methodology of axiomatic metaphysics. The first chapter consists in a description of the language in which two philosophical views are formalized. The second chapter consists in a description of the philosophical views. The third chapter consists in several case studies, in which some formal systems utilized for the formalization of the mentioned concepts are considered in terms of the criteria mentioned. In a conclusion, we establish generalizations over both approaches, seeking a deepened comprehension of the debate.Instituto de Ciências Humanas (ICH)Departamento de Filosofia (ICH FIL)Programa de Pós-Graduação em FilosofiaCosta-Leite, AlexandreAntezana, Alan Renê Maciel2021-12-07T13:04:19Z2021-12-07T13:04:19Z2021-12-072019-11-22info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfANTEZANA, Alan Renê Maciel. Lógicas bimodais quantificadas para a sistematização de um operador de atualidade. 2019. 79 f., il. Dissertação (Mestrado em Filosofia)—Universidade de Brasília, Brasília, 2019.https://repositorio.unb.br/handle/10482/42531A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2024-02-19T17:38:32Zoai:repositorio.unb.br:10482/42531Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2024-02-19T17:38:32Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
title Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
spellingShingle Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
Antezana, Alan Renê Maciel
Atualismo
Lógicas modais quantificadas
Metafísica axiomática
Metaontologia
title_short Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
title_full Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
title_fullStr Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
title_full_unstemmed Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
title_sort Lógicas bimodais quantificadas para a sistematização de um operador de atualidade
author Antezana, Alan Renê Maciel
author_facet Antezana, Alan Renê Maciel
author_role author
dc.contributor.none.fl_str_mv Costa-Leite, Alexandre
dc.contributor.author.fl_str_mv Antezana, Alan Renê Maciel
dc.subject.por.fl_str_mv Atualismo
Lógicas modais quantificadas
Metafísica axiomática
Metaontologia
topic Atualismo
Lógicas modais quantificadas
Metafísica axiomática
Metaontologia
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2019.
publishDate 2019
dc.date.none.fl_str_mv 2019-11-22
2021-12-07T13:04:19Z
2021-12-07T13:04:19Z
2021-12-07
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv ANTEZANA, Alan Renê Maciel. Lógicas bimodais quantificadas para a sistematização de um operador de atualidade. 2019. 79 f., il. Dissertação (Mestrado em Filosofia)—Universidade de Brasília, Brasília, 2019.
https://repositorio.unb.br/handle/10482/42531
identifier_str_mv ANTEZANA, Alan Renê Maciel. Lógicas bimodais quantificadas para a sistematização de um operador de atualidade. 2019. 79 f., il. Dissertação (Mestrado em Filosofia)—Universidade de Brasília, Brasília, 2019.
url https://repositorio.unb.br/handle/10482/42531
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.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1810580830300405760

Registros relacionados