Arguments: Difference between revisions

From docs.reasonspace.com
Jump to navigation Jump to search
 
(212 intermediate revisions by 4 users not shown)
Line 1: Line 1:
When philosophers and logicians speak of "arguments," we're not talking about verbal fights—heated exchanges about who wronged whom or about politics. These exchanges often involve *arguments* (in the relevant sense of the term), but arguments are involved also in much of our ordinary, pleasant conversation, and in the thinking we do in the privacy of our own heads. You argue throughout the day every day and you've been doing it since you were a small child. It's one of the things you learned to do as you learned to speak. To argue is simply to give a *reason* for something. Here's an example from my two-year-old child, when he was just transitioning from diapers to underwear. At first he wore the underwear only on the weekends (when he was home from school), but once he got proficient enough with the toilet, we started dressing him in underwear on school days too. The first time this happened he resisted. "No," he said, reaching for a diaper, "It's not the weekend anymore." He was giving it's not being the weekend as a reason for wearing a diaper today, rather than underwear. This is a case of his giving *us* a reason for something he wanted, but it's clear from observing and talking to him that he's doing this in the privacy of his own head as well: he's regarding certain things he knows reasons to take certain actions or reach certain conclusions. For example, when I told him that it was his Grandfather's birthday, he concluded from this fact that his grandfather would probably eat cake and walk around (a replica of) the sun (as children in his Montessori school do on their birthdays).
The word "argument" is most often used to refer to a heated conversation in which people disagree. We speak about a couple having an argument, or about a Thanksgiving dinner that's ruined by relatives who won't stop arguing about politics. But there's another, related meaning of the word "argument," which is the more prevalent meaning in fields like philosophy, law, and rhetoric. When people are having an argument, we can speak of the ''arguments'' that each of them is making. For example consider the following brief dialogue in which Angela and Ben are arguing about abortion:


<blockquote>
Angela: How can you be opposed to laws banning abortion?!


You learned how to argue in your first years of life, as part of learning how to speak and to think. During this same period, you learned how to walk and how to grasp and manipulate objects. But you learned all of these things *implicitly*—that is, without naming in words words what you were doing and how. You learned many words before you knew the word “word,” and you learned how to put words together into sentences before you had the word “sentence” or words for the parts of speech (much less for the rules of grammar), and you learned how to walk, without yet knowing the word "walk," much less knowing words for the parts of your legs or for specific types of steps or for flexing and unflexing various muscles. You may have never thought much about *how* to walk, but if you’ve ever had physical therapy to recover from an injury or taken a movement class as part of learning how to dance or to act, you may have learned to analyze the act of walking into (named) component parts. Doing so gives you more control over the way you walk. When athletes train, they often learn to analyze movements they learned as a child into simpler movements, and this process gives them finer-grained control over their movements. It is likewise possible to gain greater control of your thinking by analyzing the complex activity of thinking into simpler activities that make it up. In this article we’re going to focus on "arguing" which is a central part of thinking. We will discuss how to analyze an argument into its parts, and how to use this analysis to methodically assess an argument.
Ben: Easy, I respect the right to bodily autonomy! Laws against abortion severely limit pregnant women's bodily autonomy.  


=Propositions=
Angela: But, abortion is ''murder'', and murder should always be illegal.


Before we discuss arguments in earnest, it will be helpful to say a bit about propositions, which are the smaller units of thought from which arguments are composed. A proposition is the sort of thought that is capable of being true or false, believed or disbelieved, and asserted or denied. Such thoughts are asserted by declarative sentences. Here are some examples:
</blockquote>
 
In this brief exchange, Ben and Angela each give the other a reason for accepting a different answer to the question "Should abortion be illegal?" Each of these reasons is an ''argument'' in the sense of that word in which it is used in philosophy (and allied fields). Put roughly: an argument is a reason for believing something, and it is made up of other beliefs. We can represent Ben and Angela's arguments graphically in what is called an ''argument map'':


<blockquote>
'''1.''' Healthy grass is green.
'''2.''' O. J. Simpson killed Nicole Brown.


'''3.''' Twice two is four.  
{| class="wikitable"
|'''Map 1: Ben and Angela's Arguments Concerning Anti-Abortion Laws'''
|-
|{{Map|https://app.reasonspace.com/submaps/c0211ac351954f419f23e51661d3dbd4}}
|-
|Ben's argument is labeled "B", and Angela's is labeled "A".
|}


'''4.''' Twice two is five.  
This article is about arguments (in this sense of the word). We'll discuss what arguments are, their role in thinking, how argument maps can be used to illustrate their structure, and how we can assess arguments to determine how strong they are.


'''5.''' Many diseases are caused by bacteria.
=Arguments as Ways of Knowing=


'''6.''' Stalin was evil.  
We most often speak about arguments in the contexts of disagreements (as in Ben and Angela's disagreement about abortion) or when people are trying to persuade one another. But arguments are made even in conversations where people do not disagree, and we form arguments in our own minds, even when there is no one around to convince of anything. Consider, for example, how you know that the article you're reading now is an assigned reading for Lecture 3 of the Introduction to Philosophy class you're taking. Most likely, you know it by means of the following argument:


'''7.''' Joe Biden is the 46th President of the United States.  
{| class="wikitable"
|'''Map 2: How you know that this article is assigned for Lecture 3'''
|-
|{{Map|https://app.reasonspace.com/submaps/954799ffc18046bba07a32106da18533}}
|}


'''8.''' Either a Republican or a Democrat will win the 2024 Presidential election.
This argument isn't about convincing anyone of anything. It is simply ''how you know'' something in the first place. You know that this article is assigned for Lecture 3 ''by knowing'' two other things: that this article is linked in the calendar entry for the lecture and that everything linked in a calendar entry for a lecture is a required reading for the lecture. When you ''combine'' your knowledge of these two facts, they lead to the further knowledge that this article is assigned for the lecture.


'''9.''' The Senate should have convicted Donald Trump in both of his impeachment trials.
On the map, each fact is depicted in a rectangle and labeled with a number. I'll refer to the contents of such boxes as propositions—a term I'll explain below. For now we can say that you in Argument A, you come to know Proposition 3 by combining your knowledge of Propositions 1 and 2. We call Propositions 1 and 2 the ''premises'' of Argument A.  


'''10.''' Hillary Clinton would have been an awful president.
Some of you might have come to know that this reading was assigned without knowing these premises—without having looked at or thought about the calendar at all. You may have simply heard me say in class that the reading was assigned. If so, you wouldn't know Proposition 3 by Argument A, but rather by Argument B, which is pictured alongside it the map below:
</blockquote>


The proposition is not the same thing as the sentence asserting it because the same thought can be asserted by different sentences. For example, here are several different ways of asserting Proposition 3 from the list above:
{| class="wikitable"
|'''Map 3: Two ways in which you can know this article is assigned for Lecture 3'''
|-
|{{Map|https://app.reasonspace.com/arguments/760afa1e180d4baa8a0b5a760189ea66}}
|}


<blockquote>
Here we see two separate arguments for Proposition 3, labeled A and B. Each argument has two premises, which combine to give you a ''way of knowing'' the same fact. Notice, that in each argument the two premises ''work together'' to enable you to know the Proposition 3. Knowing that the article is linked to in the calendar entry, wouldn't put you in a position to know that it was assigned reading, if you didn't also know that the items linked in the entries are assigned readings. And, of course, knowing that the items linked in the entries are assigned readings wouldn't put you in a position to know that this article was assigned, if you didn't also know that it was linked. So neither Proposition 1 nor Proposition 2 ''on its own'' puts you in a position to know Proposition 3. Argument A's premises only put you in a position to know Proposition 3, when ''when they're combined''.
'''3a.''' Twice two is four.


'''3b.''' Two times two is four.
The same goes for Argument B. Neither Proposition 4 nor Proposition 5 considered''on its own'', would put you in a position to know Proposition 3, but ''combining'' Propositions 4 and 5 does put you in a position to know it. Notice, also that it's not just ''any'' combination of premises that would put you in a position to know Proposition 3. The combination of Propositions 1 and 4 wouldn't do it, and neither would the combination of Propositions 2 and 5. Only two specific combinations of these four premises amount to ''ways of knowing'' that Proposition 3 is true. And each of these combinations is a distinct ''argument'' for the proposition.


'''3c.''' 2 x 2 = 4


'''3d.''' Deux fois deux c'est quatre.
In the grand scheme of things, Proposition 3 is not a particularly important piece of knowledge, and Arguments A and B aren't very impressive pieces of reasoning. But many life-saving truths were first reached by arguments. For example, one of Benjamin Franklin's claims to fame was his discovery that affixing a lightning rod to the roof of a building would prevent the building from being damaged by lightning. Here's a map of how he knew it:


'''3e.''' 兩次兩次是四次。
{| class="wikitable"
</blockquote>
|'''Map 4: How Benjamin Franklin Knew His Lightning Rod Would Work'''
|-
| {{Map|https://app.reasonspace.com/arguments/c8675d75d9904f56ac7528ad25cbffc4}}
|}


Sentences 3a and 3b are two different ways of asserting the same proposition in English. 3c is a way of asserting it in mathematical notation, 3d is a way of asserting it in French, and 3e is a way of asserting it in Chinese.  
The last few arguments we've discussed are ways in which someone ''knows'' something. Of course, if you knew something by means of one of these arguments, you might tell the argument to others in order to convince them of what you know. This may be what Ben and Angela are ''trying'' to do in our earlier example, in which they're arguing with one another about laws prohibiting abortion. He tells her how he thinks he knows that there should not be such laws, and she responds by telling him how she thinks that she knows that there should be. Of course, they cannot both be right, so at least one of them must not really know and the relevant argument must not really be a ''way of knowing''. There must be something wrong with at least one of their arguments. For example, one of their premises might be false. But even if one of the arguments is faulty, it is still an ''attempt at knowing''. The point of the argument is to help us ''tell'' whether laws prohibiting abortion are wrong or right.


Another reason why a proposition is not the same thing as a sentence, is that propositions can be asserted as parts of more complex sentences that include multiple propositions. For example, here’s a sentence that asserts both Propositions 9 and 10 from the list above: "Even though Hillary Clinton would have been an awful president, the Senate should have convicted Donald Trump at both of his impeachment trials."
Later in this article we'll discuss how to evaluate arguments, but the first point to bear in mind when evaluating them is that they are attempts to help you to ''know'' something—to put you in a position ''to tell that it is true.'' Some arguments take us all the way there, but arguments that don't might still prove useful (by bringing us closer to knowledge than we'd otherwise be).


Some of the propositions from the list above are uncontroversially true and others are uncontroversially false. I expect that everyone in the class will all agree that Propositions 1, 3, 5 and 7 are true and that Proposition 4 is false. We will probably disagree over some of the others—with some students thinking they’re true and others thinking they’re false.
=The Ubiquity of Argument and the Value of Logic=


Some of you may think that some of the propositions we may disagree over aren’t ''really'' the sort of things that can be true or false at all. In particular, some of you may think this about Propositions 6, 9, and 10, because these propositions express evaluations. Some people think that evaluations aren’t the sorts of things that can be true or false. But even if you think this, you’ll have noticed that many people ''believe'' or ''disbelieve'' each of these propositions (and many other evaluations) as though they were true or false, and they make arguments to try to convince other people that these propositions are true or falce. So, to understand their role in arguments you’ll have to treat them as the sort of thing that can be true or false.
You argue throughout the day every day, and you've been doing it since you were a small child. It's one of the things you learned to do as you learned to speak. Here are some examples from my young son. When he was two years old and I told him that it was his Grandfather's birthday, and said "Probably Grandpa will eat cake and walk around the sun." Presumably he thinks that ''everyone'' does these things on his birthday, because he's observed that this is what happens on birthdays in his Montessori classroom. His reasoning can be represented as follows:


=The Anatomy of an Argument=
{| class="wikitable"
|'''Map 5: My Two-Year-Old Son's Argument about his Grandfather's Birthday'''
|-
| {{Map|https://app.reasonspace.com/submaps/63d6fb7560fa4971ab0f1dc72010f77c}}
|}


As the term is used in philosophy, an '''argument''' is a set of related propositions (called '''premises''') that is given as a reason for believing a further proposition (called the '''conclusion'''). Consider, for example, the following, simple argument:
The following year in school he started grinding coffee beans as a classroom exercise and bringing the grounds home in a little baggie. One morning he told me that he'd bring some coffee grounds home for his mother, because she likes coffee. I asked if I liked coffee too and he replied: "Well, I've never seen you drink coffee, so I think that you don't like it." We might think of him as making the following argument:
Whoever murdered Carl had to have access to his rose garden at midnight, and the only person who did was Natalie, therefore Natalie must be the murderer.


Here the conclusion is that Natalie murdered Carl, and there are two premises: (1) that whoever murdered Carl had access to Carl’s rose garden at midnight, and (2) that only Natalie had such access.
{| class="wikitable"
|'''Map 6: My Three-Year-Old Son's Argument that I Don't Like Coffee (version 1)'''
|-
| {{Map|https://app.reasonspace.com/submaps/237ec69f9d9643888062964255beb79b}}
|}


There are a few ways in which we can represent an argument that make its structure clearer. One popular way is called standard form. Here’s what the argument we have been discussing looks like in standard form:
But I don't think this map quite captures how he was thinking, because he doesn't normally assume just from the fact that he hasn't seen someone do something that the person doesn't like doing it. When people express arguments, they often leave premises unstated. We can call these "implicit premises." I think this is the argument he was actually using:


{| class="wikitable"
{| class="wikitable"
|'''1.''' Whoever murdered Carl had access to his rose garden at midnight.
|'''Map 7: My Three-Year-Old Son's Argument that I Don't Like Coffee (version 2)'''
'''2.''' Only Natalie had access to Carl’s rose garden at midnight.
|-
|-
| '''3.''' Natalie murdered Carl.
| {{Map|https://app.reasonspace.com/submaps/c4aaea9e1cd144948b7bf98022910813}}
|}
|}


Each proposition has been written on its own line and labeled with a number. The premises are written first, and a line is drawn to separate them from the conclusion. This line represents the '''inference'''—the mental act of moving in thought from the premises to the conclusion.  
The square brackets around Proposition 3, indicate that it's an implicit premise.  


A newer way of representing the structure of arguments is called “argument mapping.” Here’s a map of the argument we’ve been discussing.
Why did he assume that he would have seen me drink coffee, if I liked it? I don't know, but there are some good reasons he might have had for thinking this, as illustrated in this map:


{| class="wikitable"
{| class="wikitable"
| Map 1:
|'''Map 8: Reconstruction of Reasons My Three-Year-Old Son has for Thinking that I Don't Like Coffee'''
|-
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1018/export?token=d96a9857-e540-4f08-842d-d22f274f3b43&target=active&dpi=100&view=true&format=.png]
| {{Map|https://app.reasonspace.com/submaps/41572b4f89664ecf9a335af1ffa42e89}}
|}
|}


I've given these examples to illustrate how commonplace arguing is, even among very young children. It's something that we all learn to do in our first years of life, as part of learning how to speak and think. During this same period, we learn how to walk and how to grasp and manipulate objects. But we learn all of these things ''implicitly''—that is, without naming in words what we are doing and how we are doing it. You learned many words before you knew the word “word,” and you learned how to put words together into sentences before you had the word “sentence” or words for the parts of speech (much less for the rules of grammar). You also learned how to walk, without yet knowing the word "walk," much less knowing words for the parts of your legs or for specific types of steps or for flexing and unflexing various muscles. You may have never thought much about ''how'' to walk, but if you’ve ever had physical therapy to recover from an injury or taken a movement class as part of learning how to dance or to act, you may have learned to analyze the act of walking into (named) component parts. Doing so gives you more control over the way you walk. When athletes train, they often learn to analyze movements they learned as a child into simpler movements, and this process gives them finer-grained control over their movements. It is likewise possible to gain greater control of your thinking by analyzing complex thought processes into the simpler components that make them up. The discipline that does this is called ''logic'', and one crucial part of it is the skill of analyzing arguments into their parts and assessing them, individually.


In the map, each proposition is written in its own box and labeled with a number. The inference is represented by a green circle and labeled with a letter. Thin lines connect the circle to the boxes containing the premises, and a thicker line with an arrow at the end connects the circle to box containing the conclusion.<ref>All the maps in this article, are made with [app.reasonspace.com ReasonSpace]. There are a few competing conventions for argument mapping, so you may sometimes find maps drawn or labeled a bit differently elsewhere.</ref>
=Anatomy of an Argument=
==Propositions==


Both of these ways of representing the argument are meant to make it easy to see that Propositions 1 and 2 combine to provide a reason to believe Proposition 3. Another way we can express this point is to say that Propositions 1 and 2, taken together, are meant to help us to tell that Proposition 3 is true.  
Before saying anything more about arguments, it will be helpful to say a bit about propositions, which are the smaller units of thought from which arguments are built. They're the things represented by the rectangles in our argument maps. A ''proposition'' is the sort of thought that is capable of being true or false, of being believed or disbelieved, and of being asserted or denied. Such thoughts are expressed by declarative sentences. Here are some examples:


Notice that neither of these propositions on its own provides any reason at all to think that Natalie murdered Carl. If someone had no idea that Natalie had access to Carl’s rose garden at midnight, then learning that the murderer had access to the garden at this time, wouldn’t give him any reason to suspect Natalie of the murder. Likewise, if someone had no idea that the murderer had access to the rose garden, then knowing that Natalie was the only one with access wouldn’t give him a reason to think she committed the murder. It’s only when we put the two propositions together that they give us a reason to believe the conclusion. The argument map represents this relationship by having the lines from the two premises meet at the circle representing the inference, and then having a single arrow go from the circle to the conclusion.
<blockquote>
'''1.''' Healthy grass is green.
'''2.''' O. J. Simpson killed Nicole Brown.


=Uses of Argument=
'''3.''' Twice two is four.


If you were trying to convince someone, perhaps a jury, of Natalie’s guilt, you might present them with the argument we discussed in the last section. Or, you might formulate this argument silently to yourself in the course of trying to figure out who killed Carl. In either case, we would say that you ''inferred'' that Natalie was Carl’s murderer from the ''premises'' that the murderer had access to the rose garden at midnight and that only Natalie had such access.  
'''4.''' Twice two is five.  


We tend to think of making arguments in situations where people disagree and are trying to convince the other (or to convince some third party). This is the case when people argue in court or around a dinner table; but this is not the only use of arguments, nor is it their fundamental use. Much of what we know is based on other knowledge and inference is the process by which we reach new knowledge from old. It is only because of arguments that we know many of the things we do, and it is only by further arguments that we can come to know many of the things we would like to learn.
'''5.''' Many diseases are caused by bacteria.  


Let’s survey some of the areas in which much of our knowledge is due to inference. Arguments like the one concerning Carl and Natalie enable us to know who committed crimes for which there were no eyewitnesses. In the natural sciences, almost everything we know beyond the basic data (consisting in observations and measurements) is reached by inference.2(***'''CITATION TBA'''***) So is much of our knowledge in higher mathematics. Our knowledge of the future is inferred from what we know about the past and present. And our knowledge of the distant past (beyond the scope of our memories) is also based on argument. Here, in some cases, we have firsthand accounts from people who claim to have observed or taken part in various historical events, but there are questions about the honesty and accuracy of these reports (especially when some contradict others), so we need arguments to determine which accounts we can rely on.  
'''6.''' Stalin was evil.  


Inferring is a crucial part of how you as an individual come to know the world. It’s a process that’s fallible, and sometimes it results in errors—beliefs that aren’t really knowledge. When two people argue with one another—if they’re arguing honestly—they are sharing with some of the reasons they each have for believing the things they do. Each is trying to teach the other some of what he thinks he knows, and each can help the other identify errors in his own thinking.
'''7.''' Joe Biden is the 46th President of the United States.  


Of course, people also often argue with one another dishonestly. Think of a conman who sells a bogus medicine and gives arguments to trick sick people into believing that his medicine will cure their illnesses. The conman knows that the conclusion he’s trying to convince them of is false—or, at least, he doesn’t really care if it is true. His goal is not to help them to tell what’s true, but to get them to believe a conclusion that he wants them to believe, regardless of whether it is true. It is possible to be dishonest with oneself in this same way. You may not be able to work to convince yourself of something you self-consciously know is a lie, but people often make arguments to convince themselves of things that they ''want'' to believe—or that they think they are ''supposed to'' believe—regardless of whether the things are really true. For example, someone who suspects her husband of having cheated may not want to believe it because she finds the idea too painful, or she may feel guilty for believing it because she thinks she is supposed to trust him. In either case, she may fish around for arguments to convince her that he is faithful.  
'''8.''' Either Donald Trump or Kamala Harris will win the 2024 Presidential election.


This brings me to an important point of clarification. Earlier I said that an argument is meant to give us a “reason to believe” its conclusion. When we speak of the reasons we have for performing an ''action'', we usually have in mind either some ''goal'' that we hope to achieve by performing the action, or some ''obligation'' that we think we have for taking it. These are called pragmatic or practical reasons. By contrast, we can call the reasons that arguments give ''epistemic'' reasons. They are the sort of reasons that help one to ''tell that a conclusion is true'' and thereby to put one in a position to ''know'' it.  
'''9.''' The Senate should have convicted Donald Trump in both of his impeachment trials.


The primary use of arguments is to ''tell what’s true''. A secondary use is to persuade oneself or others that something is true. We can distinguish two forms of persuasion, which we might call "honest" and "dishonest." In ''Honest persuasion'', you articulate your own actual reasons for thinking the conclusion is true, in order to persuade someone else of it or to make clearer in your own mind. In ''dishonest persuasion'' you come up with reasons to convince someone of something without regard for whether that thing is really true. Thus a dishonest lawyer or salesman, might try to persuade someone of innocence of his client or the quality of his wares by appealing to premises that he knows are false (or has no reason to think are true), but that he thinks his audience is likely to believe, or he may use arguments that seem strong at first glance, but don't stand up to scrutiny. Not all sorts of dishonest persuasion stem from trying to make money or advance one's career (as these two cases do). People also argue dishonestly to impress others or to feel important themselves.  
'''10.''' Hillary Clinton would have been an awful president.
</blockquote>


It is possible to engage in dishonest persuasion with themselves as well as with others. This often happens when someone ''wants'' to believe something (or thinks that he is ''supposed to'' believe it). Thus someone in an unhappy marriage might try to convince himself that he and his spouse are happy together, despite the growing evidence that they are not, or someone who has grown up in a family that professes certain beliefs and feels that he's supposed to believe them, might try to convince himself that they're true. We can call this dishonest reasoning with oneself, ''rationalizing'', or ''BSing oneself''. It is often hard to tell whether someone is being honest or dishonest in his use of arguments, and it can sometimes even be difficult to tell in one's own case. However, the essential difference between the two ways of arguing is clear: Is one using argument in an attempt to ''tell what's true'' (and to share this with others) or is one using them to ''defend'' a position that one is committed to defending regardless of its actual merits? Genuine reasoning is the attempt to tell what's true, and dishonest uses of arguments are just attempts to fake (to oneself or others) that one is engaged in this process. It is for the sake of genuine reasoning that we really ''need'' arguments, so we will focus on ''honest'' reasoning in this primer.
The proposition is not the same thing as the sentence expressing it, because the same thought can be expressed by different sentences. For example, here are several different ways of expressing Proposition 3 from the list above:


=Relations Between Arguments=
<blockquote>
'''3a.''' Twice two is four.


Our thinking isn’t usually made up of single, isolated arguments, but of complex sets of interrelated arguments. And argument mapping helps us to visualize and understand these relations. In this section we’ll consider how the argument we looked at earlier concerning Natalie might be related to other arguments. Before we do that, let’s review the simple map of that argument and get clear on how we are going to refer to each of its parts.
'''3b.''' Two times two is four.
{| class="wikitable"
|Map 1
|-
|[[file:Primer_Map_1_Annotated.png|thumb|center|700px|]]
|}


'''3c.''' 2 x 2 = 4


'''3d.''' Deux fois deux c'est quatre.


Each box contains a numbered proposition. We’ll refer to them as “Proposition 1,” “Proposition 2,” and “Proposition 3.” The green circle represents the act of inference, and we’ll refer to it as “Inference A.” We’ll use the phrase “Argument A” to refer to the whole argument, which includes the inference, along with its premises and the conclusion. 
'''3e.''' 兩次兩次是四次。
</blockquote>


With this terminology under our belts we can look at and discuss more complex maps that show relations between arguments.
Sentences 3a and 3b are two different ways of expressing the same proposition in English. 3c is a way of expressing it in mathematical notation, 3d is a way of expressing it in French, and 3e is a way of expressing it in Chinese.  


Another reason why a proposition is not the same thing as a sentence is that propositions can be expressing as parts of more complex sentences that include multiple propositions. For example, here’s a sentence expressing both Propositions 9 and 10 from the list above: "Even though Hillary Clinton would have been an awful president, the Senate should have convicted Donald Trump at both of his impeachment trials."


Some of the propositions from the list above are uncontroversially true and others are uncontroversially false. I expect that everyone in the class will agree that Propositions 1, 3, 5 and 7 are true and that Proposition 4 is false. We will probably disagree over some of the others—with some students thinking they’re true and others thinking they’re false.


Some of you may think that some of the propositions we may disagree over aren’t ''really'' the sort of things that can be true or false at all. In particular, some of you may think this about Propositions 6, 9, and 10, because these propositions express evaluations. Some people think that evaluations aren’t the sorts of things that can be true or false. But even if you think this, you’ll have noticed that many people ''believe'' or ''disbelieve'' each of these propositions (and many other evaluations) as though they were true or false, and they make arguments to try to convince other people that these propositions are true or false. So, to understand their role in arguments you’ll have to treat them as the sort of thing that can be true or false.


==Definition of Argument and the Conventions of Argument Mapping==


As the term is used in philosophy, an '''argument''' is a set of related propositions (called '''premises''') that is given as a reason for believing a further proposition (called the '''conclusion'''). Consider, for example, the following simple argument:
Whoever murdered Carl had to have access to his rose garden at midnight, and the only person who did was Natalie, therefore Natalie must be the murderer.


Here the conclusion is that Natalie murdered Carl, and there are two premises: (1) that whoever murdered Carl had access to Carl’s rose garden at midnight, and (2) that only Natalie had such access. 


===Arguments that share a conclusion===
There are a few ways in which we can represent an argument that makes its structure clearer. One popular way is called ''standard form''. Here’s what the argument we have been discussing looks like in standard form:


One way in which arguments can be related is by sharing the same conclusion. Here’s an example:
{| class="wikitable"
{| class="wikitable"
| Map 2:
|'''1.''' Whoever murdered Carl had access to his rose garden at midnight.
'''2.''' Only Natalie had access to Carl’s rose garden at midnight.
|-
|-
|[https://app.reasonspace.com/maps/1404?token=5071d145-483a-4e0d-bf55-f440ad7d2a28 https://app.reasonspace.com/arguments/1019/export?token=db43098d-7867-4761-9894-7e9f0caff309&target=active&dpi=85&view=true&format=.png]
| '''3.''' Natalie murdered Carl.
|}
|}
Argument B has the same conclusion as Argument A. They are two distinct arguments because they give separate reasons for believing the conclusion. To see that the reasons are separate, pick one of the premises from either argument, and think about what other premises you would need to combine it with before it would give you a reason to think that Natalie murdered Carl. You will see that in order for Proposition 1 to convince you that Natalie murdered Carl, you would need to also know Proposition 2, but that you wouldn’t need to know Propositions 4, 5, or 6. Likewise, in order for Proposition 5 to convince you, you’d need to also know Propositions 4 and 6, but not Propositions 1 or 2.


===Chains of Argument===
Each proposition has been written on its own line and labeled with a number. The premises are written first, and a line is drawn to separate them from the conclusion. This line represents the '''inference'''—the mental act of moving in thought from the premises to the conclusion.  
A second way arguments can be related is that a premise of one argument can be the conclusion of another, forming a chain. Here’s an example of that:
{| class="wikitable"
| Map 3:
|-
|[https://app.reasonspace.com/maps/1529?token=f7357a05-5386-49c4-8aa7-e31abec7aa60 https://app.reasonspace.com/arguments/1086/export?token=4f5e23ce-2bb6-4d17-9a58-d3999fb673ae&target=current_publication&dpi=85&view=true&format=.png]
|}
Notice that Argument A (from Map 1) is part of this larger map. One of its premises is now the conclusion of another argument, labeled C, and one of C's premises is a premise for a further argument, labeled D. So, we can think of D, C, and A as a chain of arguments, with Proposition 3 as their ultimate conclusion. (Or, to put it another way, we can think of D, C, and A as making up a three-step argument for Proposition 3. And, we can think of Propositions 2 and 8 as intermediate conclusions of this larger argument.)


===Complex Maps===
In this class we'll occasionally see arguments laid out in standard form, but we'll mostly use argument maps (as we did earlier in this article). Here’s a map of the same argument with annotations, indicating what each element in the map means.


Now let’s consider a larger map that includes all the arguments we’ve looked at plus three others.
{| class="wikitable"
{| class="wikitable"
| Map 4:
| '''Map 9'''
|-
|-
|[https://app.reasonspace.com/maps/1530?token=63fce241-4d83-45dc-87e5-510a92853d37 https://app.reasonspace.com/arguments/1087/export?token=5b0620f5-e769-4271-a084-3b120f7d17f5&target=current_publication&dpi=75&view=true&format=.png]
|[[file:Map_9_Annotated.png|thumb|center|700px|]]
|-
|[https://app.reasonspace.com/submaps/d784fd01d2ef446abe5ef5be1d22783b View this map on ReasonSpace]
|}
|}


Argument E is a third argument for Proposition 3. I expect you’ll agree that it a bad argument. The map shows two ''objections'' to this argument, each symbolized by a red octagon. [[Objections]] are (in effect) arguments that something is wrong with the argument they're objecting too.  
In the map, each proposition is written in its own box and labeled with a number. The inference is represented by a green circle and labeled with a letter (we call this the *inference symbol*). Thin lines connect the inference symbol's round bottom to the boxes containing the premises, and a thicker line with an arrow at the end connects the symbol's top to the box containing the conclusion.<ref>All the maps in this article, are made with [http://app.reasonspace.com ReasonSpace]. There are a few competing conventions for argument mapping, so you may sometimes find maps drawn or labeled a bit differently elsewhere.</ref>


Objection H objects to Proposition 11, which is a premise of Argument E. When someone objects to a premise, he is arguing that it is not a suitable premise. This could be because the premise us false (as is the case with Proposition 11), but there are other reasons why a premise might not be suitable. For example, we might not be in a position to tell whether it's true, which would make it useless as a premise. Or we might only have reason to think that it's true if we already believe the conclusion, in which case it would be a case of [[circular reasoning]]. In addition to objections to premises, there are objections to inferences. These are arguments that the inference is faulty.  
The standard form is more compact, but argument mapping enables us to visualize the relationships between multiple arguments.  


Objection I objects to Inference E. To object to an inference is to argue that it's not a good inference—that, even we knew the premises to be true, the inference wouldn't give us a reason to believe the conclusion. We'll discuss the factors that make for a good or bad inferences later.
Both ways of representing the argument highlight make it easy to see that Propositions 1 and 2 combine to provide a reason to believe Proposition 3.  


Inference F is represented by a red inference symbol instead of the usual green one because it represents a ''counterargument''. [[Counterarguments]] are an arguments ''against'' conclusions, rather than ''for'' them. Counterargument F gives us a reason to think that its conclusion, Proposition 3 is ''false''. If we wanted to treat F as a regular argument (represented by a green symbol), then it's conclusion would be that “Natalie did ''not'' murder Carl.” We could write this conclusion out as a distinct proposition, in its own box, but since it is equivalent to saying that Proposition 3 is false, it’s nice to have a way to relate F to Proposition 3 on the map, so that we could see a glance that F is arguing against the very same conclusion that Arguments A, B, and E are arguing for. This is the purpose of the red counterargument symbol.  
Notice that it is only when we take them ''together'' that Propositions 1 and 2 give us a reason to believe Proposition 3. If you knew that only Natalie had access to Carl's rose garden at midnight, then learning that whoever killed Carl must have had access to the rose garden would put you in a position to tell that Natalie was the murderer. But if you didn't know anything about who had access to the rose garden, then learning that whoever committed the murderer had access, wouldn't give you any reason to suspect Natalie. Likewise, if you already knew that the killer had to have access to the rose garden, then learning that Natalie was the only one with access would put you in a position to know that she did it. But if you didn't know anything linking the rose garden to the murder, then learning that Natalie was the only one with access to it wouldn't give you any reason to suspect her of the crime. Only when the premises are put together do they link Natalie to the crime, that's what makes these ''two'' premises into a ''single'' argument.  


Argument G supports Proposition 14, which is a premise for Counterargument F.
The map represents this relationship by having the lines from the two premises go to a single inference symbol (labeled A) from which a single arrow points to the conclusion.


The point of an argument is to help us tell what’s true. So, if we end up in a situation where we have arguments with opposite conclusions as we do in Map 4, then there must be an error somewhere. In this map, Objections H and I, indicate what's wrong with Argument E. But even if we eliminate Argument E, we have two other arguments for Proposition 3, and we have a counterargument against this same proposition. Proposition 3 cannot be both true and false, so something must be wrong either with Arguments A and B or with Counterargument F. Let’s turn now to the things that can go wrong with arguments, and why some arguments are better than others.
==Relations Between Arguments in Complex Maps==


=Why Some Arguments are Stronger than Others=
With this terminology under our belts, we can look at and discuss more complex maps that show relations between arguments.


Mapping an argument is a way of analyzing it—breaking it up into its parts and showing how those parts fit together into a whole. The point of analyzing an argument is that it makes it easier for us to then ''assess'' the argument. When we assess an argument, we are asking how strongly it supports the conclusion—how good a reason it gives us to think that the conclusion is true. The strongest arguments enable us to tell that their conclusions are true. In doing so, they establish the conclusions as ''knowledge''.


[[file:V0EpistemicStatus.png|thumb|center|500px|Map of epistemic status]]
One way in which arguments can be related is by sharing the same conclusion. Here’s an example:
If an argument supports its conclusion strongly enough to establish it as knowledge, the argument is called '''conclusive''' and is said to be a '''proof''' or to '''prove''' the conclusion.3 These arguments are especially valuable. On the opposite extreme would be an argument that gives us no reason to believe the conclusion and so leaves us no closer to knowing it than we were before. There is no special name for such arguments, but let’s call them '''worthless''' because they don’t do ''any'' of what an argument should do. Many arguments fall in between these two extremes. That’s because knowledge isn’t an all-or-nothing affair. There is a whole spectrum between really knowing a proposition and being entirely ignorant of it. We can call this spectrum the proposition’s '''epistemic status'''.
{| class="wikitable"
| '''Map 10'''
|-
|{{Map|https://app.reasonspace.com/submaps/05c4582aace9476883878b49e3fce664}}
|}
Argument B has the same conclusion as Argument A. They are two distinct arguments because they give separate reasons for believing the conclusion. To see that the reasons are separate, pick one of the premises from either argument and think about what other premises you would need to combine it with before it would give you a reason to think that Natalie murdered Carl. We already discussed how Propositions 1 and 2 have to be put together before either provides a reason for ''suspecting'' that Natalie murdered Carl. But if you know that both of these propositions are true, you're in a position to ''know'' that Natalie is the murderer regardless of whether you know any of Propositions 4–6. Likewise, if you knew Propositions 4–6, they'd put you in a position to know that Natalie did it, even if you didn't know Proposition 1 or 2. But you would need to know ''all three'' Propositions 4, 5, and 6, for them to put you in a position to know that Natalie was guilty; no one or two of them would do it alone.<ref>Propositions 4 and 6 taken together without Proposition 5 wouldn't even give you a reason to suspect Natalie. Knowing Propositions 4 and 5, without knowing 6, would give you a strong reason to suspect Natalie (since it would mean that she's one of only two people who could have done it), but adding Proposition 6 upgrades the argument from one that would make Natalie a suspect to one that proves that she's the murderer.</ref>


Consider the proposition “Natalie murdered Carl,” which was the conclusion of many of the arguments in the maps we looked at earlier. Suppose that this proposition is true and that you’re a detective investigating Carl’s murder. When you begin the case, you probably don’t know the proposition at all. At this point you have no idea who killed Carl, and no reason to suspect Natalie; you might not even know who Natalie is. So, the proposition would be at the extreme left end of the scale picture above. But the investigation proceeds and you learn more about Carl’s life and death, at some point you formulate the theory that Natalie murdered Carl because there is some evidence pointing to her. Perhaps at this point, it’s not much evidence. We certainly wouldn’t say that you ''know'' she killed him or even that you ''believe'' it (or have reason to believe it), but you now suspect her, so we wouldn’t say that you’re totally ignorant of her having murdered him either. The proposition is now somewhere on the scale to the right of ignorance but to the left of the half-way mark.  
A second way arguments can be related is that a premise of one argument can be the conclusion of another, forming a chain. Here’s an example of that:
{| class="wikitable"
|'''Map 11'''
|-
|{{Map|https://app.reasonspace.com/submaps/95c077a9e8454fdfad9181e21a21ecd5}}
|}
Notice that Argument A (from Map 9) is part of this larger map. One of its premises is now the conclusion of another argument, labeled C, and one of C's premises is a conclusion of a further argument, labeled D. So, we can think of D, C, and A as a chain of arguments, with Proposition 3 as their ultimate conclusion. (Or, to put it another way, we can think of D, C, and A as making up a three-step argument for Proposition 3. And, we can think of Propositions 2 and 8 as intermediate conclusions of this larger argument.)


Eventually, as you accumulate more evidence, she becomes the lead suspect. Now if you had to bet, you’d say that she did it, and you’d have good reasons to support your bet. We might say you believed she did it, but you don’t ''know'' it yet. Finally, at a certain point you might get enough evidence to really be certain that she did it. Now the proposition has progressed to the right-most region on the scale—you know it.
=Why Some Arguments are Stronger than Others=


All the evidence that you accumulated along the way could be spelled out as arguments. And we can think of what arguments do as helping us advance along the scale from ignorance to knowledge. An argument that’s strong enough to take us all the way to knowledge is a conclusive argument or proof. An argument that doesn’t take us any of the way is worthless. But many arguments take us part of the way—they give us ''some'' reason to ''believe'' the conclusion without giving us conclusive reason.
Mapping an argument is a way of analyzing it—breaking it up into its parts and showing how those parts fit together into a whole. The point of analyzing an argument is that it makes it easier for us to then ''assess'' the argument. When we assess an argument, we are asking how strongly it supports the conclusion—how good a reason it gives us to think that the conclusion is true. The strongest arguments are ''ways of knowing'' their conclusions—or, in other words, they give us a way to ''tell that the their conclusions are true''.
[[file:V0EpistemicStatus1.png|thumb|center|500px|Scale of epistemic status]]
Notice that in the scale for epistemic status, knowledge is represented by a range and not by a point. This is because, even among the things we know, we think of ourselves as knowing somethings better than others. For example, you probably think you know both that Trump is the 45th President of the United States and that twice two equals 4. But you might think that you know the second of these propositions better than the first, since you can probably imagine some bizarre scenario in which Trump isn’t really the president and you’re the victim of an elaborate hoax, but it’s hard to imagine any scenario in which you can be mistaken that twice two is four. Perhaps some of you think that you don’t really ''know'' that Trump is the 45th President because you think you can’t totally rule out this hoax scenario. We’ll discuss these sorts of skeptical worries later in the course. For now, my point is just that to saying that you know something is not to rule out the possibility that there are other things that you know even ''better''. That’s why I’m representing knowledge as a range rather than as a point. Similarly, to say that an argument is conclusive is just to say that it’s ''enough'' to establish its conclusion as knowledge. It is not to say that there cannot be some other argument that is even stronger.  


The two factors that contribute to the strength of an argument are its premises and its inferences. So, to assess an argument we need to assess each premise and each inference.  
If an argument supports its conclusion strongly enough to establish it as knowledge, the argument is called '''conclusive''' and is said to be a '''proof''' or to '''prove''' the conclusion. <Ref>People often call arguments that they come up with proofs if they think the arguments prove their conclusions, and sometimes these names catch on, but that doesn’t mean that the arguments ''really'' prove the conclusions. We have to assess them for ourselves to see.</Ref> These arguments are especially valuable. On the opposite extreme would be an argument that gives us no reason to believe the conclusion and so leaves us no closer to knowing it than we were before. There is no special name for such arguments, but let’s call them '''fatuous''' (meaning silly and pointless) because they don’t accomplish ''any'' of what an argument should do.


The strongest premises are ones that we ''know'' to be true independent of knowing the conclusion. In order for an argument to prove its conclusion all of its premises must be like this. On the other extreme if we have no reason at all to think that a premise is true (or if we know that it is false), then it will make any argument it is part of worthless. If, on the other hand, the premise has an intermediate epistemic status, an argument containing it could still support the conclusion to some extent, without proving it. This is illustrated in the map below.
[[file:Strength_of_an_Argument.png|thumb|center|1000px]]
[[file:V0Map1a.png|thumb|center|500px|Map 1a]]
The scales placed in the boxed for Propositions 1 and 2 indicate the epistemic status of those propositions. The scale in the box for Proposition 1 has a mark in the rightmost region indicating that that proposition is known to be true. Proposition 2’s scale shows that the proposition isn’t quite known, though there is some reason to believe it. The scale drawn above the green circle indicates the strength of Argument A as a whole. We see that it is no stronger than the weakest premise, which is Proposition 2.


Since the case of Natalie and Carl is fictitious, there’s no way for us to actually assess the premises. The epistemic statuses in the map above are made up (as is everything else in the example). In §3, below, we’ll discuss how to assess actual premises of actual arguments.
Many arguments fall in between these two extremes. That’s because knowledge isn’t an all-or-nothing affair. There is a whole spectrum between really knowing a proposition and being entirely ignorant of it.  


[[file:Knowledge_vs_Ignorance.png|thumb|center|1000px]]


Consider the proposition “Natalie murdered Carl,” which was the conclusion of many of the arguments in the maps we looked at earlier. Suppose that this proposition is true and that you’re a detective investigating Carl’s murder. When you begin the case, you may have no idea who killed Carl, and no reason to suspect Natalie; indeed, you might not even know who Natalie is. So, the proposition would be at the extreme left end of the scale pictured above. But as the investigation proceeds and you learn more about Carl’s life and death, at some point you encounter some evidence pointing to Natalie and you formulate the theory that she did it. At first, it might not be much evidence. We certainly wouldn’t say that you ''know'' she killed him or even that you ''believe'' it (or have reason to believe it), she may not even be your prime suspect, but she is now ''a'' suspect, so we wouldn’t say that you’re totally ignorant of her having murdered him. The proposition is now somewhere on the scale to the right of ignorance but to the left of the half-way mark.


Eventually, as you accumulate more evidence, she becomes the lead suspect. Now if you had to bet, you’d say that she did it, and you’d have good reasons to support your bet. We might say you believed she did it, but that you don’t ''know'' it yet. Eventually, you accumulate enough evidence to be certain that she did it. Now the proposition has progressed to the right-most region on the scale—you know it.


We can call a proposition's position along this continuum in the mind of a given person, the proposition's '''[[epistemic status]]''' for that person, and give names to the regions along the continuum. We call a proposition '''[[certain]]''' when we think that we ''know'' it to be true. On the other extreme, we can call a proposition '''[[unfounded]]''' if we have no reason to think it's true. We call a proposition '''[[possible]]''' (in one sense of that word) when we have reason to suspect that it might be true. And we call a proposition '''[[probable]]''' when the evidence makes it more likely to be true than not.


[[file:epistemic_status.png|thumb|center|1000px]]


In addition to assessing premises, we need to assess inferences. In order for an argument to support its conclusion, the premises and conclusion need to be related in such a way that it is unlikely for the conclusion to be false if the premises are true. The more unlikely it is for the conclusion to be false if the premises are true, the stronger the inference. Sometimes the premises and conclusion are related in such a manner that one would be caught in a contradiction if one held that the premises were true, but the conclusion was false. These inferences are called '''deduction''' and are said to necessitate their conclusions. ''Deductions are as strong as it is possible for an inference to be'', so if we have a scale assessing the strength of an inference, we should represent deduction not as a range, but as a point at the end of the scale. (We will discuss how deductions work in §4.1, below.)
So in the example above, before the investigation starts you have no evidence to even suggest that Natalie may have murdered Carl. The proposition wouldn't even occur to you, but if for some reason it did, the proposition would be unfounded for you. Later when you find evidence that makes her a suspect, the proposition becomes possible, and as the evidence mounts it becomes probable and ultimately certain.
[[file:V0DeductiononES.png|thumb|center|600px|Place of deduction on the epistemic scale]]
Inference A is a deduction. If whoever murdered Carl had access to his rose garden at midnight, and Natalie was the only person who had access then, then Natalie ''has to be'' the murderer. If we said she wasn’t we would be saying that the murderer was someone ''other than Natalie'' who according to Proposition 1 had access to Carl’s rose garden at midnight, but Proposition 2 tells us that ''only Natalie'' had access to the rose garden at midnight. So, to hold both premises and deny the conclusion would be to say that Natalie ''was'' and ''wasn’t'' the only person with access to the rose garden at midnight, and that’s a contradiction. If the premises are true, the conclusion has to be. The only way to consistently deny the conclusion is to deny one of the premises. So, Inference A is as strong as an inference can be.


The evidence that you accumulate could be spelled out in the form of arguments, and it is these arguments that advance us along the continuum from ignorance to knowledge (or from an unfounded proposition to a certain one). An argument that’s strong enough to
make its conclusion ''certain'' is a conclusive argument or proof. An argument that doesn’t give us ''any'' of the way towards certainty is worthless. But many arguments take us part of the way—they give us ''some'' reason to ''believe'' the conclusion without giving us conclusive reason. We can speak of an argument as being stronger or weaker, depending on how close it is to being conclusive.


We can add this assessment into our map of Argument A as follows.  
Notice that in the scale for epistemic status, knowledge and certainty are represented by a range and not by a point. This is because, even among the things we know, we sometimes think of ourselves as being ''more certain'' of some things than we are of others. We sometimes think this even when we're not ''uncertain'' of the less certain things; and we might think of ourselves as knowing the more certain things better than we know the less certain ones. For example, I expect that you know both that Joe Biden is the 46th President of the United States and that twice two equals four. (For my part, I'm certain of both things.) But you might regard yourself as ''more certain'' that twice two is four than you are that Biden is the 46th President, because you can imagine bizarre scenarios in which you're the victim of some elaborate hoax and Biden isn't ''really'' the President, but it's hard to imagine any scenario under which you could be mistaken that twice two is four. Some people think that there is almost nothing that they really ''know'' or can be ''certain'' of because they cannot completely rule out such hoaxes, and epistemologists think a lot about what to make of such [[skeptical scenarios]]. In ordinary reasoning however, we often take ourselves to ''know'' (or to be ''certain'' of) something without thinking that there is nothing better known (or more certain) than it. And this is what is allowed for by representing knowledge and certainty as a range rather than a point on our scales. Similarly, to say that an argument is conclusive is just to say that it’s strong ''enough'' to establish its conclusion as knowledge. It is not to say that there could not be some other argument that is even stronger.
[[file:V0Map1b.png|thumb|center|500px]]


The scale below the green circle represents our assessment of Inference A, and it is marked at the rightmost point to show that the inference is a deduction. The scale above the circle represents our assessment of Argument A as a whole. Notice that, even though the inference is a deduction, the argument taken as a whole isn’t conclusive, because we don’t know that Premise 2 is true. The strength of the argument as a whole depends on the strength of ''all'' its elements, whereas the strength of the inference is independent of the strength of the premises. That’s illustrated by the following map:
There are two factors that contribute to the strength of an argument: the strengths of its premises and the strength of its inference. So, to assess an argument we need to assess each premise and each inference.  
[[file:V0Map5.png|thumb|center|650px]]
This map contains two separate arguments (Arguments F and G). Argument F has two awful premises—premises that no one has any reason to believe and that we all know to be false. But Inference F is as strong as can be; it’s a deduction. Propositions 13 and 14 are obviously false, but if they ''were'' true, then Proposition 15 would ''have to be'' true also. Nevertheless, Argument F is worthless, because its premises are so bad. Argument G is also worthless, but for an opposite reason. We know that both of its premises are true, but the premises aren’t related to one another and to the conclusion such that their being true gives us any reason to think that the conclusion is true as well. The problem here is with the inference. You can’t infer anything about Carl and Natalie from premises about birds and insects. Inferences this bad are called non-sequiturs.  


Some inferences are extremely strong without being deductions. Consider the following argument:
==Strength of premises==
[[file:V0Map6.png|thumb|center|650px]]
[[file:V0EpistemicStrength.png|thumb|center|650px]]


The strongest premises are ones that we can be certain of independently of knowing the conclusion. In order for an argument to be conclusive, all of its premises must be like this. On the other extreme, if any of an argument's premises is unfounded (or if we know the premise to be false), that makes the argument worthless. An argument with premises that are ''possible'' or ''probable'' cannot prove its conclusion, but it can still offer some support for it. For example, to return to the case of Carl's murder, if we were certain that whoever murdered Carl had access to his rose garden at midnight, and it was probable that Natalie was the only person who had this access, that would make it probable that Natalie was the murderer.


Propositions 18 and 19 do not necessitate Proposition 20. But knowing them would give us an extremely strong reason to believe Proposition 20. The reason is so strong that in most context we would say that Argument H would establish Proposition 20 as knowledge. Let’s use the word '''compelling''' for inferences that are strong enough to establish their conclusions as knowledge, if their premises are true. If so, here’s what our scale of inference strength looks like:
This is illustrated in the assessment of our Familiar Argument A, below.


{| class="wikitable"
| '''Map 9'''
|-
|{{Map|https://app.reasonspace.com/smaps/0ad59e33b3434d96865df2350e2d4d7e}}
|-
|[[File:Argument_A_Assessment_1.png|thumb|center|500px]]
|}




The scales placed in the box for Propositions 1 and 2 indicate the epistemic status of those propositions. The scale in the box for Proposition 1 has a mark in the rightmost region indicating that that proposition is certain. Proposition 2’s scale shows that the proposition is probable. And the scale for the Argument as a whole shows that it is strong enough to render the conclusion probable.


Since the case of Natalie and Carl is fictitious, there’s no way for us to actually assess the premises. The epistemic statuses in the map above are made up (as is everything else in the example). To assess an actual premise one needs to consider how strong one's reasons to believe the premise are ''independent of one's belief in the conclusion''. This last qualification is important. It can take some reflection to recognize which of our beliefs are based on which others, so it's easy to regard as a premise something that we're only convinced of because we already believe the conclusion. This is called [[circular reasoning]].


==Strength of Inferences==


The strength of an argument depends not only on the strength of its premises, but also on the strength of its ''inference''. There are different [[types of inferences]] which we'll discuss over the semester, and learning about the types is a great aid in assessing specific inferences. Here I'll just make a few general remarks.


In order for an argument to support its conclusion at all, the premises need to be related to one another and to the conclusion in such a manner that, the premises being true would make the conclusion likely to be true. In the very strongest inferences, the premises are related to one another and to the conclusion in such a manner that one would be caught in a contradiction if one held that the premises were true, but that the conclusion was false. This is the case with many of the inferences we've looked at in this article, including Inference A (in Map 9). Proposition 1 tells us a characteristic of Carl's murderer—namely that the murderer could access the rose garden at midnight. Proposition 2 tells us that only Natalie has this characteristic. If both propositions are true, then it ''has to be'' that Natalie is the murderer. There's no room for any alternative. Inference A is ''as strong as any inference could be''. Inferences like this are called '''[[deductions]]''' and are said to ''necessitate'' their conclusions.


Deduction is the type of argument that has been most studied by logicians. All deductive arguments follow one of a number of ''forms'', which one can learn and train oneself to recognize. Since every deduction is as strong as an inference can be, no deduction can be stronger than any other. Thus, on a scale representing the strength of inferences, we must represent deduction, not as a range, but as a point on the far right.


Even inferences that aren’t compelling can be useful. Consider the following argument:
[[file:V0Map7.png|thumb|center|500px]]
Inference I isn’t compelling, but it’s not bad, either. If you knew the premises to be true, this argument wouldn’t put you in a position to ''know'' the conclusion, but (unless you had other relevant knowledge of Estelle), it ought to lead you to expect that she can speak English.


In §3 below, we’ll discuss how to identify and assess different sorts of inference. The examples in this section are intended just to give you a sense that some are stronger than others.  
[[file:deduction.png|thumb|center|600px]]


To review then, arguments range in strength from worthless to conclusive, with conclusive arguments being the ones that are strong enough to establish their conclusions as knowledge. The strength of an argument is determined by the strength of its premises and of its inference. The strength of a premise is its epistemic status. The highest epistemic status is knowledge, and the lowest is that of a proposition one is either wholly ignorant of or knows to be false. The strength of an inference is determined by the relationship between the premises and the conclusion, and this is separate from whether the premises are true. The weakest inferences are called non-sequiturs and the strongest are called compelling.
Let's add our assessment of Inference A as a deduction into our assessment of Inference A into our map of Argument A:  
[[file:V0ScaleForAA.png|thumb|center|650px]]


{| class="wikitable"
| '''Map 9'''
|-
|{{Map|https://app.reasonspace.com/smaps/0ad59e33b3434d96865df2350e2d4d7e}}
|-
|[[File:Argument_A_Assessment_2.png|thumb|center|500px]]
|}


Notice that, though Inference A is a deduction, Argument A as a whole is still not conclusive. This is because Premise 2 is merely probable, rather than certain. The strength of the argument as a whole depends on the strength of ''all'' its elements, whereas the strength of the inference is independent of the strength of the premises. That’s illustrated by the following maps:


An argument as a whole can be no stronger than its weakest element (premise or inference). And in an argument the weaknesses compound, so if multiple elements have weaknesses, the whole will be weaker than the weakest part.
{| class="wikitable"
 
| '''Map 12'''
=How to Assess Arguments=
|'''Map 13'''
 
|-
Once you have mapped an argument in order to assess it you have to first identify all of the unsupported premises—the propositions that serve as premises in arguments, without themselves being conclusions of other arguments. On the map, these will be all the boxes that do not have arrows pointing to them. You then must assess each unsupported premise and each inference. To assess a premise is to determine its epistemic status. Since the examples in this primer are fictitious, the assessments of the premises are fictitious as well. See section §3, below, on how to assess actual premises.
|{{Map|https://app.reasonspace.com/maps/1f4a6db8-37a3-4d02-b9b4-44749176a0b9}}
 
|{{Map|https://app.reasonspace.com/maps/3c6b4d76-04ff-4219-8a2e-3e7b7c468e40}}
To assess an inference, assume that you knew all of its premises are true, and then ask yourself how strong a reason they would give you to believe that the conclusion is also true. How to assess different sort of inferences is discussed in §4, below, but you should be able to get an intuitive sense of how strong an inference is just by asking yourself if the premises were true how strong a reason would they give you to believe the conclusion. 
|-
|[[File:Argument_H_Assessment.png|thumb|center|500px]]
|[[File:Argument_I_Assessment.png|thumb|center|500px]]
|}
:


Once you have assessed all the premises and inferences, you can then assess each argument as a whole. The argument can be no stronger than its weakest element (premise or inference). Weaknesses within an argument compound, so if there are weaknesses in more than one element, the argument will be weaker than its weakest element.  
Here we have two arguments (H and I) that are both fatuous for opposite reasons. In Argument H we have two awful premises—premises that no one has any reason to believe and that we all know to be false. But ''inference'' H is as strong as can be—it's a deduction. Propositions 17 and 18 are false, but ''if they were true'', then Proposition 19 would ''have to be'' true also. Nonetheless, the unfounded premises make the argument as a whole fatuous. As it happens the conclusion, like the premises, is obviously false. Notice that if we changed Proposition 18 to say "All insects lay eggs" and Proposition 19 to say "All birds lay eggs," the argument would then have a true conclusion and one true premise, in addition to having an inference that's as strong as can be. Nonetheless, it would still be fatuous, because Proposition 17 remains unfounded (indeed obviously false), and an argument can be no stronger than its weakest part.


For some sorts of premises and arguments, there are precise mathematical ways to evaluate their strength, but that sort of precision is not always possible. It is enough for our purposes to place premises, inferences, and arguments in rough regions of the scales that we are using to evaluate them.  
Both premises of Argument I are certain, but the argument is fatuous because Inference I is so bad. There's no relation at all between the premises and the conclusion, so even if we know the premises to be true, they can't give us any reason at all to even suspect that the conclusion might be true. You can’t infer anything about Carl and Natalie from premises about birds and insects. Inferences this bad are called '''[[non_sequitur|non sequiturs]]'''.


Let’s try this process, with Map 3 from above. Here the map is again:
An inference does not need to be a deduction to put one in a position to know its conclusion. Consider the following argument:  


{| class="wikitable"
{| class="wikitable"
| Map 3:
| '''Map 14'''
|-
|{{Map|https://app.reasonspace.com/submaps/fbdcd9761a1043f8aaaf94c6a70c88bb}}
|-
|-
|[https://app.reasonspace.com/maps/1406?token=2b89bcc5-9a90-4076-ad87-9677a42279ce https://app.reasonspace.com/arguments/1020/export?token=0499e828-de4d-4abb-8c01-51fee1a3cacf&target=active&dpi=100&view=true&format=.png]
|[[File:Argument_J_Assessment.png|thumb|center|500px]]
|}
|}




The first step is to identify all the inferences and unsupported premises. There are two inferences (A and C) and three unsupported premises (Propositions 1, 7, and 8). Proposition 3 isn’t a premise at all, and Proposition 2 is a premise for Argument A, but it isn’t unsupported, because it is the conclusion of Argument C. So, we will need to assess the premises and the inferences. In the map below I’ve added blank scales for the elements we will need to assess.  
This is like Argument A from Map 9, except that we've replaced Proposition 1, which said that Carl's murderer had access to his rose garden, with a premise that allows for an extremely remote possibility of someone committing the murder without having had access. Because of this, unlike Inference A, Inference J is not a deduction. But it is still a very strong inference. To judge just how strong it is, we'd have to rely on some background knowledge of the situation. For example, if among Carl's associates were people who were at the cutting edge of crossbow marksmanship, we might regard it as a possibility that the murderer is someone other than Natalie—someone who has an unprecedented level of skill with the weapon. But, in most contexts, such speculation would be unfounded. In this case, Inference J is strong enough that being certain of its premises would put us in a position to be certain of its conclusion. That's how I assessed it on the scale above.


[[file:V0Map3b.png|thumb|center|500px]]
Incidentally, instead of thinking of Proposition 22 as an alternative premise to Proposition 1 in an argument to the same conclusion, we might think of Proposition 22 as part of how we know that Proposition 1 is true, as illustrated in the following map.
Let’s assess the premises first. If this were a real-life argument, we would have to reflect on how strong a reason we have for believing Propositions 1, 7 and 8, but since the example is fictitious, we’ll have to make up their epistemic statuses as well. I’ve done that in the map below:


[[file:V0Map3aa.png|thumb|center|500px]]
{| class="wikitable"
As the premises are assessed on this map, we know Propositions 1 and 7, but we don’t quite know 8. Perhaps we think there’s some possibility that a second key was made or that Natalie’s key was stolen from her.
| '''Map 15'''
|-
|{{Map|https://app.reasonspace.com/submaps/ed74d8c90a3c418eb9435215133bdc5d}}
|-
|[[File:Arguments_K_and_A_Assessment.png|thumb|center|500px]]
|}


[[file:V0Map3bb.png|thumb|center|500px]]
This amounts to a different way of mapping what is in essence the same line of reasoning.
Now that the premises have been assessed we’ll turn to assessing the two inferences.


In any case, whether we focus on Argument K (in this most recent map) or on Argument J (in the map above it), the point remains the same. The inference isn't a deduction, but it's strong enough that being certain of its premises would put us in a position to be certain of its conclusion. We can call such inferences '''[[compelling]]'''.


We’ve already seen that Inference A is a deduction, so it is as strong as can be. What about Inference C? It is definitely not a deduction, there is no ''contradiction'' involved in holding that someone other than Natalie had access to the garden at midnight, even though it is locked after 10pm, and Natalie had the only key. It’s just ''unlikely'' that someone else had access, since keys are the normal way of accessing locked places, and locks are designed to keep people without keys out. Still it’s possible for people to enter locked places without keys—locks can be picked, and presumably the rose garden has walls that can be climbed. To determine how strong Inference C is we’d need to think about how plausible these alternative routes of access are, and that would require some background knowledge. Assessing non-deductive inferences is more difficult than assessing deductions because it requires making use of such knowledge. In this case, since the example is fictitious, there is no background knowledge to rely on, so we’ll have to make up more about the example. If we took it for granted that the lock is of a kind that is almost impossible to pick without leaving marks (that weren’t found), that picking it would have taken time in which someone doing it would likely have been observed, and that the walls of the garden couldn’t be scaled without sounding an alarm (that didn’t sound), then I think this inference would be compelling. But in that case, it would be a lot clearer if the person making the argument had made these assumptions explicit by including them as premises. In any case, for the sake of the example, let’s assume that we aren’t in a position to quite rule out lock-picking and that the inference is strong but not compelling. That’s how I marked it on the map above.
[[file:Strength_of_an_Inference.png|thumb|center|1000px]]


Even inferences that aren’t compelling can be useful. Consider the following argument:


[[file:V0Map3cc.png|thumb|center|500px]]
{| class="wikitable"
Once we have assessed all the unsupported premises and inferences, we can go on to assess the arguments as wholes. The map below incorporates all the assessments we’ve discussed so far, plus blank scales for assessing the two arguments.
|'''Map 16'''
 
|-
If any of an argument’s premises are themselves supported by other arguments, we need to assess those other arguments as wholes before assessing the initial argument. So, in this case, we’ll need to assess Argument C before we assess Argument A. 
|{{Map|https://app.reasonspace.com/maps/156b41a4-a850-469b-9a7c-8665f4f3c2e6}}
 
|-
Argument C has one premise (Proposition 7) that is known, but it has two weaknesses. Proposition 8 is not (quite) known to be true, and Inference C is not compelling. Either of these weaknesses taken on its own is sufficient to prevent the argument from being conclusive. The argument as a whole can be no stronger than its weakest element, which (as we’ve filled out the scales above) is Inference C. But since the weaknesses in an argument compound, and inference C is not the only weak point, in this argument, the argument as a whole is weaker than Inference C. We can represent this on the map below by putting a mark on the scale for Argument C a bit to the left of the mark on the scale for Inference C.
|[[File:Argument_L_Assessment.png|thumb|center|500px]]
 
|}
[[file:V0Map3dd.png|thumb|center|500px]]
In addition to adding the assessment of Argument C to Map 3d, you’ll see that I added a scale for Proposition 2 and marked it with the same assessment. This is because this map shows Argument C as our reason for believing Proposition 2. The reason for having separate scales for Argument C and Proposition 2 is that sometimes we will have multiple arguments for the same proposition. We’ll discuss a case like this in a moment. Before we do, let’s finish assessing the arguments in this map.
 
[[file:V0Map3ee.png|thumb|center|500px]]
What remains is to assess Argument A. Here there is only one weak element. One of its premises is known the be true and the inference is a deduction, so the argument as a whole will be as strong as the remaining element, Proposition 2. The dot indicating our evaluation of Argument A is therefore placed in the same spot on its scale as we placed the dot on Proposition 2’s scale.  
 
If Argument A were the only reason given to accept Proposition 3, then we would give Proposition 3 the same epistemic status we’ve given Argument A. However, as we’ve already mentioned, conclusions are often supported by many, separate lines of reasoning. If that were the case, we would have to assess Proposition 3 in light of both the strength of Argument A ''and'' the strength of the additional arguments supporting it. This is shown on the map below (2a) which includes Argument A along with another argument (Argument B) for Proposition 3. (I’m omitting Argument C from this map to save space.)
 
 
[[file:V0Map3ee.png|thumb|center|500px]]
Since Proposition 3 is supported (in this map) by two different arguments, to establish its epistemic status, we need to take both into account. Argument A is fairly strong, though not compelling. 
 
But as I’ve represented it here, Argument B is very weak. Inference B is a deduction, but the epistemic statuses I’ve given to its premises are much weaker than those of the premises of Argument A. (Recall that since these are fictitious arguments about fictitious people, the epistemic statuses are also fictitious.) Proposition 6 is approximately as strong as Proposition 2, but Propositions 4 and 5 are considerably weaker, and in an argument the weaknesses compound, so the argument as a whole is considerably weaker than its weakest premise. It’s not quite worthless, but it’s not worth very much. At best it could give one reason to ''suspect'' Natalie of the murder. 
 
So, what epistemic status does Proposition 3 have based on these two arguments? Argument A gives us a pretty strong (though not conclusive) reason. Argument B doesn’t add much to it, but a weak argument doesn’t take away from the reasons given by a strong one, so over all we have about as much reason to believe the conclusion as Argument A gives us. It’s not knowledge, but we should regard it as something that’s probably true.
 
''An argument is at least as weak as its weakest element, and if an argument has multiple weaknesses the weaknesses compound. But a conclusion is as at least as strong as its strongest argument, and if there are multiple arguments, their strength can compound.''
 
There is one important caveat to this claim that a conclusion is as strong as its strongest argument. A conclusion’s strength can be diminished if you have an argument ''against'' it. (An argument against a proposition is often called an objection or counterargument.) Consider the map below: Natalie murdered Carl.


Inference L isn’t compelling, but it’s not bad, either. If you knew the premises to be true, this argument wouldn’t put you in a position to ''know'' the conclusion, but (unless you had other relevant knowledge of Estelle), it ought to lead you to regard it as ''probable'' that Estelle can speak English.


[[file:V0Map8.png|thumb|center|500px]]
==The Strength of an Argument as a Whole==
Argument E is an argument against Proposition 3, so whatever strength it has is going to counteract the strength of Argument A. Like Argument A, it is not conclusive. Its inference isn’t quite a deduction, but it is compelling. Proposition 12 is known to be true, so the argument would be conclusive, if proposition 11 was also known. But it isn’t, so the argument is correspondingly weaker. However, it is still pretty strong. Taken on its own it would lead us to think that Natalie probably didn’t murder Carl (since to murder him she would have had to have used a crossbow, and she probably doesn’t know how to use one). Taking it in the context of the whole map, it considerably reduces the epistemic status that Proposition 3 would otherwise have due to Argument A. That’s why I marked it as just about in the middle in the map above.


This raises an interesting question. What would happen, if both Arguments A and E had been conclusive? That would mean that Argument A would establish that Proposition A is true, while Argument E would establish that it is false. But it can’t be both true and false. So, if we find we’re in that situation we know we’ve made a mistake somewhere in our assessment. As Ayn Rand puts it: “Contradictions do not exist. Whenever you think that you are facing one, check your premises. You will find that one of them is wrong.”4 I’ll add that you should also check your inferences, since you may have misevaluated one of them. We will discuss how to check your premises in §3 below, as part of our wider discussion of assessing premises. We’ll discuss how to assess different types of inferences in §4, and in §5 we’ll revisit the issue of how to assess a conclusion in light of multiple arguments for and against it.
To review then, arguments range in strength from fatuous to conclusive, with conclusive arguments being the ones that are strong enough to establish their conclusions as knowledge (in other words, to make them certain). The strength of an argument is determined by the strength of its premises and of its inference. The strength of a premise is its [[epistemic status]]. The highest epistemic status is knowledge or certainty, and the lowest is that of a proposition one is either wholly ignorant of or knows to be false. We called this status "unfounded." The strength of an inference is determined by the relationship between the premises and the conclusion, and this is separate from whether the premises are true. The weakest inferences are called non-sequiturs and the strongest are called compelling.
[[file:Three_Scales.jpg|thumb|center|650px]]

Latest revision as of 12:15, 22 August 2025

The word "argument" is most often used to refer to a heated conversation in which people disagree. We speak about a couple having an argument, or about a Thanksgiving dinner that's ruined by relatives who won't stop arguing about politics. But there's another, related meaning of the word "argument," which is the more prevalent meaning in fields like philosophy, law, and rhetoric. When people are having an argument, we can speak of the arguments that each of them is making. For example consider the following brief dialogue in which Angela and Ben are arguing about abortion:

Angela: How can you be opposed to laws banning abortion?!

Ben: Easy, I respect the right to bodily autonomy! Laws against abortion severely limit pregnant women's bodily autonomy.

Angela: But, abortion is murder, and murder should always be illegal.

In this brief exchange, Ben and Angela each give the other a reason for accepting a different answer to the question "Should abortion be illegal?" Each of these reasons is an argument in the sense of that word in which it is used in philosophy (and allied fields). Put roughly: an argument is a reason for believing something, and it is made up of other beliefs. We can represent Ben and Angela's arguments graphically in what is called an argument map:


Map 1: Ben and Angela's Arguments Concerning Anti-Abortion Laws
export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Ben's argument is labeled "B", and Angela's is labeled "A".

This article is about arguments (in this sense of the word). We'll discuss what arguments are, their role in thinking, how argument maps can be used to illustrate their structure, and how we can assess arguments to determine how strong they are.

Arguments as Ways of Knowing

We most often speak about arguments in the contexts of disagreements (as in Ben and Angela's disagreement about abortion) or when people are trying to persuade one another. But arguments are made even in conversations where people do not disagree, and we form arguments in our own minds, even when there is no one around to convince of anything. Consider, for example, how you know that the article you're reading now is an assigned reading for Lecture 3 of the Introduction to Philosophy class you're taking. Most likely, you know it by means of the following argument:

Map 2: How you know that this article is assigned for Lecture 3
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

This argument isn't about convincing anyone of anything. It is simply how you know something in the first place. You know that this article is assigned for Lecture 3 by knowing two other things: that this article is linked in the calendar entry for the lecture and that everything linked in a calendar entry for a lecture is a required reading for the lecture. When you combine your knowledge of these two facts, they lead to the further knowledge that this article is assigned for the lecture.

On the map, each fact is depicted in a rectangle and labeled with a number. I'll refer to the contents of such boxes as propositions—a term I'll explain below. For now we can say that you in Argument A, you come to know Proposition 3 by combining your knowledge of Propositions 1 and 2. We call Propositions 1 and 2 the premises of Argument A.

Some of you might have come to know that this reading was assigned without knowing these premises—without having looked at or thought about the calendar at all. You may have simply heard me say in class that the reading was assigned. If so, you wouldn't know Proposition 3 by Argument A, but rather by Argument B, which is pictured alongside it the map below:

Map 3: Two ways in which you can know this article is assigned for Lecture 3
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

Here we see two separate arguments for Proposition 3, labeled A and B. Each argument has two premises, which combine to give you a way of knowing the same fact. Notice, that in each argument the two premises work together to enable you to know the Proposition 3. Knowing that the article is linked to in the calendar entry, wouldn't put you in a position to know that it was assigned reading, if you didn't also know that the items linked in the entries are assigned readings. And, of course, knowing that the items linked in the entries are assigned readings wouldn't put you in a position to know that this article was assigned, if you didn't also know that it was linked. So neither Proposition 1 nor Proposition 2 on its own puts you in a position to know Proposition 3. Argument A's premises only put you in a position to know Proposition 3, when when they're combined.

The same goes for Argument B. Neither Proposition 4 nor Proposition 5 consideredon its own, would put you in a position to know Proposition 3, but combining Propositions 4 and 5 does put you in a position to know it. Notice, also that it's not just any combination of premises that would put you in a position to know Proposition 3. The combination of Propositions 1 and 4 wouldn't do it, and neither would the combination of Propositions 2 and 5. Only two specific combinations of these four premises amount to ways of knowing that Proposition 3 is true. And each of these combinations is a distinct argument for the proposition.


In the grand scheme of things, Proposition 3 is not a particularly important piece of knowledge, and Arguments A and B aren't very impressive pieces of reasoning. But many life-saving truths were first reached by arguments. For example, one of Benjamin Franklin's claims to fame was his discovery that affixing a lightning rod to the roof of a building would prevent the building from being damaged by lightning. Here's a map of how he knew it:

Map 4: How Benjamin Franklin Knew His Lightning Rod Would Work
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

The last few arguments we've discussed are ways in which someone knows something. Of course, if you knew something by means of one of these arguments, you might tell the argument to others in order to convince them of what you know. This may be what Ben and Angela are trying to do in our earlier example, in which they're arguing with one another about laws prohibiting abortion. He tells her how he thinks he knows that there should not be such laws, and she responds by telling him how she thinks that she knows that there should be. Of course, they cannot both be right, so at least one of them must not really know and the relevant argument must not really be a way of knowing. There must be something wrong with at least one of their arguments. For example, one of their premises might be false. But even if one of the arguments is faulty, it is still an attempt at knowing. The point of the argument is to help us tell whether laws prohibiting abortion are wrong or right.

Later in this article we'll discuss how to evaluate arguments, but the first point to bear in mind when evaluating them is that they are attempts to help you to know something—to put you in a position to tell that it is true. Some arguments take us all the way there, but arguments that don't might still prove useful (by bringing us closer to knowledge than we'd otherwise be).

The Ubiquity of Argument and the Value of Logic

You argue throughout the day every day, and you've been doing it since you were a small child. It's one of the things you learned to do as you learned to speak. Here are some examples from my young son. When he was two years old and I told him that it was his Grandfather's birthday, and said "Probably Grandpa will eat cake and walk around the sun." Presumably he thinks that everyone does these things on his birthday, because he's observed that this is what happens on birthdays in his Montessori classroom. His reasoning can be represented as follows:

Map 5: My Two-Year-Old Son's Argument about his Grandfather's Birthday
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

The following year in school he started grinding coffee beans as a classroom exercise and bringing the grounds home in a little baggie. One morning he told me that he'd bring some coffee grounds home for his mother, because she likes coffee. I asked if I liked coffee too and he replied: "Well, I've never seen you drink coffee, so I think that you don't like it." We might think of him as making the following argument:

Map 6: My Three-Year-Old Son's Argument that I Don't Like Coffee (version 1)
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

But I don't think this map quite captures how he was thinking, because he doesn't normally assume just from the fact that he hasn't seen someone do something that the person doesn't like doing it. When people express arguments, they often leave premises unstated. We can call these "implicit premises." I think this is the argument he was actually using:

Map 7: My Three-Year-Old Son's Argument that I Don't Like Coffee (version 2)
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

The square brackets around Proposition 3, indicate that it's an implicit premise.

Why did he assume that he would have seen me drink coffee, if I liked it? I don't know, but there are some good reasons he might have had for thinking this, as illustrated in this map:

Map 8: Reconstruction of Reasons My Three-Year-Old Son has for Thinking that I Don't Like Coffee
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

I've given these examples to illustrate how commonplace arguing is, even among very young children. It's something that we all learn to do in our first years of life, as part of learning how to speak and think. During this same period, we learn how to walk and how to grasp and manipulate objects. But we learn all of these things implicitly—that is, without naming in words what we are doing and how we are doing it. You learned many words before you knew the word “word,” and you learned how to put words together into sentences before you had the word “sentence” or words for the parts of speech (much less for the rules of grammar). You also learned how to walk, without yet knowing the word "walk," much less knowing words for the parts of your legs or for specific types of steps or for flexing and unflexing various muscles. You may have never thought much about how to walk, but if you’ve ever had physical therapy to recover from an injury or taken a movement class as part of learning how to dance or to act, you may have learned to analyze the act of walking into (named) component parts. Doing so gives you more control over the way you walk. When athletes train, they often learn to analyze movements they learned as a child into simpler movements, and this process gives them finer-grained control over their movements. It is likewise possible to gain greater control of your thinking by analyzing complex thought processes into the simpler components that make them up. The discipline that does this is called logic, and one crucial part of it is the skill of analyzing arguments into their parts and assessing them, individually.

Anatomy of an Argument

Propositions

Before saying anything more about arguments, it will be helpful to say a bit about propositions, which are the smaller units of thought from which arguments are built. They're the things represented by the rectangles in our argument maps. A proposition is the sort of thought that is capable of being true or false, of being believed or disbelieved, and of being asserted or denied. Such thoughts are expressed by declarative sentences. Here are some examples:

1. Healthy grass is green.

2. O. J. Simpson killed Nicole Brown.

3. Twice two is four.

4. Twice two is five.

5. Many diseases are caused by bacteria.

6. Stalin was evil.

7. Joe Biden is the 46th President of the United States.

8. Either Donald Trump or Kamala Harris will win the 2024 Presidential election.

9. The Senate should have convicted Donald Trump in both of his impeachment trials.

10. Hillary Clinton would have been an awful president.

The proposition is not the same thing as the sentence expressing it, because the same thought can be expressed by different sentences. For example, here are several different ways of expressing Proposition 3 from the list above:

3a. Twice two is four.

3b. Two times two is four.

3c. 2 x 2 = 4

3d. Deux fois deux c'est quatre.

3e. 兩次兩次是四次。

Sentences 3a and 3b are two different ways of expressing the same proposition in English. 3c is a way of expressing it in mathematical notation, 3d is a way of expressing it in French, and 3e is a way of expressing it in Chinese.

Another reason why a proposition is not the same thing as a sentence is that propositions can be expressing as parts of more complex sentences that include multiple propositions. For example, here’s a sentence expressing both Propositions 9 and 10 from the list above: "Even though Hillary Clinton would have been an awful president, the Senate should have convicted Donald Trump at both of his impeachment trials."

Some of the propositions from the list above are uncontroversially true and others are uncontroversially false. I expect that everyone in the class will agree that Propositions 1, 3, 5 and 7 are true and that Proposition 4 is false. We will probably disagree over some of the others—with some students thinking they’re true and others thinking they’re false.

Some of you may think that some of the propositions we may disagree over aren’t really the sort of things that can be true or false at all. In particular, some of you may think this about Propositions 6, 9, and 10, because these propositions express evaluations. Some people think that evaluations aren’t the sorts of things that can be true or false. But even if you think this, you’ll have noticed that many people believe or disbelieve each of these propositions (and many other evaluations) as though they were true or false, and they make arguments to try to convince other people that these propositions are true or false. So, to understand their role in arguments you’ll have to treat them as the sort of thing that can be true or false.

Definition of Argument and the Conventions of Argument Mapping

As the term is used in philosophy, an argument is a set of related propositions (called premises) that is given as a reason for believing a further proposition (called the conclusion). Consider, for example, the following simple argument:

Whoever murdered Carl had to have access to his rose garden at midnight, and the only person who did was Natalie, therefore Natalie must be the murderer.

Here the conclusion is that Natalie murdered Carl, and there are two premises: (1) that whoever murdered Carl had access to Carl’s rose garden at midnight, and (2) that only Natalie had such access.

There are a few ways in which we can represent an argument that makes its structure clearer. One popular way is called standard form. Here’s what the argument we have been discussing looks like in standard form:

1. Whoever murdered Carl had access to his rose garden at midnight.

2. Only Natalie had access to Carl’s rose garden at midnight.

3. Natalie murdered Carl.

Each proposition has been written on its own line and labeled with a number. The premises are written first, and a line is drawn to separate them from the conclusion. This line represents the inference—the mental act of moving in thought from the premises to the conclusion.

In this class we'll occasionally see arguments laid out in standard form, but we'll mostly use argument maps (as we did earlier in this article). Here’s a map of the same argument with annotations, indicating what each element in the map means.

Map 9
Map 9 Annotated.png
View this map on ReasonSpace

In the map, each proposition is written in its own box and labeled with a number. The inference is represented by a green circle and labeled with a letter (we call this the *inference symbol*). Thin lines connect the inference symbol's round bottom to the boxes containing the premises, and a thicker line with an arrow at the end connects the symbol's top to the box containing the conclusion.[1]

The standard form is more compact, but argument mapping enables us to visualize the relationships between multiple arguments.

Both ways of representing the argument highlight make it easy to see that Propositions 1 and 2 combine to provide a reason to believe Proposition 3.

Notice that it is only when we take them together that Propositions 1 and 2 give us a reason to believe Proposition 3. If you knew that only Natalie had access to Carl's rose garden at midnight, then learning that whoever killed Carl must have had access to the rose garden would put you in a position to tell that Natalie was the murderer. But if you didn't know anything about who had access to the rose garden, then learning that whoever committed the murderer had access, wouldn't give you any reason to suspect Natalie. Likewise, if you already knew that the killer had to have access to the rose garden, then learning that Natalie was the only one with access would put you in a position to know that she did it. But if you didn't know anything linking the rose garden to the murder, then learning that Natalie was the only one with access to it wouldn't give you any reason to suspect her of the crime. Only when the premises are put together do they link Natalie to the crime, that's what makes these two premises into a single argument.

The map represents this relationship by having the lines from the two premises go to a single inference symbol (labeled A) from which a single arrow points to the conclusion.

Relations Between Arguments in Complex Maps

With this terminology under our belts, we can look at and discuss more complex maps that show relations between arguments.


One way in which arguments can be related is by sharing the same conclusion. Here’s an example:

Map 10
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

Argument B has the same conclusion as Argument A. They are two distinct arguments because they give separate reasons for believing the conclusion. To see that the reasons are separate, pick one of the premises from either argument and think about what other premises you would need to combine it with before it would give you a reason to think that Natalie murdered Carl. We already discussed how Propositions 1 and 2 have to be put together before either provides a reason for suspecting that Natalie murdered Carl. But if you know that both of these propositions are true, you're in a position to know that Natalie is the murderer regardless of whether you know any of Propositions 4–6. Likewise, if you knew Propositions 4–6, they'd put you in a position to know that Natalie did it, even if you didn't know Proposition 1 or 2. But you would need to know all three Propositions 4, 5, and 6, for them to put you in a position to know that Natalie was guilty; no one or two of them would do it alone.[2]

A second way arguments can be related is that a premise of one argument can be the conclusion of another, forming a chain. Here’s an example of that:

Map 11
export?options%5Bembed%5D=true&options%5Bformat%5D=.png

Notice that Argument A (from Map 9) is part of this larger map. One of its premises is now the conclusion of another argument, labeled C, and one of C's premises is a conclusion of a further argument, labeled D. So, we can think of D, C, and A as a chain of arguments, with Proposition 3 as their ultimate conclusion. (Or, to put it another way, we can think of D, C, and A as making up a three-step argument for Proposition 3. And, we can think of Propositions 2 and 8 as intermediate conclusions of this larger argument.)

Why Some Arguments are Stronger than Others

Mapping an argument is a way of analyzing it—breaking it up into its parts and showing how those parts fit together into a whole. The point of analyzing an argument is that it makes it easier for us to then assess the argument. When we assess an argument, we are asking how strongly it supports the conclusion—how good a reason it gives us to think that the conclusion is true. The strongest arguments are ways of knowing their conclusions—or, in other words, they give us a way to tell that the their conclusions are true.

If an argument supports its conclusion strongly enough to establish it as knowledge, the argument is called conclusive and is said to be a proof or to prove the conclusion. [3] These arguments are especially valuable. On the opposite extreme would be an argument that gives us no reason to believe the conclusion and so leaves us no closer to knowing it than we were before. There is no special name for such arguments, but let’s call them fatuous (meaning silly and pointless) because they don’t accomplish any of what an argument should do.

Strength of an Argument.png

Many arguments fall in between these two extremes. That’s because knowledge isn’t an all-or-nothing affair. There is a whole spectrum between really knowing a proposition and being entirely ignorant of it.

Knowledge vs Ignorance.png

Consider the proposition “Natalie murdered Carl,” which was the conclusion of many of the arguments in the maps we looked at earlier. Suppose that this proposition is true and that you’re a detective investigating Carl’s murder. When you begin the case, you may have no idea who killed Carl, and no reason to suspect Natalie; indeed, you might not even know who Natalie is. So, the proposition would be at the extreme left end of the scale pictured above. But as the investigation proceeds and you learn more about Carl’s life and death, at some point you encounter some evidence pointing to Natalie and you formulate the theory that she did it. At first, it might not be much evidence. We certainly wouldn’t say that you know she killed him or even that you believe it (or have reason to believe it), she may not even be your prime suspect, but she is now a suspect, so we wouldn’t say that you’re totally ignorant of her having murdered him. The proposition is now somewhere on the scale to the right of ignorance but to the left of the half-way mark.

Eventually, as you accumulate more evidence, she becomes the lead suspect. Now if you had to bet, you’d say that she did it, and you’d have good reasons to support your bet. We might say you believed she did it, but that you don’t know it yet. Eventually, you accumulate enough evidence to be certain that she did it. Now the proposition has progressed to the right-most region on the scale—you know it.

We can call a proposition's position along this continuum in the mind of a given person, the proposition's epistemic status for that person, and give names to the regions along the continuum. We call a proposition certain when we think that we know it to be true. On the other extreme, we can call a proposition unfounded if we have no reason to think it's true. We call a proposition possible (in one sense of that word) when we have reason to suspect that it might be true. And we call a proposition probable when the evidence makes it more likely to be true than not.

Epistemic status.png

So in the example above, before the investigation starts you have no evidence to even suggest that Natalie may have murdered Carl. The proposition wouldn't even occur to you, but if for some reason it did, the proposition would be unfounded for you. Later when you find evidence that makes her a suspect, the proposition becomes possible, and as the evidence mounts it becomes probable and ultimately certain.

The evidence that you accumulate could be spelled out in the form of arguments, and it is these arguments that advance us along the continuum from ignorance to knowledge (or from an unfounded proposition to a certain one). An argument that’s strong enough to make its conclusion certain is a conclusive argument or proof. An argument that doesn’t give us any of the way towards certainty is worthless. But many arguments take us part of the way—they give us some reason to believe the conclusion without giving us conclusive reason. We can speak of an argument as being stronger or weaker, depending on how close it is to being conclusive.

Notice that in the scale for epistemic status, knowledge and certainty are represented by a range and not by a point. This is because, even among the things we know, we sometimes think of ourselves as being more certain of some things than we are of others. We sometimes think this even when we're not uncertain of the less certain things; and we might think of ourselves as knowing the more certain things better than we know the less certain ones. For example, I expect that you know both that Joe Biden is the 46th President of the United States and that twice two equals four. (For my part, I'm certain of both things.) But you might regard yourself as more certain that twice two is four than you are that Biden is the 46th President, because you can imagine bizarre scenarios in which you're the victim of some elaborate hoax and Biden isn't really the President, but it's hard to imagine any scenario under which you could be mistaken that twice two is four. Some people think that there is almost nothing that they really know or can be certain of because they cannot completely rule out such hoaxes, and epistemologists think a lot about what to make of such skeptical scenarios. In ordinary reasoning however, we often take ourselves to know (or to be certain of) something without thinking that there is nothing better known (or more certain) than it. And this is what is allowed for by representing knowledge and certainty as a range rather than a point on our scales. Similarly, to say that an argument is conclusive is just to say that it’s strong enough to establish its conclusion as knowledge. It is not to say that there could not be some other argument that is even stronger.

There are two factors that contribute to the strength of an argument: the strengths of its premises and the strength of its inference. So, to assess an argument we need to assess each premise and each inference.

Strength of premises

The strongest premises are ones that we can be certain of independently of knowing the conclusion. In order for an argument to be conclusive, all of its premises must be like this. On the other extreme, if any of an argument's premises is unfounded (or if we know the premise to be false), that makes the argument worthless. An argument with premises that are possible or probable cannot prove its conclusion, but it can still offer some support for it. For example, to return to the case of Carl's murder, if we were certain that whoever murdered Carl had access to his rose garden at midnight, and it was probable that Natalie was the only person who had this access, that would make it probable that Natalie was the murderer.

This is illustrated in the assessment of our Familiar Argument A, below.

Map 9
export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Argument A Assessment 1.png


The scales placed in the box for Propositions 1 and 2 indicate the epistemic status of those propositions. The scale in the box for Proposition 1 has a mark in the rightmost region indicating that that proposition is certain. Proposition 2’s scale shows that the proposition is probable. And the scale for the Argument as a whole shows that it is strong enough to render the conclusion probable.

Since the case of Natalie and Carl is fictitious, there’s no way for us to actually assess the premises. The epistemic statuses in the map above are made up (as is everything else in the example). To assess an actual premise one needs to consider how strong one's reasons to believe the premise are independent of one's belief in the conclusion. This last qualification is important. It can take some reflection to recognize which of our beliefs are based on which others, so it's easy to regard as a premise something that we're only convinced of because we already believe the conclusion. This is called circular reasoning.

Strength of Inferences

The strength of an argument depends not only on the strength of its premises, but also on the strength of its inference. There are different types of inferences which we'll discuss over the semester, and learning about the types is a great aid in assessing specific inferences. Here I'll just make a few general remarks.

In order for an argument to support its conclusion at all, the premises need to be related to one another and to the conclusion in such a manner that, the premises being true would make the conclusion likely to be true. In the very strongest inferences, the premises are related to one another and to the conclusion in such a manner that one would be caught in a contradiction if one held that the premises were true, but that the conclusion was false. This is the case with many of the inferences we've looked at in this article, including Inference A (in Map 9). Proposition 1 tells us a characteristic of Carl's murderer—namely that the murderer could access the rose garden at midnight. Proposition 2 tells us that only Natalie has this characteristic. If both propositions are true, then it has to be that Natalie is the murderer. There's no room for any alternative. Inference A is as strong as any inference could be. Inferences like this are called deductions and are said to necessitate their conclusions.

Deduction is the type of argument that has been most studied by logicians. All deductive arguments follow one of a number of forms, which one can learn and train oneself to recognize. Since every deduction is as strong as an inference can be, no deduction can be stronger than any other. Thus, on a scale representing the strength of inferences, we must represent deduction, not as a range, but as a point on the far right.


Deduction.png

Let's add our assessment of Inference A as a deduction into our assessment of Inference A into our map of Argument A:

Map 9
export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Argument A Assessment 2.png

Notice that, though Inference A is a deduction, Argument A as a whole is still not conclusive. This is because Premise 2 is merely probable, rather than certain. The strength of the argument as a whole depends on the strength of all its elements, whereas the strength of the inference is independent of the strength of the premises. That’s illustrated by the following maps:

Map 12 Map 13
export?options%5Bembed%5D=true&options%5Bformat%5D=.png export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Argument H Assessment.png
Argument I Assessment.png

Here we have two arguments (H and I) that are both fatuous for opposite reasons. In Argument H we have two awful premises—premises that no one has any reason to believe and that we all know to be false. But inference H is as strong as can be—it's a deduction. Propositions 17 and 18 are false, but if they were true, then Proposition 19 would have to be true also. Nonetheless, the unfounded premises make the argument as a whole fatuous. As it happens the conclusion, like the premises, is obviously false. Notice that if we changed Proposition 18 to say "All insects lay eggs" and Proposition 19 to say "All birds lay eggs," the argument would then have a true conclusion and one true premise, in addition to having an inference that's as strong as can be. Nonetheless, it would still be fatuous, because Proposition 17 remains unfounded (indeed obviously false), and an argument can be no stronger than its weakest part.

Both premises of Argument I are certain, but the argument is fatuous because Inference I is so bad. There's no relation at all between the premises and the conclusion, so even if we know the premises to be true, they can't give us any reason at all to even suspect that the conclusion might be true. You can’t infer anything about Carl and Natalie from premises about birds and insects. Inferences this bad are called non sequiturs.

An inference does not need to be a deduction to put one in a position to know its conclusion. Consider the following argument:

Map 14
export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Argument J Assessment.png


This is like Argument A from Map 9, except that we've replaced Proposition 1, which said that Carl's murderer had access to his rose garden, with a premise that allows for an extremely remote possibility of someone committing the murder without having had access. Because of this, unlike Inference A, Inference J is not a deduction. But it is still a very strong inference. To judge just how strong it is, we'd have to rely on some background knowledge of the situation. For example, if among Carl's associates were people who were at the cutting edge of crossbow marksmanship, we might regard it as a possibility that the murderer is someone other than Natalie—someone who has an unprecedented level of skill with the weapon. But, in most contexts, such speculation would be unfounded. In this case, Inference J is strong enough that being certain of its premises would put us in a position to be certain of its conclusion. That's how I assessed it on the scale above.

Incidentally, instead of thinking of Proposition 22 as an alternative premise to Proposition 1 in an argument to the same conclusion, we might think of Proposition 22 as part of how we know that Proposition 1 is true, as illustrated in the following map.

Map 15
export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Arguments K and A Assessment.png

This amounts to a different way of mapping what is in essence the same line of reasoning.

In any case, whether we focus on Argument K (in this most recent map) or on Argument J (in the map above it), the point remains the same. The inference isn't a deduction, but it's strong enough that being certain of its premises would put us in a position to be certain of its conclusion. We can call such inferences compelling.

Strength of an Inference.png

Even inferences that aren’t compelling can be useful. Consider the following argument:

Map 16
export?options%5Bembed%5D=true&options%5Bformat%5D=.png
Argument L Assessment.png

Inference L isn’t compelling, but it’s not bad, either. If you knew the premises to be true, this argument wouldn’t put you in a position to know the conclusion, but (unless you had other relevant knowledge of Estelle), it ought to lead you to regard it as probable that Estelle can speak English.

The Strength of an Argument as a Whole

To review then, arguments range in strength from fatuous to conclusive, with conclusive arguments being the ones that are strong enough to establish their conclusions as knowledge (in other words, to make them certain). The strength of an argument is determined by the strength of its premises and of its inference. The strength of a premise is its epistemic status. The highest epistemic status is knowledge or certainty, and the lowest is that of a proposition one is either wholly ignorant of or knows to be false. We called this status "unfounded." The strength of an inference is determined by the relationship between the premises and the conclusion, and this is separate from whether the premises are true. The weakest inferences are called non-sequiturs and the strongest are called compelling.

Three Scales.jpg
  1. All the maps in this article, are made with ReasonSpace. There are a few competing conventions for argument mapping, so you may sometimes find maps drawn or labeled a bit differently elsewhere.
  2. Propositions 4 and 6 taken together without Proposition 5 wouldn't even give you a reason to suspect Natalie. Knowing Propositions 4 and 5, without knowing 6, would give you a strong reason to suspect Natalie (since it would mean that she's one of only two people who could have done it), but adding Proposition 6 upgrades the argument from one that would make Natalie a suspect to one that proves that she's the murderer.
  3. People often call arguments that they come up with proofs if they think the arguments prove their conclusions, and sometimes these names catch on, but that doesn’t mean that the arguments really prove the conclusions. We have to assess them for ourselves to see.