Projetos de matematização da lógica : de Raimundo Lúlio a Giuseppe Peano

Abstract

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.

The present work has three goals: (1) to present a historical perspective on the development 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 perspective), (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.