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).
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.
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é.
Categorical propositionIn logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the subject term) are included in another (the predicate term). The study of arguments using categorical statements (i.e., syllogisms) forms an important branch of deductive reasoning that began with the Ancient Greeks. The Ancient Greeks such as Aristotle identified four primary distinct types of categorical proposition and gave them standard forms (now often called A, E, I, and O).
Hexagone logiqueL'hexagone logique (également appelé hexagone d'opposition) met en évidence des connexions entre six types d'assertions qui sont reliées entre elles par leurs valeurs de vérité. C'est une extension du carré logique d'Aristote découverte de façon indépendante à la fois par Augustin Sesmat et par Robert Blanché qui consiste à introduire deux nouvelles connexions Y et U, Y étant la conjonction de I et O tandis que U est la disjonction de A et E.
ObversionIn traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition.
Logique philosophiqueLa logique philosophique est un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques. Parmi les contributeurs à ce domaine, Sibyl Wolfram souligne l'étude de l'argumentation, du sens et de la vérité, tandis que Colin McGinn présente l'identité, l'existence, la prédication, la nécessité et la vérité comme les thèmes principaux de son livre sur le sujet.
Logical cubeIn the system of Aristotelian logic, the logical cube is a diagram representing the different ways in which each of the eight propositions of the system is logically related ('opposed') to each of the others. The system is also useful in the analysis of syllogistic logic, serving to identify the allowed logical conversions from one type to another.
Triangle of oppositionIn the system of Aristotelian logic, the triangle of opposition is a diagram representing the different ways in which each of the three propositions of the system is logically related ('opposed') to each of the others. The system is also useful in the analysis of syllogistic logic, serving to identify the allowed logical conversions from one type to another.
Pierre AbélardAbélard, Abailard, ou encore Abeilard (Abaelardus), Pierre alias Petrus en religion (né en 1079 au Pallet près de Nantes - mort le , au prieuré Saint-Marcel près de Chalon-sur-Saône), est un philosophe, dialecticien et théologien chrétien français, père de la scolastique, inventeur du conceptualisme et époux d'Héloïse. Né dans une famille de souche poitevine établie dans le duché de Bretagne, il a été abbé de Rhuys mais a exercé principalement dans ce qui est l'Île-de-France actuelle comme professeur appointé par des familles aristocratiques et comme compositeur de chansons pour goliards.
