Contenidos del programa:
I. Preliminares
II. Lógicas intuicionistas
III. Lógicas cuánticas
IV. Lógicas libres
V. Lógicas paraconsistentes
VI. Lógicas relevantes
VII. Lógicas no-monotónicas
VIII. Lógicas lineales.
BIBLIOGRAFÍA BÁSICA
I. Preliminares
Haack, Susan. (1974) Deviant Logic. Cambridge U.
P. (Traducción en Ed. Paraninfo.)
Peña, Lorenzo. (1933) Introducción a las lógicas
no clásicas. UNAM.
Rautenberg, Wolfgang. (1979) Klassische und nichtklassische Aussagenlogik.
Wiesbaden: Vieweg & Sohn.
II. Lógicas intuicionistas
Brouwer, Luitzen Egbertus Jan. (1908) "De onbetrouwbaarheid der
logische principes", Tijdschrift voor wijsbegeerte 2, 152-158.
Heyting, Arend. (1956) Intuitionism: An Introduction. North-Holland,
Amsterdam.
III. Lógicas cuánticas
Hughes, R. I. G. (1981) ``Quantum Logic'', Scientific American,
octubre.
Jauch, Josef Maria. (1968) Foundations of Quantum Mechanics,
Addison Weley.
IV. Lógicas libres
Baldwin, Thomas. (1928) ``Sets Whose Members Might Not Exist'',
Analysis, vol. XLII, enero, pp. 133-138.
Bergmann, M. (1981) ``Presupposition and Two-Dimensional Logic'',
Journal of Philosophical Logic, vol. X, No. 1, febrero, pp. 27-53.
Bencivenga, Ermanno. (1980) ``Free semantics for definite descriptions'',
Logique et Analyse (NS), Año XXIII, diciembre, pp. 391-405.
Herrera, Alejandro. (1976) ¿Es la Existencia un Predicado
Lógico?, UNAM, México.
Kahn, Charles H. (1973) ``On The Theory Of The Verb `To Be''',
en Milton K. Munitz (1973), Logic and Ontology, New York University Press,
pp. 1-20.
Lambert, Karel. (1969) The Logical Way of Doing Things,
(Ed.), Yale U. P., New Haven.
(1980) ``On The Philosophical Foundations of Free Logic'',
Inquiry, vol. XXIV, No. 2, junio, pp. 147-203.
Leonard, Henry S. (1956) ``The Logic of Existence'', Philosophical
Studies, vol. VII, No. 4, junio, pp. 49-64.
Quine, Willard van Orman. (1954) ``Quantification and the empty
domain'', Journal of Symbolic Logic, vol. XIX, No. 3, septiembre, pp. 177-179.
Rescher, Nicholas. (1957) ``Definitions of `Existence''', Philosophical
Studies, vol. VIII, No. 5, octubre, pp. 65-69.
Schock, Rolf. (1968) Logics Without Existence Assumptions,
Almquist & Wiksell, Estocolmo.
Stenlund, Soeren. (1973) The Logic of Description and Existence,
Uppsala Universitet, Uppsala, Suecia.
Usberti, G. (1981) ``Problema dell'esistenza e filosofia della
logica'', Revista di Filosofia, vol. LXXII, No. 1, febrero, pp. 159-164.
van Fraassen, Bas C. (1966) ``Singular Terms, Truth-Value Gaps,
and Free Logic'', The Journal of Philosophy, vol. LXIII, No. 17,
septiembre 15, pp. 481-495.
(1968) ``Presupposition, Implication, and Self-Reference'',
The Journal of Philosophy, vol. LXV, No. 5, marzo 7, pp. 136-152.
(1969) ``Presuppositions, Supervaluations, and Free Logic'',
en Lambert (1969), pp. 67-91.
Woodruff, Peter W. (1970) ``Logic and Truth Value Gaps'', en
Karel Lambert (1970), Philosophical Problems in Logic: Some Recent Developments,
Holanda: D. Reidel, pp. 121-142.
V. Lógicas paraconsistentes
da Costa, Newton C. A. (1974) ``On the theory of inconsistent formal
systems'', Notre Dame Journal of Formal Logic, vol. XV. No. 4, octubre,
pp. 497-510.
(1982) ``The Philosophical Import of Paraconsistent Logic'',
The Journal of Non-Classical Logic, vol. I, no. 1, pp. 1-19.
da Costa, N. y Alves, E. H. (1977) ``A semantical analysis of the Calculi
C_n'', Notre Dame Journal of Formal Logic, vol. XVIII, No. 4, octubre,
pp. 621-630.
da Costa, N. y Wolf, Robert G. (1980) ``Studies in paraconsistent
logic I: The Dialectical Principle of the Unity of Opposites'', Philosophia,
vol. IX, No. 2, julio, pp. 189-217.
Lehrer, Keith. (1973) ``Relevant Deduction and Minimally Inconsistent
Sets'', Philosophia, vol. III, Nos. 2-3, abril-julio, pp. 153-165.
Marconi, Diego (1981) ``Types of Non-Scotian Logic'', Logique
et Analyse (NS), año XXIV, No. 95-96, sep-dic., pp. 407-414.
Miró Quesada, Francisco (1980) ``Del Contraejemplo'',
Diánoia, año XXVI, no. 26, pp. 43-56.
(1982) ``La Filosofía de la Lógica de N. C. A.
da Costa', Crítica, México, vol. XIV, No. 42, diciembre,
pp. 65-85.
Munevar, Gonzalo (1982) ``Allowing Contradictions in Science'', Metaphilosophy,
vol. XIII, no. 1, enero, pp. 75-78.
Peña, Lorenzo (1982) ``Critical Study of da Costa's Foundations
of Logic'', Logique et Analyse, 25e Année, No. 100,
diciembre, pp. 448-466.
VI. Lógicas relevantes
Ackermann, Wilhelm (1956) ``Begründung einer Strenger Implikation'',
The Journal of Symbolic Logic, vol. XXI, No. 2, junio, pp. 113-128.
(1980) Fundamentación de una implicación fuerte,
Comunicación Interna, No. 6. Departamento de Matemáticas
de la Facultad de Ciencias de la UNAM, México.
Anderson, Alan Ross y Belnap, Nuel D. Jr. (1959) ``A Simple Treatment
of Truth Functions'', The Journal of Symbolic Logic, vol. XXIV, pp. 301-2.
(1975) Entailment: The Logic of Relevance and Necessity,
vol. I, Princeton University Press, Princeton.
Anderson, Alan Ross, Belnap, Nuel D. Jr. y Dunn, J. Michael (1992)
Entailment: The Logic of Relevance and Necessity, vol. II, Princeton
University Press, Princeton.
Beuchot, Mauricio (1981) ``Notas históricas sobre la paradoja
de la implicación material'', Diánoia, año XXVII,
No. 27, pp. 264-274.
Burgess, John P. (1981) ``Relevance: A Fallacy?'', Notre Dame
Journal of Formal Logic, vol. XXII, No. 2, pp. 97-104.
Copeland, B. J. (1979) ``On when a Semantics is not a Semantics: Some
Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic'',
Journal of Philosophical Logic, vol. VIII, no.4, noviembre, pp. 399-413.
Dunn, Michael (1986) ``Relevance Logic and Entailment'' en Handbook
of Philosophical Logic, vol. III, editado por D. Gabbay y F.
Guenthner, Dordrecht: D. Reidel, pp. 117-124.
Morado, Raymundo (1983) `` Deducibility Entails Relevance? A
Cautious Answer'', Crítica, vol. XV, No. 45, pp.
105-108.
(1988) ``El problema de la relevancia en la lógica clásica'',
Cuarto Simposio Internacional de Filosofía, vol. I, UNAM, México,
pp. 109-120.
Orayen, Raúl (1983) `` Deducibility implies relevance? A Negative
Answer I'', Crítica, vol. XV, No. 43.
(1983) `` Deducibility implies relevance? A negative answer
II'', Crítica, vol. XV, No. 44.
(1983) ``On Kinds of Relevance (Reply to Raymundo Morado)'',
Crítica.
(1988) ``¿Son coherentes las intuiciones básicas
de la lógica relevante?''. Cuarto Simposio Internacional de
Filosofía, vol. I, UNAM, México.
Priest, Graham (1975) ``Review of Deviant Logic'', The
Philosophical Quarterly, vol. XXV, No. 101, octubre, pp. 371-373.
(1980) ``Sense, Entailment and Modus Ponens'', Journal
of Philosophical Logic, vol. IX, No. 3, agosto, pp. 415-435.
Routley, Richard, Meyer, R. K., Plumwood, V. y Brady, R. T. (1982)
Relevant Logics and Their Rivals; Part I: The Basic Philosophical and Semantical
Theory, Ridgeview, Ohio.
Routley, Richard (1984) ``Relevantism, Material Detachment, and
The Disjunctive Syllogism Argument'', Canadian Journal of Philosophy,
vol. XIV, No. 2, junio, pp. 167-188.
Routley, Richard, Routley V., Meyer, R. K. y Martin, E. P. (1982) ``On
the Philosophical Bases of Relevant Logic Semantics'', The Journal
of Non-Classical Logic, vol. I, No. 1, pp. 71-105.
Sánchez Pozos, Javier. (1978) Semanticheskoc soderzhanie
viskazivaniy I problema Sledovania, Autoreferat, MGU. M.
(1978) Deducción lógica, contenido semántico
y formas normales relevantes, Comunicación interna, No. 60,
Departamento de Matemáticas, Facultad de Ciencias, UNAM, México.
(1979) ``Intuitive Semantics'', VI International Congress of
Logic, Methodology and Philosophy of Science, Hannover. Abstracts, Sections
5 and 7, pp. 153-157.
(1980) Semánticas Intuitivas. Reporte de Investigación
18, UAM, DCSyH, México.
Schutz, Alfred. (1970) Reflections on the Problem of Relevance,
Yale University Press, Estados Unidos.
Voishvillo. (1976) Semanticheskaia informatsia-Poniatiya ekstentsional'
noy i intentsionalnoy informatsiy V sbornike ``Kibernetika i sovremenoe
nauchnoc poznanic, Moscú.
Wolf, Robert G. (1978) ``Are Relevant Logics Deviant?'',
Philosophia, (Israel), vol. 7, No. 2, junio, pp. 327-340.
VII. Lógicas no-monotónicas.
Besnard, Philippe, 1989, An Introduction to Default Logic. Springer
Verlag, Alemania. (Especialmente pp. 1-5 y 31-36.)
Besnard, Philippe, Brewka, Gerhard, Froidevaux, Ch., Gregoire, E.,
Siegel, P., 1991, "Nonmonotonicity", Journal of Applied Non-Classical Logics,
vol. 1, no. 2, pp. 267-310.
Brewka, Gerhard, 1989, ``Nonmonotonic logics--a brief overview''. AI
Communications, vol. 2, no. 2, pp. 88--97.
(1991). Nonmonotonic Reasoning: Logical Foundations of
Commonsense. Cambridge Tracts in Theoretical Computer Science 12. Cambridge
University Press, New York, NY. (Especialmente pp. 1-19, y 144-154.)
Brewka, Gerhard, Dix, Jürgen, Konolige, Kurt, 1991, ``A
tutorial on nonmonotonic reasoning''. En Nonmonotonic and Inductive Logic:
Second International Workshop. Reinhardsbrunn Castle, Germany, December
2-6, 1991. Gerhard Brewka, Klaus P. Jantke y Peter H. Schmitt (eds.). Berlin,
New York, Springer-Verlag, Lecture notes in computer science, 659, Lecture
notes in artificial intelligence. 1993, pp. 1--88.
Casaban, Enric. "Lógica y razonamiento no monotónicos".
Quaderns de Filosofía de la Ciencia, vol. 15-16, pp.
19-25.
Donini, F. M., Lenzerini, M. Nardi, D., Pirri, F., Schaerf, m., 1990,
``Nonmonotonic Reasoning''. The Artificial Intelligence Review, vol.
4, no. 3, p. 163.
Etherington, David W., 1988, Reasoning With Incomplete Information.
Morgan Kaufmann Publishers, Londres. (Especialmente pp. 1-73
y 157-163.)
Fariñas Del Cerro, Luis, Frías Delgado, Antonio.
"Razonamiento no monótono: Un breve panorama", Theoría, S.
E., vol. X, no. 23, 1995, pp. 7-26.
Geffner, Hector Alberto, 1992, Default Reasoning: Causal And
Conditional Theories. MIT Press. (Especialmente pp. 1-22.)
Ginsberg, Matthew L., 1987, Readings in Nonmonotonic Reasoning, Morgan
Kaufmann Publishers, Los Altos, California.
ukascewicz, Witold, 1985, Non-Monotonic Reasoning: Formalization
of Commonsense Reasoning. Ellis Horwood, Chichester, West Sussex, Inglaterra.
(Especialmente pp. 77-88.)
Marek, V. Wiktor, Truszczynski, Miroslaw, 1993. Nonmonotonic
Logic: Context-Dependent Reasoning. Berlin: Springer-Verlag.
McCarthy, John, 1995. CS323: Nonmonotonic Reasoning. Disponible
por FTP en www-formal.stanford.edu/jmc/.
Minker, Jack, 1993, ``An overview of nonmonotonic reasoning and
logic programming''. Por FTP en ftp.cs.umd.edu:pub/prism/lpnmr.overview.jlp.ps.
También en The Journal of Logic Programming, vol. 17, no. 2/3/4,
p. 95 y como Technical Report UMIACS-TR-91-112, CS-TR-2736, University
of Maryland at College Park, College Park, MD, 1991.
Perlis, Donald, 1987, ``Reasoning, nonmonotonic''. En SHAPIRO,
Stuart C. (ed.), 1987, Encyclopedia of Artificial Intelligence.
Wiley, New York, pp. 848--853.
San Miguel, Alfonso. "Lógicas no-monótonas".
Manuscrito.
Sombé, Léa, 1990, Reasoning Under Incomplete Information
in Artificial Intelligence: A Comparison of Formalisms Using a Single Example.
Phillipe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas
del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind
y Pierre Siegel. Special Issue of the International Journal of Intelligent
Systems, vol. 5, no. 4, pp. 323--472.
VIII.Lógicas lineales
Girard, J-Y. (1987) "Linear Logic". Theoretical Computer Science
50, 1-102.
Troelstra, Anne Sjerp. (1991) Lectures in Linear Logic. CSLI,
California.