Voici un manuel très clair qui permet de se former sur les principaux thèmes de la philosophie de la logique à travers dix chapitres qui en présentent un large panorama : la conséquence logique, la démonstration, la vérité, le sens et la référence, les logiques d’ordre supérieur, la négation, les conditionnels, l’universalisme logique, les logiques non classiques, l’incomplétude.
Des exemples concrets émaillent le texte. Le suivant clarifie par exemple la limite du calcul des séquents classique. Si j’ai deux euros (A), alors je peux me payer une baguette (B). De même, si j’ai deux euros (A), je peux me payer un café (C). On peut alors conclure de A⇒B et A⇒C que A⇒(B et C). Pourtant, avec deux euros, je ne peux pas me payer à la fois un café et une baguette !
