Gottfried Wilhelm Leibniz (1646-1716) Ortaçağdan sonra gelen en önemli mantıkçıdır. Dahası, çağının tüm bilim dallarında donanımlı bir bilim insanıdır. Leibniz çağdaş mantığın dayandığı pek çok yeni düşünceyi ilk kez ortaya koyan düşünürdür. Bunların en önemlisi tüm düşünceyi belirtmeye elverişli yapma bir evrensel dil, lingua universalis, yardımıyla akıl yürütmenin mekanik işlemler aracılığıyla gerçekleştirilmesi düşüncesidir.