1. Na filosofia, Lógica é o estudo das regras e princípios que gerenciam o raciocínio e a argumentação coerente.
2. Existem 2 tipos principais de Lógica estudadas na filosocia
2.1. Lógica Proposicional
2.1.1. Ramo da lógica que estuda as proposições ou sentenças declarativas.
2.1.1.1. Analisa proposições e suas combinações para determinar a sua verdade ou validade.
2.1.1.1.1. Trabalha com os silogismos.
2.1.1.1.2. Analisa tipos de argumentos.
2.1.1.2. Utiliza conectivos lógicos:
2.1.1.2.1. "e".
2.1.1.2.2. "ou".
2.1.1.2.3. "não".
2.1.1.2.4. "se... então".
2.1.2. Principal representante: Aristóteles (384 a. C. 322 a. C.)
2.2. Lógica Simbólica ou Matemática
2.2.1. Ramo da lógica que usa símbolos para representar proposições e seus relacionamentos.
2.2.2. Permite a análise precisa e a manipulação formal de argumentos (inferências).
2.2.3. Objetivo: transforma os conectivos lógicos em símbolos para aproximar o cálculo do raciocínio matemático:
2.2.3.1. Negação:
2.2.3.1.1. ¬ equivale ao "não"
2.2.3.2. Conjunção:
2.2.3.2.1. ^ equivale ao "e"
2.2.3.3. Disjunção Inclusiva:
2.2.3.3.1. v equivale ao "ou"
2.2.3.4. Disjunção exclusiva:
2.2.3.4.1. ⊻ equivale ao "ou... ou..."
2.2.3.5. Condicional:
2.2.3.5.1. → equivale a "se... então"
2.2.3.6. Bicondicional:
2.2.3.6.1. ↔ equivale a "se e somente se..."
2.2.4. Principais representantes:
2.2.4.1. George Boole (1815 - 1864).
2.2.4.2. Charles S. Pierce (1839 - 1914).
2.2.4.3. Gottlob Frege (1848 - 1925).
2.2.4.4. Bertrand Russell (1872 - 1970).
2.2.4.5. Kurt Gödel (1906 - 1978).