Sujet : La logique est-elle une science ?

Extrait du corrigé : Par exemple, lorsque le géomètre a défini le triangle et qu'il entreprend de déduire toutes les propriétés des triangles, il va de soi qu'il prend toujours le concept de triangle au sens où il l'a défini. Le sens de ce concept reste identique dans tous les moments du raisonnement. Sans cela notre pensée serait tout à fait incohérente. On le formule ainsi : « Une chose est ce qu'elle est » ou encore « A est A ». Ce principe fondamental exprime simplement le besoin qu'a la pensée d'être en accord avec elle-même. Il nous oblige à ne pas changer la définition des concepts en cours de raisonnement.   b)    Le principe de non-contradiction.   Sa formule est : « Une chose ne peut pas, en même temps, être et n'être pas » ou encore « A n'est pas non A ». Aristote a donné de ce principe la définition suivante : « Un même attribut ne peut pas être affirmé et nié d'un même sujet en même temps et sous le même rapport. » Par exemple, o ne peut pas dire à la fois d'une plante qu'elle est verte et qu'elle n'est pas verte.