Filosofía de la lógica

Objetivos: El estudiante conocerá y comprenderá los problemas filosóficos relacionados con la lógica formal.  Este es un curso para los alumnos que tienen dudas e inquietudes filosóficas sobre la inferencia y sus estudio sistemático.  Tendrán la oportunidad de estudiar sobre qué cosas habla el cálculo de primer orden, qué distingue a lo que es lógica de lo que no lo es, qué es una prueba lógica, que es la necesidad lógica, así como cuál es el lugar de la lógica entre las otras disciplinas.  Fundamentalmente, podrá cuestionarse sobre la relación entre lógica, mundo, lenguaje y pensamiento.  Aquí el énfasis no es la aplicación sino el comprender los objetivos y la naturaleza de la lógica.

I. Portadores de verdad:
 A. Oraciones tipo
 B. Oraciones caso
 C. Proposiciones
 D. Afirmaciones
II. Forma lógica y constantes lógicas
 A. Verdad lógica
 B. Matriz lógica
  1. Substitución
  2. Interpretación
 C. Constante lógica
  1. Conectivas en lenguajes formales y naturales
  2. Implicación material e implicación estricta
 D. "x es y"
  1. Predicación
  2. Caer bajo un concepto
  3. Inclusión en otra clase o categoría
  4. Identidad
  5. Pertenencia a una clase
 E. Significado de los cuantificadores
  1. Interpretaciones objetual y sustitucional
  2. La existencia como predicado
  3. Presuposición de existencia
  4. Dominios y términos vacíos
 F.  Identidad
 G.  Prueba lógica:
  1. Axiomas
  2. Teoremas
  3. Reglas de derivación
III. Validez
 A.  Del razonamiento
 B.  Como conexión condicional
  1. Tipos de condicionales (subjuntivos, probabilísticos, etc.)
 C. Como posesión de una forma válida
 D.  Inferencias no deductivas
IV. Posición de la lógica entre las otras disciplinas.
 A.¿Es la lógica una disciplina filosófica?
 B.¿Es la lógica una rama de las matemáticas?
 C.¿Es la lógica una ciencia?
V. ¿Dónde está la lógica?
 A. En estructuras matemáticas
 B. En el mundo
  1. Lógica y modelos de la realidad
  2. Isomorfismos
  3. Verdad formal y verdad empírica
 C. En el lenguaje
  1. Verdad en virtud del significado
  2.  Analiticidad y aprioricidad
 D. En el pensamiento
  1. Lógica y psicología
  2. Lógica operatoria
VI. Revisabilidad de la lógica
 A. ¿Qué significa la proliferación de sistemas lógicos?
 B. Pragmatismo
 C. ¿Puede la lógica clásica tener rivales? Quine, Priest y Haack sobre el cambio de significado
 D. Los campos de aplicación de cada sistema

Bibliografía básica:
Copi, Irving M. y James A. Gould (eds.). Contemporary philosophical logic. St. Martin, 1978.
Grayling, A. C. An introduction to philosophical logic. The Harvester Press/Barnes & Noble, 1982.
Haack, Susan.  Philosophy of logics.  Cambridge U. Press, 1978.
Hughes, R. I. G. (ed.).  A philosophical companion to first-order logic.  Hackett, 1993.
Lambert, Karel (ed.).  Philosophical Problems in Logic: Some Recent Developments.  Humanities Press, 1970.
Morado, Raymundo. "La rivalidad en lógica".  Dianoia, 1984, pp. 237-249.
Quine, Willard van Orman.  Philosophy of Logic. Prentice-Hall, 1970.
Orayen, Raúl.  Lógica, Significado y Ontología.  UNAM, 1989.
Sainsbury, Mark.  Logical Forms: An Introduction to Philosophical Logic.  Basil Blackwell, Oxford, 1991.
Strawson, P. F. (ed.).  Philosophical logic.  Oxford U. Press, 1967.
Wolfram, Sybil. Philosophical Logic: An introduction. Routledge, 1989.
 
Bibliografía complementaria:
Angelelli, Ignacio.  (1980) "Traditional vs.  Modern Logic: Predication Theory".  Crítica, vol XII, no.  34, pp.  103-106.
Banerjee K. K. (ed.)  Logical Form, Predication and Ontology. Atlantic Highlands Humanities Pr.,  1983.
Berestovoy, Susana.  (1980) "Sobre sistemas formales no clásicos".  Crítica, vol XII, no.  34, pp.  73-86.
Beuchot, Mauricio. Implicación, falacia y argumento. Universidad de Guadalajara, 1997.
Brenner William H. Logic and Philosophy: An Integrated Introduction. Univ. Notre Dame Pr.,   Notre Dame,  1993.
da Costa, Newton C. A.    Ensaio sobre os fundamentos da logica.  Editora Hucitec, Universidade de São Paulo, 1980.
Davis, J. W.; Hockney, D. J.; Wilson, W. K. (eds). Philosophical Logic. NY Humanities Press,   1970.
Dummett, Michael. The Logical Basis of Metaphysics. Cambridge Harvard Univ Pr.,   1991.
Etchemendy, John. The Concept of Logical Consequence. Cambridge Harvard Univ Pr.,   1990.
Floistad, G. (ed.). Contemporary Philosophy, V1: Philosophy of Language, Philosophical Logic. The Hague Nijhoff, 1981.
Haack, Susan.  Deviant Logic.  Cambridge U.  P., 1974. (Traducción en Ed.  Paraninfo.)
Hacking, Ian. "What Is Logic?" J. Phil,   76,285-319, 1979.
Herrick, Paul. The Many Worlds of Logic: A Philosophical Introduction.  Harcourt Brace, 1994.
Hintikka, Jaakko; Hintikka, Merrill.  The Logic of Epistemology & the Epistemology of Logic: Selected Essays. Dordrecht Kluwer,   1989.
Jeffrey, Richard Carl. Formal logic: It's Scope and Limits. NY McGraw-Hill,   1967.
Luntley, Michael.  Language, Logic and Experience: The Case for Anti-realism.   La Salle Open Court,   1988.
Lycan, William G.  Logical Form in Natural Language. Cambridge MIT Press,   1985.
Plantinga, Alvin.  The Nature of Necessity. New York Clarendon/Oxford Pr.,   1989.
van Heijenoort, Jan,  et al.  Hacia una explicación de las entidades lógicas.  UNAM, 1984.
Peacocke, Christopher. "What is a Logical Constant?"  J. Phil,   73, 221-240, 1976.
Peña, Lorenzo.Introducción a las lógicas no clásicas.  UNAM 1993.
Simonds, Roger. Beginning Philosophical Logic. Washington D.C., Univ. Press of America,   1978.
Thomason, Richmond H. (ed.) Philosophical Logic and Artificial Intelligence. Norwell Kluwer,   1989.
Wang, Hao. "What is Logic?" Monist,   77(3), 261-277,  1994.

Regresar a la página del TDL

Regresar a la página de Raymundo

Regresar a la página del IIF