Leibniz

leading idea: the idea of universal harmony

contingent / necessary proposition

試圖將(數學的、邏輯的)演譯系統應用在科學、物理學、形上學、神學等等，發展一套人類知識的共通語言: mathematical symbolism --> universal science。

必然命題：矛盾律、關乎可能性（也就是不矛盾）的命題［除了上帝的存在］、恆真句

偶然命題：關乎存在［除了上帝的存在］、充足理由律（事物的存在必須有充足的原因使它存在）