Lógica 3 - Filosofía de la Lógica
(paracompletitud, paraconsistencia y binarismo)

Enlace Classroom:  https://classroom.google.com/c/NzkxMTU4OTczMTIw?cjc=igwdr2bd

Enlace Telegram: https://t.me/+TZkxmlc0Tco3YWVh

Este curso se imparte en los años impares y se alterna con la otra versión de Lógica 3. 

I.               Fundamentos de filosofía de la lógica

Sesión 1: Introducción

• Susan Haack - Filosofía de las lógicas, en Filosofía de las lógicas, cap. 1

• Complementarias: 

  • • Geoffrey Hunter - Introducción: nociones generales, en Metalógica, primera parte (caps 1-14).

    • Atocha Aliseda - La Lógica como Herramienta de la Razón: Una Introducción

    • Axel Barceló - Lógica y Lenguaje

Sesión 2: Validez

• Susan Haack - Validez, en Filosofía de las lógicas, cap. 2.

• Lógicas no-clásicas, entrevista de Ariel Campirán a Raymundo Morado.

• Complementarias: 

  • • Christian Romero - ¿Cuántas lógicas correctas hay?

    • ¿Lógica o lógicas? Algunas reflexiones en torno a la fundamentación y las aplicaciones de las lógicas no clásicas∴Entrevista a la Dra. María José Frápolli, por Claudio Conforti, Jesús Jasso y Enrique Alonso.

    • Mario Gómez Torrente - El concepto de consecuencia lógica, en Forma y Modalidad, cap. 1. 

II.               Principios lógicos y valores veritativos

En esta sección discutiremos textos sobre paracompletitud, gradualismo y dialeteísmo. Paralelamente, en la primera parte de las sesiones definiremos la semántica un sistema de lógica proposicional clásica, para continuar con algunas nociones de metalógica y filosofía de la lógica.  Revisaremos las paradojas de la implicación material y el condicional estricto. Posteriormente veremos presentaciones polivalantes de la teoría de modelos de dos lógicas paracompletas (K3, Ł3), una paraconsistente (LP) y una con ambas características (FDE).  Pondremos especial atención a cómo se comportan y qué podrían significar los operadores en cada sistema --en especial  la negación-- y en la interpretación aplicada y filosófica de los valores formales. De manera informal, también mencionaremos a las lógicas intuicionistas, difusas y relevantes.

Sesión 3: Paracompletitud 

• Arend - Heyting - Disputa 

• Complementarias: 

  • • Axel Barceló - Las tablas de verdad como filosofía

    • Luis Estrada - ¿Cuánta filosofía hay en una tabla de verdad? 

    • Arend Heyting - La concepción intuicionista de la lógica

• Extra: 

  • • Corry Shores - Wisdom without Logic: Intuitionism, en The Logic of Gilles Deleuze, cap. 6

    • L. E. J. Brouwer - On the significance of the principle of excluded middle in mathematics, especially in function theory

Sesión 4: Gradualismo

• Jan Łukasiewicz - Sobre el determinismo

• Graham Priest - Vaguedad, en Una brevísima introducción a la lógica, cap. 10.

• Complementarias: 

  • • Graham Priest - Many Valued Logics, en An introduction to non-classical Logic, cap. 7.

    • John Dewey - The sphere of application of the excluded middle

    • Susan Haack - Lógica plurivalente, en Filosofía de las lógicas, cap. 11.

    • Aristóteles - Sobre la interpretación

• Extra

• • • Corry Shores - Enter the Puddingstone: Demonic Gluonics, en The Logic of Gilles Deleuze, cap. 2

Sesión 5: Paraconsistencia 

• Andrés Bobenrieth, Problemas filosóficos  relacionados con la lógica paraconsistente, apartados XII.3, XII.4 y  XII.5 en Inconsistencias, ¿por qué no? 

• La paradoja del mentiroso, Cristian Gutiérrez en Lógica MX.

• Complementarias: 

• • • Axel Barceló - Conciliatory strategies in philosophy 

    • Paraconsistent Logic en The Internet Encyclopedia of Philosophy

• Extra: 

  • • Moisés Macías Bustos - Movimiento e Inconsistencia: Una Defensa de la Teoría Russelliana del Movimiento (escrito inédito que es una versión previa de  Contradictions in Motion: Why They're not Needed and Why They Wouldn't Help).

    • Graham Priest - Dialectic and Dialetheic 

    • Elena Ficara - Dialectic and Dialetheism

    • María Alicia Pazos & David Gaytán - La semántica subyacente en la filosofía paraconsistente de da Costa

    • María Martínez - ¿Eres un realista selectivo dialeteísta y no te has dado cuenta?

    • Newton da Costa: Pasión y contradicción, entrevista de Neldson Marcolin

    • Corry Shores - Becoming Dialetheic: The Logic of Change, en The Logic of Gilles Deleuze, cap. 1.

Sesión 6: FDE y Relevancia

• Notas de clase

• Complementarias: 

  • • Graham Priest - FDE and Many-valued Logics en An introduction to non-classical Logic, sección 8.4a.

    • Lógicas relevantes, entrevista de Hugo Andrés Martínez y Darinka Díaz a Axel Barceló.

    • Raymundo Morado - El problema de la relevancia en la lógica clásica

• Extra: 

  • • Interview with Prof. Nuel D. Belnap, por Heinrich Wansing.

    • Edwin Mares - What is relevant logic and why do we need it? en Relevant Logic: A Philosophical Interpretation

    • Corry Shores,- Alternance and Otherness, , en The Logic of Gilles Deleuze, cap. 4.

    • J. Michael Dunn -  Intuitive Semantics for First Degree Relevant Implications

III. Críticas radicales a la lógica: binarismo y exclusión

En esta sección se examinan posturas que consideran que la lógica está asociada a la dominación. Andrea Nye y Raia Prokhovnik se centra en la opresión patriarcal, mientras que Ángeles Eraña y Anne Waters se enfocan en los aspectos ligados con el colonialismo y la modernidad.  Posteriormente Eraña muestra apertura a la posibilidad de que la lógica no tenga que abandonarse, sino que puedan revisarse los principios problemáticos que la vuelven un instrumento de dominación. Esto se puede ver en los videos del taller Feminist Approaches to Logic organizado en la UNAM, donde dialoga con revisionistas como Gillian Russell y Roy Cook. Adicionalmente, veremos una presentación relacional de algunas lógicas introducidas en la sección anterior. Como adelanto para el siguiente apartado, veremos durante estas sesiones una semántica relacional para FDE. 

Sesión 7 

• Andrea Nye - Un pensamiento como un martillo: la lógica del totalitarismo
  (Traducción automática revisada de  A thought like a Hammer: the logic of totalitarianism, cap.  10 de Words of Power)

• Ángeles Eraña - La zozobra del binarismo, en De un mundo que hila personas, cap. 2.

• Complementarias: 

  • • Binarism vs. Complementarity, Ángeles Eraña en el taller Feminist Approaches to Logic.

    • Anne S. Waters - El lenguaje importa: una metafísica del dualismo no binario no discreto
      (Traducción automática revisada de Language Matters: A Metaphysic of Non Discreet Non Binary Dualism)

Sesión 8

• Raia Prokhovnik - Dicotomía: del dicotómico o bien/o bien al relacional tanto-como
  (Traducción automática revisada de Dichotomy: from the dichotomous either/or to the relational both-and, Rational Woman, cap 1). 

IV. Críticas revisionistas: los problemas de la lógica clásica 

Los siguientes discusiones rechazan posturas como la de Andrea Nye según las cuales la lógica debe ser abandonada por completo. Val Plumwood propone que el problema con el pensamiento patriarcal y colonial es la lógica clásica, mientras que otras lógicas son más adecuadas para pensar sin categorías opresivas.  En particular, Plumwood considera que la lógica relevante es la más adecuada, apoyándose en sus propios trabajos en colaboración con Richard Sylvan (publicado como Routley & Routley, el apellido anterior de ambos). Maryann Ayim y Gillian Russell en cambio consideran que el revisionismo no debe ser a la lógica en sí, sino a la manera como es enseñada y practicada.  En particular, Russell rechaza la propuesta de Plumwood.  Adicionalmente, veremos una presentación intensional de FDE para introducir el operador * (negación estrella o asterisco), una propuesta de negación no-clásica que también puede usarse para definir una familia de lógicas relevantes.

Sesión 9

• Maryann Ayim -Pasando por el ojo de la aguja: ¿puede una feminista enseñar lógica?
  (Traducción automática revisada de Passing through the Needle's eye: Can a feminist teach logic?) 

• Complementarias: 

  • • Maryann Ayim - Violence and Domination as Metaphors in Academic Discourse

    • Trudy Govier - Non-adversarial conceptions of argument

 Sesión 10

• Val Plumwood - La política de la razón: hacia una lógica feminista
  (Traducción automática revisada de The politics of reason: Towards a feminist logic).

• Complementarias: 

  • • Maureen Eckhert & Charles Donahue - Towards a feminist logic:  Val Plum-wood’s legacy and beyond

    • Greg Restall  - Negation in relevant logics (how I stopped worrying and learned to love the Routley star)

Sesión 11

• Gillian Russell - Lógica: un enfoque feminista
  (Traducción automática revisada de Logic: A feminist approach) 

• Extra: 

  • • Nicolás Francisco Ricardo & Luis Estrada González - Sí hay negación lógica

    • Laurence R. Horn & Heinrich Wansing - Negation, SEP.

V.      La posibilidad de una lógica feminista

Las discusiones en esta sección toman seriamente la idea de Val Plumwood de que la lógica debe ser revisada. Ivan Restović acepta de estos problemas, pero no está convencida de la manera particular como los caracteriza Plumwood, de modo que ofrece algunas maneras de matizar su crítica. Gillian Russell cambia de posición y admite de manera cautelosa que no sólo la revisión a la práctica sino a la lógica misma podría llegar a ser valioso desde una perspectiva feminista. Para ello se inspira en los argumentos de W. V. O. Quine, que señalan que la lógica al igual que cualquier disciplina empírica es revisable a partir de la evidencia, es decir, no es excepcional. Catharine Saint-Croix y Roy Cook retoman esta misma visión anti-excepcionalista de la lógica, pero consideran que aun si la lógica clásica es problemática tiene un papel importante que no necesariamente es incompatible con los objetivos feministas. 

Sesión 12

• Ivan Restović - Lógica feminista, literalmente
  (Traducción automática revisada de Feminist Logic, Literally) 

• Complementarias: 

  • Pieranna Garavaso - The Woman of Reason: On the Re-Appropriation of Rationality and the Enjoyment of Philosophy)

  • Marjorie Hass - Can there be a feminist logic?

  • Brian MacPherson - Three misrepresentations of logic

Sesión 13

• Gillian Russell - Del anti-excepcionalismo a la lógica feminista
  (Traducción automática de From Anti-Exceptionalism to Feminist Logic)

• Complementarias: 

  • • The Social Universe, Gillian Russell en el taller Feminist Approaches to Logic

    • W. V. O. Quine - Lógicas divergentes, en Filosofía de la Lógica, cap. 6

Sesión 14

• Catharine Saint-Croix & Roy T. Cook - ¿(Qué) es la lógica feminista? ¿(Qué) queremos que sea?
  (Traducción automática revisada de   (What) Is Feminist Logic? (What) Do We Want It to Be?)

Bibliografía extra 

• Andrea Nye - Words of Power: A Feminist Reading of the History of Logic.

• Calixto Badesa, Ignacio Jané & Ramón Jansana - Elementos de lógica formal.

• Daniel Cohnitz & Luis Estrada - An Introduction to the Philosophy of Logic.

• Herbert B.  Enderton - Una introducción matemática a la lógica.

• Genevieve LLoyd - The Man of Reason: Male and Female in Western Philosophy

• Gladys Palau - Introducción filosófica a las lógicas no-clásicas

• María José Frápolli - Una aproximación a la filosofía del lenguaje

•  Dale Jacquette (ed.).  - Philosophy of Logic

• Raia Prokhovnik - Rational Woman: A Feminist Critique of Dichotomy

• Stephen Read - Thinking About Logic.

• Ted Sider - Logic for Philosophy.

• William Kneale & Martha Kneale - El desarrollo de la lógica.