« Logique : discipline scientifique née avec Aristote .

Il avait l’ ambition de mettre au jour les présupposés qui permettent ces liens « d’ évidence« entre 2 éléments distincts = il les appelle des axiomes Axiome : proposition indémontrable ms dt la valeur de vérité est évidente à ts & qui sert de fdmt à ts les raisonnements ultérieurs (ex : le tout est + grd que la partie) Aristote a ainsi mis au jour ce qu’ il appelle l’ axiome des axiomes : Le principe de non-contradiction : « il est impossible qu’ 1 même attribut appartienne & n’ appartienne pas en même temps , au même sujet & sous le même rapport « De ce prcipe découlent 2 autres principes : Le principe d’ identité : A est A , A = A Le principe du tiers exclu : si 1 proposition est vraie alors sa contradictoire est fausse En outre, selon le point de départ du raisonnement , il existe 2 types principaux de raisonnements : _ la déduction : part du cas général pour en tirer 1 cas particulier Le raisonnement déductif pur est par sa nature analytique , purement tautologique ou a priori et sa valeur de vérité est purement formelle _ l’ induction : part des cas particuliers pour remonter au cas général Le raisonnement inductif est par sa nature synthétique Toutes les sciences & toutes les disciplines intellectuelles ont recours aux 2 types de raisonnement A) LA DÉDUCTION COMME RAISONNEMENT PUREMENT FORMEL ET BASE DE LA LOGIQUE Étude du syllogisme comme modèle de déduction : 1ÈRE forme du raisonnement logique (Aristote) syllogisme= déduction à partir d’ ensembles s’ incluant mutuellement constitué d’ 1 prémisse majeure qui énonce 2 ensembles larges ( l’ 1 étant inclus dans l’ autre ) d’1 prémisse mineure qui énonce 1 élément appartenant à l’ ensemble le + étroit de la prémisse majeure. »