Premise

This article is about the usage of premise in discourse and logic. For other uses, see Premise (disambiguation).

A premise^[a] is a proposition offered to support a conclusion. Premises are true or false statements that serve as the starting points of arguments by presenting reasons to justify or refute standpoints. For example, the premises "all men are mortal" and "Socrates is a man" support the conclusion "Socrates is mortal".

Different types of premises are distinguished by their mode of expression, their role in arguments, and their content. Explicit premises are overtly stated,^[b] whereas implicit premises are tacitly assumed without appearing in the text, often involving uncontroversial common-sense information shared by speaker and audience. Independent premises present distinct reasons, providing separate support for the conclusion. They contrast with dependent premises, which only work in combination. Other distinctions concern whether premises appear as first or intermediate steps in complex arguments and whether they are affirmative or negative and descriptive or normative.

The purpose of premises is typically to preserve truth or transfer justification from accepted statements to a conclusion. To succeed, premises must be true or justified and must be relevant to the conclusion. The premises of deductively valid arguments provide the strongest support: if the premises are true, then the conclusion cannot be false. The premises of non-deductive arguments aim to make the conclusion more reasonable or increase its probability, such as inductive, abductive, and analogical arguments. Defective arguments, called fallacies, often arise from faulty premises. For example, premises may contain false information, confuse the audience with irrelevant details, or use ambiguous terms that mislead by shifting meaning. Premises are central to many fields, including logic, argumentation theory, mathematics, philosophy, science, and law.

Premises are propositions offered to support a conclusion. They are assumptions or commitments that serve as the starting points of logical reasoning by presenting considerations to justify or refute standpoints.^[3] Each argument is made up of a set of premises together with a conclusion. For example, the argument "All men are mortal. Socrates is a man. Therefore, Socrates is mortal" has two premises ("All men are mortal" and "Socrates is a man") followed by a conclusion ("Therefore, Socrates is mortal").^[4]

As a proposition or statement, each premise has a truth value, in contrast to other sentence types, such as questions and commands. Not all propositions function as premises: some serve as conclusions or occur outside arguments. For example, passages that report observations, illustrate ideas, or explain events can include statements that do not serve as premises.^[5] Premises are further distinguished from theses, which are statements someone aims to justify. Theses are similar to hypotheses, which are tentative assumptions in scientific practice that guide research and are tested by experiments.^[6][c] By contrast, a statement has to be offered as a reason for a conclusion to count as a premise. The strength of an argument depends on how well the premises support the conclusion. True premises can support a conclusion if they are relevant to it, whereas false premises offer no support.^[8]

The word premise comes from the Latin term praemittere, meaning 'to set in front', which has its roots in the preposition prae ('pre, before') and the verb mittere ('to send'). It gave rise to the Latin term praemissa ('premise, the proposition put before'), which was borrowed into Old French as the word premisse in the 14th century. The Old French term entered Middle English with the earliest evidence of use in the late 14th century.^[9] Outside its main meaning in discourse, logic, and science, the term premises refers to a piece of land and the buildings on it. Another meaning is found in narrative theory, where the premise of a plot is the foundational idea around which the story revolves.^[10]

The ability to identify premises is central to understanding and assessing arguments. In ordinary language, arguments often lack a standard formal structure: the conclusion may appear before, between, or after the premises, without a fixed order to indicate whether a statement is a premise or a conclusion. This can obscure logical relationships and lead to misinterpretation, particularly for complex arguments with intertwined premises and nested sub-arguments. One way to identify premises is to look for premise indicators—verbal cues that signal where a premise begins, such as since, because, given that, and as implied by.^[d] For example, the argument "she is not at home since she has gone to the shop" begins with a conclusion and uses the term since to mark where the premise starts. However, indicator words are not always present, and even when they are, their context-dependent meaning does not guaranteed that the statements they introduce are premises.^[12]

To analyze and evaluate ordinary-language arguments, logicians usually try to paraphrase them in the standard form to disambiguate their components and clarify their logical structure. The standard form presents each premise on a separate line, with the conclusion on the last line. A horizontal bar is often placed between the premises and the conclusion, as in:^[13]

If Luis went to the dance, then Bernadette went to the dance.

Luis went to the dance.

──────────────────────────────────────

Bernadette went to the dance.

In formal logic, premises and conclusions are typically expressed through symbols that represent propositions and their relations. For example, using the symbols for "Luis went to the dance", for "Bernadette went to the dance", and for "if ... then ...", the argument can be written as:^[14][e]

──────

Philosophers discuss various types of premises, distinguished by their mode of expression, their role in arguments, and their content.^[16]

Explicit premises are overtly stated in an argument. They are claims that appear directly in the text and function as the main reasons supporting the conclusion. By contrast, implicit or tacit premises are not directly stated but merely implied. Also called enthymematic premises,^[f] they function as background assumptions that link the explicit premises to the conclusion. For example, the argument "you should not drink that milk because it is expired" has the explicit premise "the milk is expired" while assuming the implicit premise that people should not drink expired milk.^[18]

Implicit premises are common in ordinary-language arguments for uncontroversial common-sense information shared by the speaker and the audience. This practice focuses attention on essential points by omitting obvious or redundant details, promoting efficiency and concision. However, implicit premises can also obscure key points or conceal contentious assumptions, confusing the audience by leading them to misinterpret the speaker's position or by making a weak argument look stronger than it really is. A key interpretive tool for handling implicit premises is the principle of charity, which recommends selecting the most reasonable statements for the missing premises to reconstruct the strongest version of the argument.^[19]

Two premises are independent if they present distinct reasons. Also called convergent or coordinate premises, they provide separate support for the conclusion. For example, the argument "I should not buy these shoes because they are too small and too expensive" cites two independent premises for distinct considerations: size and price. Since the premises offer separate reasons, one would still provide some support for the conclusion if the other was removed. Multiple independent premises are often needed when the support from a single premise is not sufficiently strong to establish the conclusion beyond a reasonable doubt. For example, prosecutors in criminal cases may provide a list of independent premises for the defendant's guilt, such as a motive to commit the crime, ownership of the murder weapon, fingerprints at the crime scene, and a lack of alibi.^[21]

Two premises are dependent if they work only in combination. Also called joint or linked premises, they function together to present a single reason for the conclusion.^[22] For instance, the argument "This song will either be an enormous success or an utter failure. It will not be an enormous success. Therefore, it will be an utter failure" has two premises: one states that there are only two options, and the other rules out one option, leaving the other option as the only candidate. These premises are dependent because neither can support the conclusion alone: the first one does not indicate which option is correct, and the second one leaves open the possibility of a moderate success.^[23] Dependent premises are common in deductive reasoning where each premise is essential for the conclusion.^[24]

Axioms are initial assumptions used as first premises in reasoning. In logical systems, they serve as foundational statements from which other statements, called theorems, are derived.^[26] For example, a central axiom in geometry states that for any two distinct points, there exists a unique line linking them.^[27] Not all premises are axioms, and some premises function as intermediate steps in complex arguments and proofs, such as the chain of reasoning: "I could not find the keys in the kitchen. Therefore, they are not in the kitchen. They are either in the kitchen or in the bedroom. Therefore, they are in the bedroom." In this example, the statement "the keys are not in the kitchen" is the conclusion of the first argument and a premise of the second.^[28]

Premises can also be classified by the type of statement they express. Affirmative premises assert that something is the case (e.g. all dogs are animals), whereas negative premises deny that something is the case (e.g. no dogs are cats).^[29] Universal statements claim that something holds for all entities, while existential statements assert that something holds at least for one entity, and singular propositions talk about one specific entity, as in the contrast among "all men are mortal", "some men are mortal", and "Aristotle is mortal".^[30] Simple premises consist of a single proposition, whereas compound premises combine several propositions, such as hypothetical premises, which are made up of two propositions linked through an if-then relationship.^[31]

Premises can also be distinguished by their content. Descriptive premises state what is the case, whereas prescriptive or normative premises are about what should be the case. This distinction plays a central role in Hume's law—the thesis that purely descriptive premises cannot support normative conclusions, as in the argument "Humans have carnivorous teeth. Therefore, they should eat meat."^[33]

Syllogistic logic distinguishes between major and minor premises. A syllogism is an argument involving three terms: a major term, a middle term, and a minor term. The major premise is about the major and middle terms, the minor premise is about the minor and middle terms, and the conclusion is about the major and minor terms. For example, the following argument has the major term soldiers, the middle term patriots, and the minor term traitors:^[34]

All soldiers are patriots. (major premise)

No traitors are patriots. (minor premise)

─────────────────────────

No traitors are soldiers.

The purpose of the premises of an argument is to support its conclusion. The aim is usually to preserve truth or transfer justification from accepted statements to the claim that is argued for, making it more credible or reasonable. In a successful argument, the premises must be relevant to the conclusion and they are themselves typically accepted as true or justified, although in some cases, they are just suppositions that are allowed for the sake of the argument to explore their implications.^[35] Logicians are primarily interested in whether a set of premises is properly related to a conclusion, whereas other fields, such as physics and history, research which premises are true.^[36]

A premise is adequate if it is sufficiently justified or meets the context-specific norms of the argumentative setting. These norms vary significantly with the situational context of the discourse. In some settings, a premise is acceptable by default unless an opponent challenges it. In others, the burden of proof lies with the person introducing it, who is expected to provide compelling reasons.^[37] Sources of justification include direct perception, past experience, and reliable reports from others. In scientific inquiry, justification follows from the scientific method as hypotheses are empirically tested through systematic experimentation and observation.^[38] Further considerations of premise adequacy are whether a premise is plausible, whether the audience is likely to accept it, and whether there are reasonable grounds to challenge it.^[39]

A premise is relevant if what it says supports the conclusion. Relevant premises provide grounds that increase the credibility of the conclusion, making it more likely to be true or more reasonable to affirm. Relevance is often tied to argumentation schemes or rules of inference, which serve as general templates for relating premises to conclusions.^[40] Deductive and non-deductive reasoning are different ways in which the support is established, varying in strength and structure.^[41]

In deductive arguments, premises provide the strongest possible support for the conclusion. An argument is deductively valid if the truth of its premises guarantees the truth of its conclusion: if the premises are true, the conclusion cannot be false. A deductively valid argument with true premises is called a sound argument.^[43] Deductive reasoning plays a central role in the formal sciences, such as mathematics.^[44]

Deductive arguments follow rules of inference. A rule of inference is a general scheme for drawing conclusions. Each rule has a specific pattern that depends only on the logical form of the premises and the conclusion, independent of their concrete content. Modus ponens is a rule of inference with the form "If then . . Therefore, ." For example, the argument "If it's Monday then the library is open. It's Monday. Therefore, the library is open" follows modus ponens. Other rules of inference include modus tollens, disjunctive syllogism, and constructive dilemma.^[45]

In non-deductive arguments, premises provide fallible support for the conclusion. They make the conclusion more reasonable or increase the probability that it is true. Non-deductive arguments vary in their degree of strength, and strong ones make their conclusion very plausible. However, they do not guarantee the conclusion: it can be false even when all premises are true. This is because the conclusion introduces information not found in the premises. Non-deductive arguments play a central role in the empirical sciences and in everyday reasoning.^[47] They take several forms, including inductive,^[g] abductive, and analogical arguments.^[49]

Inductive reasoning is a form of generalization. It typically starts from observations of many individual instances and concludes that all instances, including the unobserved ones, follow the same pattern.^[h] The premise of an inductive argument can take the form "All observed individuals with property A also have property B" to support the conclusion "All individuals with property A also have property B." This pattern appears in the argument that all ravens are black because all ravens that were observed are black.^[51] The strength of an inductive argument depends on various factors associated with the premises. For example, it is stronger if many instances were observed.^[52]

An abductive argument is an inference to the best explanation. Its premises are usually observations one has made, while the conclusion is typically an unobserved cause or mechanism that explains the observations. For example, a doctor may observe that a child has an itchy rash with red spots and conclude that chickenpox is the best explanation of these symptoms. The strength of abductive arguments depends, among other things, on how plausible the explanation is and whether it is consistent with established knowledge.^[53]

Analogical reasoning transfers information from one case to another based on their similarity. Analogical arguments can take the form "X is similar to Y. X has property A. Therefore, Y probably also has property A." This pattern appears in the argument "Rats are similar to humans. Birth control pills during pregnancy affect the brain development of rats. Therefore, birth control pills during pregnancy probably also affect the brain development of humans." The strength of analogical arguments depends, among other things, on how similar the cases are and on how pertinent the similarity is to the property in question.^[54]

Fallacies are defective arguments that fail to support their conclusions. Faulty premises are the source of many fallacies, either because the premises have inherent flaws or because they are unrelated to the conclusion. The defects in fallacies are often obscured by persuasive language, leading people to mistake them for rational arguments and accept them.^[55][i]

In fallacies of presumption, the premises assume too much,^[j] contain false claims, or ignore essential information. For example, in a false dilemma, one premise erroneously claims that only two options are available, excluding other viable alternatives, as in "either I continue smoking, or I gain weight." Begging the question, another fallacy of presumption, is a form of circular reasoning in which the premises already assume that the conclusion is true. Thereby, they fail to provide independent support, as in "capital punishment for murderers is justified because justice requires it." The fallacy of suppressed evidence is a form of cherry picking that selects only favorable reasons while ignoring stronger opposing evidence, as in "the US military is weaker today than it was in the 1940s because it has fewer horse-drawn howitzers."^[58]

In fallacies of relevance, the premises offer reasons that are not pertinent to the conclusion. For example, the red herring fallacy introduces misleading or distracting information in the premises. It often changes the subject by presenting reasons for a different conclusion, like when the executive of a pesticide company responds to reports of environmental damage by touting the health benefits of fresh fruit and the role of pesticides in increasing yields. The ad hominem fallacy seeks to refute an argument by attacking the speaker rather than the argument, like trying to dismiss an argument for atheism by alleging that the speaker is arrogant. The appeal to ignorance, another fallacy, defends a claim by offering the premise that no definitive proof against it exists, such as a pseudoscientist asserting that telepathy is real because critics have not yet disproved it.^[59]

In fallacies of ambiguity, the premises contain ambiguous language, making it seem as if they support the conclusion. For instance, the premises of the argument "Feathers are light. What is light cannot be dark. Therefore, feathers cannot be dark" use the word "light" in two different senses: one referring to weight, the other to color.^[60]

Premises are relevant to many fields of inquiry. Logic and argumentation theory study the structure and standards of arguments. They examine how premises are used to defend standpoints, which argumentation schemes and rules of inference are employed, and how to distinguish good from bad arguments. Logicians often use abstract analysis, representing arguments in a formal, standardized language to reveal their logical form and evaluate their validity. Argumentation theorists, by contrast, tend to focus on how people state premises to defend standpoints in concrete discourse, attending to how contextual factors and dialogical roles shape the norms of argumentation.^[62][k] Attention to premises is also central in critical thinking when evaluating the basis of an argument, questioning hidden assumptions, and assessing the strength and cogency of supporting reasons.^[64]

In mathematics, theorists often posit basic premises as initial axioms from which theorems are deductively inferred. For example, Euclid showed how five fundamental premises can serve as the basis of Euclidean geometry.^[65] Similarly, Richard Dedekind and Giuseppe Peano proposed an axiomatic foundation for the arithmetic of natural numbers.^[66] The approach of building theoretical systems on a small set of foundational premises was also adopted by some philosophers. For instance, Baruch Spinoza constructed his Ethics as a deductive system that derives philosophical theorems from basic axioms.^[67] In the empirical sciences, non-deductive reasoning is more common, such as using the premise that all observed instances follow a specific pattern to conclude that the pattern is universal and also holds for unobserved cases.^[68] In computer science and artificial intelligence, premises serve as fundamental facts encoded in knowledge bases. They act as starting points from which automated reasoning systems, such as automated theorem provers, derive conclusions.^[69]

In legal reasoning, premises function as initial assumptions for arriving at decisions about guilt, liability, or entitlement. The legal syllogism is a form of legal reasoning that has one premise for a general legal norm, another premise for the particular case to which the norm is applied, and a conclusion that states the legal consequences. This pattern appears in the argument "If a party breaks a contract, they are liable for damages. The defendant broke a contract. Therefore, they are liable for damages."^[70]