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.