LÓGICA I

LÓGICA I

GRADO EN FILOSOFÍA

1. Datos de la asignatura

(Fecha última modificación: 25-07-17 12:14)
Código
101713
Plan
ECTS
6.00
Carácter
OBLIGATORIA
Curso
1
Periodicidad
Segundo Semestre
Área
LÓGICA Y FILOSOFÍA DE LA CIENCIA
Departamento
Filosofía, Lógica y Estética
Plataforma Virtual

Campus Virtual de la Universidad de Salamanca

Datos del profesorado

Profesor
María Gracia Manzano Arjona
Grupo/s
1
Departamento
Filosofía, Lógica y Estética
Área
Lógica y Filosofía de la Ciencia
Centro
Fac. Filosofía
Despacho
FES 504
Horario de tutorías

Se concierta por e-mail mara@usal.es

URL Web
http://ogicae.usal.es/mara
E-mail
mara@usal.es
Teléfono
Ext 3416

2. Sentido de la materia en el plan de estudios

Bloque formativo al que pertenece la materia.

OBLIGATORIA

Papel de la asignatura.

OBLIGATORIA DE LÓGICA Y FILOSOFÍA DE LA CIENCIA

3. Recomendaciones previas

Al tratarse de una asignatura básica no hay requisitos previos

4. Objetivo de la asignatura

El objetivo de este curso básico es el de introducir de manera instrumental e intuitiva los conceptos fundamentales de la lógica, y muy particularmente el concepto de consecuencia, ya que la lógica puede ser definida como el estudio de la consecuencia; o lo que es lo mismo, como el estudio de los razonamientos válidos o correctos.

5. Contenidos

Teoría.

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.

6. Competencias a adquirir

Básicas / Generales.

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

Específicas.

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.

Transversales.

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.

7. Metodologías

1. Actividades formativas presenciales:

  • Clase teórica.
  • Clase práctica en aulas de informática.
  • Clase práctica: resolución de problemas.
  • Tutoría individual y en grupo.
  • Trabajo personal: estudio de los textos, resolución de problemas.
  • Exposición de los trabajos con ayuda de las nuevas tecnologías.
  • Pruebas de evaluación: exámenes presenciales, comentarios de las lecturas.

2. No presenciales:

  • Preparación de clases prácticas, seminarios y sesiones de debate.
  • Búsquedas bibliográficas en bases de datos y en publicaciones electrónicas.
  • Preparación de exposiciones orales en las que se empelarán los recursos tecnológicos a disposición del alumno.
  • Elaboración de ensayos con formato de artículo filosófico.
  • Preparación de pruebas de evaluación.

Los seminarios y las sesiones de debate se prepararan con los artículos seleccionados cada curso por el responsable de la asignatura y que reflejarán la incesante productividad del área. Clases de teoría con apoyo de material audiovisual. / Clases de prácticas con apoyo de soft­ware de lógica educativo. /Talleres de prácticas: seminarios de problemas, lectura y actividades complementarias, cuestionarios y test./ Tutorías: supervisión del trabajo y seguimiento del aprendizaje de la asignatura.

8. Previsión de Técnicas (Estrategias) Docentes

9. Recursos

Libros de consulta para el alumno.

María Manzano y Antonia Huertas (2016) Lógica para principiantes. Alianza Editorial.

Otras referencias bibliográficas, electrónicas o cualquier otro tipo de recurso.

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 Philosophyhttp://plato.stanford.edu

AZAFEA-Revista de Filosofía:

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

10. Evaluación

Consideraciones generales.

Se evaluarán los conocimientos adquiridos por el alumno especificados en los puntos 4 y 5 de esta ficha.

Criterios de evaluación.

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

Instrumentos de evaluación.

  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

Recomendaciones para la evaluación.

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

Recomendaciones para la recuperación.

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.

11. Organización docente semanal