Necessity and sufficiency
From The Art and Popular Culture Encyclopedia
Revision as of 10:34, 26 January 2013 Jahsonic (Talk | contribs) ← Previous diff |
Current revision Jahsonic (Talk | contribs) |
||
Line 1: | Line 1: | ||
- | {{Template}} | + | {| class="toccolours" style="float: left; margin-left: 1em; margin-right: 2em; font-size: 85%; background:#c6dbf7; color:black; width:30em; max-width: 40%;" cellspacing="5" |
+ | | style="text-align: left;" | | ||
+ | "[[Gaut]] does not acknowledge other versions of the [[cluster theory]], but there have been several. [[The Essential Nature of Art |E. J. Bond (1975)]] observes that a set of [[condition]]s may be [[sufficient]] for something's being art though no single member of the set is either [[Necessity and sufficiency|necessary or sufficient]]. [[On the Possibility of Theoretical Aesthetics|Milton H. Snoeyenbos (1978)]] argues that "[[art]]" may be used on the basis of a disjunctive set of merely sufficient conditions. [[What Is Art For?|Ellen Dissanayake]] observes that 'one method of definition has been to compile a number of attributes of art.'" --"[[The Cluster Theory of Art]]" (2004) by [[Stephen Davies]] | ||
+ | |}{{Template}} | ||
In [[logic]], '''''necessity''''' and '''''sufficiency''''' refer to the implicational relationships between [[Statement (logic)|statements]]. The assertion that one statement is a ''necessary and sufficient'' condition of another means that the former statement is true [[if and only if]] the latter is true. | In [[logic]], '''''necessity''''' and '''''sufficiency''''' refer to the implicational relationships between [[Statement (logic)|statements]]. The assertion that one statement is a ''necessary and sufficient'' condition of another means that the former statement is true [[if and only if]] the latter is true. | ||
+ | ==Relationship between necessity and sufficiency== | ||
+ | |||
+ | A condition can be either necessary or sufficient without being the other. For instance, ''being a [[mammal]]'' (''N'') is necessary but not sufficient to ''being human'' (''S''), and that a number <math>x</math> ''is rational'' (''S'') is sufficient but not necessary to <math>x</math> ''being a [[real number]]'' (''N'') (since there are real numbers that are not rational). | ||
+ | |||
+ | A condition can be both necessary and sufficient. For example, at present, "today is the [[Fourth of July]]" is a necessary and sufficient condition for "today is [[Independence Day (United States)|Independence Day]] in the [[United States]]". Similarly, a necessary and sufficient condition for [[Inverse matrix|invertibility]] of a [[matrix (mathematics)|matrix]] ''M'' is that ''M'' has a nonzero [[determinant]]. | ||
+ | |||
+ | Mathematically speaking, necessity and sufficiency are [[duality (mathematics)|dual]] to one another. For any statements ''S'' and ''N'', the assertion that "''N'' is necessary for ''S''" is equivalent to the assertion that "''S'' is sufficient for ''N''". Another facet of this duality is that, as illustrated above, conjunctions (using "and") of necessary conditions may achieve sufficiency, while disjunctions (using "or") of sufficient conditions may achieve necessity. For a third facet, identify every mathematical [[predicate (mathematics)|predicate]] ''N'' with the set ''T''(''N'') of objects, events, or statements for which ''N'' holds true; then asserting the necessity of ''N'' for ''S'' is equivalent to claiming that ''T''(''N'') is a [[superset]] of ''T''(''S''), while asserting the sufficiency of ''S'' for ''N'' is equivalent to claiming that ''T''(''S'') is a [[subset]] of ''T''(''N''). | ||
Current revision
"Gaut does not acknowledge other versions of the cluster theory, but there have been several. E. J. Bond (1975) observes that a set of conditions may be sufficient for something's being art though no single member of the set is either necessary or sufficient. Milton H. Snoeyenbos (1978) argues that "art" may be used on the basis of a disjunctive set of merely sufficient conditions. Ellen Dissanayake observes that 'one method of definition has been to compile a number of attributes of art.'" --"The Cluster Theory of Art" (2004) by Stephen Davies |
Related e |
Featured: |
In logic, necessity and sufficiency refer to the implicational relationships between statements. The assertion that one statement is a necessary and sufficient condition of another means that the former statement is true if and only if the latter is true.
Contents |
Relationship between necessity and sufficiency
A condition can be either necessary or sufficient without being the other. For instance, being a mammal (N) is necessary but not sufficient to being human (S), and that a number <math>x</math> is rational (S) is sufficient but not necessary to <math>x</math> being a real number (N) (since there are real numbers that are not rational).
A condition can be both necessary and sufficient. For example, at present, "today is the Fourth of July" is a necessary and sufficient condition for "today is Independence Day in the United States". Similarly, a necessary and sufficient condition for invertibility of a matrix M is that M has a nonzero determinant.
Mathematically speaking, necessity and sufficiency are dual to one another. For any statements S and N, the assertion that "N is necessary for S" is equivalent to the assertion that "S is sufficient for N". Another facet of this duality is that, as illustrated above, conjunctions (using "and") of necessary conditions may achieve sufficiency, while disjunctions (using "or") of sufficient conditions may achieve necessity. For a third facet, identify every mathematical predicate N with the set T(N) of objects, events, or statements for which N holds true; then asserting the necessity of N for S is equivalent to claiming that T(N) is a superset of T(S), while asserting the sufficiency of S for N is equivalent to claiming that T(S) is a subset of T(N).
See also
Argument forms involving necessary and sufficient conditions
Valid forms of argument
Invalid forms of argument (i.e. fallacies)