Créditos ECTS Créditos ECTS: 6
Horas ECTS Criterios/Memorias Trabajo del Alumno/a ECTS: 99 Horas de Tutorías: 3 Clase Expositiva: 24 Clase Interactiva: 24 Total: 150
Lenguas de uso Castellano, Gallego, Inglés
Tipo: Materia Ordinaria Grado RD 1393/2007 - 822/2021
Departamentos: Filosofía y Antropología
Áreas: Lógica y Filosofía de la Ciencia
Centro Facultad de Filosofía
Convocatoria: Primer semestre
Docencia: Con docencia
Matrícula: Matriculable
Objetivos del título
1) Proporcionar una formación sólida en Filosofía, situando esta en el conjunto de los saber científicos y humanísticos, en el tejido cultural y ante la práctica social del mundo contemporáneo.
2) Combinar la formación en Filosofía con la enseñanza de las habilidades necesarias para aplicar los conocimientos adquiridos a la práctica profesional.
3) Generar capacidad de análisis y de crítica, así como una actitud proactiva.
4) Suministrar capacidad de aprender con autonomía, formando sus propios criterios y estrategias de aprendizaje, aplicables además a lo largo de la vida.
5) Fundamentar los principios del respeto y la promoción de los derechos fundamentales a igualdad entre las personas, los principios de accesibilidad universal y desarrollo para todos, y los valores democráticos y de una cultura de paz.
Objetivos específicos de la materia
1. Alcanzar un conocimiento inicial de qué se entiende por Lógica y cuál es su interés en general
2. Dominio en la deducción en argumentos expresados en un lenguaje de un sistema de deducción natural de enunciados y en un lenguaje de un sistema de deducción natural de primero orden.
3. Capacidad de re-expresar la forma lógica de expresions declarativas re-expresándolas conforme al aparato lógico de un lenguaje formal proposicional o de primero orden. 4.Capacidad para determinar el valor semántico de una fórmula bien formada de un lenguaje formal dado una semántica apropiada.
5. Capacidad para establecer una semántica apropiada para los distintos tipos de expresiones de un lenguaje formal.
6. Saber aplicar esos conocimientos dentro y fuera del ámbito filosófico. En particular, saber hacer análisis lógico de textos filosóficos y no filosóficos.
7. Saber explicar esos conocimientos y estar en condiciones de aprender a enseñarlos.
8. Mejora de las capacidades y destrezas argumentativas.
9. Capacidad para organizar la información, tomar decisiones,exponer y resolver problemas.
10. Saber ampliar y desarrollar ulteriormente esos conocimientos por medio de la investigación.
1. Primeras nociones teóricas
La relación de consecuencia lógica y la validez dos argumentos
La relación de independencia lógica y la invalidez dos argumentos. Consistencia e inconsistencia.
La noción de prueba
Uso e mención; lenguaje y metalenguaje.
Ejercicios
2. Semántica y estrategias de formalización de la lógica clásica de enunciados
Introducción
Un lenguaje formal de la lógica clásica de enunciados
Semántica para un lenguaje de la lógica clásica de enunciados
Estrategias de formalización
Ejercicios
3. Lógica clásica de enunciados: sistemas lógico-formales
Sistema de deducción natural para la lógica clásica de enunciados (SDNE)
Demostración de la validez:
Estrategias para la resolución de ejercicios de deducción en el SDNE
Demostración de la invalidez:Interpretaciones y tablas semánticas
Nociones metalógicas: Consistencia, Completud, Decidibilidad
Ejercicios
4.Lógica clásica de primera orden: semántica y estrategias de formalización
Introducción
Un lenguaje formal (LPO*)
Algunas nociones de teoría de conjuntos
Semántica
Estrategias de formalización
Ejercicios
5. Lógica clásica de primera orden. Sistemas lógico-formales
Sistema de deducción natural para la lógica clásica de primera orden (SPO*)
Demostración de la validez:
Estrategias para la resolución de ejercicios de deducción en el SPO*
Demostración de la invalidez:interpretaciones, modelos y contra-modelos, tablas semánticas
Nociones metalógicas: Consistencia, Completud, Decidibilidad
Ejercicios
[*] indica referencias básicas fundamentales
[*] Badesa, C., Jané, I., e Jansana, R.,(1998), Elementos de Lógica Formal, Ariel: Barcelona.
[*] Deaño, A.,(1974) Introducción a la lógica formal, Alianza, Madrid.
Deaño, A., (1980) Las concepciones de la lógica, Tecnos, Madrid.
Díaz, J.A.,* (2000),Iniciación a la Lógica, Ariel, Barcelona.
[*] Falguera, J. L. - Martínez, C., *(1999) Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica (2 vols.), Trotta, Madrid.
García-Trevijano, Carmen, *(1993) El arte de la lógica, Tecnos, Madrid.
Gardner, M., (1983) Paradojas, ¡ajá!, Ed. Labor, Barcelona. (Versión orixinal: Aha! Gotcha: Paradoxes to puzzle and delight)
[*] Garrido, M.,*(1995) Lógica simbólica, Tecnos, Madrid. Garrido, M. (Ed.) (1989) Lógica y lenguaje. Tecnos, Madrid.
Haack, S., (1982) Filosofía de las lógicas, Ed. Cátedra, Madrid. (Versión orixinal: Philosophy of Logics, 1978, Cambridge Univ. Press, Cambridge).
[*] Huertas, A., e Manzano, M., 2004, Lógica para principiantes, Alianza Editorial, Madrid.
Kneale, W. e M., (1972) El desarrollo de la lógica, Tecnos, Madrid. (Versión orixinal The development of Logic, The Clarendon Press, Oxford, 1961).
Marraud, H. e Navarro, P.,*(1988) Sistemas deductivos tipo Gentzen, Colección Cuadernos de Apoyo, Univ. Autónoma de Madrid, Madrid.
Mates, B., (1987) Lógica matemática elemental, Tecnos, Madrid. (Versión orixinal Elementary Logic, Oxford Univ. Press, Oxford, 1965.)
Nidditch, P. H., (1987) El desarrollo de la lógica, Cátedra, Madrid.
[*] Pérez Sedeño, E., (1991) Ejercicios de Lógica, S. XXI.
Quine, W. O., (1962) Los métodos de la lógica, Ariel. (Versión orixinal Methods of Logic, Rinehart and Winston, Inc., 1950).
Quine, W. O., (1972) Lógica Matemática, Revista de Occidente, Madrid. (Versión orixinal: Mathematical Logic, Harvard Univ. Press 1940).
[*] Sagüillo, J. M. (2008): El Pensamiento Lógico-Matemático. Elementos de heurística y apodíctica demostrativa. Ediciones Akal. Madrid
Smullyan, R. M., (1981) ¿Cómo se llama este libro? o El enigma de Drácula y otros pasatiempos lógicos, Cátedra, Madrid. (Versión orixinal: What is the name of this book?, Englewood Cliffs, New York, Prentice Hall, 1978).Smullyan, R. M., (1983) ¿La dama o el tigre?, Ed. Cátedra, Madrid. (Versión orixinal: The lady or the tiger? and other puzzles, Alfred A. Knopf Inc.)
[*] Suppes, P., *(1981) Introducción a la lógica simbólica, Ed. Continental, México. (Versión orixinal Introduction to Logic, Van Nostrand, 1957).
Tarski, A., (1951) Introducción a la lógica simbólica, Espasa Calpe, 1951.
Zalabardo, J. L., (2002) Introducción a la teoría de la lógica, Alianza editorial: Madrid.
Competencias básicas
CB1 - Que los estudiantes hayan demostrado poseer y comprender conocimientos en un área de estudio que parte de la base de la educación secundaria general, y se suele encontrar a un nivel que, si bien se apoya en libros de texto avanzados, incluye también algunos aspectos que implican conocimientos procedentes de la vanguardia de su campo de estudio
CB2 - Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio
CB3 - Que los estudiantes tengan la capacidad de reunir e interpretar datos relevantes (normalmente dentro de su área de estudio)para emitir juicios que incluyan una reflexión sobre temas relevantes de índole social, científica o ética
CB4 - Que los estudiantes puedan transmitir información, ideas, problemas y soluciones a un público tanto especializado como no especializado
CB5 - Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía
Competencias generales
CG1 - Que los/las graduados/as posean y comprendan los conocimientos propios de la Filosofía como saber, incluyendo sus doctrinas, teorías, métodos y aplicaciones, al nivel proporcionado por los textos académicos, con referencia a aportaciones investigadoras recientes.
CG2 - Que sepan aplicar esos conocimientos para identificar, formular y resolver problemas en el ámbito de la Filosofía, a un nivel general y no especializado.
CG3 - Que sean capaces de transmitir esos conocimientos, las ideas, cuestiones y soluciones planteadas y ofrecidas por la Filosofía, tanto a un público general como interesado y/o entendido en temáticas filosóficas.
CG4 - Que estén capacitados para continuar su formación, en Filosofía y/o en otros campos del saber, con un elevado grado de autonomía.
Competencias transversales
CT01 - De tipo Instrumental: Capacidad de comprensión e interpretación de discursos complejos (escritos y orales), análisis y síntesis, trabajo conceptual. Capacidad para la exposición y comunicación oral y escrita. Capacidad de gestión de la información. Resolución de problemas. Toma de decisiones.
CT02 - Personales: Curiosidad y actividad intelectuales no restringidas a la filosofía. Capacidad para desenvolverse en contextos culturales y sociales diversos. Buena disposición para las relaciones interpersonales, el diálogo intelectual y el trabajo cooperativo. Razonamiento crítico y compromiso democrático.
CT03 - Sistémicas: Capacidad para el aprendizaje autónomo. Receptividad y capacidad de respuesta ante nuevas situaciones. Creatividad. Conocimiento de otras culturas y costumbres. Iniciativa y espíritu emprendedor. Motivación por la calidad. Especial sensibilidad hacia problemas de igualdad medioambientales.
Competencias específicas
CE1 - Conocer las disciplinas, las teorías, los métodos, las aplicaciones y las corrientes propias de la Filosofía, siguiendo su historia y en sus formulaciones contemporáneas. Estos conocimientos se indican en las fichas de las asignaturas.
CE2 - Saber explicar esos conocimientos y estar en condiciones de aprender a enseñarlos.
CE3 - Saber ampliar y poder desarrollar ulteriormente esos conocimientos por medio de la investigación.
CE4 - Saber aplicar esos conocimientos dentro y fuera del ámbito filosófico.
CE5 - Capacidad para analizar y sintetizar, argumentar lógicamente, reflexionar y deliberar en términos éticos.
CE6 - Saber expresarse, comunicar, debatir y dialogar.
CE7 - Capacidad para organizar la información, tomar decisiones, plantear y resolver problemas
CE8 - Desarrollo del razonamiento crítico y el compromiso ético.
CE9 - Sentido social, fomentando la cooperación y la mediación.
CE10 - Capacidad de reacción y espíritu constructivo: proactividad, inventiva, creatividad, laboriosidad y adaptabilidad en contextos cambiantes, problemáticos y/o adversos.
La materia en su conjunto, con las diversas actividades que la integran (sesiones expositivas, sesiones interactivas, realización de tareas) contribuye a la adquisición de las competencias básicas y generales. La evaluación global de la materia es indicio del logro de dichas competencias generales y básicas.
Clases expositivas. A cargo de los profesores con interacción con los estudiantes mediante preguntas y aclaraciones pertinentes.
Clases interactivas: Dedicadas fundamentalmente a la resolución de ejercicios que ilustren y expandan el explicado en las clases expositivas.
Actividades tutoriales
Se dividirá a los estudiantes en los grupos estipulados y la mitad del cuatrimestre, aproximadamente, en una o dos sesiones que sumarán un total de 3 horas de trabajo del estudiante, se evaluará el trabajo realizado por el estudiante en la primera parte del curso.
REQUERIMIENTOS PARA LAS CLASES
Participación activa (que obviamente requiere asistencia). Esta participación se desarrolla de acuerdo a los siguientes criterios:
Todo estudiante debe interactuar y participar.
El estudio de la materia requiere una actitud constante de trabajo en la realización de los ejercicios destinados a obtener las destrezas y competencias del curso.
Es esencial un trabajo regular durante todo el semestre y una metodología de trabajo regida por la agenda del curso.
DE CONTENIDOS
Continua
Primera oportunidad
1) el 80% de la nota total vendrá dado por las cualificaciones obtenidas en las pruebas parciales y/o examen final sobre los contenidos del programa. La cualificación máxima de cada examen será pues un 8.A lo largo del semestre se realizará una prueba eliminatoria correspondiente a los temas 1 al 3. La parte correspondiente a los temas 4 y 5 se realizará o bien en la semana del 16 y diciembre de 2024 o coincidiendo con la fecha del examen final establecida por la facultad. La prueba (o pruebas) realizada a lo largo del semestre será eliminatoris de la materia de cara al examen final de primera oportunidad (diciembre 2024 o enero de 2025 segundo establezca el calendario oficial) siempre y cuando se obtuvo por lo menos un 4,5 sobre 9.
Quien no superara la prueba (o pruebas) mencionada, podrá recuperarla en el examen final en la fecha señalada por la facultad.
Será preciso aprobar la parte correspondiente a la teoría (definiciones y cuestiones teóricas) de la prueba correspondiente a los temas 1 a 3 como condición previa para la evaluación de la parte correspondiente a ejercicios de semántica y deducción.
2) 10% se valorará el trabajo realizado por el estudiante a lo largo del cuatrimestre. Este trabajo quedará plasmado en la realización de al menos una cuestión o ejercicio por tema. Se realizará en una clase sin preaviso o a través del campus virtual.
Se propondrán boletines de tareas para los diferentes temas. Las correcciones de estas tareas se harán en la clase (con la colaboración de los/as alumnos/ las) y por parte de los docentes encargados de la materia.
La ausencia de más de tres sesiones sin justificar supone la pérdida del derecho a la evaluación continua y la necesidad de realizar el examen final completo de la materia.
Si no los recuperara en ese examen final de enero, tendrá que presentarse al examen de segunda oportunidad con toda la materia.
Segunda Oportunidad
El 100% de la cualificación consistirá en la cualificación obtenida en el examen final de 2ª oportunidad a realizar en la fecha oficial señalada por la facultad.
En caso de que un estudiante se acogió al sistema de evaluación continua, es decir se no tiene más de tres ausencias sin justificar, haya realizado TODAS Las CUESTIONES DE CLASE (SALVO Las CORRESPONDIENTES A Las AUSENCIAS
JUSTIFICADAS) y superara (obtenido por lo menos un 4,5 sobre 9) en alguno de los parciales, no tendrá que repetir esta parte en el examen final de segunda oportunidad.
AQUELLOS ESTUDIANTES QUE TENGAN MÁS DE TRES FALTAS SIN JUSTIFICAR, DEBERÁN EXAMINARSE DE TODA La MATERIA MISMO EN CASO DE QUE SUPERARAN ALGUNA DE Las PARTES NO EXAMEN FINAL REALIZADO EN PRIMERA OPORTUNIDAD.
Evaluación para estudiantes con exención de docencia o no asistencia a más de tres sesiones
Aquellos estudiantes que tengan dispensa docente o que tengan más de tres faltas sin justificar realizarán el examen final completo de toda la materia EN Las DOS OPORTUNIDADES.
EVALUACIÓN DE COMPETENCIAS
COMPETENCIAS BÁSICAS
Tareas y exámenes.
COMPETENCIAS GENERALES
CG1 - Que los/anas escalonados/as posean y comprendan los conocimientos propios de lana Filosofía como saber, incluyendo sus doctrinas, teorías, métodos y aplicaciones, al nivel proporcionado por los textos académicos, con referencia a aportaciones investigadoras recientes.
Tareas y exámenes
CG2 - Que sepan aplicar esos conocimientos para identificar, formular y resolver problemas en él ámbito de lana Filosofía, la un nivel general y en el especializado.
Resolución de ejercicios y exámenes
CG3 - Que sean capaces de transmitir esos conocimientos, lanas ideas, cuestiones y soluciones planteadas y ofrecidas por lana Filosofía, tanto la un público general como interesado y/o entendido en temáticas filosóficas.
Resolución de ejercicios en clase.
CG4 - Que estén capacitados para continuar su formación, en Filosofía y/o en otros campos de él saber, con uno elevado grado de autonomía.
Resolución de ejercicios
COMPETENCIAS TRANSVERSALES
Todas ellas se evalúan al evaluar al estudiante mediante la resolución de ejercicios, la presentación de esas resoluciones en clase, y la ejecución de tareas y exámenes.
COMPETENCIAS DE TIPO ESPECÍFICO
Todas ellas se evalúan al evaluar al estudiante mediante la resolución de ejercicios, la presentación de esas resoluciones en clase, y la ejecución de tareas y exámenes.
NORMATIVAS
“Normativa de Permanencia”, de 25 de mayo de 2012:
Art. 5.2: “La cualificación de una convocatoria en la que el alumno no se presenta, o no supera los objetivos establecidos será de ‘suspenso’, salvo que el estudiante no realice ninguna actividad académica evaluable conforme al establecido en la programación o guía #docente, en cuyo caso constará como ‘no presentado’”.
“Normativa de evaluación del rendimiento académico de los estudiantes y de revisión de cualificaciones”, aprobada en el Consejo de Gobierno de 15 de junio de 2011:
Art. 1.: “La realización fraudulenta de algún ejercicio o prueba exigido en la evaluación de una materia implicará la cualificación de suspenso en la convocatoria correspondiente, con independencia del proceso disciplinario que se pueda seguir contra el alumno infractor. Considerarse fraudulenta, entre otras, la realización de trabajos plagiados u obtenidos de fuentes accesibles al público sin reelaboración o reinterpretación y sin citas a los autores y de las fuentes”.
6 créditos ECTS. Traballo total do estudante: 150 horas.
- Horas presenciais: 51h.
Horas de Titorías 3h.
Clases Expositivas 24h.
Clase Interactiva 24h.
- Horas non presenciais: 99h.
Participación y seguimiento de las clases
Estudio de materiales y realización de tareas siguiendo las pautas indicadas
Consulta de dudas en las tutorías
Asistencia regular a clase
Entrega regular de las tareas asignadas Seguimiento de la agenda del curso
Actitud apropiada para leer textos en inglés.
-Para los casos de realización fraudulenta de ejercicios o pruebas será de aplicación lo recogido en la Normativa de evaluación del rendimiento académico de los estudiantes y de revisión de cualificaciones.
- Los trabajos realizados por el alumnado deben entregarse, preferentemente, a través del aula virtual.
− Perspectiva de género: Se recomienda hacer uso del lenguaje no sexista, tanto en el trabajo cotidiana de aula como nos trabajos académicos encomendados, según las recomendaciones de la USC.
− Para la comunicación con los docentes es obligatorio el uso de la cuenta de correo rai.
− Es Obligatorio el empleo de las herramientas tecnológicas institucionales: Campus Virtual, Microsoft Office 365, MS-Teams y otras herramientas institucionales.
− No se podrá emplear lo de teléfono móvil, salvo cuando se use como instrumento de trabajo siguiendo las indicaciones dadas por el docente, responsabilizándose el alumnado de las consecuencias legales y académicas que podan derivarse de un empleo no acomodado del mismo.
− Es preciso cumplir con la Normativa de protección de datos
Maria De La Concepcion Martinez Vidal
Coordinador/a- Departamento
- Filosofía y Antropología
- Área
- Lógica y Filosofía de la Ciencia
- Teléfono
- 881812530
- Correo electrónico
- mconcepcion.martinez [at] usc.es
- Categoría
- Profesor/a: Titular de Universidad
Pablo Valencia Equy
- Departamento
- Filosofía y Antropología
- Área
- Lógica y Filosofía de la Ciencia
- Correo electrónico
- pablo.valencia.equy [at] usc.es
- Categoría
- Predoutoral Ministerio
Violeta Conde Borrego
- Departamento
- Filosofía y Antropología
- Área
- Lógica y Filosofía de la Ciencia
- Correo electrónico
- violeta.conde.borrego [at] usc.es
- Categoría
- Predoutoral Ministerio
| Martes | |||
|---|---|---|---|
| 11:00-12:30 | Grupo /CLE_01 | Castellano | Aula 1 |
| Miércoles | |||
| 09:30-11:00 | Grupo /CLE_01 | Castellano | Aula 1 |
| 15.01.2025 10:00-13:00 | Grupo /CLE_01 | Aula 1 |
| 15.01.2025 10:00-13:00 | Grupo /CLIS_03 | Aula 1 |
| 15.01.2025 10:00-13:00 | Grupo /CLIS_02 | Aula 1 |
| 15.01.2025 10:00-13:00 | Grupo /CLIS_01 | Aula 1 |
| 19.06.2025 10:00-13:00 | Grupo /CLIS_01 | Aula 1 |
| 19.06.2025 10:00-13:00 | Grupo /CLE_01 | Aula 1 |
| 19.06.2025 10:00-13:00 | Grupo /CLIS_03 | Aula 1 |
| 19.06.2025 10:00-13:00 | Grupo /CLIS_02 | Aula 1 |