Dans une première approche, la logique est l'étude de l'inférence. Ce terme désigne le processus par lequel on déduit une nouvelle information, nommée conclusion, à partir d'énoncés de départ appelés prémisses. La logique ne se contente pas de constater ce mouvement intellectuel : elle en examine la structure formelle pour en évaluer la validité. Prenez l'exemple classique : si tous les humains sont mortels et que Socrate est un être humain, alors Socrate est nécessairement mortel. Ici, la forme de l'argument assure que la conclusion découle inévitablement des prémisses, à condition qu'elles soient vraies. C'est le raisonnement déductif. À l'opposé, la logique analyse aussi les inférences probabilistes, comme l'induction, où la conclusion est forte mais non certaine. Maîtriser ces mécanismes permet de distinguer un argument solide d'une simple coïncidence, et constitue le socle du raisonnement scientifique, juridique et du quotidien.