Principle of sufficient reason

Last updated

The principle of sufficient reason states that everything must have a reason or a cause. The principle was articulated and made prominent by Gottfried Wilhelm Leibniz, with many antecedents, and was further used and developed by Arthur Schopenhauer and Sir William Hamilton, 9th Baronet.

Contents

History

The modern [1] formulation of the principle is usually ascribed to early Enlightenment philosopher Gottfried Leibniz. Leibniz formulated it, but was not an originator. [2] The idea was conceived of and utilized by various philosophers who preceded him, including Anaximander, [3] Parmenides, Archimedes, [4] Plato and Aristotle, [5] Cicero, [5] Avicenna, [6] Thomas Aquinas, and Spinoza. [7] One often pointed to is in Anselm of Canterbury: his phrase quia Deus nihil sine ratione facit (because God does nothing without reason) and the formulation of the ontological argument for the existence of God. A clearer connection is with the cosmological argument for the existence of God. The principle can be seen in both Thomas Aquinas and William of Ockham. [2]

Notably, the post-Kantian philosopher Arthur Schopenhauer elaborated the principle, and used it as the foundation of his system. Some philosophers have associated the principle of sufficient reason with Ex nihilo nihil fit (Nothing comes from nothing). [8] [9] William Hamilton identified the laws of inference modus ponens with the "Law of Sufficient Reason, or of Reason and Consequent" and modus tollens with its contrapositive expression. [10]

Formulation

The principle has a variety of expressions, all of which are perhaps best summarized by the following:

A sufficient explanation may be understood either in terms of reasons or causes, for like many philosophers of the period, Leibniz did not carefully distinguish between the two. The resulting principle is very different, however, depending on which interpretation is given (see Payne's summary of Schopenhauer's Fourfold Root).

It is an open question whether the principle of sufficient reason can be applied to axioms within a logic construction like a mathematical or a physical theory, because axioms are propositions accepted as having no justification possible within the system.[ citation needed ] The principle declares that all propositions considered to be true within a system should be deducible from the set axioms at the base of the construction (i.e., that they ensue necessarily if we assume the system's axioms to be true).[ citation needed ] However, Gödel has shown that for every sufficiently expressive deductive system a proposition exists that can neither be proved nor disproved (see Gödel's incompleteness theorems).

Leibniz's view

Leibniz identified two kinds of truth, necessary and contingent truths. And he claimed that all truths are based upon two principles: (1) non-contradiction, and (2) sufficient reason. In the Monadology , he says,

Our reasonings are grounded upon two great principles, that of contradiction, in virtue of which we judge false that which involves a contradiction, and true that which is opposed or contradictory to the false; And that of sufficient reason, in virtue of which we hold that there can be no fact real or existing, no statement true, unless there be a sufficient reason, why it should be so and not otherwise, although these reasons usually cannot be known by us (paragraphs 31 and 32).

Necessary truths can be derived from the law of identity (and the principle of non-contradiction): "Necessary truths are those that can be demonstrated through an analysis of terms, so that in the end they become identities, just as in Algebra an equation expressing an identity ultimately results from the substitution of values [for variables]. That is, necessary truths depend upon the principle of contradiction." [11] The sufficient reason for a necessary truth is that its negation is a contradiction. [4]

Leibniz admitted contingent truths, that is, facts in the world that are not necessarily true, but that are nonetheless true. Even these contingent truths, according to Leibniz, can only exist on the basis of sufficient reasons. Since the sufficient reasons for contingent truths are largely unknown to humans, Leibniz made appeal to infinitary sufficient reasons, to which God uniquely has access:

In contingent truths, even though the predicate is in the subject, this can never be demonstrated, nor can a proposition ever be reduced to an equality or to an identity, but the resolution proceeds to infinity, God alone seeing, not the end of the resolution, of course, which does not exist, but the connection of the terms or the containment of the predicate in the subject, since he sees whatever is in the series. [12]

Without this qualification, the principle can be seen as a description of a certain notion of closed system, in which there is no 'outside' to provide unexplained events with causes. It is also in tension with the paradox of Buridan's ass, because although the facts supposed in the paradox would present a counterexample to the claim that all contingent truths are determined by sufficient reasons, the key premise of the paradox must be rejected when one considers Leibniz's typical infinitary conception of the world.

In consequence of this, the case also of Buridan's ass between two meadows, impelled equally towards both of them, is a fiction that cannot occur in the universe....For the universe cannot be halved by a plane drawn through the middle of the ass, which is cut vertically through its length, so that all is equal and alike on both sides.....Neither the parts of the universe nor the viscera of the animal are alike nor are they evenly placed on both sides of this vertical plane. There will therefore always be many things in the ass and outside the ass, although they be not apparent to us, which will determine him to go on one side rather than the other. And although man is free, and the ass is not, nevertheless for the same reason it must be true that in man likewise the case of a perfect equipoise between two courses is impossible. (Theodicy, pg. 150)

Leibniz also used the principle of sufficient reason to refute the idea of absolute space:

I say then, that if space is an absolute being, there would be something for which it would be impossible there should be a sufficient reason. Which is against my axiom. And I prove it thus. Space is something absolutely uniform; and without the things placed in it, one point in space does not absolutely differ in any respect whatsoever from another point of space. Now from hence it follows, (supposing space to be something in itself, beside the order of bodies among themselves,) that 'tis impossible that there should be a reason why God, preserving the same situation of bodies among themselves, should have placed them in space after one particular manner, and not otherwise; why everything was not placed the quite contrary way, for instance, by changing East into West. [13]

As a law of thought

The principle was one of the four recognised laws of thought, that held a place in European pedagogy of logic and reasoning (and, to some extent, philosophy in general) in the 18th and 19th centuries. It was influential in the thinking of Leo Tolstoy, amongst others, in the elevated form that history could not be accepted as random.

A sufficient reason is sometimes described as the coincidence of every single thing that is needed for the occurrence of an effect (i.e. of the so-called necessary conditions). [14] Such view could perhaps be also applied to indeterministic systems, as long as randomness is in a way incorporated in the preconditions.[ citation needed ]

Hamilton's fourth law: "Infer nothing without ground or reason"

Here is how Hamilton, circa 1837–1838, [15] expressed his "fourth law" in his LECT. V. LOGIC. 60–61:

"I now go on to the fourth law.
"Par. XVII. Law of Sufficient Reason, or of Reason and Consequent:
"XVII. The thinking of an object, as actually characterized by positive or by negative attributes, is not left to the caprice of Understanding – the faculty of thought; but that faculty must be necessitated to this or that determinate act of thinking by a knowledge of something different from, and independent of; the process of thinking itself. This condition of our understanding is expressed by the law, as it is called, of Sufficient Reason (principium Rationis Sufficientis); but it is more properly denominated the law of Reason and Consequent (principium Rationis et Consecutionis). That knowledge by which the mind is necessitated to affirm or posit something else, is called the logical reason ground, or antecedent; that something else which the mind is necessitated to affirm or posit, is called the logical consequent; and the relation between the reason and consequent, is called the logical connection or consequence. This law is expressed in the formula – Infer nothing without a ground or reason.1
"Relations between Reason and Consequent: The relations between Reason and Consequent, when comprehended in a pure thought, are the following:
1. When a reason is explicitly or implicitly given, then there must exist a consequent; and, vice versa, when a consequent is given, there must also exist a reason.
1 See Schulze, Logik, §19, and Krug, Logik, §20, – ED. [16]
"2. Where there is no reason there can be no consequent; and, vice versa, where there is no consequent (either implicitly or explicitly) there can be no reason. That is, the concepts of reason and of consequent, as reciprocally relative, involve and suppose each other.
"The logical significance of this law: The logical significance of the law of Reason and Consequent lies in this, – That in virtue of it, thought is constituted into a series of acts all indissolubly connected; each necessarily inferring the other. Thus it is that the distinction and opposition of possible, actual and necessary matter, which has been introduced into Logic, is a doctrine wholly extraneous to this science."

Schopenhauer's Four Forms

According to Schopenhauer's On the Fourfold Root of the Principle of Sufficient Reason , there are four distinct forms of the principle.

First Form: The Principle of Sufficient Reason of Becoming (principium rationis sufficientis fiendi); appears as the law of causality in the understanding. [17]

Second Form: The Principle of Sufficient Reason of Knowing (principium rationis sufficientis cognoscendi); asserts that if a judgment is to express a piece of knowledge, it must have a sufficient ground or reason, in which case it receives the predicate true. [18]

Third Form: The Principle of Sufficient Reason of Being (principium rationis sufficientis essendi); the law whereby the parts of space and time determine one another as regards those relations. [19] Example in arithmetic: Each number presupposes the preceding numbers as grounds or reasons of its being; "I can reach ten only by going through all the preceding numbers; and only by virtue of this insight into the ground of being, do I know that where there are ten, so are there eight, six, four." [20]

"Now just as the subjective correlative to the first class of representations is the understanding, that to the second the faculty of reason, and that to the third pure sensibility, so is the subjective correlative to this fourth class found to be the inner sense, or generally self-consciousness." [21]

Fourth Form: The Principle of Sufficient Reason of Acting (principium rationis sufficientis agendi); briefly known as the law of motivation. [22] "Any judgment that does not follow its previously existing ground or reason" or any state that cannot be explained away as falling under the three previous headings "must be produced by an act of will which has a motive." As his proposition in 43 states, "Motivation is causality seen from within." [23]

Proposed proofs of universal validity

Several proofs have been prepared in order to demonstrate that the universe is at bottom causal, i.e. works in accord with the principle in question; perhaps not in a single case (chance may play a role, say, in the editing of this article), but that causality must be the way it works at least in general, in most of what we see; and that our minds are aware of the principle even before any experience. A famous argument or proof as proposed by Immanuel Kant from the form of Time, temporal ordering of events and "directionality" of time may be cited here to flesh out the intro paragraph.[ citation needed ][ clarification needed ]

A proof of the a priori nature of the concept of causality may be inferred if one looks at how all perception depends on causality and the intellect. However, Arthur Schopenhauer claims that "a proof for the principle of sufficient reason in particular is especially absurd and is evidence of a want of reflection," and that he who seeks a proof "finds himself involved in that circle of demanding a proof for the right to demand a proof". [24]

Given that causal interconnections (i.e. an "arrow of time"), as a form of the Principle of Sufficient Reason, indeed must in general exist everywhere in the universe (at least in the large scale), backwards causality in general might then be precluded using a form of the paradox of free will (i.e. an event that has a future source might cause us to remove that source quick enough and thus causality would not work). [25] [ original research? ]

Opposing views

The brute fact approach does not require explanations for all facts.[ citation needed ]

See also

Related Research Articles

<span class="mw-page-title-main">Arthur Schopenhauer</span> German philosopher (1788–1860)

Arthur Schopenhauer was a German philosopher. He is known for his 1818 work The World as Will and Representation, which characterizes the phenomenal world as the manifestation of a blind and irrational noumenal will. Building on the transcendental idealism of Immanuel Kant (1724–1804), Schopenhauer developed an atheistic metaphysical and ethical system that rejected the contemporaneous ideas of German idealism.

In logic, the law of non-contradiction (LNC) states that contradictory propositions cannot both be true in the same sense at the same time, e. g. the two propositions "p is the case" and "p is not the case" are mutually exclusive. Formally, this is expressed as the tautology ¬(p ∧ ¬p). The law is not to be confused with the law of excluded middle which states that at least one, "p is the case" or "p is not the case", holds.

In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. It is one of the three laws of thought, along with the law of noncontradiction, and the law of identity; however, no system of logic is built on just these laws, and none of these laws provides inference rules, such as modus ponens or De Morgan's laws. The law is also known as the law / principleof the excluded third, in Latin principium tertii exclusi. Another Latin designation for this law is tertium non datur or "no third [possibility] is given". In classical logic, the law is a tautology.

In logic, the semantic principleof bivalence states that every declarative sentence expressing a proposition has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic.

Truth or verity is the property of being in accord with fact or reality. In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.

Dialetheism is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms.

In classical logic, intuitionistic logic and similar logical systems, the principle of explosion, or the principle of Pseudo-Scotus, is the law according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition can be inferred; this is known as deductive explosion.

A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.

<span class="mw-page-title-main">Principle</span> Rule, guide or inevitable consequence

A principle is a fundamental truth or proposition that serves as the foundation for a system of beliefs or behavior or a chain of reasoning. That is a guide for behavior or evaluation. In law, it is a rule that has to be or usually is to be followed. It can be desirably followed, or it can be an inevitable consequence of something, such as the laws observed in nature or the way that a system is constructed. The principles of such a system are understood by its users as the essential characteristics of the system, or reflecting the system's designed purpose, and the effective operation or use of which would be impossible if any one of the principles was to be ignored. A system may be explicitly based on and implemented from a document of principles as was done in IBM's 360/370 Principles of Operation.

The laws of thought are fundamental axiomatic rules upon which rational discourse itself is often considered to be based. The formulation and clarification of such rules have a long tradition in the history of philosophy and logic. Generally they are taken as laws that guide and underlie everyone's thinking, thoughts, expressions, discussions, etc. However, such classical ideas are often questioned or rejected in more recent developments, such as intuitionistic logic, dialetheism and fuzzy logic.

<i>The World as Will and Representation</i> Book by Arthur Schopenhauer

The World as Will and Representation, sometimes translated as The World as Will and Idea, is the central work of the German philosopher Arthur Schopenhauer. The first edition was published in late 1818, with the date 1819 on the title-page. A second, two-volume edition appeared in 1844: volume one was an edited version of the 1818 edition, while volume two consisted of commentary on the ideas expounded in volume one. A third expanded edition was published in 1859, the year prior to Schopenhauer's death. In 1948, an abridged version was edited by Thomas Mann.

The barbershop paradox was proposed by Lewis Carroll in a three-page essay titled "A Logical Paradox", which appeared in the July 1894 issue of Mind. The name comes from the "ornamental" short story that Carroll uses in the article to illustrate the paradox. It existed previously in several alternative forms in his writing and correspondence, not always involving a barbershop. Carroll described it as illustrating "a very real difficulty in the Theory of Hypotheticals". From the viewpoint of modern logic, it is seen not so much as a paradox than as a simple logical error. It is of interest now mainly as an episode in the development of algebraic logical methods when these were not so widely understood, although the problem continues to be discussed in relation to theories of implication and modal logic.

"Critique of the Kantian philosophy" is a criticism Arthur Schopenhauer appended to the first volume of his The World as Will and Representation (1818). He wanted to show Immanuel Kant's errors so that Kant's merits would be appreciated and his achievements furthered.

Richard Clyde Taylor was an American philosopher renowned for his contributions to metaphysics. He was also an internationally known beekeeper.

In logic and philosophy, a formal fallacy, deductive fallacy, logical fallacy or non sequitur is a pattern of reasoning rendered invalid by a flaw in its logical structure that can neatly be expressed in a standard logic system, for example propositional logic. It is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion. Thus, a formal fallacy is a fallacy where deduction goes wrong, and is no longer a logical process. This may not affect the truth of the conclusion, since validity and truth are separate in formal logic.

<span class="mw-page-title-main">Problem of future contingents</span> Statements involving superpositions of truth

Future contingent propositions are statements about states of affairs in the future that are contingent: neither necessarily true nor necessarily false.

<i>On the Fourfold Root of the Principle of Sufficient Reason</i> 1813 German-language doctoral dissertation by Schopenhauer

On the Fourfold Root of the Principle of Sufficient Reason is an elaboration on the classical principle of sufficient reason, written by German philosopher Arthur Schopenhauer as his doctoral dissertation in 1813. The principle of sufficient reason is a powerful and controversial philosophical principle stipulating that everything must have a reason or cause. Schopenhauer revised and re-published it in 1847. The work articulated the centerpiece of many of Schopenhauer's arguments, and throughout his later works he consistently refers his readers to it as the necessary beginning point for a full understanding of his further writings.

A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.

The 19th-century philosopher Friedrich Nietzsche is known as a critic of Judeo-Christian morality and religions in general. One of the arguments he raised against the truthfulness of these doctrines is that they are based upon the concept of free will, which, in his opinion, does not exist.

References

  1. ↑ From Hamilton 1860:67 "In modern times, the attention of philosophers was called to this law of Leibnitz, who, on the two principles of Reason and of Contradiction, founded the whole edifice of his philosophy.33 See Théodicée, § 44. Monadologie, §§ 81, 82. — ED."
  2. 1 2 See chapter on Leibniz and Spinoza in A. O. Lovejoy, The Great Chain of Being.
  3. ↑ Freeman, Charles (1999). The Greek Achievement: The Foundation of the Western World. Allen Lane. p. 152. ISBN   0-7139-9224-7.
  4. 1 2 Principle of Sufficient Reason. Metaphysics Research Lab, Stanford University. 2020.
  5. 1 2 Hamilton 1860:66.
  6. ↑ Richardson, Kara (June 2014). "Avicenna and the Principle of Sufficient Reason". The Review of Metaphysics. 67 (4): 743–768.
  7. ↑ Della Rocca, Michael (2008). Spinoza. New York: Routledge. pp. 8–9. ISBN   978-0415283304.
  8. ↑ Alexander R. Pruss (2007) "Ex Nihilo Nihil Fit: Augments New and Old for the Principle of Sufficient Reason" in Explication Topic in Contemporary Philosophy Ch. 14.
  9. ↑ Hamilton attributes this expression to Cicero; Hamilton 1860:66.
  10. ↑ From Hamilton 1860:241–242: “2°, "If the essential nature of an Hypothetical Syllogism consist in this, – that the subsumption affirms or denies one or other of the two parts of a thought, standing to each other in the relation of the thing conditioning and the thing conditioned, it will be the law of an hypothetical syllogism, that, – If the condition or antecedent be affirmed, so also must be the conditioned or consequent, and that if the conditioned or consequent be denied, so likewise must be the condition or antecedent. But this is manifestly nothing else than the law of Sufficient Reason, or of Reason and Consequent." 1 The principle of this syllogism is thus variously enounced: Posita conditione, ponitur conditionatum, sublato conditionato, tlitur conditio. Or, otherwise, a ratione ad rationatum, a negatione rationati ad negationem rationis, valet consequentia. The one alternative of either rule being regulative of modus ponens, the other of the modus tollens. 21 Esser, Logik, I 91, p. 174. — ED. 2 See Kant, Logik §§ 75 – 76 . Krug, Logik, § 82. — ED." See in particular Hamilton's discussion that leads to this quote starting at page 239ff.
  11. ↑ Muhit, Abdul. "Leibniz on Necessary and Contingent Truths" . Retrieved 22 April 2014.
  12. ↑ Ariew, Roger; Daniel Garber, eds. (1989). G. W. Leibniz: Philosophical Essays. Indianapolis: Hackett., p. 94, On Freedom (1689?).
  13. ↑ Alexander, H.G. (1956). The Leibniz-Clarke Correspondence . New York, N.Y.: Barnes and Noble.
  14. ↑ See e.g. T. Hobbes, Quaestiones de libertate et necessitate, contra Doctorem Bramhallum, 7. Quoted in: A. Schopenhauer, On the Freedom of the Will, c. 4. See also: John Bramhall
  15. ↑ From the Preface: "The Lectures on Logic, like those on Metaphysics, were chiefly composed during, the session in which they were first delivered (1837–8)." The lectures were assembled, with added footnotes marked by "—ED." by Mansel and Veitch and published in 1860.
  16. ↑ From the index: "SCHULZE, G. E., KRUG, W. T." These are philosophers Gottlob Ernst Schulze (23 August 1761 – 14 January 1833) and Wilhelm Traugott Krug (22 June 1770 – 12 January 1842).
  17. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 20, trans. E. Payne, (Open Court Publishing Company, 1997), 4.
  18. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 29, trans. E. Payne, (Open Court Publishing Company, 1997), 5.
  19. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 36, trans. E. Payne, (Open Court Publishing Company, 1997), 6.
  20. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 38, trans. E. Payne, (Open Court Publishing Company, 1997), 7.
  21. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, page 212, S 42, trans. E. Payne, (Open Court Publishing Company, 1997), 8.
  22. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 43, trans. E. Payne, (Open Court Publishing Company, 1997), 9.
  23. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 43, trans. E. Payne, (Open Court Publishing Company, 1997), 10.
  24. ↑ Arthur Schopenhauer, On The Fourfold Root of the Principle of Sufficient Reason, S 14, trans. E. Payne, (Open Court Publishing Company, 1974)
  25. ↑ Likewise, announcing prophecies so that they will still be correct requires, in general, a lot of high-level research of human psychics, because sometimes they will be in accord with human determination and will be welcome, but sometimes announcing them without interference with the prophesied outcome is just impossible. The requirement of such high-level research, in every single case, seems in general to rule out the possibility of backwards causality in physics.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.