| Ementa/Descrição: |
Investigation of the main philosophical problems related to logic, especially the links betweem reason, logic and language. Analysis of the notion of proposition, of the truth bearers and of the nature of logical principles. Historical analysis of the approach to fundamental logical problems such as the notion of logical consequence, the notion of implication and the advent of quantification theory. Philosophical examination of the key elements in the logical-formaol characterization of theories, such as consistency, completeness and decidability. |
