La logique traditionnelle consiste en une analyse des propositions comme des constructions sujet-prédicat, une théorie des relations entre les quatre formes de proposition analysées et une théorie du syllogisme et des paralogismes.
Le principe logique d'identité est le premier des quatre grands principes logiques de l'Antiquité : principe d'identité, principe de non-contradiction (« une proposition ne peut être à la fois vraie et fausse »), principe du tiers exclu (« une proposition et sa négation ne peuvent être toutes deux fausses »), ou, selon
Aristote (384-322 av.
J. -C.) est certes le père fondateur de la logique classique2, mais il est également à mon sens largement à l'origine de la philosophie occidentale du langage.