Логика Лейбница — это аналитика и комбинаторика. Он выделяет аналитические и синтетические суждения. При помощи первых достигается знание необходимых («вечных») истин, с помощью вторых постигаются случайные истины фактов. Аналитические суждения руководствуются тремя логическими законами — тождества, противоречия и исключенного третьего, непреложными, по мнению Лейбница, законами мышления. Но законы, действительные для «истин разума», непригодны для «истин факта». В качестве критерия проверки эмпирических истин («истин факта») Лейбниц формулирует новый — четвертый закон логики: «закон достаточного основания».
