" Toujours, dans toute proposition affirmative véritable, nécessaire ou contingente, universelle ou singulière, la notion du prédicat est comprise en quelque façon dans celle du sujet, praedicatum inest subjecto ou bien je ne sais ce que c'est que la vérité. " Parce qu'elles mettaient principalement l'accent sur les liaisons conceptuelles, les précisions de ce genre ont été interprétées comme autant d'indices permettant de reconstituer le contenu du prédicat de vérité à partir de présupposés cohérentistes. Dans le consensus qui s'est établi sur ce point, le plus souvent de manière implicite, le rôle herméneutique très excessif accordé à la notion de système a eu une portée aussi considérable que le contenu des quelques textes généralement allégués. Si l'on admet, au contraire, qu'il y a bien une "doctrine leibnizienne de la vérité" comme il y a, par exemple, une doctrina conditionum en droit - c'est-à-dire un ensemble de thèses largement héritées de la tradition et néanmoins susceptibles d'un très haut degré de rationalité - alors on est amené à inscrire la position de Leibniz dans le contexte du débat relatif à l'adaequatio, rei et à souligner davantage ce qui l'apparente à une théorie de la vérité-correspondance. Cet argument principal est soutenu par des analyses de détail dans la logique. Une attention particulière est apportée aux valeurs des variables du nouveau calcul, à la fonction du prédicat de possibilité, au problème relatif à la constantia subjecti et au statut des entités intensionnelles. L'image de l'ontologie leibnizienne s'en trouve modifiée et précisée : à la fois possibiliste - puisqu'elle est peuplée d'entités inactuelles - et factualiste - l'identité des particuliers, les propriétés et relations qui sont les leurs sont distinguées et pourtant inséparables - elle est traversée de tensions importantes et occupe une place tout à fait singulière dans cette partie de la philosophie qui connaît aujourd'hui un si profond renouveau.