Logique

La logique est la discipline qui étudie les règles du raisonnement valide, c'est-à-dire les formes d'inférence qui garantissent un passage correct des prémisses à la conclusion. Elle ne s'intéresse pas au contenu des propositions mais à leur agencement : ce qui rend un raisonnement correct ou incorrect, indépendamment de ce dont il parle.

Née avec Aristote et sa théorie du syllogisme, elle a connu une refondation majeure à la fin du XIXe siècle avec la logique formelle ou symbolique, portée notamment par Frege et Russell, qui l'a rapprochée des mathématiques. Elle fournit aujourd'hui les fondements de l'informatique et de l'intelligence artificielle autant que ceux de la philosophie.