GUIA DOCENTE DE LA ASIGNATURA CURSO 2013-14

Lgica y filosofa de la ciencia

MDULO

MATERIA

CURSO

SEMESTRE

CRDITOS

TIPO

Lgica y filosofa de
la ciencia

Lgica y filosofa de la
ciencia

Optativa

PROFESOR

Julin Garrido Garrido

DIRECCIN COMPLETA DE CONTACTO PARA TUTORAS

(Direccin postal, telfono, correo electrnico, etc.)
Dpto. Filosofa I, Facultad de Ciencias. Despacho
sin nmero en el pasillo de entrada a la seccin
de Fsica
Telfono 958244029
Correo electrnico: garridoj@ugr.es
HORARIO DE TUTORAS
Primer semestre:
Martes de 12 a 14h, mircoles de 10 a 12h y
jueves de 10 a 12 horas

GRADO EN EL QUE SE IMPARTE

OTROS GRADOS A LOS QUE SE PODRA OFERTAR

Grado en Qumica

Grado en Fsica, Grado en Matemticas

PRERREQUISITOS Y/O RECOMENDACIONES (si procede)

Es aconsejable tener cursadas las asignaturas troncales de los dos primeros cursos del grado en el que se
imparte, o de los otros grados a los que se podra ofertar.
BREVE DESCRIPCIN DE CONTENIDOS (SEGN MEMORIA DE VERIFICACIN DEL GRADO)
Los tres niveles de abstraccin del conocimiento cientfico: lgico, matemtico y emprico. Lgica de primer
orden con identidad. Teora de la definicin. La matemtica desde sus fundamentos conjuntistas. Anlisis
estructurales de la observacin, la medicin y la contrastacin experimental.
COMPETENCIAS GENERALES Y ESPECFICAS
Transversales
CT1 Capacidad de anlisis y sntesis
CT2 Capacidad de organizacin y planificacin
CT3 Comunicacin oral y escrita
CT5 Capacidad de gestin de la informacin
CT8 Razonamiento crtico

Pgina 1

CT9 Aprendizaje autnomo

CT10 Creatividad
Especficas
CE1 Conocer y comprender los fenmenos y las teoras ms importantes
CE4 Medir, interpretar y disear experimentos en el laboratorio
CE7 Transmitir conocimientos de forma clara, tanto en mbitos docentes como no docentes
OBJETIVOS (EXPRESADOS COMO RESULTADOS ESPERABLES DE LA ENSEANZA)

La asignatura introduce conocimientos bsicos de (a) lgica formal, (b) fundamentacin conjuntista de
la matemtica contextualizada histricamente y (c) rasgos estructurales de la observacin, la
medicin y la contrastacion experimental. Pero adems se muestra la interaccin sistemtica entre
estos niveles de conocimiento. El alumno adquirir con ello una perspectiva general articulada sobre
el conocimiento cientfico desde la cual se aprecia con precisin cmo se integran la lgica y la
matemtica con la ciencia emprica.
La capacidad de abstraccin, que en la ciencia se aplica al mundo para comprenderlo con profundidad
explicativa, la aplicar el alumno aqu en mayor grado y en un segundo nivel para conocer de modo
sistemtico y preciso la estructura del propio conocimiento cientfico.
El conocimiento de la lgica permitir al alumno reformular los conocimientos cientficos que usa de
modo informal en una expresin formalizada. Gracias a ella se destacan con nitidez: la expresin
precisa de las leyes cientficas, de las estructuras deductivas entre estas leyes (sin premisas ocultas) y
de la compleja conexin argumental de las leyes con sus predicciones contrastables.
Se adquirir la capacidad de hacer explcitos ciertos aspectos formales implcitos en los modos usuales
de expresin de los conceptos (como por ejemplo que toda magnitud tiene estructura funcional)

TEMARIO DETALLADO DE LA ASIGNATURA

TEMARIO TEORICO
Tema 0. Tres niveles de abstraccin del conocimiento cientfico: lgico, matemtico y emprico.
Razonamiento en la ciencia experimental: el uso en su seno de teoremas matemticos y leyes lgicas.
Razonamiento matemtico: el uso en su seno de leyes lgicas.
Leyes lgicas: su universalidad al ser las leyes del razonamiento.
La definicin terica, un modo de construccin de conceptos presente en los tres niveles de abstraccin.
Tema 1. Lgica de primer orden con identidad.
Objeto y mtodo de la lgica: razonamientos deductivos.
El lenguaje formal. Smbolos (lgicos, no lgicos y auxiliares). Reglas de formacin de trminos y de
frmulas.
Consecuencia lgica. Interpretacin variable de los smbolos no lgicos. Condiciones de verdad de los tipos
de frmula. Verdad lgica, consecuencia lgica y equivalencia lgica. Propiedades estructurales de la
consecuencia lgica. Consecuencia lgica e insatisfacibilidad.
Deduccin mediante reglas de salto (deduccin natural). Las reglas de salto o de transformacin de
Gentzen. Deduccin y demostracin mediante reglas de salto. Propiedades estructurales de la deduccin
mediante reglas de salto. Deduccin mediante reglas de salto e inconsistencia.
Conexiones entre la consecuencia lgica y la deduccin mediante reglas de salto. Correccin y completud.
Tema 2. Teora de la definicin.
Ejemplos y concepto formal de definicin terica. Estructura de las definiciones tericas. Verdad por
definicin. Contraste con la verdad lgica. La no autonoma y no arbitrariedad de las definiciones
tericas. Necesidad material de las definiciones tericas.

Pgina 2

 Tema 3. La matemtica desde sus fundamentos.

Tesis clsica de la verdad matemtica: deduccin desde axiomas intuitivos.
Primera crisis de la tesis clsica: la justificacin de las geometras no eucldeas.
Construccin del anlisis matemtico sobre un concepto de nmero real ajeno a la figuracin geomtrica.
Construccin de los nmeros reales a partir de los nmeros naturales.
Axiomtica de Peano para los nmeros naturales.
Reduccin de los nmeros naturales a conjuntos.
Infinito matemtico. Paradoja de Galileo sobre el infinito. La solucin conjuntista: cardinales transfinitos.
Segunda crisis de la tesis clsica: axiomas originales de la teora de conjuntos y sus paradojas.
Axiomas de Zermelo-Fraenkel de la teora de conjuntos.
Formalismo de Hilbert: programa de justificacin de la no contradiccin de la matemtica. Limitaciones
impuestas por el teorema de Gdel.
Tema 4. Fundamentos estructurales de la ciencia emprica.
Anlisis estructural de la observacin. La correspondencia directa entre las evidencias observables
verdaderas y los hechos. Naturaleza abstracta de las evidencias observables. El proceso de observacin su
carcter selectivo e interpretativo. Objetividad de la observacin
Anlisis estructural de la medicin. De la cualidad a la cantidad: asignaciones numricas a las
clasificaciones y a las comparaciones. Escalas mtricas subyacentes a las magnitudes. Necesidad
estructural de los sistemas de unidades. Pluralidad de los modos de medir una magnitud. Medicin directa
e indirecta. El predominio de la medicin indirecta en la ciencia experimental. Justificacin de la
medicin. Circularidades en la justificacin de la medicin. Relevancia del fundamento terico de las
mediciones para su justificacin
Anlisis estructural de la contrastacin experimental. Principios tericos y explicacin. Leyes
experimentales y prediccin. Esquema general de la confrontacin teoria- experimento. Circularidades en
la contrastacin experimental. Pluralidad de premisas en la deduccin de consecuencias contrastables.
La justificacin de los principios tericos.
TEMARIO PRACTICO
Tema 1. El lenguaje formal como estructuracin precisa del lenguaje de la ciencia. Criterios de
descomposicin de frmulas y de trminos. El mtodo de las tablas de verdad. El mtodo del clculo de
deduccin natural mediante reglas Gentzen.
Tema 2. Distincin entre definiciones tericas, definiciones operacionales y definiciones de diccionario.
Discusin sobre las supuestas definiciones de Fuerza y de Entropa.
Tema 3. Distincin entre resultados matemticos adquiridos empricamente y su legitimacin como
teoremas. Contar colecciones infinitas (derrota del sentido comn).
Tema 4. Anlisis particulares de mediciones. Entropimetra, manometra y amperimetra. Anlisis
particulares de contrastaciones. La velocidad del sonido en el aire, de Newton a Laplace.
La determinacin de pesos moleculares y de frmulas de las sustancias: el debate acerca de la hiptesis
de Avogadro.
BIBLIOGRAFA
BIBLIOGRAFA FUNDAMENTAL:
Mostern, J. y Torretti, R. (2002) Diccionario de lgica y de filosofa de la ciencia, Madrid, Alianza.
Dez Calzada, J. A. (2002) Iniciacin a la lgica, Barcelona, Ariel.
Garrido, J. (1997) Verdad por definicin, revista Arbor (CSIC) n 619, pp. 147-166.
Garrido, J. (2003) Verdad matemtica. Introduccin a los fundamentos de la matemtica, Madrid,
Nivola.
Bunge, M. (1985) La investigacin cientfica. Su estrategia y su filosofa, Barcelona, Ariel.

Pgina 3

BIBLIOGRAFA COMPLEMENTARIA:
Garrido, J. (1992) Los cuatro tipos de verdad cientfica, revista Theora n 16-17-18, p.1183-1197.
Badesa, C. Jan, I, y Jansana, R. (1998) Elementos de lgica formal, Barcelona, Ariel.
Kneebone, G. T. (2001) Mathematical logic and the foundations of mathematics, Dover, New York.
Kline, M. (1985) Matemticas, la prdida de la certidumbre, siglo XXI, Madrid.
Bunge, M. (1978) Filosofa de la fsica, Ariel, Barcelona.
Garrido, J. (1992) Verdad como correspondencia con los hechos, revista Crtica n 71, pp. 35-52.
Garrido, J. (1997) The justification of measurement. Poznan Studies in the Phil. of the Sciences Vol.
61, pp. 89-105.
Garrido, J. (1994) Circularidades en la contrastacin experimental, revista Crtica n 78, pp. 3-26.
ENLACES RECOMENDADOS
Pagina digital del departamento de Filosofa 1 en internet
METODOLOGA DOCENTE
La asignatura se presenta sobre la base de temas y series de ejercicios proporcionados por el profesor. Su
metodologa docente incluye:
Clases presenciales tericas en las que se desarrollan y explican los conceptos bsicos
Clases presenciales prcticas en las que se resuelven ejercicios y se desarrollan ejemplos particulares,
potenciando la participacin del alumnado
Conferencias y otras actividades de inters para la materia
Tutoras para la resolucin de dudas en relacin a la materia terica y a sus aplicaciones y para
ayudar a profundizar en las cuestiones a los alumnos que manifiesten ms inters
La asistencia a las clases presenciales es importante pues, aunque se seguirn los temas citados, algunos
aspectos del programa se completarn con otras fuentes. Adems en el curso de las clases, en la medida en
que stas sean vivas, surgirn consideraciones complementarias a las marcadas por el temario. Debe constar
tambin que dada la relacin entre teora y prctica que hay en esta asignatura, ambos tipos de actividades
se intercalan a lo largo de las horas de clase.
PROGRAMA DE ACTIVIDADES
Actividades presenciales
(NOTA: Modificar segn la metodologa docente propuesta para la
asignatura)
Primer
cuatrimestre

Temas
del
temario

Sesiones
tericas
(horas)

Sesiones
prcticas
(horas)

Exposiciones
y seminarios
(horas)

Tutoras
colectivas
(horas)

Exmenes
(horas)

Etc.

Actividades no presenciales
(NOTA: Modificar segn la metodologa
docente propuesta para la asignatura)

Tutoras
individuales
(horas)

Estudio y
trabajo
individual
del
alumno
(horas)

Trabajo
en grupo
(horas)

Semana 1
Semana 2
Semana 3

Pgina 4

Etc.

Semana 4
Semana 5
Semana 6
Semana 7
Semana 8
Semana 9
Semana 10
Total horas

EVALUACIN (INSTRUMENTOS DE EVALUACIN, CRITERIOS DE EVALUACIN Y PORCENTAJE SOBRE LA CALIFICACIN FINAL, ETC.)
La evaluacin de las competencias adquiridas estar basada en los distintos tipos de actividades
programadas. La calificacin final responde a los siguientes criterios:

La participacin activa en clase: hasta el 10 por ciento de la calificacin final

Las tutoras y actividades relacionadas con las clases: hasta el 10 por ciento de la calificacin final
Dos exmenes parciales opcionales eliminatorios de materia (uno para los temas 1 y 2 y otro para los
temas 3 y 4, bloques que ocupan cada uno la mitad del desarrollo temporal de la asignatura). De este
modo, los alumnos que hayan decidido presentarse estarn limitados en el examen final a las partes
no superadas.
Examen final escrito: hasta el 90 por ciento de la calificacin final. En l se incluir:
Preguntas muy concretas sobre aspectos centrales del contenido terico del temario (35%)
Cuestiones terico- prcticas, que suponen aplicacin de contenidos tericos (30%)
Ejercicios o cuestiones directamente prcticas (35%)

Como es posible la evaluacin exclusiva a travs del examen, y al no ser la asistencia obligatoria, ningn
alumno tendr necesidad de acogerse a la Normativa de Evaluacin y Calificacin de los Estudiantes de la
Universidad de Granada en lo referente a la Evaluacin nica Final.
La calificacin del mdulo es la de esta nica materia que lo integra. La calificacin final de esta materia
se expresar en nmeros del 1 al 10, de conformidad con las normas establecidas por el Real Decreto
1125/2003 (BOE 18 septiembre 2003)
INFORMACIN ADICIONAL
Examen de febrero: Fecha y aula por determinar
Examen de septiembre: Fecha y aula por determinar

Pgina 5