Logique traditionnelle

En 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é. L'étude contemporaine sur la logique d'Aristote a été initiée par Jan Łukasiewicz . Ensuite, l'approche de Jan Lukasiewicz a été approfondie au début des années 1970 par et . L'hypothèse fondamentale derrière la théorie, est que les propositions sont composées de deux termes - d'où le nom "théorie à deux termes" - et que le processus de raisonnement est à son tour construit à partir de propositions: Le terme quelque chose, comme «un homme», «un mortel», «une table» etc. (un terme n'est ni faux ni vrai) La proposition se compose de deux termes, dans lequel un terme (appelé prédicat) est «affirmée» ou «refusé» de l'autre (le «sujet»), et qui est capable de la vérité ou la fausseté. Une proposition peut être universelle ou particulière, et elle peut être affirmative ou négative. Traditionnellement, les quatre types de propositions sont les suivantes : Type-A: Universel et affirmatif ( «Tout philosophe est mortel») Type-I: Particulier et affirmatif ( «Certains philosophes sont mortels») Type-E: Universel et négatif ( «Tout philosophe n'est pas immortel») Type-O: particulier et négatif ( «Certains philosophes ne sont pas immortels») Cela a été appelé le schéma quadruple des propositions, formant le carré logique aristotélicien. Le syllogisme est une inférence dans laquelle une proposition (appelée conclusion) se déduit de la nécessité de deux autres (appelées prémisses). Dans un article de la Stanford Encyclopedia of Philosophy, "Le Carré Logique Traditionnel", explique: Une préoccupation centrale de la tradition aristotélicienne dans la logique est la théorie du syllogisme catégorique.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (69)

Cours associés (17)

Séances de cours associées (151)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

EE-110: Logic systems (for MT)

Ce cours couvre les fondements des systèmes numériques. Sur la base d'algèbre Booléenne et de circuitscombinatoires et séquentiels incluant les machines d'états finis, les methodes d'analyse et de syn

CS-330: Artificial intelligence

Introduction aux techniques de l'Intelligence Artificielle, complémentée par des exercices de programmation qui montrent les algorithmes et des exemples de leur application à des problèmes pratiques.

Logique

La 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 traditionnelle

Syllogisme

En 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.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Predicate Logic: En savoir plus sur les quantificateurs

Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.