ARISTOTE et la LOGIQUE.

       Vrai... puis... faux...

 selon Aristote... 

Aristote avait remarqué que dans certains cas,  un argument était impossible logiquement lorsque les premières données exactes amenaient une conclusion fausse.

Tout le monde connaît :

"Tous les hommes sont mortels."

"Tous les mortels craignent la mort."

donc :

 "Tous les hommes craignent la mort."

En fait, tout est valable par déduction...

Aristote avait découvert que la validité d'une interférence ne dépendait pas de la matière du sujet, mais de la forme des prémisses et de la conclusion.

(Manuscrit du Moyen Age : Aristote)
 

Aristote  a décrit plusieurs exemples de ces "syllogismes".

Jusqu'au XIXème siècle, la logique a été consacrée essentiellement aux syllogismes d'Aristote.

Cette forme de logique existe aussi en mathématiques et sciences.

Au XIXème siècle, Gottlob Frege a conçu une forme beaucoup plus générale  pour le raisonnement scientifique en mathématiques.

(Frege)
 

Un système issu de celui de Frege "logique du premier ordre avec identité" est enseigné aux étudiants.

Avec l'arrivée de l'ordinateur, "tout" est devenu plus  "fins et précis". On y trouve le mot "finitude" (Kurt Gödel) et le mot "incertitude" (Alonzo Church)

(Gödel) 

'(Church)