History and Philosophy of Logic

Martínez Vidal, Concepción

Objetivos de la asignatura

Objetivos transversales
En general, situar la Historia y la Filosofía de la lógica en los itinerarios anteriormente indicados. Más concretamente:
1. Conseguir una visión panorámica e histórica del desarrollo de la lógica
2. Situar en un contexto analítico los problemas de la Filosofía de la Lógica.
3. Entender las relaciones entre la filosofía d ela lógica y otras disciplinas tales como la filosofía del lenguaje, la filosofía de la matemática, la epistemología.

Objetivos específicos
1. Obtener una visión de ciertos problemas filosóficos ligados al desarrollo de la lógica.
2. Capacitar al alumno para analizar textos filosóficos que presupongan cierto conocimiento de las herramientas lógicas.
3. Conocer el estado de la cuestión respecto de algunos de los problemas de los que se ocupa la filosofía de la lógica contemporánea.

Contenidos

HISTORIA DE LA LÓGICA

1. La filosofía de la lógica antes de Frege
2. La lógica de Frege: Conceptografía, la construcción del concepto de número.
3. Paradojas de la teoría de conjuntos y desarrollos lógicos alternativos: El intuicionismo: Brouwer y Heyting
4. Desarrollos formales posteriores a Frege: deducción natural. Lógica modal Lógicas alternativas.

FILOSOFIA DE LA LÓGICA

1. Teorías de la verdad: teorías correspondentistas; teoría semántica de la verdad de Tarski. teorías minimalistas y redundantistas.
2. La noción de consecuencia lógica. Introducción general. La noción de consecuencia lógica. La definición modelista. El problema de las constantes lógicas.
3. El problema de la justificación de la lógica. Presentación del problema. Abanico de respuestas. Análisis comparado de las mismas.

Bibliografía básica y complementaria

HISTORIA DE LA LÓGICA
Bochenski, I.M. Historia de la lógica formal, Gredos, Madrid, 1996
HaacK, S. Filosofía de las lógicas, Cátedra, Madrid, 1991
Kneale, W. y M. El desarrollo de la lógica. Tecnos, Madrid, 1972
Nidditch, P.H. El desarrollo de la lógica matemática (4ª ed.), Cátedra, Madrid, 1987
Pietroski, Paul, "Logical Form", The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.), URL = .
Prior, A. N. Historia de la lógica, Tecnos, Madrid, 1976
Zalta, Edward N., "Frege's Logic, Theorem, and Foundations for Arithmetic", The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), Edward N. Zalta (ed.), forthcoming URL = .

FILOSOFÍA DE LA LÓGICA

Manuales genéricos
Frápolli, M.J., 2007, Filosofía de la Lógica, Madrid: Técnos
Haack, S., 1978/1991, Filosofía de las lógicas, Madrid: Técnos. (Original: 1978, Philosophy of Logics, Cambridge: Cambridge University Press)
Jacquette, D. (ed) (2002), Philosophy of Logic. An Anthology, Great Britain: Blackwell Publishers Ltd.
Jacquette, D. (ed) (2007), Philosophy of Logic (Handbook of the Philosophy of Science), Amsterdam:North Holland.
Quine, W.O.-(1970/1986), Philosophy of Logic, Massachusetts: Harvard University Press. (Versión española: FIlosofía de la lógica)
Putnam, H. (1971/1972), Philosophy of Logic, New York: Harper and Row, 1971. London: George Allen and Unwin, 1972.
Read, S. (1995), Thinking about Logic, Oxford: Oxford University Press.
Shapiro, S. (ed) (2005), The Oxford Handbook of Philosophy of Mathematics and Logic, USA: Oxford University Press.

1. Teorías de la verdad.
Blackburn, S., 1985, Spreading the Word, Oxford: OUP, ch 7
Manuel García-Carpintero and Max Kölbel (eds.), 2008, Relative Truth, Oxford University Press, 314pp.
Devlin, K.,1991, Logic and Information, Cambridge: Cambridge Univ. Press.
Field, H.,1986, “A Deflationary Conception of Truth” in Macdonald and Wright (eds), Fact, Science and Morality,Osford: Blackwell.
Grover, D., 1992, A Prosentential Theory of Truth, Princeton: Princeton University Press.
Kirkham, R.L., 1992, Theories of Truth, USA: Bradford Books.
Kripke, S., 1975, “Outline of a Theory of Truth”, Journal of Philosophy, 72/19, 690-715. Traducido como “Esbozo de una teoría de la verdad” y publicado en Nicolás y Frapolli (eds) Teorías de la verdad en el sXX, Técnos:Madrid 109-143.
Glanzberg, Michael, "Truth", The Stanford Encyclopedia of Philosophy (Spring 2009 Edition), Edward N. Zalta (ed.), URL = .
Moore, G.E., 1953, “Some Main Problems of Philosophy” in Lewis, H.,D (ed), George Allen & Unwin: London.
O’Connor, D.J.,1975, The Correspondence Theory of Truth, London: Hutchinson.
Ramsey, F.P., 1931, The Foundations of Mathematics and Other Essays, Braithwaite (ed), London: Routledge and Kegan Paul.
Russell, B., 1956, “The Philosophy of Logical Atomism” in Marsh R.C. (ed), Logic and Knowledge London: Allen & Unwin.
Tarski, A., [1944],"The semantic conception of truth and the foundations of semantics", Philosophy and Phenomenological Research, 4, pp.341-376. (Versión castellana en M. Burge (Comp.), Antología semántica, Buenos Aires, Nueva Visión, 1960, III-57 y en Valdés, L., 1991, “La concepción semántica de la verdad”, La Búsqueda del significado, Técnos: Madrid, 275-313; Nicolás y Frapolli (eds) Teorías de la verdad en el sXX, Técnos:Madrid 65-108.
Urmson, J., 1956, Philosophical Analysis, Oxford: Clarendon Press.
Williams, C. J. F.,1976, “What is Truth?”, Cambridge: Cambridge University Press.
Wittgenstein, L., Tractatus Logico-Philosophicus
Wright, C., 1992,Truth and Objectivity, Cambridge, Mass.: Cambridge University Press.

2. La noción de consecuencia lógica.
Beall, JC and Greg Restall, "Logical Consequence", The Stanford Encyclopedia of Philosophy (Winter 2005 Edition), Edward N. Zalta (ed.), URL = .
Etchemendy, J. (1988), “Tarski on Truth and Logical Consequence”, Journal of Symbolic Logic, vol. 53, pp. 51-79.
Etchemendy, John, 1990, The Concept of Logical Consequence, Cambridge, MA: Harvard University Press.
Gómez Torrente, M., 2007 en Frápolli, M.J. (ed) Filosofía de la lógica, Técnos: Madrid
MacFarlane, John, "Logical Constants", The Stanford Encyclopedia of Philosophy (Spring 2009 Edition), Edward N. Zalta (ed.), URL = .
Sagüillo, José M., 2007, en Frápolli, M.J. (ed) Filosofía de la lógica, Técnos: Madrid.
Tarski, A., 1936, “On the concept of logical consequence”, in Logic, Semantics, Metamathematics, Hackett Pu.Co. : Indianapolis, 1983. (2nd de. Edited with an introduction by J. Corcoran

3. El problema de la justificación de la lógica.
Boghossian, P., 1996, “Analyticity Reconsidered”, Nous, Vol. 30, No.3, pp. 360-391.
Boghossian, P. & Peacocke, C. (Eds.), 2000, New Essays on the A Priori, Clarendon Press: Oxford.
Dummett, M., 1976, “Is Logic Empirical?”, in Truth and Other Enigmas, Duckworth London; and Cambridge MA: Harvard University Press, 1978.
Martínez Vidal, C., 2007, en en Frápolli, M.J. (ed) Filosofía de la lógica, Técnos: Madrid. Putnam, H., 1968, “Is Logic Empirical?” Boston Studies in the Philosophy of Science, vol. 5, eds. Robert S. Cohen and Marx W. Wartofsky (Dordrecht: D. Reidel, 1968), pp. 216-241. Repr. as “The Logic of Quantum Mechanics” in Mathematics, Matter and Method (1975), pp. 174-197.
Quine, W.O., 1951, “Two Dogmas of Empiricism”, Philosophical Review, 60, pp.20-43. (También en Quine 1953b). Versión en español en Valdés Villanueva, L., 1995, La búsqueda del Significado, Tecnos: Madrid.
Sher, G., 2002, “Logical Consequence: An Epistemic Outlook", The Monist, 85, pp. 555-79.
Vilanova, J., 2005, “Boghossian y la teoría de las definiciones implícitas del conocimiento lógico", Contrastes.

Competencias

Capacidades metodológicas
1) Ser capaz de tomar decisiones de manera razonada.
2) Tener capacidad de análisis y síntesis
3) Ser capaz de manejar bibliografía relevante
4) Ser capaz de crear documentaciones legibles, completas, técnicamente
correctas.

Destrezas tecnológicas
Habilidades básicas de uso de Internet y del resto de servicios de red para la obtención y manejo de la información relacionada con la asignatura.

Destrezas lingüísticas
Adquirir y utilizar con fluidez un buen lenguaje científico, tanto oral como escrito, siendo rigurosos en las explicaciones, tanto orales como escritas.

Competencias interpersonales
Las competencias interpersonales se dividen en competencias para las tareas en grupo y las relativas al compromiso con el trabajo.

Metodología de la enseñanza

Tipos de materiales y actividades

-Contenidos teóricos: se impartirán en las 10 horas presenciales. Se colgarán las presentaciones correspondientes, así como las referencias y artículos a leer en la plataforma virtual del posgrado ( Véanse Recursos).
-Contenidos prácticos: Cuestionarios elaborados en la plataforma.
-Actividades guiadas: Lectura y comentario de textos.
-Tutorías virtuales: Seguimiento del aprendizaje de los alumnos mediante el skype,
foros, encuestas y correo electrónico.

Estrategia docente:
Se trabajará al menos un texto clave relativo a cada uno de los temas. Se proporcionará a los alumnos una guía de lectura que les facilite la tarea de aprehender lo defendido por cada autor así como la identificación de las dificultades que al autor se pueden plantear. El propósito de estas guías es el de facilitar el seguimiento de la parte teórica no presencial. El propósito último es el de facilitar la elaboración, por parte del alumno, de un breve artículo.

Sistema de evaluación

Resolución de tareas que se colgarán on-line: 60 % de la nota final.
Trabajo de investigación a elegir entre un listado de trabajos proporcionado por la profesora. Las lecturas mínimas a realizar serán establecidas por la profesora: 40% de la nota final.

La evaluación de tareas encomendadas se hará conforme a los siguientes criterios:
estructuración de los contenidos;
claridad de los contenidos;
originalidad.

Tiempo de estudio y trabajo personal
Total de horas de trabajo del alumno: 125h.
10 horas de clase presencial.
Total seguimiento parte teórica: 75h.
Horas de trabajo personal del alumno: 45 de teoría; 30 realización trabajo; 10 otras actividades (búsqueda bibliográfica y tutorías)

Recomendaciones para el estudio de la asignatura
Se recomienda responder a guías y tareas en los plazos que oportunamente se indicarán en la plataforma virtual.

Es necesario asistir a las clases presenciales.

Observaciones
Recursos:
Contamos con la página web del posgrado en la dirección http://epimenides.usal.es/

Contamos con una plataforma docente: http://epimenides.usal.es/moodle/

Prerrequisitos:

LÓGICA DE PRIMER ORDEN.

Lectura fluida de textos en inglés.