Aristote considère trois unités principales du langage : le mot, traduit une idée et se réfère à une chose, la proposition, attribue ou nie une qualité ou une action à un sujet et le raisonnement, enchaîne des propositions pour prouver quelque chose. De cela on a la logique du concept dont l’expression verbale ou écrite est le terme ou le mot, celle du jugement dont l’expression verbale ou écrite est la proposition, susceptible d’être affirmative ou négative et celle du raisonnement, dont l’expression verbale ou écrite est l’argument. Un raisonnement valide obéit aux lois femelles. Le syllogisme catégorique présente quatre figures dotées de quinze modes concluants, susceptibles d’être réduits aux modes de la première figure selon les règles appropriées. La conjonction et la disjonction sont des opérateurs générateurs des autres et leurs formes normales sont pertinentes.

Aristote considère trois unités principales du langage : le mot, traduit une idée et se réfère à une chose, la proposition, attribue ou nie une qualité ou une action à un sujet et le raisonnement, enchaîne des propositions pour prouver quelque chose. De cela on a la logique du concept dont l’expression verbale ou écrite est le terme ou le mot, celle du jugement dont l’expression verbale ou écrite est la proposition, susceptible d’être affirmative ou négative et celle du raisonnement, dont l’expression verbale ou écrite est l’argument. Un raisonnement valide obéit aux lois femelles. Le syllogisme catégorique présente quatre figures dotées de quinze modes concluants, susceptibles d’être réduits aux modes de la première figure selon les règles appropriées. La conjonction et la disjonction sont des opérateurs générateurs des autres et leurs formes normales sont pertinentes.