C'est la science du raisonnement et de l'application ou de l'expression du raisonnement. Avec la représentation et le raisonnement, ou inférence, la logique constitue le troisième facteur du triptyque de la capacité de déduction d'un système. Il existe plusieurs types de logiques, la logique propositionnelle, la logique de premier ordre, etc.