Leibniz’s Philosophical Aim: Establishing Certainty and Order

What does it mean to truly know something? Not just believe it, or guess it – but know it with the kind of certainty that cannot be shaken by doubt, perception, or the passage of time? This question sat at the heart of Gottfried Wilhelm Leibniz’s entire philosophical project. Writing in the late 17th and early 18th centuries, Leibniz – mathematician, logician, diplomat, and one of the most original thinkers of the early modern period – set out to build a system of knowledge that was logically ordered, free of contradiction, and grounded in eternal, necessary truth. His aim was not simply to answer philosophical questions, but to establish the very conditions under which any reliable answer becomes possible.

Leibniz and Descartes: the shared goal, the different path 🔗

To understand Leibniz’s philosophical aim, it helps to see it against the backdrop of René Descartes, his great predecessor. Both philosophers were rationalists – both believed that genuine knowledge comes not from the senses but from reason. Descartes sought certainty through methodological doubt, stripping away every belief that could be questioned until he reached something undeniable: cogito ergo sum (I think, therefore I am). From that single certainty, he reconstructed knowledge using intuition and deduction. His entire approach modeled philosophy on the precision of mathematics, seeking truths that were “clear and distinct.”

Leibniz shared this drive for certainty and this admiration for mathematical reasoning. Both Descartes and Leibniz, along with Spinoza, held extreme rationalism in common – the view that reason, not experience, is the ultimate test of knowledge. But Leibniz found critical shortcomings in the Cartesian approach. Descartes relied heavily on intuition to grasp first principles, and his proof of God’s existence to guarantee clear and distinct ideas was widely criticized as circular reasoning – the so-called Cartesian Circle. Leibniz wanted a more rigorous foundation: not just self-evident starting points, but explicit logical principles that could govern all reasoning systematically and without exception.

Where Descartes built knowledge on an introspective bedrock, Leibniz’s approach sought out agreement, minimized contradiction, and aimed at a unified, comprehensive philosophical system. His philosophical aim was broader and, in his view, more logically secure.

The two great principles of reasoning 🔗

Leibniz’s system rests on two foundational principles, which he called the twin pillars of all reasoning. He articulated them most clearly in his Monadology (1714), presenting them as the basis on which every act of rational judgment depends.

The principle of contradiction 🔗

The first is the Principle of Contradiction (PC). According to this principle, whatever involves a contradiction is false, and whatever is opposed to the false is true. In other words, something cannot both be and not be at the same time. A statement and its direct negation cannot both hold. This is not merely a logical rule – for Leibniz, it is a metaphysical one. It defines the domain of necessary truths: truths whose opposites are simply impossible.

Mathematical truths are the clearest examples. The statement “2 + 2 = 4” is not just usually true or probably true – its negation is a contradiction. Leibniz called such truths “necessary truths,” and argued that mathematical truisms are universally known without empirical evidence – the idea that 1 + 1 = 2 does not require observation of actual objects. It holds in all possible circumstances and can be known through reason alone. The Principle of Contradiction governs this entire domain of necessity.

The principle of sufficient reason 🔗

The second is the Principle of Sufficient Reason (PSR). Leibniz held that no fact can be real and no proposition true unless there is a sufficient reason why it is so and not otherwise. There are no brute, unexplained facts; nothing happens without a cause; no claim is true without there being a reason for its truth.

Leibniz was the first philosopher to name this principle explicitly and to recognize it as a major pillar of philosophy. He presented it alongside the Principle of Contradiction as a principle of “reasoning” – not just a metaphysical claim, but a directive for how inquiry must proceed. The PSR has both epistemic force (it governs what we can judge) and metaphysical force (it governs what can exist or happen).

The two principles govern different domains. The Principle of Contradiction rules over the domain of necessary truths, while the Principle of Sufficient Reason rules over the domain of contingent truths – facts about the world that are true but could, in principle, have been otherwise. Why does the universe exist? Why does this particular event happen at this time and not another? For all such questions, there must be a sufficient reason, even if that reason often lies beyond human access.

Truths of reasoning vs. truths of fact 🔗

One of Leibniz’s most consequential contributions to epistemology is his distinction between two fundamentally different kinds of truth. Leibniz was the first to clearly distinguish “truths of reason” from “truths of fact”, and the contrast is central to understanding his rationalist position.

Truths of reasoning (necessary truths) 🔗

Truths of reasoning are necessary and universal. Their opposites are impossible – denying them produces a direct contradiction. These truths hold in all possible worlds, not just the world as it happens to be. Logical and mathematical propositions are the primary examples. If A is B and B is C, then A is C – this is a necessary truth of reason; its opposite cannot be true without contradiction.

These truths are known a priori – that is, independently of sensory experience. Leibniz distinguished “truths a posteriori, or of fact” from “truths a priori, or of reason,” since a priori truths can be demonstrated through identical propositions, while a posteriori truths are seen to be true only from experience. For Leibniz, a priori truths carry a special authority precisely because they do not depend on the contingent state of any particular world – they are eternal and necessary.

Analysis is the key method for uncovering these truths. The theorems of mathematics can be reduced through analysis to definitions, axioms, and postulates, ultimately arriving at identity statements – propositions of the form “A is A” – whose denials are explicit contradictions. This is the logical bedrock Leibniz was seeking.

Truths of fact (contingent truths) 🔗

Truths of fact are contingent – they describe how things actually are, but their opposites remain possible. The statement “there is a cat in this garden” may be true right now, but it could easily have been otherwise. These truths are known a posteriori – through observation, perception, and empirical experience. Truths of fact are contingent, with opposites that remain possible, and they are governed not by the Principle of Contradiction but by the Principle of Sufficient Reason: for every fact that holds, there must be a reason why it holds rather than something else.

Leibniz did not dismiss truths of fact as worthless. But he regarded them as epistemically inferior for establishing certain, universal knowledge. He firmly denied that rational knowledge must be based on perceptual knowledge, and held that experience cannot be transformed into reason. Empirical observation can tell us that something is the case in a given instance; it cannot tell us that it must be the case in all instances. For that, only a priori reasoning suffices.

Leibniz as a rationalist: certainty through analysis 🔗

Leibniz’s preference for truths of reasoning – necessary, a priori, analytically demonstrable – is precisely what defines his position as a rationalist philosopher. For Leibniz, if we can be certain of propositions in mathematics and metaphysics, then recourse must be had to principles innate to the mind to explain that certainty. Experience on its own can never produce the kind of universality and necessity that genuine knowledge requires.

This does not mean Leibniz rejected experience entirely. He acknowledged that the senses provide prompts, and that experimental results can corroborate reasoning. But for Leibniz, the results of experiments serve to corroborate reason rather than ground it – much as checking procedures in arithmetic help us avoid errors but do not make arithmetic itself empirical. Reason is primary; experience is confirmatory at best.

The broader ambition behind this framework was systematic and ambitious. Leibniz held that true reasoning depends upon necessary or eternal truths – those of logic, numbers, and geometry – which establish an indubitable connection of ideas and unfailing consequences. He envisioned a fully ordered universe of knowledge in which every truth has its proper place: necessary truths established through logical analysis and governed by the Principle of Contradiction, contingent truths explained (even if not fully known to humans) through the Principle of Sufficient Reason.

Why this matters: the legacy of Leibniz’s aim 🔗

Leibniz’s philosophical project was not just an abstract exercise. It was a response to a genuine crisis: the resurgence of skepticism in the early modern period, which questioned whether knowledge was possible at all. By identifying the principles that must govern all reasoning, and by distinguishing the types of truth available to human understanding, Leibniz provided a framework that shaped epistemology, logic, and metaphysics for centuries. His distinction between necessary and contingent truths – between what must be true and what happens to be true – remains one of the most fundamental classifications in philosophy. His insistence that every contingent fact must have a sufficient reason influenced not only philosophy but also the development of scientific explanation and even mathematics.

Rationalists and empiricists alike have grappled with the question of certainty that Leibniz placed at the center of philosophical inquiry. The debate he helped define – between knowledge grounded in reason and knowledge grounded in experience – continues to structure how philosophers think about science, logic, ethics, and the limits of human understanding.

What do you think? If truths of reasoning are truly necessary and eternal – holding in all possible worlds – does that mean they exist independently of human minds, or do they only hold because of the way rational minds are structured? And if every contingent fact must have a sufficient reason, can there ever be a fact about the universe itself – its very existence – that requires no further explanation?

References

1. https://plato.stanford.edu/entries/leibniz/
2. https://iep.utm.edu/continental-rationalism/
3. https://www.britannica.com/topic/Western-philosophy/The-rationalism-of-Spinoza-and-Leibniz
4. https://denverjournal.denverseminary.edu/the-denver-journal-article/the-rationalists-descartes-spinoza-and-leibniz/
5. https://plato.stanford.edu/entries/sufficient-reason/
6. https://pressbooks.ccconline.org/introtophilosophy/chapter/4-2-2-rationalism-2/
7. https://1000wordphilosophy.com/2018/03/27/leibnizs-principle-of-sufficient-reason/
8. https://jmphil.org/article/id/1951/
9. https://www.philosophers.world/leibniz/monadology/Page-2.html
10. https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/priori-and-posteriori
11. https://www.sciencepublishinggroup.com/article/10.11648/j.ijp.20241202.11
12. https://plato.stanford.edu/entries/rationalism-empiricism/