Lógica estoica - Stoic logic

La lógica estoica es el sistema de lógica proposicional desarrollado por los filósofos estoicos en la antigua Grecia . Fue uno de los dos grandes sistemas de lógica del mundo clásico. Fue construido y moldeado en gran parte por Crisipo , el tercer director de la escuela estoica en el siglo III a. C. La lógica de Crisipo difería de la lógica del término de Aristóteles porque se basaba en el análisis de proposiciones más que en términos. La unidad más pequeña en la lógica estoica es un asertivo (el equivalente estoico de una proposición) que es el contenido de un enunciado como "es el día". Los afirmables tienen un valor de verdad tal que solo son verdaderos o falsos dependiendo de cuándo se expresaron (por ejemplo, el afirmable "es de noche" solo será verdadero si es cierto que es de noche). En contraste, las proposiciones aristolianas afirman o niegan fuertemente un predicado de un sujeto y buscan que su verdad sea validada o falsificada. Los asertivos compuestos se pueden construir a partir de simples mediante el uso de conectivos lógicos . La silogística resultante se basaba en cinco argumentos básicos indemostrables a los que se afirmaba que todos los demás silogismos eran reducibles.

Hacia el final de la antigüedad, la lógica estoica fue descuidada en favor de la lógica de Aristóteles y, como resultado, los escritos estoicos sobre lógica no sobrevivieron, y los únicos relatos de ella fueron informes incompletos de otros escritores. El conocimiento sobre la lógica estoica como sistema se perdió hasta el siglo XX cuando los lógicos familiarizados con el cálculo proposicional moderno reevaluaron los relatos antiguos del mismo.

Fondo

El estoicismo es una escuela de filosofía que se desarrolló en el período helenístico alrededor de una generación después de la época de Aristóteles . Los estoicos creían que el universo operaba según la razón, es decir , por un Dios que está inmerso en la naturaleza misma. La lógica ( logike ) era la parte de la filosofía que examinaba la razón ( logos ). Para lograr una vida feliz, una vida que valga la pena vivir, se requiere un pensamiento lógico. Los estoicos sostenían que la comprensión de la ética era imposible sin lógica. En palabras de Brad Inwood , los estoicos creían que:

La lógica ayuda a una persona a ver cuál es el caso, razonar con eficacia sobre asuntos prácticos, mantenerse firme en medio de la confusión, diferenciar lo cierto de lo probable, etc.

El término lógica de Aristóteles puede verse como una lógica de clasificación. Hace uso de cuatro términos lógicos "todos", "algunos", "es / son" y "es / no son" y, en esa medida, es bastante estático. Los estoicos necesitaban una lógica que examinara la elección y la consecuencia. Por lo tanto, los estoicos desarrollaron una lógica de proposiciones que usa conectivos como "si ... entonces", "o ... o", y "no ambos". Tales conectivos son parte del razonamiento cotidiano. Sócrates en los Diálogos de Platón a menudo pregunta a un conciudadano si cree en cierta cosa; cuando están de acuerdo, Sócrates procede a mostrar cómo las consecuencias son lógicamente falsas o absurdas, infiriendo que la creencia original debe ser incorrecta. En los tribunales de justicia deben haberse utilizado intentos similares de razonamiento forense, y son una parte fundamental de las matemáticas griegas. El propio Aristóteles estaba familiarizado con las proposiciones, y sus alumnos Teofrasto y Eudemo habían examinado silogismos hipotéticos , pero la escuela peripatética no intentó desarrollar estas ideas en un sistema de lógica.

La tradición estoica de la lógica se originó en el siglo IV a. C. en una escuela de filosofía diferente conocida como la escuela Megaria . Fueron dos dialécticos de esta escuela, Diodoro Cronos y su alumno Filón , quienes desarrollaron sus propias teorías de las modalidades y de las proposiciones condicionales . El fundador del estoicismo, Zenón de Citium , estudió con los megarianos y se dice que fue compañero de estudios de Filón. Sin embargo, la figura destacada en el desarrollo de la lógica estoica fue Crisipo de Soli (c. 279 - c. 206 a. C.), el tercer director de la escuela estoica. Crisipo dio forma a gran parte de la lógica estoica tal como la conocemos creando un sistema de lógica proposicional. Como lógico, a veces se dice que Crisipo rivaliza en estatura con Aristóteles. Sin embargo, los escritos lógicos de Crisipo se han perdido casi por completo; en cambio, su sistema tiene que ser reconstruido a partir de los relatos parciales e incompletos conservados en las obras de autores posteriores como Sextus Empiricus , Diogenes Laërtius y Galeno .

Proposiciones

Para los estoicos, la lógica era un amplio campo de conocimiento que incluía el estudio del lenguaje , la gramática , la retórica y la epistemología . Sin embargo, todos estos campos estaban interrelacionados y los estoicos desarrollaron su lógica (o "dialéctica") dentro del contexto de su teoría del lenguaje y la epistemología.

Asertibles

Los estoicos sostuvieron que cualquier enunciado significativo implicará tres elementos: los sonidos pronunciados; la cosa a la que se refiere o describe el enunciado; y un elemento incorpóreo, el lektón , el que se transmite en la lengua. El lekton no es un enunciado, sino el contenido de un enunciado, y corresponde a un enunciado completo. Un lekton puede ser algo como una pregunta o una orden, pero la lógica estoica opera sobre esos lekta que se denominan "aseverables" ( axiomata ), descritos como una proposición que es verdadera o falsa y que afirma o niega. Ejemplos de afirmaciones incluyen "es de noche", "está lloviendo esta tarde" y "nadie camina". Los asertivos son portadores de la verdad . Nunca pueden ser verdaderos y falsos al mismo tiempo ( ley de no contradicción ) y deben ser al menos verdaderos o falsos ( ley del medio excluido ). Los estoicos catalogaron estos simples asertivos según sean afirmativos o negativos, y si son definidos o indefinidos (o ambos). Las afirmaciones se parecen mucho a las proposiciones modernas , sin embargo, su valor de verdad puede cambiar dependiendo de cuándo se afirman. Así, una afirmación como "es de noche" sólo será cierta cuando sea de noche y no cuando sea de día.

Asertibles compuestos

Las afirmaciones simples se pueden conectar entre sí para formar afirmaciones compuestas o no simples. Esto se logra mediante el uso de conectivos lógicos . Crisipo parece haber sido responsable de introducir los tres tipos principales de conectivos: el condicional ( si ), el conjuntivo ( y ) y el disyuntivo ( o ). Un condicional típico toma la forma de "si p entonces q"; mientras que una conjunción toma la forma de "tanto p como q"; y una disyunción toma la forma de "p o q". El o que usaron es exclusivo , a diferencia del inclusivo o que se usa generalmente en la lógica formal moderna. Estos conectivos se combinan con el uso de no para negación. Por tanto, el condicional puede adoptar las siguientes cuatro formas:

Si p, entonces q | Si no es p, entonces q | Si p, entonces no q | Si no es p, entonces no q

Los estoicos posteriores agregaron más conectivos: el pseudocondicional tomó la forma de "desde p luego q"; y la asertividad causal tomó la forma de "porque p entonces q". También había un comparativo (o tesis): "más / menos (probable) p que q".

Conectivos lógicos
Nombre	Escribe	Ejemplo
Condicional	si	si es de dia es de luz
Conjunción	y	es de día y de luz
Disyunción	Cualquiera o	ya sea ​​de día o de noche
Pseudocondicional	ya que	ya que es de día es de luz
Causal	porque	porque es de día, es de luz
Comparativo	más / menos probable ... que	es más probable que sea de día que de noche

Modalidad

Los afirmables también se pueden distinguir por sus propiedades modales, ya sean posibles, imposibles, necesarios o no necesarios. En esto, los estoicos se basaron en un debate megaro anterior iniciado por Diodorus Cronus. Diodoro había definido la posibilidad de una manera que parecía adoptar una forma de fatalismo . Diodoro definió posible como "aquello que es o será verdad". Por lo tanto, no hay posibilidades que permanezcan sin realizar para siempre, todo lo que es posible es o algún día será verdad. Su alumno Filón, rechazando esto, definió posible como "aquello que es capaz de ser verdad por la propia naturaleza de la proposición", por lo que un enunciado como "este trozo de madera puede arder" es posible , incluso si pasó toda su existencia en el fondo. del oceano. Crisipo, en cambio, era un determinista causal: pensaba que las verdaderas causas dan lugar inevitablemente a sus efectos y que todas las cosas surgen de esta forma. Pero no era un determinista lógico ni un fatalista: quería distinguir entre verdades posibles y necesarias. Por lo tanto, tomó una posición intermedia entre Diodoro y Filón, combinando elementos de ambos sistemas modales. El conjunto de definiciones modales estoicas de Crisipo era el siguiente:

Definiciones modales
Nombre	Definición
posible	Un asertivo que puede convertirse en verdad y no es impedido por cosas externas para convertirse en verdad.
imposible	Una afirmación que no puede volverse verdadera o que puede volverse verdadera pero que las cosas externas le impiden convertirse en verdadera.
necesario	Un asertivo que (cuando es verdadero) no puede volverse falso o que puede volverse falso, pero las cosas externas le impiden convertirse en falso.
innecesario	Un asertivo que puede volverse falso y no es impedido por cosas externas para que se convierta en falso.

Silogístico

Argumentos

En la lógica estoica, una forma de argumento contiene dos (o más) premisas relacionadas entre sí como causa y efecto. Un silogismo estoico típico es:

Si es de día, amanece;

Es de día;

Por eso es ligero.

Tiene una afirmación no simple para la primera premisa ("Si es de día, es la luz") y una afirmación simple para la segunda premisa ("Es de día"). La segunda premisa no siempre tiene que ser simple, pero tendrá menos componentes que la primera.

En términos más formales, este tipo de silogismo es:

Si p, entonces q;

pag;

Por tanto q.

Así, como la lógica del término de Aristóteles, la lógica estoica usa variables, pero los valores de las variables son proposiciones, no términos. Crisipo enumeró cinco formas básicas de argumentación, que consideró verdaderas más allá de toda discusión. Estos cinco argumentos indemostrables se componen de conectivos de conjunción condicional, disyunción y negación, y todos los demás argumentos son reducibles a estos cinco argumentos indemostrables.

Argumentos indemostrables
Nombre	Descripción	Secuente moderno	Ejemplo
Modus ponens	Si p, entonces q. pag. Por tanto, q.	${\ Displaystyle p \ a q, \; p \; \; \ vdash \; \; q}$	Si es de día, es de día. Es de día. Por tanto, es ligero.
Modus tollens	Si p, entonces q. No q. Por lo tanto, no p.	${\ Displaystyle p \ to q, \; \ neg q \; \; \ vdash \; \ neg p}$	Si es de día, es de día. No es luz. Por tanto, no es de día.
Silogismo conjuntivo	No tanto py q. pag. Por tanto, no q.	${\ Displaystyle \ neg (p \ land q), \; p \; \; \ vdash \; \ neg q}$	No es tanto de día como de noche. Es de día. Por tanto, no es de noche.
Modus tollendo ponens	O po q. No p. Por tanto, q.	${\ Displaystyle p \ lor q, \; \ neg p \; \; \ vdash \; \; q}$	Es de día o de noche. No es de dia. Por tanto, es de noche.
Modus ponendo tollens	O po q. pag. Por tanto, no q.	${\ Displaystyle p {\ subrayado {\ lor}} q, \; p \; \; \ vdash \; \ neg q}$	Es de día o de noche. Es de día. Por tanto, no es de noche.

Puede haber muchas variaciones de estos cinco argumentos indemostrables. Por ejemplo, las aseveraciones en las premisas pueden ser más complejas, y el siguiente silogismo es un ejemplo válido del segundo indemostrable ( modus tollens ):

si tanto p como q, entonces r;

no r;

por lo tanto no: tanto p como q

De manera similar, se puede incorporar la negación en estos argumentos. Un ejemplo válido del cuarto indemostrable ( modus tollendo ponens o silogismo disyuntivo) es:

ya sea [no p] o q;

no [no p];

por lo tanto q

que, incorporando el principio de doble negación , equivale a:

ya sea [no p] o q;

pag;

por lo tanto q

Análisis

Muchos argumentos no tienen la forma de los cinco indemostrables, y la tarea es mostrar cómo se pueden reducir a uno de los cinco tipos. Sextus Empiricus informa un ejemplo simple de reducción estoica :

si tanto p como q, entonces r;

no r;

pero también p;

Por lo tanto no q

Esto se puede reducir a dos argumentos indemostrables separados del segundo y tercer tipo:

si tanto p como q, entonces r;

no r;

por lo tanto no: tanto p como q

no: tanto p como q

pag;

por lo tanto no q

Los estoicos afirmaron que los silogismos complejos podían reducirse a lo indemostrable mediante el uso de cuatro reglas básicas o themata . De estos cuatro themata , solo dos han sobrevivido. Uno, el llamado primer thema , era una regla de antilogismo:

Cuando de dos [aseverables] se sigue un tercero, entonces de cualquiera de ellos junto con lo contradictorio de la conclusión se sigue lo contradictorio del otro ( Apuleyo , De Interpretatione 209. 9-14).

El otro, el tercero Thema , era una regla de corte por el cual silogismos cadena podían reducirse a silogismos simples. La importancia de estas reglas no está del todo clara. En el siglo II a. C., se dice que Antípatro de Tarso introdujo un método más simple que implicaba el uso de menos themata , aunque sobreviven pocos detalles al respecto. En cualquier caso, los themata no pueden haber sido una parte necesaria de todo análisis.

Paradojas

Además de describir inferencias que son válidas, otro tema que involucró a los estoicos fue la enumeración y refutación de argumentos falsos, y en particular de paradojas . Parte del entrenamiento lógico de un estoico era preparar al filósofo para las paradojas y ayudarlo a encontrar soluciones. Un argumento falso podría ser uno con una premisa falsa o que sea formalmente incorrecto, sin embargo, las paradojas representaron un desafío a las nociones lógicas básicas de los estoicos como la verdad o la falsedad. Una famosa paradoja, conocida como El Mentiroso , preguntaba: "Un hombre dice que está mintiendo; ¿es cierto o falso lo que dice?": Si el hombre dice algo cierto, entonces parece que está mintiendo, pero si está mintiendo, entonces no lo está. decir algo verdadero, etc. Se sabe que Crisipo ha escrito varios libros sobre esta paradoja, aunque no se sabe qué solución le ofreció. Otra paradoja conocida como Sorites o "Montón" preguntó "¿Cuántos granos de trigo necesitas antes de obtener un montón?" Se decía que desafiaba la idea de verdadero o falso al ofrecer la posibilidad de la vaguedad. Sin embargo, la respuesta de Crísipo fue: "Eso no me perjudica, porque como un hábil conductor, sujetaré a mis caballos antes de llegar al borde ... De la misma manera, me refreno de antemano y dejo de responder a preguntas sofistas".

Práctica estoica

El entrenamiento en lógica incluyó el dominio de los acertijos lógicos, el estudio de paradojas y la disección de argumentos. Sin embargo, no era un fin en sí mismo, sino que su propósito era que los estoicos cultivaran sus poderes racionales.

La lógica, por ejemplo, no se limitaba a una teoría abstracta del razonamiento, ni siquiera a ejercicios escolares de silogística; más bien, existía una práctica diaria de la lógica aplicada a los problemas de la vida cotidiana. La lógica era, pues, el dominio del discurso interior. ... Los estoicos creían que las pasiones humanas corresponden a un mal uso del discurso humano. En otras palabras, son el resultado de errores de juicio y razonamiento. Por lo tanto, debemos monitorear nuestro discurso interno para ver si se han infiltrado juicios de valor erróneos.

La lógica estoica era, pues, un método de autodescubrimiento. Su objetivo era permitir la reflexión ética, permitir una discusión segura y confiada y llevar al alumno a la verdad. El resultado final se pensaría que es consistente, claro y preciso, y que expone confusión, turbidez e inconsistencia. Diogenes Laërtius da una lista de virtudes dialécticas, que probablemente fueron inventadas por Crisipo:

Primero menciona aproptosia , que significa literalmente 'no caer hacia adelante' y se define como 'conocimiento de cuándo se debe dar asentimiento o no' (dar asentimiento); a continuación aneikaiotes , 'falta de prontitud', definida como 'tenacidad frente a lo probable (o plausible), para no ceder ante ello'; tercero, anelenxia , "irrefutable", cuya definición es "fuerza en la argumentación, para no dejarse llevar por ella a lo contradictorio"; y cuarto, amataiotes , 'falta de vacuidad', definida como 'una disposición que remite impresiones ( phantasiai ) al logos correcto .

Recepción posterior

Durante unos quinientos años, la lógica estoica fue uno de los dos grandes sistemas de lógica. La lógica de Crisipo se discutió junto con la de Aristóteles, y bien puede haber sido más prominente ya que el estoicismo era la escuela filosófica dominante. Desde una perspectiva moderna, el término lógica de Aristóteles y la lógica estoica de las proposiciones parecen complementarias, pero a veces se las consideraba sistemas rivales. En la antigüedad tardía, la escuela estoica cayó en decadencia, y la última escuela filosófica pagana, los neoplatónicos , adoptó la lógica de Aristóteles como propia. Solo elementos de la lógica estoica se abrieron paso en los escritos lógicos de comentaristas posteriores como Boecio , transmitiendo partes confusas de la lógica estoica a la Edad Media. La lógica proposicional fue desarrollada nuevamente por Peter Abelard en el siglo XII, pero a mediados del siglo XV la única lógica que se estaba estudiando era una versión simplificada de la de Aristóteles. En el siglo XVIII, Immanuel Kant pudo pronunciar que "desde Aristóteles ... la lógica no ha podido avanzar ni un solo paso, y por lo tanto, en apariencia, es un cuerpo de doctrina cerrado y completo". Para los historiadores del siglo XIX, que creían que la filosofía helenística representaba un declive de la de Platón y Aristóteles, la lógica estoica solo podía verse con desprecio. Carl Prantl pensaba que la lógica estoica era "torpeza, trivialidad y sutilezas escolásticas" y acogió con agrado el hecho de que las obras de Crisipo ya no existían. Eduard Zeller señaló que "toda la contribución de los estoicos al campo de la lógica consiste en haber revestido la lógica de los peripatéticos con una nueva terminología".

La lógica moderna comienza a mediados del siglo XIX con el trabajo de George Boole y Augustus de Morgan , pero la lógica estoica solo se redescubrió en el siglo XX. La primera persona en reevaluar sus ideas fue el lógico polaco Jan Łukasiewicz desde la década de 1920 en adelante. Fue seguido por Benson Mates . Los conceptos estoicos a menudo difieren de los modernos, pero, sin embargo, existen muchos paralelismos entre las teorías estoicas y las del siglo XX.

Lo que vemos como resultado es una estrecha similitud entre [estos] métodos de razonamiento y el comportamiento de las computadoras digitales. ... El código proviene del lógico y matemático del siglo XIX George Boole, cuyo objetivo era codificar las relaciones estudiadas mucho antes por Crisipo (aunque con mayor abstracción y sofisticación). Las generaciones posteriores se basaron en las ideas de Boole ... pero la lógica que lo hizo posible fue la lógica interconectada de un universo interconectado, descubierto por el antiguo Crisipo, que trabajó hace mucho tiempo bajo una antigua stoa ateniense.

Notas

Citas

Referencias

• Adamson, Peter (2015), Filosofía en los mundos helenístico y romano , Oxford University Press, ISBN 978-0-19-872802-3
• Asmus, Conrad; Restall, Greg (2012), "Una historia de las relaciones de consecuencia", en Gabbay, Dov M .; Pelletier, Francis Jeffry; Woods, John (eds.), Manual de historia de la lógica , 2 , Elsevier, ISBN 978-0-444-52937-4
• Barnes, Johnathan (1997), Logic and the Imperial Stoa , Brill, ISBN 90-04-10828-9
• Barnes, Johnathan (1999), "Logic: The Peripatetics", en Algra, Keimpe (ed.), The Cambridge History of Hellenistic Philosophy , Cambridge University Press, ISBN 0-521-25028-5
• Bobzien, Susanne (1996a), "Logic", en Hornblower, Simon; Spawforth, Antony (eds.), The Oxford Classical Dictionary , Oxford University Press, ISBN 978-0-1986-6172-6
• Bobzien, Susanne (1996b), "Silogística estoica", Oxford Studies in Ancient Philosophy 14 , Oxford University Press, ISBN 978-0-1982-3670-2
• Bobzien, Susanne (1999), "Logic: The Stoics", en Algra, Keimpe (ed.), The Cambridge History of Hellenistic Philosophy , Cambridge University Press, ISBN 0-521-25028-5
• Bonevac, Daniel; Dever, Josh (2012), "A History of the Connectives", en Gabbay, Dov M .; Pelletier, Francis Jeffry; Woods, John (eds.), Manual de historia de la lógica , 2 , Elsevier, ISBN 978-0-444-52937-4
• Everson, Stephen (1994), Compañeros del pensamiento antiguo 3: Lenguaje , Cambridge University Press
• Hadot, Pierre (2002), ¿Qué es la filosofía antigua? , Harvard University Press, ISBN 0-674-00733-6
• Hurley, Patrick J. (2011), Una introducción concisa a la lógica , Wadsworth, ISBN 978-0-8400-3417-5
• Ierodiakonou, Katerina (2006), "Estoicismo", en Wilson, Nigel (ed.), Encyclopedia of Ancient Greece , Psychology Press, ISBN 978-0-4158-7396-3
• Ierodiakonou, Katerina (2009), "Estoica lógica", en Gill, Mary Louise; Pellegrin, Pierre (eds.), Un compañero de la filosofía antigua , Wiley-Blackwell, ISBN 978-1-4051-8834-0
• Inwood, Brad (2003), "Estoicismo", en Furley, David (ed.), Historia de la filosofía de Routledge Volumen II: Aristóteles a Agustín , Routledge, ISBN 978-0-4153-0874-8
• Johansen, Karsten Friis ; Rosenmeier, Henrik (1998), A History of Ancient Philosophy: From the Beginnings to Augustine , Routledge, ISBN 0-415-12738-6
• Kenny, Anthony (2006), Filosofía antigua , Oxford University Press, ISBN 978-0-19-875272-1
• Kneale, William; Kneale, Martha (1962), El desarrollo de la lógica , Clarendon Press
• Long, AA (2001), "Dialéctica y el sabio estoico", Estudios estoicos , University of California Press, ISBN 0-520-22974-6
• Nussbaum, Martha C. (2009), La terapia del deseo: teoría y práctica en la ética helenística , Princeton University Press, ISBN 978-0-691-14131-2
• O'Toole, Robert R .; Jennings, Raymond E. (2004), "Los megarianos y los estoicos", en Gabbay, Dov M .; Woods, John (eds.), Manual de historia de la lógica , 1 , Elsevier, ISBN 0-444-51596-8
• Sellars, John (2006), Filosofías antiguas: estoicismo , perspicacia, ISBN 978-1-84465-053-8
• Shenefelt, Michael; White, Heidi (2013), If A, Then B: How Logic Shaped the World , Columbia University Press, ISBN 978-0-231-53519-9
• Sharples, Robert W. (2003), "The Peripatetic School", en Furley, David (ed.), Routledge History of Philosophy Volume II: Aristotle to Augustine , Routledge, ISBN 978-0-4153-0874-8
• Zeller, Eduard (1880), Los estoicos, epicúreos y escépticos , Longmans, Green y Cía.

enlaces externos

• Bobzien, Susanne. "Lógica antigua" . En Zalta, Edward N. (ed.). Enciclopedia de Filosofía de Stanford .
• Estoica lógica (1953) de Benson Mates (1919-2009)