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).
Logique traditionnelleEn philosophie, certains nomment logique traditionnelle celle qui a existé en Occident après Aristote et avant l'avènement de la logique mathématique moderne. Elle fut dominante en Europe depuis l'Antiquité jusqu'à la fin du . La logique d'Aristote est présentée dans six documents connus sous le nom dOrganon. Deux de ces documents, les Premiers Analytiques et De l'interprétation, contiennent l'étude des jugements et de l'inférence formelle et c'est cette partie des œuvres d'Aristote qui est passée à la postérité.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
ArgumentationL’argumentation est l'action de convaincre et pousser ainsi l'autre à agir. Contrairement à la persuasion, elle vise à être comprise de tous et résiste à l'utilisation d'arguments fallacieux. L’argument est, en logique et en linguistique, l’ensemble des prémisses données en support à une conclusion. Une argumentation est composée d'une conclusion et d'un ou de plusieurs « éléments de preuve », que l'on appelle des prémisses ou des arguments, et qui constituent des raisons d'accepter cette conclusion.
OrganonL'Organon (« outil » ou « instrument » en grec ancien) est le nom scolastique utilisé pour désigner un ensemble de traités, principalement de logique, attribués à Aristote. Le titre d'Organon n'est pas d'Aristote ; il est mentionné pour la première fois par Diogène Laërce. Le fait même d'utiliser le terme d'« instrument » pour désigner les traités logiques d'Aristote n'est pas neutre, mais prend place dans le cadre d'un débat philosophique, les stoïciens affirmant que la logique constitue une part entière de la philosophie, tandis que les péripatéticiens tardifs du Lycée considéraient qu'il ne s'agissait que d'un outil.
Correction (logique)En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. Le terme de correction peut ici être pris dans son sens de qualité de ce qui est correct.
Inférence (logique)L’inférence est un mouvement de la pensée qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion. Étymologiquement, le mot inférence signifie « reporter ». En théorie, l'inférence est traditionnellement divisée en déduction et induction, une distinction qui, en Europe, remonte au moins à Aristote ( avant Jésus-Christ). On distingue les inférences immédiates des inférences médiates telles que déductives, inductives et abductives.
PrémisseUne prémisse est une proposition, une affirmation avancée en support à une conclusion. Le terme de prémisse vient du latin praemissa, sous-entendu sententia, proposition mise en avant, de prae, en avant, et mittere, envoyer. Dans un syllogisme, les deux premières prémisses s'appellent la majeure et la mineure. La prémisse est toujours avancée en support à la conclusion. Aristote a déclaré que tout argument logique pourrait être réduit à deux prémisses et une conclusion.
Modus ponensLe modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent (« or A ») pour en déduire le conséquent (« donc B »). Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie « le mode qui, en posant, pose ». Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B (ponendo est le gérondif du verbe ponere qui signifie poser, et ponens en est le participe présent).
BoèceAnicius Manlius Severinus Boethius, communément appelé Boèce /bo.ɛs/, né vers 480 à Rome et condamné à mort en 524 à Pavie par Théodoric le Grand, est un philosophe et homme politique latin. Témoin des derniers feux de l'Empire romain, il occupe une place fondamentale dans la transmission de la philosophie antique en Occident. Sa traduction en latin de l’œuvre logique d'Aristote, ainsi que son commentaire par Porphyre de Tyr, exerceront une influence déterminante sur la philosophie médiévale.
