Concept

Necessity and sufficiency

Overview

In logic and mathematics, necessity and sufficiency are concepts used to denote a conditional or implicational relationship between two statements. For example, in the conditional statement: "If P then Q", Q is necessary for P, because the truth of Q is "necessarily" guaranteed by the truth of P. (Equivalently, it is impossible to have P without Q, or the falsity of Q ensures the falsity of P.) Similarly, P is sufficient for Q, because P being true always or "sufficiently" implies that Q is true, but P not being true does not always imply that Q is not true.

In general, a necessary condition is one (possibly one of several conditions) that must be present in order for another condition to occur, while a sufficient condition is one that produces the said condition. The assertion that a statement is a "necessary and sufficient" condition of another means that the former statement is true if and only if the latter is true. That is, the two statements must be either simultaneously true, or simultaneously false.

In ordinary English (also natural language) "necessary" and "sufficient" often indicate relations between conditions or states of affairs, not statements. For example, being round is a necessary condition for being a circle, but is not sufficient since ovals and ellipses are round but not circles – while being a circle is a sufficient condition for being round. Any conditional statement consists of at least one sufficient condition and at least one necessary condition.

In data analytics, necessity and sufficiency can refer to different causal logics, where necessary condition analysis and qualitative comparative analysis can be used as analytical techniques for examining necessity and sufficiency of conditions for a particular outcome of interest.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Possible passages

Found by search and not yet checked by a person; they may only mention the idea in passing.

The exercise of logical reason is always concerned with these absolutely general conditions. In its broadest sense, the discovery of mathematics is the discovery that the totality of these general abstract conditions, which are concurrently applicable to the relationships among the entities of any one concrete occasion, are themselves inter-connected in the manner of a pattern with a key to it. This pattern of…
Alfred North Whitehead, Science and the modern world
States what Necessity and sufficiency is.
Read the chapter · Open in the reader
The speaker must mean to assert the proposition either as a universal or as a particular proposition, though he has failed to declare which: and it often happens that though the words do not show which of the two he intends, the context, or the custom of speech, supplies the deficiency. Thus, when it is affirmed that “Man is mortal,” nobody doubts that the assertion is intended of all human beings; and the word…
John Stuart Mill, A System of Logic, Ratiocinative and Inductive
States what Necessity and sufficiency is; the author is tied to Necessity and sufficiency in the knowledge graph.
Read the chapter · Open in the reader
147.] (γ) When this externality (of actuality) is thus developed into a circle of the two categories of possibility and immediate actuality, showing the intermediation of the one by the other, it is what is called Real Possibility. Being such a circle, further, it is the totality, and thus the content, the actual fact or affair in its all-round definiteness.
Georg Wilhelm Friedrich Hegel, The Logic of Hegel
States what Necessity and sufficiency is.
Read the chapter · Open in the reader

Philosophers who discussed Necessity and sufficiency

Related ideas

Opposing perspectives

Jurisprudence

Place in the tradition

Part of Analytic philosophy.

Explore Necessity and sufficiency in the interactive graph →