Sistemas formais como formalizações de conceitos : da desinterpretação aos resultados limitativos

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorFreire, Rodrigo de Alvarenga-
Autor(es): dc.creatorMaia, Mateus de Carvalho-
Data de aceite: dc.date.accessioned2024-10-23T16:37:30Z-
Data de disponibilização: dc.date.available2024-10-23T16:37:30Z-
Data de envio: dc.date.issued2024-08-20-
Data de envio: dc.date.issued2024-08-20-
Data de envio: dc.date.issued2024-08-20-
Data de envio: dc.date.issued2023-03-30-
Fonte completa do material: dc.identifierhttp://repositorio2.unb.br/jspui/handle/10482/50030-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/913128-
Descrição: dc.descriptionDissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, Programa de Pós-Graduação em Filosofia, 2023.-
Descrição: dc.descriptionOs avanços da lógica moderna, em parte atribuídos ao filósofo alemão Gottlob Frege, nos permitiram o pleno desenvolvimento da noção intuitiva de axiomática clássica para os rigorosos e precisos objetos teóricos que são os sistemas formais axiomáticos. A evolução técnica dessas construções, entretanto, afastou de seus elementos básicos, tais como a sua própria linguagem, a fundamentação metafísica que garantiria a passagem do nível sintático para o nível semântico. De todo modo, os Teoremas da Incompletude de Gödel nos sugerem que existe um âmbito da noção de verdade que escapa e, portanto, que não pode ser capturado apenas pelo aparato formal das teorias axiomáticas. Tal coisa é um indicativo de que os sistemas formais podem ser vistos como formalizações de conceitos, e que esse âmbito de significado deve desempenhar um papel importante para a fundamentação desses objetos. Desse modo, o presente trabalho tem como motivação a investigação acerca do desencontro entre a camada de significado e a camada sintática dos sistemas formais. É trivial a constatação de que os sistemas formais são relevantes e indispensáveis para inúmeras áreas da ciência moderna, como a matemática e a computação, por exemplo; sendo assim, torna-se pertinente o estudo que tem como foco entender melhor a natureza dessas construções, para além do seu uso instrumental e sintático.-
Descrição: dc.descriptionThe advances of modern logic, in part attributed to the German philosopher Gottlob Frege, allowed us to fully develop the intuitive notion of classical axiomatic into the rough and precise theoretical objects that are the formal axiomatic systems. However, the technical evolution of these constructions moved away from their basic elements, such as their own language, the metaphysical grounding that would guarantee the passage from the syntactic to the semantic. Nevertheless, Gödel's Incompleteness Theorems suggest that there is a scope of the notion of truth that escapes and, hence, that cannot be captured only by the formal apparatus of axiomatic theories. This is an indication that formal systems can be seen as formalizations of concepts, and that this scope of meaning must play an important role in the foundation of these objects. Therefore, the present work is motivated by the investigation about this mismatch between the layer of meaning and the syntactic layer of formal systems. It is impossible to deny the importance and relevance of formal systems to a lot of areas, such as mathematics and computing, for instance; thus, it is, indeed, necessary the study that aims to understand better the nature of these objects, going beyond of its instrumental and syntactic use.-
Descrição: dc.descriptionInstituto de Ciências Humanas (ICH)-
Descrição: dc.descriptionDepartamento de Filosofia (ICH FIL)-
Descrição: dc.descriptionPrograma de Pós-Graduação em Filosofia-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsAcesso Aberto-
Direitos: dc.rightsA 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.subjectTeoremas de Gödel-
Palavras-chave: dc.subjectFilosofia-
Título: dc.titleSistemas formais como formalizações de conceitos : da desinterpretação aos resultados limitativos-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional – UNB

Não existem arquivos associados a este item.