Datos Básicos

Siguiente

Asignatura 1

Asignatura 2

Asignatura 3

Asignatura 4

  • Anterior
  • Siguiente

Instrucciones

  1. Se te propone que elabores un programa basado en tres asignaturas, 2 básicas u obligatorias y una optativa
  2. Los contenidos de cada asignatura los puedes seleccionar del listado que se te ofrece en cada caso, teniendo en cuanta lo siguiente:
    • Nada: implica que ese contenido no lo incorporarías en el programa
    • Poco: lo incorporarías pero sin concederle mucho tiempo en el programa (eventualmente podría no impartirse)
    • Bastante: lo incorporarías dedicándole el tiempo suficiente
    • Mucho: consideras que es un contenido nuclear que recibirá toda la dedicación que precise
  3. Ten en cuenta que los contenidos que se ofrecen son los mismos en todas las asignaturas con el fin de no descartar ningún diseño
  4. En el siguiente apartado podrás valorar si tu diseño se ajusta o no a la realidad
  • Anterior
  • Siguiente

Lógica I (básica/obligatoria; 1 semestre)

Ubicación curricular



Contenidos Nada Poco Bastante Mucho

Historia

Historia antigua de la Lógica (Aristóteles, Estoicos...)
Silogística
Lógica escolástica
Autores clásicos (Frege, Boole)
Historia de las matemáticas


Contenidos Nada Poco Bastante Mucho

Lógica proposicional

Tablas de verdad
Ejercicios con tablas de verdad
Ejercicios de traducción
Formas normales
Cálculo de deducción natural
Tablas analíticas
Cálculo de secuentes
Sistemas axiomáticos
Ejercicios de cálculo
Ejercicios de traducción y cálculo
Pruebas de invalidez
Consecuencia lógica y derivabilidad
Corrección de los cálculos
Completud semántica
Post-Completud


Contenidos Nada Poco Bastante Mucho

Lógica de Primer Orden

Fragmento monádico (de forma independiente)
Lógica de Primer Orden con relaciones n-arias
Lógica de Primer Orden con identidad
Lógica de Primer Orden con descripciones definidas y funciones
Interpretaciones y modelos
Cálculo de deducción natural
Tablas analíticas
Cálculo de secuentes
Sistemas axiomáticos
Ejercicios de cálculo
Ejercicios de traducción y cálculo
Consecuencia lógica y derivabilidad (definiciones)
Corrección y completud


Contenidos Nada Poco Bastante Mucho

Metateoría

Prueba de completud (tipo Henkin o similar)
Compacidad
Isomorfía y categoricidad
El problema de la decisión para Primer Orden
Fragmentos decidibles
Eliminación de Corte


Contenidos Nada Poco Bastante Mucho

Resultados clásicos en Lógica general

La incompletud de la Aritmética de Primer Orden
El "problema de parada"; computabilidad
El cardinal del Continuo; Cantor
La Hipótesis del Continuo


Contenidos Nada Poco Bastante Mucho

Lógicas no-clásicas y extensiones

Lógica modal
Lógicas parciales
Lógicas paraconsistentes
Lógicas multivaluadas
Lógicas híbridas
Lógicas de Orden superior
Lógicas epistémicas
Lógicas dinámicas
Belief revision Logics
Teoría de Conjuntos
Teoría de la Computación
Lógica temporal
Lógica deóntica
Lógicas intuicionista


Contenidos Nada Poco Bastante Mucho

Materias relacionadas

Modelos argumentativos
Tipología de los argumentos (deductivos, inductivos, abductivos, probabilísticos, etc)
Argumentación multimodal
Falacias y sus tipologías
Paradojas y sus tipologías
El problema de la formalidad (forma lógica, logicidad, lógica universal, etc)
Relaciones entre sistemas lógicos (Extensiones, divergencias, etc)
Intrepretaciones de las conectivas (invariantistas, inferencialista, pragmatista, etc)
Intrepretaciones de los cuantores (objetual, sustitucional, etc)
Intrepretaciones generales de la Lógica (pragmática, expresivista, etc)
La lógica en sus escuelas (logicismo, formalismo, intuicionismo)
Pensamiento crítico
Filosofía de la Lógica
Historia de la Lógica
Razonamiento no-monótono

Tus comentarios

Lógica II (básica/obligatoria; 1 semestre)

Ubicación curricular



Contenidos Nada Poco Bastante Mucho

Historia

Historia antigua de la Lógica (Aristóteles, Estoicos...)
Silogística
Lógica escolástica
Autores clásicos (Frege, Boole)
Historia de las matemáticas


Contenidos Nada Poco Bastante Mucho

Lógica proposicional

Tablas de verdad
Ejercicios con tablas de verdad
Ejercicios de traducción
Formas normales
Cálculo de deducción natural
Tablas analíticas
Cálculo de secuentes
Sistemas axiomáticos
Ejercicios de cálculo
Ejercicios de traducción y cálculo
Pruebas de invalidez
Consecuencia lógica y derivabilidad
Corrección de los cálculos
Completud semántica
Post-Completud


Contenidos Nada Poco Bastante Mucho

Lógica de Primer Orden

Fragmento monádico (de forma independiente)
Lógica de Primer Orden con relaciones n-arias
Lógica de Primer Orden con identidad
Lógica de Primer Orden con descripciones definidas y funciones
Interpretaciones y modelos
Cálculo de deducción natural
Tablas analíticas
Cálculo de secuentes
Sistemas axiomáticos
Ejercicios de cálculo
Ejercicios de traducción y cálculo
Consecuencia lógica y derivabilidad (definiciones)
Corrección y completud


Contenidos Nada Poco Bastante Mucho

Metateoría

Prueba de completud (tipo Henkin o similar)
Compacidad
Isomorfía y categoricidad
El problema de la decisión para Primer Orden
Fragmentos decidibles
Eliminación de Corte


Contenidos Nada Poco Bastante Mucho

Resultados clásicos en Lógica general

La incompletud de la Aritmética de Primer Orden
El "problema de parada"; computabilidad
El cardinal del Continuo; Cantor
La Hipótesis del Continuo


Contenidos Nada Poco Bastante Mucho

Lógicas no-clásicas y extensiones

Lógica modal
Lógicas parciales
Lógicas paraconsistentes
Lógicas multivaluadas
Lógicas híbridas
Lógicas de Orden superior
Lógicas epistémicas
Lógicas dinámicas
Belief revision Logics
Teoría de Conjuntos
Teoría de la Computación
Lógica temporal
Lógica deóntica
Lógicas intuicionista


Contenidos Nada Poco Bastante Mucho

Materias relacionadas

Modelos argumentativos
Tipología de los argumentos (deductivos, inductivos, abductivos, probabilísticos, etc)
Argumentación multimodal
Falacias y sus tipologías
Paradojas y sus tipologías
El problema de la formalidad (forma lógica, logicidad, lógica universal, etc)
Relaciones entre sistemas lógicos (Extensiones, divergencias, etc)
Intrepretaciones de las conectivas (invariantistas, inferencialista, pragmatista, etc)
Intrepretaciones de los cuantores (objetual, sustitucional, etc)
Intrepretaciones generales de la Lógica (pragmática, expresivista, etc)
La lógica en sus escuelas (logicismo, formalismo, intuicionismo)
Pensamiento crítico
Filosofía de la Lógica
Historia de la Lógica
Razonamiento no-monótono

Tus comentarios

Título de la asignatura

Optativa I (optativa; 1 semestre)

Ubicación curricular



Contenidos Nada Poco Bastante Mucho

Historia

Historia antigua de la Lógica (Aristóteles, Estoicos...)
Silogística
Lógica escolástica
Autores clásicos (Frege, Boole)
Historia de las matemáticas


Contenidos Nada Poco Bastante Mucho

Lógica proposicional

Tablas de verdad
Ejercicios con tablas de verdad
Ejercicios de traducción
Formas normales
Cálculo de deducción natural
Tablas analíticas
Cálculo de secuentes
Sistemas axiomáticos
Ejercicios de cálculo
Ejercicios de traducción y cálculo
Pruebas de invalidez
Consecuencia lógica y derivabilidad
Corrección de los cálculos
Completud semántica
Post-Completud


Contenidos Nada Poco Bastante Mucho

Lógica de Primer Orden

Fragmento monádico (de forma independiente)
Lógica de Primer Orden con relaciones n-arias
Lógica de Primer Orden con identidad
Lógica de Primer Orden con descripciones definidas y funciones
Interpretaciones y modelos
Cálculo de deducción natural
Tablas analíticas
Cálculo de secuentes
Sistemas axiomáticos
Ejercicios de cálculo
Ejercicios de traducción y cálculo
Consecuencia lógica y derivabilidad (definiciones)
Corrección y completud


Contenidos Nada Poco Bastante Mucho

Metateoría

Prueba de completud (tipo Henkin o similar)
Compacidad
Isomorfía y categoricidad
El problema de la decisión para Primer Orden
Fragmentos decidibles
Eliminación de Corte


Contenidos Nada Poco Bastante Mucho

Resultados clásicos en Lógica general

La incompletud de la Aritmética de Primer Orden
El "problema de parada"; computabilidad
El cardinal del Continuo; Cantor
La Hipótesis del Continuo


Contenidos Nada Poco Bastante Mucho

Lógicas no-clásicas y extensiones

Lógica modal
Lógicas parciales
Lógicas paraconsistentes
Lógicas multivaluadas
Lógicas híbridas
Lógicas de Orden superior
Lógicas epistémicas
Lógicas dinámicas
Belief revision Logics
Teoría de Conjuntos
Teoría de la Computación
Lógica temporal
Lógica deóntica
Lógicas intuicionista


Contenidos Nada Poco Bastante Mucho

Materias relacionadas

Modelos argumentativos
Tipología de los argumentos (deductivos, inductivos, abductivos, probabilísticos, etc)
Argumentación multimodal
Falacias y sus tipologías
Paradojas y sus tipologías
El problema de la formalidad (forma lógica, logicidad, lógica universal, etc)
Relaciones entre sistemas lógicos (Extensiones, divergencias, etc)
Intrepretaciones de las conectivas (invariantistas, inferencialista, pragmatista, etc)
Intrepretaciones de los cuantores (objetual, sustitucional, etc)
Intrepretaciones generales de la Lógica (pragmática, expresivista, etc)
La lógica en sus escuelas (logicismo, formalismo, intuicionismo)
Pensamiento crítico
Filosofía de la Lógica
Historia de la Lógica
Razonamiento no-monótono

Tus comentarios

  • Anterior
  • Siguiente

Valoración

Evaluación de tu proyecto

Cuestiones Nada Poco Bastante Mucho
El proyecto que has elaborado, ¿cuánto se parece a la situación actual en tu Grado?
¿Dispone tu departamento de personal suficiente y adecuado para implementarlo?
¿Crees que la propuesta sería bien acogida en tu departamento?
¿Crees que la propuesta sería bien acogida por el resto de las autoridades de tu Universidad?
¿Crees que los estudiantes de tu Grado recibirían positivamente la propuesta?
¿Crees que los estudiantes de tu Grado demandan una mayor presencia de la Lógica en los Planes de Estudio?
¿Estarías dispuesto a elaborar las reformas legales pertinentes (Modifica) para su implementación?
  • Anterior
  • Siguiente

Ahora puedes volver atrás y revisar tus respuestas o enviar el formumario a su destino

  • Revisar los datos
  • Enviar