La connaissance formelle, autrement dit les mathématiques et la logique - auxquelles il convient d'ajouter, de nos jours, cette cousine proche qu'est l'informatique théorique -, est souvent ressentie comme la part la plus austère de la connaissance. Elle suscite pour ce motif des sentiments ambivalents. C'est à un tel sujet que sont consacrés l'"Introduction à la philosophie des mathématiques" de Marco Panza et Andrea Sereni, et "Le Nécessaire et l'universel" de Brice Halimi.