Extensiones de la lógica clásica

Objetivos del curso: Conocer las lógicas del siglo XX que complementan a la clásica.

Contenidos del programa:

I. Lógicas Polivalentes
II. Lógicas Modales
III. Lógicas de contrafácticos
IV. Lógicas Deónticas
V. Lógicas Epistémicas
VI. Lógicas Temporales
VII.Lógicas de conjuntos borrosos
VIII. Lógicas de orden superior
IX. Lógicas infinitarias

BIBLIOGRAFÍA BÁSICA

I.  Lógicas Polivalentes
Berestovoy, Susana.  (1980) "Sobre sistemas formales no clásicos".  Crítica, vol XII, no.  34, pp.  73-86. [También menciona lógicas intuicionistas, difusas, paraconsistentes y relevantes.]
Lukasiewics, Jan. (1920) ``I. On the Notion of Possibility. II. On Three-Valued Logic'', en Storrs McCall  (Comp.) (1967),  Polish Logic. 1920-1939, Oxford U. P., Gran Bretaña, pp. 40-65.
  (1930) ``Philosophical Remarks on Many-Valued Systems of Propositional Logic'', en McCall (1967), pp. 15-18.
 (1961) ``On Determinism'', en McCall (1967), pp. 19-39.
Putnam, Hilary.  (1957) ``Three-Valued Logic'',  Philosophical Studies, vol. VIII, No. 5, octubre, pp. 73-80.
Rescher, Nicholas.  (1955) ``Some Comments in Two-Valued Logic'', Philosophical Studies, vol. VI, No. 4, junio, pp. 54-58.
Rescher, Nicholas.  (1969) Many-Valued Logic.  Nueva York: McGraw-Hill.
Rosser, J.  Barkley, Atwell R.  Turquette.  (1952) Many-Valued Logics.  Amsterdam: North-Holland.

II. Lógicas Modales
Chellas, Brian F., Modal Logic, London, Cambridge University Press, 1980.
Corcoran, John.  "Meanings of Implication".  Diálogos 25, 1973, pp. 59-76.
Hughes, George E. y Cresswell, M. J. Introducción a la lógica modal. Madrid, Tecnos, 1973.   Original: (1972)  An Introduction to Modal Logic, Methuen, Londres. (Primera edición 1968).
Hughes, George Edward, A companion to Modal Logics, London, Methuen, 1984.
 Lewis, C. I. y Langford, C. H.: (1959)  Symbolic Logic, Dover, Nueva York, ) Primera ed. 1932.
Morado, Raymundo y Beuchot, Mauricio.  "Las paradojas de la implicación material y de la implicación estricta en el siglo XX".  Analogía, vol. 3, no. 1, 1989, pp. 63-74.
Orayen, Raúl.  "Lógica Modal".  Enciclopedia Iberoamericana de Filosofía, vol. 7, Editorial Trotta, pp. 289-322.
Palau, Gladys.  (1983) ``Ontología de mundos posibles y contrafácticos'',  Análisis Filosófico, vol. III, No. 1, mayo, pp. 29-40.
Scott, D.: (1970) ``Advice on Modal Logic'', en Karel Lambert (1970), Philosophical Problems in Logic: Some Recent Developments, Holanda: D.  Reidel, pp. 143-173.

III. Lógicas de contrafácticos
Lewis, David:  (1973) Counterfactuals.  Harvard U. Press.

IV. Lógicas Deónticas
von Wright, G. H. (1951) An Essay in Modal Logic.  Amsterdam.
 (1963) Norm and Action.  Londres.

V. Lógicas Epistémicas
Hintikka, Jaako. (1989) The Logic of Epistemology and the Epistemology of Logic.  Kluwer, Dordrecht.

VI. Lógicas temporales
Prior, Arthur: (1967) Past, Present and Future.  Oxford University Press.

VII. Lógicas de conjuntos borrosos
Russell, Bertrand.  (1923) ``Vagueness'',  Australasian Journal of Psychology and Phil., vol. I, No. 2, junio, pp. 84-92.
Zadeh, Lofti: (1965) "Fuzzy Sets".  Information and Control. 8, 338-353

VIII. Lógicas de orden superior
Corcoran, J.  (1980) Categoricity, History and Philosophy of Logic, 1, pp.  187-207.
van Benthem, J., Doets, K.  (1983) "Higher Order Logic", Handbook of Philosophical Logic, I, editado por D. Gabbay y F.  Guenthner, pp. 275-330.

IX. Lógicas infinitarias
Hailperin, Theodore.  (1988) "Infinite Truth-Functional Logic".  Notre Dame Journal of Formal Logic, vol.  29, no.  1, pp.  28-33.

Regresar a la página del TDL

Regresar a la página de Raymundo

Regresar a la página del IIF