5.2: Logical Statements
- Page ID
- 162159
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)By the end of this section, you will be able to:
- Identify the necessary and sufficient conditions in conditionals and universal affirmative statements.
- Describe counterexamples for statements.
- Assess the truth of conditionals and universal statements using counterexamples.
Specific types of statements have a particular meaning in logic, and such statements are frequently used by philosophers in their arguments. Of particular importance is the conditional, which expresses the logical relations between two propositions. Conditional statements are used to accurately describe the world or construct a theory. Counterexamples are statements used to disprove a conditional. Universal statements are statements that assert something about every member of a set of things and are an alternative way to describe a conditional.
Conditionals
A conditional is most commonly expressed as an if–then statement, similar to the examples we discussed earlier when considering hypotheses. Additional examples of if–then statements are “If you eat your meat, then you can have some pudding” and “If that animal is a dog, then it is a mammal.” But there are other ways to express conditionals, such as “You can have pudding only if you eat your meat” or “All dogs are mammals.” While these sentences are different, their logical meaning is the same as their correlative if–then sentences above.
All conditionals include two components—that which follows the “if” and that which follows the “then.” Any conditional can be rephrased in this format. Here is an example:
Statement 1: You must complete 120 credit hours to earn a bachelor’s degree.
Statement 2: If you expect to graduate, then you must complete 120 credit hours.
Whatever follows “if” is called the antecedent; whatever follows “then” is called the consequent. Ante means “before,” as in the word “antebellum,” which in the United States refers to anything that occurred or was produced before the American Civil War. The antecedent is the first part of the conditional, occurring before the consequent. A consequent is a result, and in a conditional statement, it is the result of the antecedent (if the antecedent is true).
Necessary and Sufficient Conditions
All conditionals express two relations, or conditions: those that are necessary and those that are sufficient. A relation is a relationship/property that exists between at least two things. If something is sufficient, it is always sufficient for something else. And if something is necessary, it is always necessary for something else. In the conditional examples offered above, one part of the relation is required for the other. For example, 120 credit hours are required for graduation, so 120 credit hours is necessary if you expect to graduate. Whatever is the consequent—that is, whatever is in the second place of a conditional—is necessary for that particular antecedent. This is the relation/condition of necessity. Put formally, Y is a necessary condition for X if and only if X cannot be true without Y being true. In other words, X cannot happen or exist without Y. Here are a few more examples:
- Being unmarried is a necessary condition for being a bachelor. If you are a bachelor, then you are unmarried.
- Being a mammal is a necessary condition for being a dog. If a creature is a dog, then it is a mammal.
But notice that the necessary relation of a conditional does not automatically occur in the other direction. Just because something is a mammal does not mean that it must be a dog. Being a bachelor is not a necessary feature of being unmarried because you can be unmarried and be an unmarried woman. Thus, the relationship between X and Y in the statement “if X, then Y” is not always symmetrical (it does not automatically hold in both directions). Y is always necessary for X, but X is not necessary for Y. On the other hand, X is always sufficient for Y.
Take the example of “If you are a bachelor, then you are unmarried.” If you know that Eric is a bachelor, then you automatically know that Eric is unmarried. As you can see, the antecedent/first part is the sufficient condition, while the consequent/second part of the conditional is the necessary condition. X is a sufficient condition for Y if and only if the truth of X guarantees the truth of Y. Thus, if X is a sufficient condition for Y, then X automatically implies Y. But the reverse is not true. Oftentimes X is not the only way for something to be Y. Returning to our example, being a bachelor is not the only way to be unmarried. Being a dog is a sufficient condition for being a mammal, but it is not necessary to be a dog to be a mammal since there are many other types of mammals.
The ability to understand and use conditionals increases the clarity of philosophical thinking and the ability to craft effective arguments. For example, some concepts, such as “innocent” or “good,” must be rigorously defined when discussing ethics or political philosophy. The standard practice in philosophy is to state the meaning of words and concepts before using them in arguments. And oftentimes, the best way to create clarity is by articulating the necessary or sufficient conditions for a term. For example, philosophers may use a conditional to clarify for their audience what they mean by “innocent”: “If a person has not committed the crime for which they have been accused, then that person is innocent.”
Counterexamples
Sometimes people disagree with conditionals. Imagine a mother saying, “If you spend all day in the sun, you’ll get sunburnt.” Mom is claiming that getting sunburnt is a necessary condition for spending all day in the sun. To argue against Mom, a teenager who wants to go to the beach might offer a counterexample, or an opposing statement that proves the first statement wrong. The teenager must point out a case in which the claimed necessary condition does not occur alongside the sufficient one. Regular application of an effective sunblock with an SPF 30 or above will allow the teenager to avoid sunburn. Thus, getting sunburned is not a necessary condition for being in the sun all day.
Counterexamples are important for testing the truth of propositions. Often people want to test the truth of statements to effectively argue against someone else, but it is also important to get into the critical thinking habit of attempting to come up with counterexamples for our own statements and propositions. Philosophy teaches us to constantly question the world around us and invites us to test and revise our beliefs. And generating creative counterexamples is a good method for testing our beliefs.
Universal Statements
Another important type of statement is the universal affirmative statement. Aristotle included universal affirmative statements in his system of logic, believing they were one of only a few types of meaningful logical statements (On Interpretation). Universal affirmative statements take two groups of things and claim all members of the first group are also members of the second group: “All A are B.” These statements are called universal and affirmative because they assert something about all members of group A. This type of statement is used when classifying objects and/or the relationships. Universal affirmative statements are, in fact, an alternative expression of a conditional.
Universal Statements as Conditionals
Universal statements are logically equivalent to conditionals, which means that any conditional can be translated into a universal statement and vice versa. Notice that universal statements also express the logical relations of necessity and sufficiency. Because universal affirmative statements can always be rephrased as conditionals (and vice versa), the ability to translate ordinary language statements into conditionals or universal statements is helpful for understanding logical meaning. Doing so can also help you identify necessary and sufficient conditions. Not all statements can be translated into these forms, but many can.
Counterexamples to Universal Statements
Universal affirmative statements also can be disproven using counterexamples. Take the belief that “All living things deserve moral consideration.” If you wanted to prove this statement false, you would need to find just one example of a living thing that you believe does not deserve moral consideration. Just one will suffice because the categorical claim is quite strong—that all living things deserve moral consideration. And someone might argue that some parasites, like the protozoa that causes malaria, do not deserve moral consideration.