La logique - du grec logos désignant le mot, le verbe, la raison - est la science des inférences nécessaires, qui établit les règles de transformation valide des propositions, indépendamment de la justesse de leur contenu par rapport à la réalité. Développée depuis l'Antiquité, d'abord par Aristote, ensuite par les stoïciens, étudiée durant tout le Moyen Âge, la logique connut une déchéance de plusieurs siècles avant d'être, à la fin du XIXe siècle, le laboratoire conceptuel où allaient naître les principaux bouleversements scientifiques et technologiques du XXe siècle. De la résurrection de la logique sont issues notamment les nouvelles approches du langage, y compris leurs applications informatiques.
