1. Descripción general
      En este curso se estudiarán algunas nociones importantes, como las de forma lógica, validez, regla de inferencia, cálculo, etc. y, mediante ejercicios, se proporcionarán herramientas para la evaluación de argumentos, tanto desde el punto de vista sintáctico como semántico.
2. Descripción y relevancia de los bloques temáticos
      Los bloques distinguidos en el Programa son los necesarios para una formación mínima del estudiante que aspira a incorporarse al Máster de la Facultad sin formación previa en filosofía.
3. Programa
3.1. Verdad y validez. Lenguaje natural y lenguaje formal.
3.2. Operadores lógicos proposicionales. Reglas de Formación de Fórmulas. Formalización del lenguaje natural.
3.3. Métodos de evaluación semántica: tablas de verdad y árboles semánticos.
3.4. Métodos de evaluación sintáctica: Deducción Natural. Reglas básicas y derivadas.
3.5. Conceptos básicos del cálculo axiomático: axiomas, teoremas y reglas de transformación.