Centro |
Facultad de Filosofía y Ciencias de la Educación |
Departamento |
Lógica y Filosofía de la Ciencia |
Profesor responsable |
Sin datos cargados |
Met. Docent |
Clases magistrales y clases prácticas. En las clases prácticas el alumno realizará y firmará ejercicios de lógica , didácticamente graduados, que habrán de llevarle al conocimiento de la disciplina.Se intentará una asistencia didáctica personalizada que se complementará en las tutorías. |
Met. Avaluació |
Constará de dos exámenes ( mitad y final de curso ) que indagarán sobre aspectos teóricos y de técnicas símbólicas de demostración de argumentos y teoremas. |
Bibliografia |
- BADESA, S.; JANÉ, I. Y JANSANA, R. ?Elementos de la lógica formal?. Barcelona: Ariel, 1998. - FALGUERA, J.L y MARTÍNEZ, C. ?Lógica clásica de primer orden?. Madrid, Ed. Trotta, 1999. - GARRIDO, M. ?Lógica simbólica?. Madrid: Tecnos, (edicions continuades desde 1974).. - HUNTER, G. ?Metalogica?. Paraninfo, 1981. - MATES, B. ?Lógica matemática elemental?. Madrid: Tecnos, 1971. - MOSTERIN, J. ?Lógica de primer orden?.: Ariel, 1969. - Barcelona: Ariel, 1970. - QUINE, W.V.O. ?Los métodos de la Lógica?. Barcelona |
Continguts |
Presentación de la lógica, mediante un lenguaje formal, como teoría básica. Adquisición de las técnicas formales de deducción natural para la derivación de argumentos y justificación de teoremas estrictamente lógicos. Además, exportación de estas técnicas para la exposición de teorías con contenido específico, como es el caso de la teoría de conjuntos, base del razonamiento justificativo de la ciencia matemática. Aspectos filosóficos fundamentales (ontológicos y epistemológicos) de la ciencia formal. La deducción y la inducción. La preparación de esta materia se facilita con la asignatura cuatrimestral ?Formalización de Lenguajes?, cuyos créditos son todos prácticos. 1. Lógica y argumentos. 2. Deducción natural. La lógica a través de reglas. 3. Universos e interpretaciones 4. Tratamiento formal de la identidad y las descripciones. 5. Presentación axiomática de la lógica (una alternativa equivalente a la presentación natural de la lógica). 6. Lógica y teoría de conjuntos. Paradojas. 7. La lógica más allá de su propia teoría. El lenguaje natural y el lenguaje de la lógica. Formalización de enunciados del lenguaje natural e interpretación de enunciados lógicos. Interpretación objetual y sustitucional de los cuantificadores lógicos 8. Aspectos sistemáticos de las teorías formales: consistencia, corrección, completud y decidibilidad. 9. El ámbito de la lógica. Lógica y lógicas. Lógica y filosofía. |
Objetius |
Alcanzar un conocimiento de la disciplina tanto en su vertiente filosófica como técnica. Como resultado, el alumno deberá saber redactar aspectos importantes de una incipiente filosofía de la lógica y demostrar formalmente argumentos o teoremas relativos a sistemas lógicos de primer orden con identidad. |
URL de Fitxa |