Editing Law of noncontradiction (section)

=== Leibniz and Kant ===
[[Gottfried Wilhelm Leibniz|Leibniz]] and [[Immanuel Kant|Kant]] both used the law of non-contradiction to define the difference between [[Analytic–synthetic distinction|analytic and synthetic]] propositions.<ref>{{Citation |last=Wilson |first=Catherine |title=Leibniz's Influence on Kant |date=2018 |url=https://plato.stanford.edu/archives/spr2018/entries/kant-leibniz/ |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |edition=Spring 2018 |publisher=Metaphysics Research Lab, Stanford University |access-date=2021-02-20}}.</ref> For Leibniz, analytic statements follow from the law of non-contradiction, and synthetic ones from the [[principle of sufficient reason]].