In
epistemology
Epistemology is the branch of philosophy that examines the nature, origin, and limits of knowledge. Also called "the theory of knowledge", it explores different types of knowledge, such as propositional knowledge about facts, practical knowle ...
(theory of knowledge), a self-evident proposition is a proposition that is known to be true by understanding its meaning without
proof
Proof most often refers to:
* Proof (truth), argument or sufficient evidence for the truth of a proposition
* Alcohol proof, a measure of an alcoholic drink's strength
Proof may also refer to:
Mathematics and formal logic
* Formal proof, a co ...
, and/or by ordinary
human reason
Reason is the capacity of consciously applying logic by drawing valid conclusions from new or existing information, with the aim of seeking the truth. It is associated with such characteristically human activities as philosophy, religion, scien ...
.
Some epistemologists deny that any proposition can be self-evident. For most others, one's belief that oneself is
conscious
Consciousness, at its simplest, is awareness of a state or object, either internal to oneself or in one's external environment. However, its nature has led to millennia of analyses, explanations, and debate among philosophers, scientists, a ...
and possesses
free will
Free will is generally understood as the capacity or ability of people to (a) choice, choose between different possible courses of Action (philosophy), action, (b) exercise control over their actions in a way that is necessary for moral respon ...
are offered as examples of self-evidence. However, one's belief that someone else is conscious or has free will are not epistemically self-evident.
The following proposition is often said to be self-evident: "A finite whole is greater than, or equal to, any of its parts".
A
logical argument
An argument is a series of Sentence (linguistics), sentences, Statement (logic), statements, or propositions some of which are called premises and one is the Logical consequence, conclusion. The purpose of an argument is to give Reason (argument) ...
for a self-evident conclusion would demonstrate only an ignorance of the purpose of persuasively arguing for the conclusion based on one or more premises that differ from it (see ' and
begging the question
In classical rhetoric and logic, begging the question or assuming the conclusion (Latin: ) is an informal fallacy that occurs when an argument's premises assume the truth of the conclusion. Historically, begging the question refers to a fault i ...
).
Analytic propositions
It is sometimes said that a self-evident proposition is one whose denial is self-contradictory. It is also sometimes said that an
analytic proposition
Analytic or analytical may refer to:
Chemistry
* Analytical chemistry, the analysis of material samples to learn their chemical composition and structure
* Analytical technique, a method that is used to determine the concentration of a chemica ...
is one whose denial is self-contradictory. But the concepts mean different things, i.e., an analytic proposition is not always a self-evident proposition.
Provided that one understands and believes a self-evident proposition, self-evident propositions are not in need of proof. Likewise, that their denial is self-contradictory does not need to be proven. It is in this sense that the self-contradictions at work in self-evident and analytic propositions are different.
Not all analytic propositions are self-evident, and it is sometimes claimed that not all self-evident propositions are analytic: e.g. my knowledge that I am conscious.
Other uses
Informal speech
In informal speech, ''self-evident'' often merely means ''obvious'', but the epistemological definition is stricter.
Moral propositions
Moral propositions may also be regarded as self-evident, although the
is–ought problem
The is–ought problem, as articulated by the Scottish philosopher and historian David Hume, arises when one makes claims about what ''ought'' to be that are based solely on statements about what ''is''. Hume found that there seems to be a signif ...
described by
David Hume
David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beg ...
considers that there is no coherent way to transition from a positive statement to a normative one.
For example,
Alexander Hamilton
Alexander Hamilton (January 11, 1755 or 1757July 12, 1804) was an American military officer, statesman, and Founding Fathers of the United States, Founding Father who served as the first U.S. secretary of the treasury from 1789 to 1795 dur ...
cited the following moral propositions as self-evident in the
Federalist No. 23:
* ''The means ought to be proportioned to the end.''
* ''Every power ought to be commensurate with its object.''
* ''There ought to be no limitation of a power destined to effect a purpose which is itself incapable of limitation.''
A famous claim of the self-evidence of a moral truth is in the
United States Declaration of Independence
The Declaration of Independence, formally The unanimous Declaration of the thirteen States of America in the original printing, is the founding document of the United States. On July 4, 1776, it was adopted unanimously by the Second Continen ...
, which states, "We hold these Truths to be ''self-evident'', that all men are created equal, that they are endowed by their
Creator with certain
unalienable Rights
Some philosophers distinguish two types of rights, natural rights and legal rights.
* Natural rights are those that are not dependent on the laws or customs of any particular culture or government, and so are ''universal'', ''fundamental rights ...
, that among these are
Life, Liberty and the pursuit of Happiness
"Life, Liberty, and the pursuit of Happiness" is a well-known phrase from the United States Declaration of Independence. Scanned image of the Jefferson's "original Rough draught" of the Declaration of Independence, written in June 1776, includin ...
."; philosophically, these propositions' self-evidence is debatable.
Mathematics
In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, ''self-evident'' refers to statements that need no proof. Sometimes
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 are described as self-evident.
Other statements are self-evident because the statement is a proof for itself..
See also
*
*
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 ...
*
Contradiction
In traditional logic, a contradiction involves a proposition conflicting either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's ...
*
Foundationalism
Foundationalism concerns philosophical theories of knowledge resting upon non-inferential justified belief, or some secure foundation of certainty such as a conclusion inferred from a basis of sound premises.Simon Blackburn, ''The Oxford Dict ...
*
Introspection
Introspection is the examination of one's own conscious thoughts and feelings. In psychology, the process of introspection relies on the observation of one's mental state, while in a spiritual context it may refer to the examination of one's s ...
*
Law of identity
In logic, the law of identity states that each thing is identical with itself. It is the first of the traditional three laws of thought, along with the law of noncontradiction, and the law of excluded middle. However, few systems of logic are b ...
*
Primitive notion
In mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to Intuition (knowledge), intuition or taken ...
*
Self-reference
Self-reference is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in language, logic, mathematics, philosophy, and other fields.
In natural or formal languages, self-reference ...
*
Self-refuting idea
A self-refuting idea or self-defeating idea is an idea or statement whose falsehood is a logical consequence of the act or situation of holding them to be true. Many ideas are called self-refuting by their detractors, and such accusations are ther ...
*
infinite regress
Infinite regress is a philosophical concept to describe a series of entities. Each entity in the series depends on its predecessor, following a recursive principle. For example, the epistemic regress is a series of beliefs in which the justi ...
Notes
{{Reflist
Sources of knowledge
Evidence
A priori
Fallacies
Barriers to critical thinking
de:Evidenz