Une porte lumineuse sur la logique

Précis de philosophie de la logique et des mathématiques (Vol. 1) : Philosophie de la logique

Francesca Poggiolesi, Pierre Wagner
Editions de La Sorbonne
2021

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 !

S’il manque parfois un peu de cohérence dans l’approche des différents sujets (ce qui est dû à la multiplicité des contributeurs), l’ouvrage représente une formidable somme pour tout étudiant du domaine ou toute personne, même débutante (ce qui n’est pas souvent le cas des livres sur la philosophie de la logique), souhaitant entrer dans le sujet.