BIBLIOGRAFIA BASICA
Barker, Stephen. Elementos de lógica. México: McGraw-Hill, 1990, p. 1-25.
Copi, Irving M. y Cohen, Carl. Introducción a la lógica. México: LIMUSA, 1998, p. 17-92, y 169-206.
Parry, William T. y Hacker, Edwards A. Aristotelian logic. New York: SUNY, 1991, p. 3-142.
Gensler, Harry J. Introduction to Logic. London: Routledge, 2002, p. 1-6.
Hedman, Shawn. A Fisrt Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford: Oxford University Press, 2004.
BIBLIOGRAFIA COMPLEMENTARIA
Agazzi, Evandro. La lógica simbólica. Barcelona: Editorial Herder, 1986, p. 23-71.
Black, Max. Critical Thinking. An Introduction to Logic and Scientific Method. Englewood Cliffs: Prentice-Hall, 1952, p. 3-53.
Cohen, Morris R. Introducción a la lógica. México: FCE, 1973, p. 13-108.
Cohen, Morris y Nagel, Ernest. Introducción a la lógica y al método científico. Buenos Aires: Amorrortu, 1983, TI: p. 13-37 y T II: p. 423.
Ibarra Barrón, Carlos. Elementos fundamentales de lógica. México: Editorial Alhambra, 196, p. 45-133.
Larroyo, Francisco. La lógica de las ciencias. México: Editorial Porrúa, 1985, p. 121-203.
Orayen, Raúl. Lógica, significado y ontología. México: UNAM, 1989, p. 15-95.
Patzig, Günther. Linguaggio e logica. Torino: Editore Boringhieri, 1973, p. 17-87.
Pérez, Leonor y Soto, Herminia. Lógica. México: Editorial Trillas, 1987, p. 15-59.
Strawson, P. F. Introducción a una teoría de la lógica. Buenos Aires: Editorial Nova, 1969, p. 1-30.
Virieux-Reymond, Antoinette. La logique formelle. Paris: PUF, 1967, p. 3-30. [Hay trad. esp.: Virieux, Reymond, A. La lógica formal. Buenos Aires: El Ateneo, 1976, p. 13-37].
Wolfram, Sybil. Philosophical Logic. An introduction. London: Routledge and Kegan Paul, 1990, p. 1-72.
UNIDAD 2: LA LOGICA DE LAS PROPOSICIONES CATEGORICAS.
BIBLIOGRAFÍA BASICA
Barker, Stephen. Elementos de lógica. México: MacGraw-Hill, 1990, p. 26-68.
Copi, Irving M. y Cohen, Carl. Introducción a la lógica. México: LIMUSA, 1998, p. 209-319.
Parry, William T. y Hacker, Edwards A. Aristotelian logic. New York: SUNY, 1991, p. 145-328.
Gensler, Harry J. Introduction to Logic. London: Routledge, 2002, p. 7-34.
Hedman, Shawn. A Fisrt Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford: Oxford University Press, 2004.
BIBLIOGRAFIA COMPLEMENTARIA
Black, Max. Critical Thinking. An Introduction to Logic and Scientific Method. Englewood Cliffs: Prentice-Hall, 1952, p.114-158.
Boole, George. El análisis matemático de la lógica. Madrid: Ediciones Cátedra, 1984, p. 53-99.
Capaldi, Nicholas. Cómo ganar una discusión. Para defender una causa, reconocer una falacia, descubrir un engaño, persuadir a un escéptico, convertir la derrota en victoria. Barcelona: Editorial Gedisa, 1990, p. 17-100.
Cohen, Morris y Nagel, Ernest. Introducción a la lógica y al método científico. Buenos Aires: Amorrortu, 1983, p. 41-132.
Copi, Irving M. Introduction to logic. New York: MacMillan, 1961, 133-234.
Dowek, Gilles. La lógica. Una explicación para comprender. Un ensayo para reflexionar. México: Siglo XXI editores, 2001, p. 13-71.
Gortari, Eli de. Iniciación a la lógica. México: Editorial Grijalbo, 1969, p. 147-200.
Lukasiewicz, Jan. La silogística de Aristóteles desde el punto de vista de la lógica formal moderna. Madrid: Editorial Tecnos, 1977, p. 13-69.
Mitchell, David. Introducción a la lógica. Barcelona: Editorial Labor, 1974, p. 11-50.
Purtill, Richard L. Logical thinking. New York: Harper & Row Publishers, 1972, p. 80-126.
Stebbing, Susan. A Modern Elementary Logic. London: Methuen & Co., 1961, p. 16-74. [Hay trad. esp. en F.C.E.].
Virieux-Reymond, Antoinette. La logique formelle. Paris: PUF, 1967, p. 40-63. [Trad. esp. p. 48-68].
UNIDAD 3: LA LOGICA DE LAS FUNCIONES DE VERDAD
BIBLIOGRAFIA BASICA
Barker, Stephen. Elementos de lógica. México: MacGraw-Hill, 1990, p. 69-118.
Suppes, Patrick y Hill, Shirley. Introducción a la lógica matemática. México: Reverté, 1994, p. 1-183.
Copi, Irving M. y Cohen, Carl. Introducción a la lógica. México: LIMUSA, 1998, p. 321-405.
Gensler, Harry J. Introduction to Logic. London: Routledge, 2002, p. 35-100.
Hedman, Shawn. A Fisrt Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford: Oxford University Press, 2004.
BIBLIOGRAFIA COMPLEMENTARIA
Ambrose, A. y Lazerowitz, M. Fundamentos de lógica simbólica. México: UNAM, 1968, p. 21-181.
Bochenski, J. M. Compendio de lógica matemática. Madrid: Paraninfo, 1982, p. 15-51.
Boll, Marcel y Reinhart, Jacques. Las etapas de la lógica. Buenos Aires: Compañía Fabril Editora, 1961, p. 9-91.
Copi, Irving M. Introduction to logic. New York: MacMillan, 1961, 235-301.
Copi, Irving, M. Lógica simbólica. México: CECSA, 2001, p. 23-81.
Couturat, Louis. El álgebra de la lógica. Madrid: Editorial Tecnos, 1976.
Crossley, J. N. et al. What is mathematical logic? New York: Dover, 1990, p. 1-77.
Cryan, Dan, Shatil, Sharron and Mayblin, Bill. Introducing Logic. Victoria: Icon Books, 2001.
Deaño, Alfredo. Introducción a la lógica formal. 1. La lógica de los enunciados. Madrid: Alianza, 1975, p. 43-164.
Faris, J. A. Truth-Funtional Logic. London: Routledge & Kegan Paul, 1962, p. 17-95.
Ferrater Mora, José y Leblanc, Hugues. Lógica matemática. México: FCE, 1983, p. 9-58.
Frassen, Bas C. Van. Semántica formal y lógica. México: UNAM, 1987, p. 23-116.
Fuchs, Walter R. Eltern entdecken die neue Logik. München: Droemer Knaur, 1974, p. 47-190.
Gallier, Jean H. Logic for Computer Science. Foundations for Automatic Theorem Proving. New York: John Wiley & Sons, 1987, p. 28-145.
Gortari, Eli de. Elementos de lógica matemática. México: Ediciones Océano, 1983, 13-189.
Grize, Jean-Blaise. "Historia. Lógica de las clases y las proposiciones. Lógica del los predicados. Lógicas modales". En Grize, Jean-Blaise, Apostel, Leo, Ladrière, Jean, Dubarkle, Dominique y Piaget, Jean. Tratado de lógica y conocimiento científico. T. II. Lógica. Buenos Aires: Editorial Paidós, 1979, p. 13-79.
Hilbert, D. y Ackerman, W. Elementos de lógica teórica. Madrid: Tecnos, 1975, p. 13-53.
Mates, Benson. Lógica matemática elemental. Madrid: Tecnos, 1979, p. 113-141.
Méndez, Luz del Carmen. Lógica. México: Trillas, 1984, p. 12-120.
Monk, J. Donald. Introduzione alla teoria degli insiemi. Torino: Editore Boringheiri, 1977, p. 14-91.
Nudler, Telma B. de, y Nudler, Oscar. Elementos de lógica simbólica. Buenos Aires: Editorial Kapelusz, 1973, p. 15-88.
Quine, W. V. Los métodos de la lógica. Barcelona: Ariel, 1981, p. 25-112.
Roure, Marie Louise. Eléments de logique contemporaine. Paris:Presses Universitaires de France, 1967, p. 39-103.
Sacristán, Manuel. Introducción a la lógica y al análisis formal. Barcelona: Ariel, 1969, p. 71-210.
Smith, Karl J. The nature of modern mathematics. Monterey: Brooks/Cole Publishing Company, 1980, p. 4-125.
Smith, Karl J. Introducción a la lógica simbólica. México: Grupo Editorial Iberoamérica, 1991,p. 1-85.
Strawson, P. F. Introducción a una teoría de la lógica. Buenos Aires: Editorial Nova, 1969, p. 31-145.
Suppes, Patrick. Introducción a la lógica simbólica. México: CECSA, 1979, p. 25-89.
UNIDAD 4: CUANTIFICACION MONADICA
BIBLIOGRAFIA BASICA
Barker, Stephen. Elementos de lógica. México: MacGraw-Hill, 1990, p. 119-145.
Suppes, Patrick y Hill, Shirley. Introducción a la lógica matemática. México: Reverté, 1994, p. 184-215.
Copi, Irving M. y Cohen, Carl. Introducción a la lógica. México: LIMUSA, 1998, p. 407-440.
Gensler, Harry J. Introduction to Logic. London: Routledge, 2002, p. 101-123.
Hedman, Shawn. A Fisrt Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford: Oxford University Press, 2004.
BIBLIOGRAFIA COMPLEMENTARIA
Ambrose, A. y Lazerowitz, M. Fundamentos de lógica simbólica. México: UNAM, 1968, p. 182- 218.
Bochenski, J. M. Compendio de lógica matemática. Madrid: Paraninfo, 1982, p. 52-99.
Carrucio, Ettore. Mondi della logica. Bologna: Nicola Zannichelli, 1976, p. 96-119.
Celluci, Carlo, et al. Introduzione alla logica. Roma: Editori Riuniti, 1976, p. 73-104.
Copi, Irving M. Introduction to logic. New York: MacMillan, 1961, 302-334.
Copi, Irving, M. Lógica simbólica. México: CECSA, 2001, p.81-183.
Deaño, Alfredo. Introducción a la lógica formal. 2. La lógica de predicados. Madrid: Alianza, 1975, p. 13-89.
Gallier, Jean H. Logic for Computer Science. Foundations for Automatic Theorem Proving. New York: John Wiley & Sons, 1987, p. 146-255.
Hilbert, D. y Ackerman, W. Elementos de lógica teórica. Madrid: Tecnos, 1975, p. 79-159.
Kleene, Stephen C. Introducción a la metamatemática. Madrid: Tecnos, 1974, p. 136-169.
Mangione, Corrado. Elementi di logica matematica. Torino: Editore Boringheri, 1964, p. 86-126.
Mates, Benson. Lógica matemática elemental. Madrid: Tecnos, 1979, p. 142-186.
Novikov, P. S. Elementi di logica matematica. Roma: Editori Riuniti, 1975, p. 141-214
Quine, W. V. Los métodos de la lógica. Barcelona: Ariel, 1981, p. 113-182.
Sacristán, Manuel. Introducción a la lógica y al análisis formal. Barcelona: Ariel, 1969, p. 211-264.
Suppes, Patrick. Introducción a la lógica simbólica. México: CECSA, 1979, p. 91-162.
UNIDAD 5: CUANTIFICACION GENERAL
BIBLIOGRAFIA BASICA
Barker, Stephen. Elementos de lógica. México: MacGraw-Hill, 1990, p. 146-166.
Suppes, Patrick y Hill, Shirley. Introducción a la lógica matemática. México: Reverté, 1994, p. 216-278.
Copi, Irving M. y Cohen, Carl. Introducción a la lógica. México: LIMUSA, 1998, p. 407-440.
Hedman, Shawn. A Fisrt Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford: Oxford University Press, 2004.
BIBLIOGRAFIA COMPLEMENTARIA
Deaño, Alfredo. Introducción a la lógica formal. 2. La lógica de predicados. Madrid: Alianza, 1975, p. 89-153.
Enderton, H. B. Una introducción matemática a la lógica. México: UNAM, 1987, p.
99-358.
Garrido, Joaquín. Lógica y lingüística. Madrid: Síntesis, 1988, p. 65-90.
Garrido, Manuel. Lógica simbólica. Madrid: Tecnos, 1986, p. 189-214.
Hilbert, D. y Ackerman, W. Elementos de lógica teórica. Madrid: Tecnos, 1975, p. 161-204.
Mates, Benson. Lógica matemática elemental. Madrid: Tecnos, 1979, p. 187-223.
Mosterín, Jesús. Lógica de primer orden. Barcelona: Ariel, 1983, p. 49-138.
Quine, W. V. Los métodos de la lógica. Barcelona: Ariel, 1981, p. 185-272.
Serrano, Sebastián. Lógica, lingüística y matemáticas. Barcelona: Anagrama, 1988, p. 51-92.
Zubieta, Francisco. Lógica matemática elemental. México: Editorial Esfinge, 1977, p. 61-115.
BIBLIOGRAFIA BASICA
Beall, J. C. and Fraassen, Bas C. Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. Oxford: Oxford University Press, 2003.
Bell, John L., Solomon, Graham and DeVidi, David. Logical Options: An Introduction to Classical and Alternative Logics. Ontario: Broadview Press, 2001.
Buckley, James J. An Introduction to Fuzzy Logic and Fuzzy Sets. Heildelberg: Physika-Verlag, 2002.
Hedman, Shawn. A Fisrt Course in Logic. An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford: Oxford University Press, 2004.
Kosko, Bart. Fuzzy Thinking. The New Science of Fuzzy Logic. New York: Hyperion, 1993.
Peña, Lorenzo. Introducción a las lógicas no clásicas. México: UNAM, 1993, p. 183-189.
Priest, Graham. Introduction to Non-Clasical Logic. Cambridge: Cambridge University Press, 2001.
Zadeh, Lofti and Kacprzyk, Janusz (eds.). Fuzzy Logic for the Management of Uncertainity. New York: John Wiley & Sons, 1992.
BIBLIOGRAFIA COMPLEMENTARIA
Bochenski, J. M. Compendio de lógica matemática. Madrid: Paraninfo, 1982, p. 100-109.
Frassen, Bas C. Van. Semántica formal y lógica. México: UNAM, 1987, p. 157-193.
Freguglia, Paolo. L'algebra della logica. Roma: Editori Riuniti, 1978, p. 113-173.
Garrido, Joaquín. Lógica y lingüística. Madrid: Síntesis, 1988, p. 91-202.
Grize, Jean-Blaise. "Historia. Lógica de las clases y las proposiciones. Lógica de los predicados. Lógicas modales". En Grize, Jean-Blaise, Apostel, Leo, Ladrière, Jean, Dubarkle, Dominique y Piaget, Jean. Tratado de lógica y conocimiento científico. T. II. Lógica. Buenos Aires: Editorial Paidós, 1979, p. 110-133.
Hintikka, Jaakko. Saber y creer. Una introducción a la lógica de las dos nociones. Madrid: Editorial Tecnos, 1979, p. 49-98.
Hughes G. E. y Cresswell, M. J. Introducción a la lógica modal. Madrid: Editorial Tecnos, 1973, p. 17-176
Kalinowski, G. Lógica del discurso normativo. Madrid: Editorial Tecnos, 1975, p. 69-108.
Kosko, Bart. Fuzzy Thinking. The New Science of Fuzzy Logic. New York: Hyperion, 1993.
Lukasiewicz, Jan. La silogística de Aristóteles desde el punto de vista de la lógica formal moderna. Madrid: Editorial Tecnos, 1977, p. 70-169.
Lukasiewicz, Jan. "Sobre la lógica trivalente" y "Observaciones filosóficas sobre los sistemas polivalentes de lógica proposicional" En Lukasiewicz, J. Estudios de lógica y filosofía. Madrid: Revista de Occcidente, p. 41-42 y 61-86, respectivamente.
Montague, Richard. Ensayos de filosofía formal. Madrid: Alianza, 1977, p. 78-117 y 158-181.
Mukaidono, Masao. Fuzzy Logic for Begginners. Singapore: World Scientific, 2001.
Steeb, Willi-Hans. Non Linear Workbook. Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Wavelets, Fuzzy Logic - with C++, Java and Symbolicc++ Programs. Singapore: World Scientific Publishing, 2002.
Trillas, Enric, Alsina, Claudi y Terricabras, Josep-Maria. Introducción a la lógica borrosa. Barcelona: Editorial Ariel, 1995.
Wright, G. Henrik von. Norma y acción. Una investigación lógica. Madrid: Editorial Tecnos, 1979, p. 37-52.
Wright, GF. Henrik von. Un ensayo de lógica deóntica y la teoría general de la acción. México: UNAM, 1988.