El desarrollo de la lógica india se remonta al anviksiki de Medhatithi Gautama (c. siglo VI a. C.); las reglas gramaticales sánscritas de Pāṇini (c. siglo V a. C.); el análisis del atomismo de la escuela Vaisheshika (c. siglo VI a. C. al siglo II a. C.); el análisis de la inferencia realizado por Gotama (c. siglo VI a. C. al siglo II d. C.), fundador de la escuela Nyaya de filosofía hindú ; y el tetralema de Nagarjuna (c. siglo II d.C.).
La lógica india es una de las tres tradiciones originales de la lógica , junto con la lógica griega y china . La tradición india continuó desarrollándose desde los tiempos tempranos hasta los modernos, en la forma de la escuela de lógica Navya-Nyāya .
¿Quién lo sabe realmente?
¿Quién aquí lo proclamará?
¿De dónde se produjo? ¿De dónde es esta creación?
Los dioses vinieron después, con la creación de este universo.
¿Quién sabe entonces de dónde ha surgido?
El Nasadiya Sukta del Rigveda ( RV 10 .129) contiene especulaciones ontológicas en términos de varias divisiones lógicas que luego fueron reformuladas formalmente como los cuatro círculos de catuskoti : "A", "no A", "A y 'no A'". y "no A y no no A". [4]
Medhatithi Gautama (c. siglo VI a. C.) fundó la escuela de lógica anviksiki . [5] El Mahabharata (12.173.45), alrededor del siglo IV a. C. al siglo IV d. C., se refiere a las escuelas de lógica anviksiki y tarka . Pāṇini (c. siglo V a. C.) desarrolló una forma de lógica (con la que la lógica booleana tiene algunas similitudes) para su formulación de la gramática sánscrita . Chanakya (c. 350-283 a. C.) describe la lógica en su Arthashastra como un campo de investigación independiente anviksiki . [6]
Vaisheshika, también Vaisesika, (sánscrito: वैशेषिक) es una de las seis escuelas hindúes de filosofía india . Llegó a estar estrechamente asociado con la escuela hindú de lógica, Nyaya. Vaisheshika defiende una forma de atomismo y postula que todos los objetos del universo físico son reducibles a un número finito de átomos. Propuesto originalmente por Kanāda (o Kana-bhuk, literalmente, devorador de átomos) alrededor del siglo II a.C.
En el siglo II, el filósofo budista Nagarjuna refinó la forma de lógica Catuskoti . El Catuskoti también se glosa a menudo como Tetralemma (griego), que es el nombre de un "argumento de cuatro esquinas" en gran medida comparable, pero no equiparable, dentro de la tradición de la lógica clásica .
Nyāya ( ni-āyá , literalmente "recursión", usado en el sentido de " silogismo , inferencia") es el nombre dado a una de las seis escuelas ortodoxas o astika de filosofía hindú, específicamente la escuela de lógica.
La escuela Nyaya de especulación filosófica se basa en textos conocidos como los Nyaya Sutras , que fueron escritos por Gotama alrededor del siglo II d.C. La contribución más importante de la escuela Nyaya al pensamiento hindú moderno es su metodología. Esta metodología se basa en un sistema de lógica que ha sido adoptado posteriormente por la mayoría de las otras escuelas indias (ortodoxas o no), de la misma manera que se puede decir que la filosofía occidental se basa en gran medida en la lógica aristotélica .
Los seguidores de Nyaya creían que obtener un conocimiento válido era la única forma de liberarse del sufrimiento. Por lo tanto, se esforzaron mucho en identificar fuentes válidas de conocimiento y en distinguirlas de meras opiniones falsas. Según la escuela Nyaya, existen exactamente cuatro fuentes de conocimiento (pramanas): percepción, inferencia, comparación y testimonio. El conocimiento obtenido a través de cada uno de estos puede, por supuesto, seguir siendo válido o no válido. Como resultado, los estudiosos Nyaya nuevamente se esforzaron mucho en identificar, en cada caso, qué se necesitaba para que el conocimiento fuera válido, creando en el proceso una serie de esquemas explicativos. En este sentido, Nyaya es probablemente el equivalente indio más cercano a la filosofía analítica contemporánea .
El jainismo hizo su contribución única a este desarrollo dominante de la lógica al ocuparse también de las cuestiones epistemológicas básicas, es decir, de las relativas a la naturaleza del conocimiento, cómo se deriva el conocimiento y de qué manera se puede decir que el conocimiento es confiable. La lógica jainista se desarrolló y floreció desde el siglo VI a. C. hasta el siglo XVII d. C. Según los jainistas, el principio último siempre debe ser lógico y ningún principio puede estar exento de lógica o razón. Así, uno encuentra en los textos jainistas exhortaciones deliberativas sobre cualquier tema en todos sus hechos, ya sean constructivos u obstructivos, inferenciales o analíticos, esclarecedores o destructivos. [7] [¿ fuente autoeditada? ] Los jainistas tienen doctrinas de la relatividad utilizadas para la lógica y el razonamiento:
Estos conceptos filosóficos jainistas hicieron contribuciones muy importantes a la antigua filosofía india , especialmente en las áreas del escepticismo y la relatividad. [8]
A continuación se muestra la lista de filósofos jainistas que contribuyeron a Jain Logic:
La lógica budista india (llamada Pramana ) floreció desde aproximadamente el año 500 d.C. hasta el 1300 d.C. Los tres autores principales de la lógica budista son Vasubandhu (400–800 d.C.), Dignāga (480–540 d.C.) y Dharmakīrti (600–660 d.C.). Los logros teóricos más importantes son la doctrina de Trairūpya (skrt. त्रैरूप्य) y el esquema altamente formal del Hetucakra (skrt. हेतुचक्र) ("Rueda de las razones") dado por Dignāga . Todavía existe una vibrante tradición viva de lógica budista en las tradiciones budistas tibetanas, donde la lógica es una parte importante de la educación de los monjes.
La Navya-Nyāya o darśana (escuela) neológica de filosofía india fue fundada en el siglo XIII d.C. por el filósofo Gangesha Upadhyaya de Mithila . Fue un desarrollo del clásico Nyāya darśana. Otras influencias en Navya-Nyāya fueron el trabajo de los filósofos anteriores Vācaspati Miśra (900–980 d. C.) y Udayana (finales del siglo X).
El libro de Gangesa Tattvacintāmaṇi ("Pensamiento-Joya de la Realidad") fue escrito en parte en respuesta al Khandanakhandakhādya de Śrīharśa, una defensa del Advaita Vedānta, que había ofrecido una serie de críticas exhaustivas a las teorías Nyāya del pensamiento y el lenguaje. En su libro, Gangeśa abordó algunas de esas críticas y, lo que es más importante, examinó críticamente el propio Nyāya darśana. Sostuvo que, si bien Śrīharśa había fracasado en desafiar con éxito la ontología realista Nyāya, sus propias críticas y las de Gangeśa plantearon la necesidad de mejorar y refinar las herramientas lógicas y lingüísticas del pensamiento Nyāya, para hacerlas más rigurosas y precisas.
Tattvacintāmani abordó todos los aspectos importantes de la filosofía, la lógica, la teoría de conjuntos y especialmente la epistemología india , que Gangeśa examinó rigurosamente, desarrollando y mejorando el esquema Nyāya, y ofreciendo ejemplos. Los resultados, especialmente su análisis de la cognición, fueron retomados y utilizados por otros darśanas.
Navya-Nyāya desarrolló un lenguaje sofisticado y un esquema conceptual que le permitió plantear, analizar y resolver problemas de lógica y epistemología. Sistematizó todos los conceptos Nyāya en cuatro categorías principales: sentido o percepción (pratyakşa), inferencia (anumāna), comparación o similitud ( upamāna ) y testimonio (sonido o palabra; śabda).
Esta escuela posterior comenzó en el este de la India y Bengala , y desarrolló teorías que se asemejan a la lógica moderna, como la "distinción entre sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así como la teoría de Navya-Nyaya de "condiciones restrictivas para los universales" que anticipan algunos de los desarrollos en la teoría de conjuntos moderna . [9] Udayana, en particular, desarrolló teorías sobre "condiciones restrictivas para los universales" y " regresión infinita " que anticiparon aspectos de la teoría de conjuntos moderna. Según Kisor Kumar Chakrabarti: [10]
En la tercera parte hemos mostrado cómo el estudio de las llamadas "condiciones restrictivas para los universales" en la lógica Navya-Nyaya anticipó algunos de los desarrollos de la teoría de conjuntos moderna. [...] En esta sección la discusión se centrará en algunas de las 'condiciones restrictivas para los universales ( jatibadhaka ) propuestas por Udayana. [...] Otra condición restrictiva es anavastha o regresión infinita viciosa. Según esta condición restrictiva, no se puede admitir la existencia de ningún universal ( jati ), cuya admisión conduciría a una viciosa regresión infinita. Como ejemplo, Udayana dice que no puede haber un universal del que todo universal sea miembro; porque si tuviéramos tal universal, entonces, por hipótesis, tendríamos una totalidad dada de todos los universales que existen y todos ellos pertenecen a este gran universal. Pero este universal es en sí mismo un universal y por lo tanto (dado que no puede ser miembro de sí mismo, porque en opinión de Udayana ningún universal puede ser miembro de sí mismo) este universal también, junto con otros universales, debe pertenecer a un universal mayor y así hasta el infinito. . Lo que Udayana dice aquí tiene analogías interesantes en la teoría de conjuntos moderna, en la que se sostiene que un conjunto de todos los conjuntos (es decir, un conjunto al que pertenece cada conjunto) no existe.
A finales del siglo XVIII, los eruditos británicos comenzaron a interesarse por la filosofía india y descubrieron la sofisticación del estudio indio de la inferencia. Este proceso culminó en The Philosophy of the Hindus: On the Nyaya and Vaisesika Systems de Henry T. Colebrooke en 1824, [11] que proporcionó un análisis de inferencia y comparación con la lógica aristotélica recibida, lo que resultó en la observación de que el silogismo aristotélico no podía dar cuenta del silogismo indio. Max Mueller contribuyó con un apéndice a la edición de 1853 del Esquema de las leyes del pensamiento de Thomson , en el que colocó la lógica griega y la india en el mismo plano: "Las ciencias de la lógica y la gramática eran, hasta donde la historia nos permite juzgar , inventado u concebido originalmente sólo por dos naciones, por hindúes y griegos." [12]
Jonardon Ganeri ha observado que este período [ ¿cuál? ] vio a George Boole (1815-1864) y Augustus De Morgan (1806-1871) hacer sus aplicaciones pioneras de ideas algebraicas a la formulación de la lógica (como la lógica algebraica y la lógica booleana ), y sugirió que estas cifras probablemente fueran conscientes de estos estudios en xenología y, además, que su conciencia adquirida de las deficiencias de la lógica proposicional probablemente haya estimulado su disposición a mirar fuera del sistema.
La lógica india atrajo la atención de muchos eruditos occidentales y tuvo influencia en lógicos pioneros del siglo XIX como Charles Babbage (1791-1871), Augustus De Morgan y, en particular , George Boole , como lo confirmó la esposa de Boole, Mary Everest Boole, en un " Carta abierta al Dr. Bose" titulada "Pensamiento indio y ciencia occidental en el siglo XIX", escrita en 1901. [13] [14]
El propio De Morgan escribió en 1860 sobre la importancia de la lógica india: "Las dos razas que han fundado las matemáticas, las de las lenguas sánscrita y griega, han sido las que han formado independientemente sistemas de lógica". [15]
Los matemáticos se dieron cuenta de la influencia de las matemáticas indias en las europeas. Por ejemplo, Hermann Weyl escribió: "En los siglos pasados, las matemáticas occidentales se separaron de la visión griega y siguieron un camino que parece haberse originado en la India y que los árabes nos han transmitido, con adiciones; en él el concepto del número parece lógicamente anterior a los conceptos de geometría [...] Pero la tendencia actual en matemáticas va claramente en la dirección de un retorno al punto de vista griego: ahora consideramos que cada rama de las matemáticas determina su propio dominio característico; de cantidades." [dieciséis]
este El documento consta de tres partes. La primera parte trata de la distinción de Frege entre sentido y referencia de nombres propios y una distinción similar en la lógica Navya-Nyaya. En la segunda parte hemos comparado la definición de número de Frege con la definición de número de Navya-Nyaya. En la tercera parte hemos mostrado cómo el estudio de las llamadas "condiciones restrictivas para los universales" en la lógica Navya-Nyaya anticipó algunos de los desarrollos de la teoría de conjuntos moderna.
parte de HT Colebrook, un esquema para el razonamiento correcto descrito en los primeros textos indios. El informe de su descubrimiento a la Royal Asiatic Society en 1824 provocó un gran interés por la lógica india en los treinta años siguientes, atrayendo la atención incluso de los mejores lógicos de la época, personas como Boole y De Morgan.