HOME

TheInfoList



OR:

The principle of sufficient reason states that everything must have a
reason Reason is the capacity of consciously applying logic by drawing conclusions from new or existing information, with the aim of seeking the truth. It is closely associated with such characteristically human activities as philosophy, science, lang ...
or a cause. The principle was articulated and made prominent by
Gottfried Wilhelm Leibniz Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of ...
, with many antecedents, and was further used and developed by
Arthur Schopenhauer Arthur Schopenhauer ( , ; 22 February 1788 – 21 September 1860) was a German philosopher. He is best known for his 1818 work ''The World as Will and Representation'' (expanded in 1844), which characterizes the phenomenal world as the prod ...
and
Sir William Hamilton, 9th Baronet Sir William Hamilton, 9th Baronet FRSE (8 March 1788 – 6 May 1856) was a Scottish metaphysician. He is often referred to as William Stirling Hamilton of Preston, in reference to his mother, Elizabeth Stirling. Early life He was born in r ...
.


History

The modern formulation of the principle is usually ascribed to early Enlightenment philosopher
Gottfried Leibniz Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathem ...
. Leibniz formulated it, but was not an originator.See chapter on Leibniz and Spinoza in A. O. Lovejoy, ''The Great Chain of Being''. The idea was conceived of and utilized by various philosophers who preceded him, including
Anaximander Anaximander (; grc-gre, Ἀναξίμανδρος ''Anaximandros''; ) was a pre-Socratic Greek philosopher who lived in Miletus,"Anaximander" in ''Chambers's Encyclopædia''. London: George Newnes, 1961, Vol. 1, p. 403. a city of Ionia (in mo ...
,
Parmenides Parmenides of Elea (; grc-gre, Παρμενίδης ὁ Ἐλεάτης; ) was a pre-Socratic Greek philosopher from Elea in Magna Graecia. Parmenides was born in the Greek colony of Elea, from a wealthy and illustrious family. His date ...
,
Archimedes Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientis ...
,
Plato Plato ( ; grc-gre, Πλάτων ; 428/427 or 424/423 – 348/347 BC) was a Greek philosopher born in Athens during the Classical period in Ancient Greece. He founded the Platonist school of thought and the Academy, the first institution ...
and
Aristotle Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of ...
,
Hamilton Hamilton may refer to: People * Hamilton (name), a common British surname and occasional given name, usually of Scottish origin, including a list of persons with the surname ** The Duke of Hamilton, the premier peer of Scotland ** Lord Hamilto ...
1860:66
Cicero Marcus Tullius Cicero ( ; ; 3 January 106 BC – 7 December 43 BC) was a Roman statesman, lawyer, scholar, philosopher, and academic skeptic, who tried to uphold optimate principles during the political crises that led to the esta ...
,
Avicenna Ibn Sina ( fa, ابن سینا; 980 – June 1037 CE), commonly known in the West as Avicenna (), was a Persian polymath who is regarded as one of the most significant physicians, astronomers, philosophers, and writers of the Islamic ...
,
Thomas Aquinas Thomas Aquinas, Dominican Order, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino, Italy, Aquino; 1225 – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest who was an influential List of Catholic philo ...
, and
Spinoza Baruch (de) Spinoza (born Bento de Espinosa; later as an author and a correspondent ''Benedictus de Spinoza'', anglicized to ''Benedict de Spinoza''; 24 November 1632 – 21 February 1677) was a Dutch philosopher of Portuguese-Jewish origin, ...
. One often pointed to is in
Anselm of Canterbury Anselm of Canterbury, OSB (; 1033/4–1109), also called ( it, Anselmo d'Aosta, link=no) after his birthplace and (french: Anselme du Bec, link=no) after his monastery, was an Italian Benedictine monk, abbot, philosopher and theologian of th ...
: his phras
''quia Deus nihil sine ratione facit''
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 Thomas Aquinas, Dominican Order, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino, Italy, Aquino; 1225 – 7 March 1274) was an Italian Dominican Order, Dominican friar and Catholic priest, priest who was an influential List of Catholic philo ...
and
William of Ockham William of Ockham, OFM (; also Occam, from la, Gulielmus Occamus; 1287 – 10 April 1347) was an English Franciscan friar, scholastic philosopher, apologist, and Catholic theologian, who is believed to have been born in Ockham, a small vil ...
. Notably, the post-Kantian philosopher
Arthur Schopenhauer Arthur Schopenhauer ( , ; 22 February 1788 – 21 September 1860) was a German philosopher. He is best known for his 1818 work ''The World as Will and Representation'' (expanded in 1844), which characterizes the phenomenal world as the prod ...
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 Parmenides of Elea (; grc-gre, Παρμενίδης ὁ Ἐλεάτης; ) was a pre-Socratic Greek philosopher from Elea in Magna Graecia. Parmenides was born in the Greek colony of Elea, from a wealthy and illustrious family. His date ...
''". William Hamilton identified the laws of inference
modus ponens In propositional logic, ''modus ponens'' (; MP), also known as ''modus ponendo ponens'' (Latin for "method of putting by placing") or implication elimination or affirming the antecedent, is a deductive argument form and rule of inference ...
with the "law of Sufficient Reason, or of Reason and Consequent" and
modus tollens In propositional logic, ''modus tollens'' () (MT), also known as ''modus tollendo tollens'' (Latin for "method of removing by taking away") and denying the consequent, is a deductive argument form and a rule of inference. ''Modus tollens' ...
with its
contrapositive In logic and mathematics, contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as proof by contraposition. The contrapositive of a stat ...
expression.


Formulation

The principle has a variety of expressions, all of which are perhaps best summarized by the following: *For every entity ''X'', if ''X'' exists, then there is a sufficient explanation for why ''X'' exists. *For every event ''E'', if ''E'' occurs, then there is a sufficient explanation for why ''E'' occurs. *For every proposition ''P'', if ''P'' is true, then there is a sufficient explanation for why ''P'' is true. ::\forall P \exist Q (Q \rightarrow P) 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
axiom An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or ...
s within a logic construction like a mathematical or a physical theory, because axioms are propositions accepted as having no justification possible within the system. The principle declares that all propositions considered to be should be deducible from the set axioms at the base of the construction. 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 Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the phil ...
).


Leibniz's view

Leibniz Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of ma ...
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 The ''Monadology'' (french: La Monadologie, 1714) is one of Gottfried Leibniz's best known works of his later philosophy. It is a short text which presents, in some 90 paragraphs, a metaphysics of simple substances, or '' monads''. Text Dur ...
'', 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 In logic, the law of non-contradiction (LNC) (also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that contradictory propositions cannot both be true in the same sense at the sa ...
): "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 or variables That is, necessary truths depend upon the principle of contradiction." The sufficient reason for a necessary truth is that its negation is a contradiction. 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 In mathematics and logic, an operation is finitary if it has finite arity, i.e. if it has a finite number of input values. Similarly, an infinitary operation is one with an infinite number of input values. In standard mathematics, an operatio ...
sufficient reasons, to which
God In monotheistic thought, God is usually viewed as the supreme being, creator, and principal object of faith. Swinburne, R.G. "God" in Honderich, Ted. (ed)''The Oxford Companion to Philosophy'', Oxford University Press, 1995. God is typically ...
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.
Without this qualification, the principle can be seen as a description of a certain notion of
closed system A closed system is a natural physical system that does not allow transfer of matter in or out of the system, although — in contexts such as physics, chemistry or engineering — the transfer of energy (''e.g.'' as work or heat) is allowed. In ...
, in which there is no 'outside' to provide unexplained events with causes. It is also in tension with the paradox of
Buridan's ass Buridan's ass is an illustration of a paradox in philosophy in the conception of free will. It refers to a hypothetical situation wherein an ass (donkey) that is equally hungry and thirsty is placed precisely midway between a stack of hay and a ...
, 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 Absolute may refer to: Companies * Absolute Entertainment, a video game publisher * Absolute Radio, (formerly Virgin Radio), independent national radio station in the UK * Absolute Software Corporation, specializes in security and data risk manage ...
:
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.


As a law of thought

The principle was one of the four recognised
laws of thought 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 ...
, that held a place in European
pedagogy Pedagogy (), most commonly understood as the approach to teaching, is the theory and practice of learning, and how this process influences, and is influenced by, the social, political and psychological development of learners. Pedagogy, taken ...
of
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...
and
reasoning Reason is the capacity of consciously applying logic by drawing conclusions from new or existing information, with the aim of seeking the truth. It is closely associated with such characteristically human activities as philosophy, science, langu ...
(and, to some extent,
philosophy Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. ...
in general) in the 18th and 19th centuries. It was influential in the thinking of
Leo Tolstoy Count Lev Nikolayevich TolstoyTolstoy pronounced his first name as , which corresponds to the romanization ''Lyov''. () (; russian: link=no, Лев Николаевич Толстой,In Tolstoy's day, his name was written as in pre-refor ...
, amongst others, in the elevated form that
history History (derived ) is the systematic study and the documentation of the human activity. The time period of event before the invention of writing systems is considered prehistory. "History" is an umbrella term comprising past events as well ...
could not be accepted as
random In common usage, randomness is the apparent or actual lack of pattern or predictability in events. A random sequence of events, symbols or steps often has no order and does not follow an intelligible pattern or combination. Individual ran ...
. 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''). Such view could perhaps be also applied to indeterministic systems, as long as randomness is in a way incorporated in the preconditions.


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

Here is how
Hamilton Hamilton may refer to: People * Hamilton (name), a common British surname and occasional given name, usually of Scottish origin, including a list of persons with the surname ** The Duke of Hamilton, the premier peer of Scotland ** Lord Hamilto ...
, circa 1837–1838, 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. :"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 Arthur Schopenhauer ( , ; 22 February 1788 – 21 September 1860) was a German philosopher. He is best known for his 1818 work ''The World as Will and Representation'' (expanded in 1844), which characterizes the phenomenal world as the pr ...
's ''
On the Fourfold Root of the Principle of Sufficient Reason ''On the Fourfold Root of the Principle of Sufficient Reason'' (german: Ueber die vierfache Wurzel des Satzes vom zureichenden Grunde) is an elaboration on the classical Principle of Sufficient Reason, written by German philosopher Arthur Schopen ...
'', 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. 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. 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. 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."
"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."
Fourth Form: The Principle of Sufficient Reason of Acting (principium rationis sufficientis agendi); briefly known as the law of motivation. "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."


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. A proof of the a priori nature 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." 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).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.


See also

*
Causality Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the cau ...
*
Deterministic system (philosophy) A deterministic system is a conceptual model of the philosophical doctrine of determinism applied to a system for understanding everything that has and will occur in the system, based on the physical outcomes of causality. In a deterministic syste ...
*
Law of thought 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 ...
*
Identity of indiscernibles The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities ''x'' and ''y'' are identical if every predicate possessed by ''x'' ...
* Nothing comes from nothing *
Principle of insufficient reason The principle of indifference (also called principle of insufficient reason) is a rule for assigning epistemic probabilities. The principle of indifference states that in the absence of any relevant evidence, agents should distribute their cre ...
* Dependent origination *
Münchhausen trilemma In epistemology, the Münchhausen trilemma, also commonly known as the Agrippan trilemma, is a thought experiment intended to demonstrate the theoretical impossibility of proving any truth, even in the fields of logic and mathematics, without a ...
*
Brute fact In contemporary philosophy, a brute fact is a fact that cannot be explained in terms of a deeper, more "fundamental" fact. There are two main ways to explain something: say what "brought it about", or describe it at a more "fundamental" level. For ...
*
Necessity and sufficiency In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If then ", is necessary for , because the truth of ...


References


External links

* *
Sir William Hamilton, 9th Baronet Sir William Hamilton, 9th Baronet FRSE (8 March 1788 – 6 May 1856) was a Scottish metaphysician. He is often referred to as William Stirling Hamilton of Preston, in reference to his mother, Elizabeth Stirling. Early life He was born in r ...
, ( Henry L. Mansel and John Veitch, ed.), 1860 ''Lectures on Metaphysics and Logic, in Two Volumes. Vol. II. Logic'', Boston: Gould and Lincoln. *Alexander R. Pruss
The Principle of Sufficient Reason: A Reassessment
* {{Authority control Abstraction Concepts in epistemology Concepts in logic Concepts in metaphilosophy Concepts in metaphysics Concepts in the philosophy of mind Concepts in the philosophy of science Epistemological theories Gottfried Wilhelm Leibniz History of logic Metaphysical theories Metaphysics of mind Ontology Philosophical logic Philosophical problems Principles Rationalism Reasoning Truth