CONCEITOS ESSENCIAIS DA LÓGICA

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).