# 4.4: Definition and Meaning

$$\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}$$

### Definition and Meaning

#### HomeGenuine and Verbal Disputes

We’ve seen that sloppy or misleading use of ordinary language can seriously limit our ability to create and communicate correct reasoning. As philosopher John Locke pointed out three centuries ago, the achievement of human knowledge is often hampered by the use of words without fixed signification. Needless controversy is sometimes produced and perpetuated by an unacknowledged ambiguity in the application of key terms. We can distinguish disputes of three sorts:

• Genuine disputes involve disagreement about whether or not some specific proposition is true. Since the people engaged in a genuine dispute agree on the meaning of the words by means of which they convey their respective positions, each of them can propose and assess logical arguments that might eventually lead to a resolution of their differences.
• Merely verbal disputes, on the other hand, arise entirely from ambiguities in the language used to express the positions of the disputants. A verbal dispute disappears entirely once the people involved arrive at an agreement on the meaning of their terms, since doing so reveals their underlying agreement in belief.
• Apparently verbal but really genuine disputes can also occur, of course. In cases of this sort, the resolution of every ambiguity only reveals an underlying genuine dispute. Once that’s been discovered, it can be addressed fruitfully by appropriate methods of reasoning.

We can save a lot of time, sharpen our reasoning abilities, and communicate with each other more effectively if we watch for disagreements about the meaning of words and try to resolve them whenever we can.

#### HomeKinds of Definition

The most common way of preventing or eliminating differences in the use of languages is by agreeing on the definition of our terms. Since these explicit accounts of the meaning of a word or phrase can be offered in distinct contexts and employed in the service of different goals, it’s useful to distinguish definitions of several kinds:

lexical definition simply reports the way in which a term is already used within a language community. The goal here is to inform someone else of the accepted meaning of the term, so the definition is more or less correct depending upon the accuracy with which it captures that usage. In these pages, my definitions of technical terms of logic are lexical because they are intended to inform you about the way in which these terms are actually employed within the discipline of logic.

At the other extreme, a stipulative definition freely assigns meaning to a completely new term, creating a usage that had never previously existed. Since the goal in this case is to propose the adoption of shared use of a novel term, there are no existing standards against which to compare it, and the definition is always correct (though it might fail to win acceptance if it turns out to be inapt or useless). If I now decree that we will henceforth refer to Presidential speeches delivered in French as “glorsherfs,” I have made a (probably pointless) stipulative definition.

Combining these two techniques is often an effective way to reduce the vagueness of a word or phrase. These precising definitions begin with the lexical definition of a term but then propose to sharpen it by stipulating more narrow limits on its use. Here, the lexical part must be correct and the stipulative portion should appropriately reduce the troublesome vagueness. If the USPS announces that “proper notification of a change of address” means that an official form containing the relevant information must be received by the local post office no later than four days prior to the effective date of the change, it has offered a (possibly useful) precising definition.

Theoretical definitions are special cases of stipulative or precising definition, distinguished by their attempt to establish the use of this term within the context of a broader intellectual framework. Since the adoption of any theoretical definition commits us to the acceptance of the theory of which it is an integral part, we are rightly cautious in agreeing to it. Newton’s definition of the terms “mass” and “inertia” carried with them a commitment to (at least part of) his theories about the conditions in which physical objects move.

Finally, what some logicians call a persuasive definition is an attempt to attach emotive meaning to the use of a term. Since this can only serve to confuse the literal meaning of the term, persuasive definitions have no legitimate use.

#### HomeExtension and Intension

A rather large and especially useful portion of our active vocabularies is taken up by general terms, words or phrases that stand for whole groups of individual things sharing a common attribute. But there are two distinct ways of thinking about the meaning of any such term.

The extension of a general term is just the collection of individual things to which it is correctly applied. Thus, the extension of the word “chair” includes every chair that is (or ever has been or ever will be) in the world. The intension of a general term, on the other hand, is the set of features which are shared by everything to which it applies. Thus, the intension of the word “chair” is (something like) “a piece of furniture designed to be sat upon by one person at a time.”

Clearly, these two kinds of meaning are closely interrelated. We usually suppose that the intension of a concept or term determines its extension, that we decide whether or not each newly-encountered piece of furniture belongs among the chairs by seeing whether or not it has the relevant features. Thus, as the intension of a general term increases, by specifying with greater detail those features that a thing must have in order for it to apply, the term’s extension tends to decrease, since fewer items now qualify for its application.

#### HomeDenotative and Connotative Definitions

With the distinction between extension and intension in mind, it is possible to approach the definition of a general term (on any of the five kinds of definition we discussed last time) in either of two ways:

denotative definition tries to identify the extension of the term in question. Thus, we could provide a denotative definition of the phrase “this logic class” simply by listing all of our names. Since a complete enumeration of the things to which a general term applies would be cumbersome or inconvenient in many cases, though, we commonly pursue the same goal by listing smaller groups of individuals or by offering a few examples instead. In fact, some philosophers have held that the most primitive denotative definitions in any language involve no more than pointing at a single example to which the term properly applies.

But there seem to be some important terms for which denotative definition is entirely impossible. The phrase “my grandchildren” makes perfect sense, for example, but since it presently has no extension, there is no way to indicate its membership by enumeration, example, or ostension. In order to define terms of this sort at all, and in order more conveniently to define general terms of every variety, we naturally rely upon the second mode of definition.

connotative definition tries to identify the intension of a term by providing a synonymous linguistic expression or an operational procedure for determining the applicability of the term. Of course, it isn’t always easy to come up with an alternative word or phrase that has exactly the same meaning or to specify a concrete test for applicability. But when it does work, connotative definition provides an adequate means for securing the meaning of a term.

#### HomeDefinition by Genus and Differentia

Classical logicians developed an especially effective method of constructing connotative definitions for general terms, by stating their genus and differentia. The basic notion is simple: we begin by identifying a familiar, broad category or kind (the genus) to which everything our term signifies (along with things of other sorts) belongs; then we specify the distinctive features (the differentiae) that set them apart from all the other things of this kind. My definition of the word “chair” in the second paragraph of this lesson, for example, identifies “piece of furniture” as the genus to which all chairs belong and then specifies “designed to be sat upon by one person at a time” as the differentia that distinguishes them from couches, desks, etc.

Copi and Cohen list five rules by means of which to evaluate the success of connotative definitions by genus and differentia:

1. Focus on essential features. Although the things to which a term applies may share many distinctive properties, not all of them equally indicate its true nature. Thus, for example, a definition of “human beings” as “featherless bipeds” isn’t very illuminating, even if does pick out the right individuals. A good definition tries to point out the features that are essential to the designation of things as members of the relevant group.
2. Avoid circularity. Since a circular definition uses the term being defined as part of its own definition, it can’t provide any useful information; either the audience already understands the meaning of the term, or it cannot understand the explanation that includes that term. Thus, for example, there isn’t much point in defining “cordless ‘phone” as “a telephone that has no cord.”
3. Capture the correct extension. A good definition will apply to exactly the same things as the term being defined, no more and no less. There are several ways to go wrong. Consider alternative definitions of “bird”:
• “warm-blooded animal” is too broad, since that would include horses, dogs, and aardvarks along with birds.
• “feathered egg-laying animal” is too narrow, since it excludes those birds who happen to be male.     and
• “small flying animal” is both too broad and too narrow, since it includes bats (which aren’t birds) and excludes ostriches (which are).

Successful intensional definitions must be satisfied by all and only those things that are included in the extension of the term they define.

4. Avoid figurative or obscure language. Since the point of a definition is to explain the meaning of a term to someone who is unfamiliar with its proper application, the use of language that doesn’t help such a person learn how to apply the term is pointless. Thus, “happiness is a warm puppy” may be a lovely thought, but it is a lousy definition.
5. Be affirmative rather than negative. It is always possible in principle to explain the application of a term by identifying literally everything to which it does not apply. In a few instances, this may be the only way to go: a proper definition of the mathematical term “infinite” might well be negative, for example. But in ordinary circumstances, a good definition uses positive designations whenever it is possible to do so. Defining “honest person” as “someone who rarely lies” is a poor definition.