Sujet : La logique est-elle une science ?

Extrait du corrigé :   C'est d'abord le principe d'identité qui est à tel point fondamental et nécessaire (sans lui aucune pensée ne serait possible) que son énoncé déconcerte toujours un peu (tant il paraît aller de soi) : « Ce qui est, est ; A est A ». 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.