Banca de DEFESA: Mateus de Carvalho Maia

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : Mateus de Carvalho Maia
DATA : 30/03/2023
HORA: 14:00
LOCAL: à distância (via plataforma teams)
TÍTULO:

Sistemas Formaiscomo Formalizações de Conceitos: Da Desinterpretaçãoaos Resultados Limitativos

PALAVRAS-CHAVES:

Sistemas Formais.Formalização.Gödel.

PÁGINAS: 124
RESUMO:

Os avanços da lógica moderna, emparte 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 rigorosose precisosobjetos teóricos que são os sistemas formais axiomáticos. A evolução técnica destas construções, entretanto, afastou de seus elementosbásicos, tais como a sua própria linguagem,a fundamentação metafísica que garantiria a passagem donívelsintático para onívelsemâ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 este âmbito de significado deve desempenhar um papel importante para a fundamentação destes objetos. Deste modo,opresentetrabalhotemcomomotivação a investigação acercad este 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 acomputação, por exemplo; sendo assim, torna-se pertinente o estudo que tem como foco entender melhora natureza destasconstruções, para além do seu uso instrumental e sintático.

MEMBROS DA BANCA:
Interno - 1734038 - ALEXANDRE FERNANDES BATISTA COSTA LEITE
Externo à Instituição - ALFREDO ROQUE DE OLIVEIRA FREIRE FILHO - UA
Externo à Instituição - EDGAR LUIS BEZERRA DE ALMEIDA - IFB
Presidente - 2189373 - RODRIGO DE ALVARENGA FREIRE