PROJETOS DE MATEMATIZAÇÃO DA LÓGICA: DE RAIMUNDO LÚLIO A GIUSEPPE PEANO
Rafael da Silva da Silveira
| Tipo: | Dissertação de Mestrado |
| Título: | Projetos de Matematização da Lógica: de Raimundo Lúlio a Giuseppe Peano |
| Título em língua estrangeira: | Logic Mathematization Projects: from Raimundo Lúlio to Giuseppe Peano |
| Autor: | Silveira, Rafael da Silva da |
| Orientador: | Gomes, Evandro Luís |
| Linha de Pesquisa: | Metafísica e Conhecimento |
| Resumo: | O presente trabalho possui três objetivos: (1) apresentar uma perspectiva histórica sobre o desenvolvimento do processo de matematização da lógica (vale ressaltar que esse desenvolvimento ocorreu em meio a inúmeras descontinuidades que o presente trabalho procurou colocar em perspectiva), (2) analisar os conceitos referentes à lingua- gem, como sua estrutura, funções e formalidades e, por fim, (3) averiguar o impacto das linguagens formais no processo de desenvolvimento da lógica e se tais linguagens são capazes de expressar a lógica em sua totalidade. |
| Palavras-chave: | lógica, linguagem, matematização da lógica, formalização, história da lógica e história da filosofia. |
| Abstract: | The present work has three goals: (1) to present a historical perspective on the develop- ment of the mathematical process of logic (it is worth mentioning that such development occured within several historical discontinuities which this study intends to put in pers- pective), (2) to analyze the concepts related to language, such as its structure, functions and formalism and, finally, (3) to investigate the impact of formal languages on the logic development process and whether such languages are capable of expressing logic in its entirety. |
| Keywords: |
logic, language, mathematization of logic, formalism, history of logic and history of philosophy. |
| Temas: | Matematização da lógica, Lógica, História da Lógica. |
| Língua: | Português |
| Citação: |
da Silveira, Rafael da S. Projetos de Matematização da Lógica. (Agosto, 2020). xxvi, 102p. Dissertação (Mestrado em Filosofia) – Centro de Ciências Humanas, Letras e Artes, Universidade Estadual de Maringá, Maringá, PR. |
| Data: | 2020 |
| Arquivo: |
da Silveira, Rafael da S. Projetos de Matematização da Lógica. (Agosto, 2020). Maringá, PR, 2020. |
| Repositório: |