La Teoría de Modelos es la rama de la lógica que se ocupa de las relaciones entre los lenguajes formales y sus interpretaciones en modelos adecuados. El esquema abstracto de la Teoría de Modelos es así: tenemos un lenguaje formal, L, y una clase de objetos, K, que son los modelos, y entre ambos se tiende un puente: la noción de verdad.
En este curso estudiaremos la Teoría de Modelos de la Lógica de primer orden. El curso es interesante para los filósofos, matemáticos, lingüistas e informáticos.
CB6: Poseer y comprender conocimientos que aporten una base u oportunidad de ser originales en el desarrollo y/o aplicación de ideas, a menudo en un contexto de investigación.
CB7. Que los estudiantes sepan aplicar los conocimientos adquiridos y su capacidad de resolución de problemas en entornos nuevos o poco conocidos dentro de contextos más amplios (o multidisciplinares) relacionados con su área de estudio
CB9. Que los estudiantes sepan comunicar sus conclusiones –y los conocimientos y razones últimas que las sustentan- a públicos especializados y no especializados de un modo claro y sin ambigüedades.
CG1 Que los estudiantes sean capaces de crear documentaciones legibles, completas, técnicamente correctas. Elaborar trabajos de investigación homologables con el nivel internacional actual de las disciplinas.
CE1. Que los estudiantes sean capaces de identificar los conocimientos tradicionales y actuales que se plantean en el área de Lógica y Filosofía de la Ciencia, así como de sus diferentes corrientes y tradiciones.