# Leibniz – La logique et le progrès de la mathématisation de la pensée - Leibniz élabore - une méthode logique - pour ***mathématiser*** la pensée - c'est-à-dire réduire les opérations mentales à un calcul - afin de construire un alphabet de la pensée - grâce à quoi à partir de concepts simples représentés par des symboles il serait possible d'en dériver des complexes - une distinction entre - vérités de raison - vérités nécessaires dans lesquelles le prédicat est implicitement dans le sujet à partir duquel elle peut être nécessairement déduite - elles concernent le monde de la logique et reposent sur les principes d'identité et de non-contradiction - vérités de fait - vérités contingentes dont les prédicats ne peuvent être déduits du sujet et dont le contraire est toujours possible - elles concernent le monde réel et reposent sur le principe de raison suffisante - mais du point de vue de Dieu elles coïncident - il connaît tous les prédicats implicites dans la substance individuelle et peut donc les déduire