c'est dans ce sens moderne que nous désignons la logique.

l'étude des signifié se divise en deux:


1. l'etude des propositions elle même.


2. la théorie des raisonnements.


C'est Aristote qui le premier essaya de répondre à cette question:
Quelles sont les conditions pour que je puisse déduire une conclusion?


Il n'a pas fait de distinction entre signifiant et signifié mais entre
VRAI et FAUX.


Il a donc exclu de sa logique tous les énoncés dont on ne pouvait pas
dire s'ils étaient vrai ou faux.


Un tel énoncé élementaire VRAI ou FAUX est une proposition
désignée par des minuscules: p, q, r, .....