Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Costa-Leite, Alexandre | - |
Autor(es): dc.creator | Antezana, Alan Renê Maciel | - |
Data de aceite: dc.date.accessioned | 2024-10-23T16:04:05Z | - |
Data de disponibilização: dc.date.available | 2024-10-23T16:04:05Z | - |
Data de envio: dc.date.issued | 2021-12-06 | - |
Data de envio: dc.date.issued | 2021-12-06 | - |
Data de envio: dc.date.issued | 2021-12-06 | - |
Data de envio: dc.date.issued | 2019-11-21 | - |
Fonte completa do material: dc.identifier | https://repositorio.unb.br/handle/10482/42531 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/898979 | - |
Descrição: dc.description | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Programa de Pós-Graduação em Filosofia, 2019. | - |
Descrição: dc.description | 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. | - |
Descrição: dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). | - |
Descrição: dc.description | 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. | - |
Descrição: dc.description | Instituto de Ciências Humanas (ICH) | - |
Descrição: dc.description | Departamento de Filosofia (ICH FIL) | - |
Descrição: dc.description | Programa de Pós-Graduação em Filosofia | - |
Formato: dc.format | application/pdf | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | A 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. | - |
Palavras-chave: dc.subject | Atualismo | - |
Palavras-chave: dc.subject | Lógicas modais quantificadas | - |
Palavras-chave: dc.subject | Metafísica axiomática | - |
Palavras-chave: dc.subject | Metaontologia | - |
Título: dc.title | Lógicas bimodais quantificadas para a sistematização de um operador de atualidade | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: