La logique est l'étude du raisonnement valide. Elle s'intéresse aux relations de cause à effet. Un argument valide est un argument dont la conclusion est nécessairement vraie si les prémisses sont vraies. La logique fournit les outils permettant de distinguer les bons arguments des mauvais. Aristote a systématisé la logique avec le syllogisme. Les logiciens médiévaux l'ont perfectionnée. Frege et Russell ont développé la logique symbolique moderne, qui utilise des langages formels pour représenter les arguments et des règles d'inférence pour en déduire des conclusions. La logique est utilisée en mathématiques, en informatique, en linguistique et en philosophie.

La logique diffère de la psychologie. Elle étudie les principes normatifs, et non la manière dont les individus pensent. Il arrive fréquemment que l'on raisonne de façon illogique, mais cela ne remet pas en cause les exigences de validité. La logique se distingue également de la rhétorique. La rhétorique vise à persuader, tandis que la logique vise à prouver. Bien qu'elles puissent se recouper, elles demeurent distinctes. La logique comprend de nombreuses branches : la logique propositionnelle, la logique des prédicats, la logique modale, la logique temporelle et la logique multivaluée, entre autres. Chaque branche possède ses propres symboles, règles et sémantique. La logique est une science formelle, à l'instar de la géométrie, et elle trouve des applications dans tous les domaines exigeant un raisonnement précis.

Types de logique

• Propositionnel. Traite des propositions complètes et des connecteurs.
• Prédicat. Traite des objets, des propriétés et des quantificateurs.
• Modal. Traite de la possibilité et de la nécessité.
• Informel. Traite du raisonnement en langage naturel.

La logique n'est pas un ensemble de connaissances sur le monde. C'est un ensemble de connaissances sur ce qui découle de quoi.