Logique indienne - Indian logic

Le développement de la logique indienne remonte à l' anviksiki de Medhatithi Gautama (vers 6e siècle avant notre ère) ; les règles de grammaire sanskrite de Pāṇini (vers le 5e siècle avant notre ère) ; l' analyse de l' atomisme de l'école Vaisheshika (vers le VIe siècle avant notre ère jusqu'au IIe siècle avant notre ère) ; l'analyse de l' inférence par Gotama (vers VIe siècle av. J.-C. au IIe siècle ap. J.-C.), fondateur de l' école Nyaya de philosophie hindoue ; et le tétralemme de Nagarjuna (vers le IIe siècle de notre ère).

La logique indienne se présente comme l'une des trois traditions logiques originales , aux côtés des logiques grecque et chinoise . La tradition indienne a continué à se développer du début aux temps modernes, sous la forme de l' école de logique Navya-Nyāya .

Origines

Qui sait vraiment ?
Qui le proclamera ici ?
D'où a-t-il été produit ? D'où vient cette création ?
Les dieux sont venus après, avec la création de cet univers.
Qui sait donc d'où il est né ?

—  Nasadiya Sukta , concerne l' origine de l'univers , Rig Veda , 10:129-6

Le Nasadiya Sukta du Rigveda ( RV 10 .129) contient des spéculations ontologiques en termes de diverses divisions logiques qui ont ensuite été refondues formellement comme les quatre cercles de catuskoti : "A", "pas A", "A et 'pas A'" , et "pas A et pas A".

Medhatithi Gautama (vers le 6ème siècle avant notre ère) a fondé l' école de logique anviksiki . Le Mahabharata (12.173.45), vers le 4ème siècle avant notre ère jusqu'au 4ème siècle de notre ère, fait référence aux écoles de logique anviksiki et tarka . Pāṇini (c. 5ème siècle avant notre ère) a développé une forme de logique (avec laquelle la logique booléenne a quelques similitudes) pour sa formulation de la grammaire sanskrite . La logique est décrite par Chanakya (vers 350-283 avant notre ère) dans son Arthashastra comme un champ d'enquête indépendant anviksiki .

Les écoles

Vaisheshika

Vaishesika, également Vaisesika, (sanskrit : वैशेषिक) est l'une des six écoles hindoues de philosophie indienne . Il est devenu étroitement associé à l'école de logique hindoue Nyaya. Vaisheshika épouse une forme d'atomisme et postule que tous les objets de l'univers physique sont réductibles à un nombre fini d'atomes. Initialement proposé par Kanāda (ou Kana-bhuk, littéralement, mangeur d'atomes) à partir du IIe siècle avant notre ère.

Catuskoti

Au 2ème siècle, le philosophe bouddhiste Nagarjuna a affiné la forme de logique Catuskoti . Le Catuskoti est également souvent glosé Tetralemma (grec) qui est le nom d'un «argument aux quatre coins» largement comparable, mais pas égalable, dans la tradition de la logique classique .

Nyaya

Nyāya ( ni-āyá , littéralement « récursivité », utilisé dans le sens de « syllogisme , inférence ») est le nom donné à l'une des six écoles orthodoxes ou astika de la philosophie hindoue — en particulier l'école de la logique.

L'école Nyaya de spéculation philosophique est basée sur des textes connus sous le nom de Nyaya Sutras , qui ont été écrits par Gotama vers le IIe siècle de notre ère. La contribution la plus importante apportée par l'école Nyaya à la pensée hindoue moderne est sa méthodologie. Cette méthodologie est basée sur un système de logique qui a par la suite été adopté par la plupart des autres écoles indiennes (orthodoxes ou non), de la même manière que l' on peut dire que la philosophie occidentale est largement basée sur la logique aristotélicienne .

Les adeptes de Nyaya croyaient que l'obtention de connaissances valides était le seul moyen d'obtenir la libération de la souffrance. Ils se sont donc efforcés d'identifier les sources valables de connaissance et de les distinguer des simples opinions fausses. Selon l'école Nyaya, il existe exactement quatre sources de connaissance (pramanas) : la perception, l'inférence, la comparaison et le témoignage. Les connaissances obtenues grâce à chacun d'entre eux peuvent, bien sûr, toujours être valides ou invalides. En conséquence, les érudits Nyaya se sont à nouveau donné beaucoup de mal pour identifier, dans chaque cas, ce qu'il fallait pour rendre les connaissances valides, créant ainsi un certain nombre de schémas explicatifs. En ce sens, Nyaya est probablement l'équivalent indien le plus proche de la philosophie analytique contemporaine .

Logique jaïne

Le jaïnisme a apporté sa propre contribution unique à ce développement dominant de la logique en s'occupant également des questions épistémologiques de base, à savoir celles concernant la nature de la connaissance, la manière dont la connaissance est dérivée et de quelle manière la connaissance peut être considérée comme fiable. La logique jaïne s'est développée et a prospéré du 6ème siècle avant notre ère au 17ème siècle de notre ère. Selon les jaïns, le principe ultime doit toujours être logique et aucun principe ne peut être dépourvu de logique ou de raison. Ainsi on trouve dans les textes jaïns , des exhortations délibératives sur n'importe quel sujet dans tous ses faits, qu'ils soient constructifs ou obstructifs, inférentiels ou analytiques, éclairants ou destructeurs. Les jaïns ont des doctrines de relativité utilisées pour la logique et le raisonnement :

  • Anekāntavāda  – la théorie du pluralisme relatif ou de la multiplicité ;
  • Syādvāda  – la théorie de la prédication conditionnée et ;
  • Nayavāda  – La théorie des points de vue partiels.

Ces concepts philosophiques jaïns ont apporté les contributions les plus importantes à l'ancienne philosophie indienne , en particulier dans les domaines du scepticisme et de la relativité.

Voici la liste des philosophes jaïns qui ont contribué à Jain Logic :

  • Kundakunda (IIe siècle de notre ère), représentant du mysticisme jaïn et des nayas jaïns traitant de la nature de l'âme et de sa contamination par la matière, auteur de Pañcāstikāyasāra (Essence des Cinq Existents), du Pravachanasāra (Essence de l'Écriture) et du Samayasāra ( Essence de la Doctrine).
  • Umāsvāti ou Umasvami (IIe siècle de notre ère), auteur du premier ouvrage jaïn en sanskrit, Tattvārthasūtra , exposant la philosophie jaïn sous une forme la plus systématisée acceptable pour toutes les sectes du jaïnisme.
  • Siddhasena Divākara (Ve siècle de notre ère), logicien jaïn et auteur d'ouvrages importants en sanskrit et en prakrit, tels que Nyāyāvatāra (sur la logique) et Sanmatisūtra (traitant des sept points de vue jaïna, de la connaissance et des objets de connaissance)
  • Haribhadrasuri (8e siècle de notre ère), un penseur jaïna, auteur et grand partisan de l' anekāntavāda et du yoga classique, en tant que système sotériologique de méditation dans le contexte jaïna. Ses œuvres incluent Ṣaḍdarśanasamuccaya et Yogabindu.
  • Aacharya Hemacandra (1089-1172 CE) - un penseur jaïna, auteur, historien, grammairien et logicien. Ses œuvres incluent Yogaśāstra et Trishashthi Shalaka Purusha charitra .
  • Mahopadhya Yaśovijayaji (1624-88 CE) - Logicien Jain et considéré comme un géant intellectuel pour contribuer à la philosophie Jaina.
  • Acharya Mahapragya (1920-2010 CE);– Logicien jaïn et considéré comme un géant intellectuel et une encyclopédie pour contribuer à la philosophie jaïna. L'éminent érudit en philosophie, le Dr Daya Krishna a reconnu Acharya Shri Mahapragya comme la personne la mieux informée sur le sujet de la logique jaïne. Son livre "New Dimensions in Jaina Logic" est l'un des meilleurs travaux sur le sujet à l'ère moderne. Acharya Mahapragya est connu pour ses discours éclairants. En 1975, il a été spécialement invité à donner une série de neuf conférences sur la logique jaïne à l' Université du Rajasthan à Jaipur. L'Université a publié ces conférences sous la forme d'un livre intitulé 'Jain Nyay Ka Vikas'. Ses livres sur les sujets incluent principalement 'Jain Darshan-Mannan aur Mimansa', 'Jain Dharma Aur Sanskriti', 'Jain Darshan et Anekantvad', 'Jain Dharma aur Darshan', et bien d'autres.

logique bouddhiste

La logique bouddhiste indienne (appelée Pramana ) a prospéré à partir d'environ 500 EC jusqu'à 1300 EC. Les trois principaux auteurs de la logique bouddhiste sont Vasubandhu (400-800 CE), Dignāga (480-540 CE) et Dharmakīrti (600-660 CE). Les réalisations théoriques les plus importantes sont la doctrine de Trairūpya (Skrt. त्रैरूप्य) et le schéma hautement formel du Hetucakra (Skrt. हेतुचक्र) ("Roue des raisons") donné par Dignāga . Il existe une tradition encore vivante de logique bouddhiste dans les traditions bouddhistes tibétaines, où la logique est une partie importante de l'éducation des moines.

Navya-Nyaya

La Navya-Nyāya ou darśana (école) néo-logique de la philosophie indienne a été fondée au XIIIe siècle de notre ère par le philosophe Gangesha Upadhyaya de Mithila . C'était un développement du Nyāya darśana classique. D'autres influences sur Navya-Nyāya étaient le travail des philosophes antérieurs Vācaspati Miśra (900-980 CE) et Udayana (fin du 10ème siècle).

Le livre de Gangeśa Tattvacintāmaṇi (« Pensée-Joyau de la réalité ») a été écrit en partie en réponse au Khandanakhandakhādya de Śrīharśa, une défense de l'Advaita Vedānta, qui avait proposé un ensemble de critiques approfondies des théories Nyāya de la pensée et du langage. Dans son livre, Gangeśa a à la fois abordé certaines de ces critiques et – plus important encore – a examiné de manière critique le Nyāya darśana lui-même. Il a soutenu que, alors que Śrīharśa n'avait pas réussi à défier l'ontologie réaliste Nyāya, ses propres critiques et celles de Gangeśa ont fait ressortir le besoin d'améliorer et d'affiner les outils logiques et linguistiques de la pensée Nyāya, pour les rendre plus rigoureux et précis.

Tattvacintāmani traitait de tous les aspects importants de la philosophie indienne, de la logique, de la théorie des ensembles et surtout de l' épistémologie , que Gangeśa examinait rigoureusement, développant et améliorant le schéma de Nyāya et offrant des exemples. Les résultats, en particulier son analyse de la cognition, ont été repris et utilisés par d'autres darśanas.

Navya-Nyāya a développé un langage et un schéma conceptuel sophistiqués qui lui ont permis de soulever, d'analyser et de résoudre des problèmes de logique et d'épistémologie. Il a systématisé tous les concepts Nyāya en quatre catégories principales : sens ou perception (pratyakşa), inférence (anumāna), comparaison ou similitude ( upamāna ) et témoignage (son ou mot ; śabda).

Cette dernière école a commencé autour de l' est de l'Inde et du Bengale et a développé des théories ressemblant à la logique moderne, telles que la "distinction entre le sens et la référence des noms propres" de Gottlob Frege et sa "définition du nombre", ainsi que la théorie Navya-Nyaya de « conditions restrictives pour les universaux » anticipant certains des développements de la théorie des ensembles moderne . Udayana en particulier a développé des théories sur les « conditions restrictives pour les universaux » et la « régression infinie » qui anticipaient les aspects de la théorie des ensembles moderne. Selon Kisor Kumar Chakrabarti :

Dans la troisième partie, nous avons montré comment l'étude des soi-disant « conditions restrictives pour les universaux » dans la logique Navya-Nyaya anticipait certains des développements de la théorie des ensembles moderne. [...] Dans cette section, la discussion se concentrera sur certaines des « conditions restrictives pour les universaux ( jatibadhaka ) proposées par Udayana. [...] Une autre condition restrictive est anavastha ou régression infinie vicieuse. Selon cette condition restrictive, aucun universel ( jati ) ne peut être admis, dont l'admission conduirait à une régression infinie vicieuse. A titre d'exemple, Udayana dit qu'il ne peut y avoir d'universel dont chaque universel soit membre ; car si nous avions un tel universel, alors, par hypothèse, nous avons une totalité donnée de tous les universaux qui existent et tous appartiennent à ce grand universel. Mais cet universel est lui-même un universel et par conséquent (puisqu'il ne peut pas être membre de lui-même, car selon Udayana, aucun universel ne peut être membre de lui-même) cet universel aussi avec d'autres universaux doit appartenir à un plus grand universel et ainsi de suite à l'infini. . Ce qu'Udayana dit ici a des analogues intéressants dans la théorie des ensembles moderne dans laquelle on considère qu'un ensemble de tous les ensembles (c'est-à-dire un ensemble auquel chaque ensemble appartient) n'existe pas.

Influence de la logique indienne sur la logique moderne

À la fin du XVIIIe siècle, les érudits britanniques ont commencé à s'intéresser à la philosophie indienne et ont découvert la sophistication de l'étude indienne de l'inférence. Ce processus a culminé dans The Philosophy of the Hindus: On the Nyaya and Vaisesika Systems de Henry T. Colebrooke en 1824, qui a fourni une analyse de l'inférence et de la comparaison avec la logique aristotélicienne reçue , aboutissant à l'observation que le syllogisme aristotélicien ne pouvait pas expliquer le Syllogisme indien. Max Mueller a contribué une annexe à l'édition de 1853 de Thomson 's Outline of the Laws of Thought , dans laquelle il plaçait la logique grecque et indienne sur le même plan : « Les sciences de la logique et de la grammaire étaient, autant que l'histoire nous permet de juger , inventé ou conçu à l'origine par deux nations seulement, par les hindous et les grecs."

Jonardon Ganeri a observé que cette période a vu George Boole (1815-1864) et Augustus De Morgan (1806-1871) faire leurs applications pionnières des idées algébriques à la formulation de la logique (comme la logique algébrique et la logique booléenne ), et a suggéré que ces chiffres étaient susceptibles d'être au courant de ces études en xéno-logique, et en outre que leur conscience acquise des lacunes de la logique propositionnelle est susceptible d'avoir stimulé leur volonté de regarder en dehors du système.

La logique indienne a attiré l'attention de nombreux érudits occidentaux et a eu une influence sur les pionniers de la logique du XIXe siècle tels que Charles Babbage (1791-1871), Augustus De Morgan et en particulier George Boole , comme l'a confirmé l'épouse de Boole, Mary Everest Boole dans un " lettre ouverte au Dr Bose" intitulée "Pensée indienne et science occidentale au XIXe siècle" écrite en 1901.

De Morgan lui-même a écrit en 1860 sur l'importance de la logique indienne : « Les deux races qui ont fondé les mathématiques, celles des langues sanskrite et grecque, ont été les deux qui ont indépendamment formé des systèmes de logique.

Les mathématiciens ont pris conscience de l'influence des mathématiques indiennes sur les européennes. Par exemple, Hermann Weyl a écrit : « Les mathématiques occidentales ont, au cours des siècles passés, rompu avec la conception grecque et ont suivi un cours qui semble provenir de l'Inde et qui nous a été transmis, avec des ajouts, par les Arabes ; en elle le concept du nombre apparaît comme logiquement antérieur aux concepts de la géométrie. [...] Mais la tendance actuelle des mathématiques va clairement dans le sens d'un retour au point de vue grec ; nous considérons maintenant chaque branche des mathématiques comme déterminant son propre domaine caractéristique des quantités."

Voir également

Remarques

Les références

  • Ganeri, Jonardon 2004. Logique indienne . dans : Gabbay, Dov & Woods, John (eds.), Greek, Indian and Arabic Logic , Volume I du Handbook of the History of Logic , Amsterdam : Elsevier, pp. 309-396.
  • Ganeri, Jonardon (éd.) 2001. Logique indienne. Un lecteur . New York : Routledge Curzon.
  • Matilal, Bimal Krishnan 1985. Logique, langage et réalité. Une introduction aux études philosophiques indiennes . Delhi : Motilal Barnassidas, ISBN  0-19-566658-5
  • Matilal, Bimal Krishnan 1998. The Character of Logic in India , édité par Jonardon Ganeri et Heeraman Tiwari, Albany : State University of New York Press.
  • Perrett, Roy (éd.) 2001. Logique et langage : philosophie indienne , New York : Routledge.

Liens externes