Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Logique traditionnelle
Résumé
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.
Source officielle
À 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.