LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
AporieUne aporie (du grec ancien , / aporia, absence de passage, difficulté, embarras) est une difficulté à résoudre un problème, une contradiction insoluble dans un raisonnement. Pour Aristote, c'est une question qui plonge le lecteur ou l'auditeur dans le doute tout en le poussant à trancher entre deux affirmations : « , », c'est-à-dire « contradiction, embarras ». Le sens actuel d'aporie est plus fort et concerne tout problème insoluble et inévitable.
BuddhapālitaBuddhapālita (c. 470-540) est un philosophe indien bouddhiste de l'école madhyamika. Il systématisa la méthode qui consiste à pousser jusqu'à l'absurde les conséquences logiques des systèmes adverses. D'où le nom de prasangika (conséquentialistes) donnés aux partisans de cette méthode : Candrakîrti, Shantideva. Commentaire des Madhyamaka Karika de Nagarjuna, édi. (de la version tibétaine) par Max Welleser, Delhi, Motilal Banardsidas, 1992.
Principe d'explosionEn logique mathématique, le principe d'explosion, énoncé en latin ou encore , ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment.
ContradictionEn logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie. La contradiction est une relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie : « A » et « non-A » sont contradictoires, les phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.
BhavavivekaBhāviveka, also called Bhāvaviveka (; ), and Bhavya was a sixth-century (c. 500 – c. 570) madhyamaka Buddhist philosopher. Alternative names for this figure also include Bhavyaviveka, Bhāvin, Bhāviviveka, Bhagavadviveka and Bhavya. Bhāviveka is the author of the Madhyamakahrdaya (Heart of the Middle), its auto-commentary the Tarkajvālā (Blaze of Reasoning) and the Prajñāpradīpa (Lamp for Wisdom). In Tibetan Buddhism Bhāviveka is regarded as the founder of the svātantrika tradition of mādhyamaka, as opposed to the prāsaṅgika madhyamaka of Chandrakirti.
MulamadhyamakakarikaLa Mulamadhyamakakarika (IAST: Mūlamadhyamakakārikā, aussi appelée Mādhyamikasūtra), littéralement , est l’œuvre la plus importante du philosophie bouddhiste Nagarjuna, au de notre ère. Ce titre a été rendu en français par Stances de la Voie du milieu par excellence ou encore par Stances-racines de la voie médiane. Composées en sanskrit au , les Stances de la voie du Milieu ont été traduites en chinois vers 400 par Kumârajîva, puis en tibétain au par Jñânagarbha et Tchokro Lui Gyaltsen.
Implication (logique)En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
Validité (logique)En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. La forme d'une argumentation déductive est dite valide si et seulement si elle utilise des règles d’inférence par lesquelles il est impossible d’obtenir une conclusion fausse à partir de prémisses vraies. Un argument est valide si et seulement si la vérité de ses prémisses entraîne celle de sa conclusion. Il serait contradictoire d'affirmer les prémisses et de nier la conclusion.
NāgārjunaNāgārjuna, ou Nagardjouna, est un moine, philosophe, écrivain bouddhiste indien ( - ), fondateur de l'école Madhyamaka et originaire de la région correspondant à l'Andhra Pradesh actuel. Beaucoup de points sur son existence relèvent de récits mythiques, si bien qu'il est difficile de dissocier les apports ultérieurs des éléments de sa vie originelle. thumb|right|Bas-relief du stūpa d'Amaravati , proche de Nagarjunakonda dans l'Andhra Pradesh où aurait vécu Nāgārjuna à la même époque, British Museum.
