Certaines de nos premières expériences de la force conclusive d’un argument proviennent des mathématiques scolaires : face à une preuve mathématique, nous ne pouvons pas nier la conclusion une fois que les prémisses ont été acceptées. Derrière de tels arguments se cache un modèle plus général d'« arguments démonstratifs » qui est étudié dans la science de la logique. Le raisonnement logique est appliqué à tous les niveaux, de la vie quotidienne aux sciences avancées, et un niveau remarquable de complexité est atteint dans le raisonnement logique de tous les jours, même si les principes qui le sous-tendent restent intuitifs. Jan von Plato fournit une introduction accessible mais rigoureuse à un aspect important de la logique contemporaine : sa machinerie déductive. Il montre que lorsque les formes du raisonnement logique sont analysées, il s’avère qu’un ensemble limité de principes premiers peut représenter n’importe quel argument logique. Son livre sera précieux pour les étudiants en logique, en mathématiques et en informatique. Langue : Anglais