| Ementa/Descrição: |
Estudo dos principais problemas filósóficos à Lógica associados, especialmente dos vínculos entre razão, lógica e linguagem. Reflexão sobre a natureza da Lógica e dos entes de razão. Exame filosófico dos elementos-chave na caracterização lógico-formal de teoriais, tais como, consistência, completude e decidibilidade. Apreciação da noção de proposição, de veridadores (Truthmakers) e de portadores de verdade (truth-bearers). Análise da relação da Lógica com teorias da necessidade, da identidade e da verdade. Emprego dos métodos formais na descrição lógico-ontológica das relações entre objetos (mundos possíveis, modelos e estruturas, teoria das valorações). |
