Voici les trois principales règles de la logique traditionnelle, dite logique formelle : 1. Le principe d’identité : une chose est identique à elle-même. Un végétal est un végétal ; un animal est un animal. La vie est la vie ; la mort est la mort. Les logiciens, mettant ce principe en formule, disent : a est a. / 2. Le principe de non-contradiction : une chose ne peut pas être en même temps elle-même et son contraire. Un végétal n’est pas un animal; un animal n’est pas un végétal. La vie n’est pas la mort ; la mort n’est pas la vie. Les logiciens disent : a n’est pas non-a. / 3. Le principe du tiers exclu (ou exclusion du troisième cas). Entre deux possibilités contradictoires, il n’y a pas place pour une troisième. Un être est animal ou végétal : pas de troisième possibilité. Il faut choisir entre vie et mort ; pas de troisième cas. Si a et non-a sont contradictoires un même objet est ou bien a ou bien non-a.
Guy Besse et Maurice Caveing, Principes fondamentaux de philosophie, Editions sociales, 1954.
____________________________________________________________________________