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).
Carré logiqueLe carré logique ci contre représente les oppositions logiques entre les quatre propositions : Proposition notée A, universelle affirmative : « tous les S sont P » (SaP : S are all P) Proposition notée E, universelle négative : « aucun S n'est P » ou « tous les S sont non-P » (SeP : S excluded from P) Proposition notée I, particulière affirmative : « au moins un S est P » (SiP : some S in P). Proposition notée O, particulière négative : « au moins un S est non-P » (SoP : some S out of P), qui exprime la précédente négativement.
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
SyllogismeEn logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions : deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ». Aristote a été le premier à le formaliser dans son Organon. Ces propositions sont généralement exprimées avec uniquement des prédicats unaires et relèvent donc de la logique monadique du premier ordre.
École péripatéticienneL’école péripatéticienne, ou école péripatétique, est l'école philosophique fondée par Aristote en 335 av. J.-C. au Lycée d'Athènes. Elle tire son nom du grec ancien peripatetikós (περιπατητικός, « qui aime se promener »), Aristote enseignant au Lycée d'Athènes en marchant avec ses élèves. L'aristotélisme est une notion étroite, qui renvoie strictement à Aristote, tandis que le « péripatétisme » désigne l'ensemble du courant philosophique qui succéda au maître.
Porphyre de TyrPorphyre de Tyr (234-305) est un philosophe néoplatonicien d’origine phénicienne. Disciple de Plotin, il a édité les écrits de ce dernier (les Ennéades) et rédigé après sa mort une biographie (la Vie de Plotin). Célèbre pour son Introduction aux Catégories d'Aristote (Isagogè), il contribue à faire passer le néoplatonisme en milieu chrétien, via Marius Victorinus, jusque chez saint Augustin et Claudien Mamert. Il est également l'auteur d'un traité Contre les chrétiens, aujourd'hui perdu.
Guillaume d'OckhamGuillaume d'Ockham ou Guillaume d'Occam (William of Ockham ; Gulielmus Occamus ; v. 1285 - ), dit le « Docteur invincible » et le « Vénérable initiateur » (Venerabilis inceptor), est un philosophe, logicien et théologien anglais, membre de l'ordre franciscain, considéré comme le représentant le plus éminent de l'école scolastique nominaliste (ou , selon la terminologie ockhamienne), principale concurrente des écoles thomiste et scotiste.
IsagogèL’Introduction aux Catégories d'Aristote (en Εἰσαγωγὴ εἰς τὰς Ἀριστοτέλους κατηγορίας, ), est le titre conventionnel d'un ouvrage, plus connu sous le titre d’Isagogè, qui est une brève introduction aux Catégories d'Aristote, écrite au par Porphyre. Elle fut composée en Sicile durant les années 268-270, et dédiée à Chrysaorium, selon les commentateurs anciens Ammonios, Elias et David. Traduite du grec en latin par Boèce au , elle fut un manuel de référence pendant des siècles pour l'étude de la logique.
A priori et a posterioriA priori (ou à priori selon l'orthographe rectifiée de 1990) et a posteriori (ou à postériori) sont un couple de concepts utilisés en philosophie et notamment en philosophie de la connaissance. Une connaissance est a priori lorsqu'elle est indépendante de l'expérience sensible et logiquement antérieure. Emmanuel Kant soutient qu'il s'agit d'une connaissance « indépendante de l'expérience ». A contrario, une connaissance a posteriori est empirique, c'est-à-dire qu'elle est « issu[e] de l'expérience » (Kant).
Sémantique formelle (logique)En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétation, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction. Parmi les tâches des logiciens figure la fourniture de signification aux propositions. Avant l'avènement de la logique moderne, l'Organon d'Aristote, et en particulier De Interpretatione a servi de base à la compréhension de l'importance de la logique.
