Conceitos essenciais da lógica

Detalhes bibliográficos
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
Resumo: 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).