Conceitos essenciais da lógica

• Autor(a) principal: Antonio, Daphne Martins Batista [UNESP]
• Data de Publicação: 2020
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UNESP
• Texto Completo: http://hdl.handle.net/11449/202667
• topic: História da lógica; Objeto da lógica; Lógica formal; Filosofia da lógica; Conhecimento simbólico; History of logic; Object of logic; Formal logic; Philosophy of logic

O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brasil (CAPES) – Código de financiamento 001. O objeto central da lógica é investigado através de um estudo histórico-filosófico. Para tanto é necessária a determinação de o âmbito e o objeto da lógica, primeiramente, por um viés histórico. O âmbito da lógica, historicamente, é a lógica formal, a qual possui um desenvolvimento significativo para sua forma matemática, conhecida como lógica matemática ou lógica simbólica. Esse desenvolvimento é analisado epistemologicamente com base nas funções do conhecimento simbólico, através da expressão da lógica de Aristóteles e pela lógica de Boole. A análise filosófica do objeto da lógica entende este a partir da noção de consequência lógica, em uma perspectiva (da lógica) clássica, em que, para o objeto da lógica importa a forma válida ao invés da verdade das premissas e conclusão. A lógica clássica é um sistema formal que se consolida na lógica matemática. A análise epistemológica de um sistema formal deve ser feita com base nos propósitos da formalização deste sistema. Por isso, aborda-se a consequência lógica tautológica, semântica e sintática a partir da construção de um sistema formal da lógica clássica, aliada à lógica proposicional clássica. Então, analisa-se o objeto da lógica através de uma concepção metafísica de lógica, contraposta às concepções abordadas até então. Por fim, realiza-se uma análise epistemológica do objeto da lógica em sua forma contemporânea, pelo conhecimento simbólico, em uma perspectiva linguística (válida) e metafísica (verdadeira).