Voltar para Dissertações
Dissertações

PROJETOS DE MATEMATIZACÃO DA LÓGICA DE RAIMUNDO LÚLIO A GIUSEPPE PEANO

RAFAEL DA SILVA DA SILVEIRA

Dissertação
Ver fonte original
Autor
RAFAEL DA SILVA DA SILVEIRA
Orientador(a)
EVANDRO LUIS GOMES
Universidade
UNIVERSIDADE ESTADUAL DE MARINGÁ — UEM
Programa
FILOSOFIA
Grau
MESTRADO
Ano
2020
2020RAFAEL DA SILVA DA SILVEIRA. PROJETOS DE MATEMATIZACÃO DA LÓGICA DE RAIMUNDO LÚLIO A GIUSEPPE PEANO. 2020. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL DE MARINGÁ, PR. Orientador(a): EVANDRO LUIS GOMES.3

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. 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 À LINGUAGEM, 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.