| Ementa/Descrição: |
A LÓGICA SIMBÓLICA (OU FORMAL) É FEITA ATRAVÉS DE LINGUAGENS ARTIFICIAIS E SISTEMAS DE CÁLCULO QUE PARAFRASEIAM APENAS AS FORMAS DAS INFERÊNCIAS. ESTES SISTEMAS SÃO AVALIADOS POR PROPRIEDADES COMO CONSISTÊNCIA, CORREÇÃO, COMPLETUDE, QUE SÃO PESQUISADAS ATRAVÉS DE FERRAMENTAS MATEMÁTICAS COMO A ARITMÉTICA E A TEORIA DOS CONJUNTOS, E ATRAVÉS DE UMA EXPLORAÇÃO PRECISA DOS CONCEITOS FORMALMENTE DEFINIDOS NA DISCIPLINA, TAIS COMO LIGAÇÃO DE VARIÁVEIS, SUBSTITUIÇÃO, NORMALIZAÇÃO. ESTAS ANÁLISES, CEDO OU TARDE ATINGEM QUESTÕES FILOSÓFICAS COMO: O ESCOPO E LIMITES DO CÁLCULO DE PREDICADOS, O SIGNIFICADO DO TEOREMA DE LOWENHEIM-SKOLEM, A RELAÇÃO ENTRE A LÓGICA E A TEORIA DOS CONJUNTOS, O ESTATUTO DAS LEIS LÓGICAS. ESTAS SÃO QUESTÕES SOBRE A NATUREZA E ALGUMAS IMPLICAÇÕES DA LÓGICA E CONSTITUEM O TEMA DA FILOSOFIA DA LÓGICA. NOVAMENTE, TAIS QUESTÕES PODEM EXTRAPOLAR OS LIMITES DA LÓGICA ATINGINDO ASSUNTOS DE INTERESSE MAIS GERAL COMO A NATUREZA DA LINGUAGEM E DO PENSAMENTO E A ESTRUTURA E O CONTEÚDO DO MUNDO. QUANDO ISTO OCORRE ESTAMOS, SEGUNDO GRAYLING, NO CAMPO DA LÓGICA FILOSÓFICA, UM RAMO BASTANTE GERAL E ABRANGENTE DA FILOSOFIA QUE, NO ENTANTO, É INFORMADO PELA LÓGICA E SENSÍVEL À LÓGICA. |
