DA METAMATEMÁTICA AOS MODELOS: UMA ANÁLISE DA NOÇÃO TARSKIANA DE CONSEQUÊNCIA
Giovanny Augusto Severino
| Tipo: | Dissertação de Mestrado |
| Título: | DA METAMATEMÁTICA AOS MODELOS: UMA ANÁLISE DA NOÇÃO TARSKIANA DE CONSEQUÊNCIA |
| Título em língua estrangeira: | FROM METAMATHEMATICS TO MODELS: AN ANALYSIS OF THE TARSKIAN NOTION OF CONSEQUENCE |
| Autor: | Severino, Giovanny Augusto |
| Orientador: | Gomes, Evandro Luís |
| Linha de Pesquisa: | Metafísica e Conhecimento |
| Resumo: | O principal objetivo desta dissertação é abordar questões históricas e filosóficas em torno da noção de consequência, introduzida em duas etapas por Alfred Tarski em 1930 e 1936. Por meio de escritos do próprio autor sobre os fundamentos da matemática, procuramos analisar como tais teorias se relacionam com duas abordagens distintas, que foram amplamente desenvolvidas no final do século XIX e começo do XX, denominadas teórico-dedutiva e semântica. Assim, ao analisarmos as teorias tarskianas de consequência, procuramos analisar questões filosóficas, principalmente aquelas relacionadas às estratégias utilizadas e o contexto em que foram desenvolvidas. |
| Palavras-chave: | Consequência lógica, Alfred Tarski, operador de consequência, história da lógica, filosofia da lógica, abordagem formal teórico-dedutiva, abordagem formal à luz de modelos e estruturas. |
| Abstract: | The main objective of this dissertation is to address historical and philosophical issues around the notion of consequence, introduced in two stages by Tarski in 1930 and 1936. Through the author’s own writings on the foundations of mathematics, we seek to analyze how such theories account to two distinct approaches, which were developed in the late nineteenth and early twentieth centuries, called theoretical-deductive and semantic. Thus, when analyzing the Tarskian theories of consequence, we seek to note philosophical issues, mainly related to the guidelines used and the context in which they were developed. |
| Keywords: | Logical consequence, Tarski, consequence operator, history of logic, philosophy of logic, formal theoretical-deductive approach, formal model-theoretical approach. |
| Temas: | Consequência lógica, Tarski, Alfred., Metamatemática, Metalógica, Lógica - História. |
| Língua: | Português |
| Citação: | Severino, Giovanny Augusto Da metamatemática aos modelos : uma análise da noção tarskiana de consequência / Giovanny Augusto Severino. Maringá, PR, 2021. 104 f. |
| Data: | 2021 |
| Arquivo: | Severino, Giovanny Augusto Da metamatemática aos modelos : uma análise da noção tarskiana de consequência. Maringá, PR, 2021. |
| Repositório: |