CG: 1,4,6,7,9,10  / CB: 1,2,3,4,5

1. Conocer y manejar las fuentes bibliográficas principales
2. Adquirir y emplear un lenguaje adecuado para la comunicación científica, tanto oral como escrito, siendo riguroso en las explicaciones y preciso en las definiciones.
3. Conocer y aplicar la terminología propia de la lógica, tanto en español como en inglés
4. Exponer y defender un tema  de forma rigurosa

CE: 5,7,9,10,11,14,16

Identificar los componentes de un sistema lógico clásico, su lenguaje, semántica y cálculo

Saber realizar una demostración formal y exponerla de manera inteligible

Formalizar enunciados de la lengua natural, o de lenguajes especializados científicos, en el lenguaje de la lógica de primer orden

Saber emplear la lógica para verificar la corrección de argumentos

Saber construir modelos para conjuntos de enunciados

Conocer las propiedades metamatemáticas de la lógica clásica y ser capaces de construir demostraciones de las principales propiedades y exponerlas de manera inteligible

Utilizar de forma práctica las teorías, métodos, técnicas y herramientas de la lógica para analizar, formalizar, manipular y diseñar modelos adecuados a la filosofía y a la ciencia.

CT: 3,6,7,10,11,15,16

1. Tener la capacidad de integrar los conocimientos y destrezas prácticas de las diferentes asignaturas del grado para resolver situaciones reales relacionadas con la lógica, así  como con otras disciplinas relacionadas. En realidad con todas las que empleen un lenguaje formalizado o aspiren a hacerlo.
2. Tener la capacidad de transmitir a otros (expertos o no) información, ideas, problemas y soluciones.
3. Ser capaz de manejar las aplicaciones de las tecnologías de la información; entre otras, poseer las habilidades básicas de navegación por la Web y uso del resto de servicios de red para la obtención y manejo de la información relacionada con la asignatura.
4. Tener la capacidad de adoptar el proceso marcado por el método científico en el planteamiento y realización de trabajos diversos, tanto a nivel académico como profesional.

Principales resultados y técnicas de la lógica clásica proposicional y de primer orden. Desde un punto de vista teórico, conocer sus principa­les propiedades expresivas y deductivas. Desde un punto de vista práctico, poder formalizar enunciados científicos en el lenguaje la lógica clási­ca proposicional y de primer orden y así utilizar las propiedades formales de este último en el análisis de teorías científicas.

Maria Manzano y Antonia Huertas (2016) Lógica para principiantes. Alianza Editorial.

María Manzano. [2005] Extensions of First Order Logic. Cambridge University Press.

María Manzano [1999]. Model Theory. Oxford University Press.

María Manzano, Ildiko Sain y Enrique Alonso (eds) (2014). The Life and Work of Leon Henkin. Springer International Publishing.

RECURSOS  DIGITALES

Stanford Enciclopedia of Philosophy:  http://plato.stanford.edu

AZAFEA-Revista de Filosofía:

http://campus.usal.es/~revistas_trabajo/index.php/0213-3563/issue/view/90

Se valorará especialmente la creatividad y la participación del alumno en las actividades que se desarrollarán en clase

1. Trabajos guiados: contarán un 30% de la nota final.
2. Exámenes: Contarán un 30% de la nota final
3. Participación en clase: 40% de la nota final

• presentación y defensa en clase de los trabajos guiados
• resolución de problemas y ejercicios propuestos

Se aconseja trabajar continuada y constantemente. El profesor insistirá en los puntos esenciales del curso y en el mejor modo de abordarlos.

Se proporcionarán materiales de trabajo sobre aquellos aspectos que hayan resultado ser de más difícil comprensión para los alumnos que tengan que someterse a la recuperación.