Du grec logikè (dérivé de logos, « parole », « raison ») : « art ou science du raisonnement ».
Fondée par Aristote, la logique (dite formelle) détermine la validité des opérations de l'esprit.
La logique montre comment faire toutes les théories, mais à elle seule elle n'apprend pas à reconnaître les bonnes théories.
Un raisonnement est logique lorsque toutes ses affirmations, sauf les prémisses, sont des conséquences logiques évidentes des affirmations qui les précèdent.
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.