| Ementa/Descrição: |
Estudo dos principais problemas filosóficos à lógica associados, especialmente, dos vínculos entre razão, lógica e linguagem. Análise da noção de proposição, dos portadores de verdade e da natureza dos princípios lógicos. Apreciação da noção de verdade e de consequências lógicas. Exame filosófico dos elementos-chave na caracterização lógico-formal de teorias, tais como, consistência, completude e decidibilidade. |