Deductions: Difference between revisions

From docs.reasonspace.com
Jump to navigation Jump to search
(Created page with "Deduction is the strongest type of inference—the type in which it is impossible for the conclusion to be false when the premises are true. This is sometimes expressed by saying that, in a deduction, the premises ''necessitate'' the conclusion or that the conclusion ''follows necessarily'' from them. It is this feature of necessitation that Aristotle, the first logician, focused on when defining deduction.10 We will discuss shortly what it is about the premises of dedu...")
 
(Redirected page to Deduction)
Tag: New redirect
 
Line 1: Line 1:
Deduction is the strongest type of inference—the type in which it is impossible for the conclusion to be false when the premises are true. This is sometimes expressed by saying that, in a deduction, the premises ''necessitate'' the conclusion or that the conclusion ''follows necessarily'' from them. It is this feature of necessitation that Aristotle, the first logician, focused on when defining deduction.10
#REDIRECT [[Deduction]]
We will discuss shortly what it is about the premises of deductive arguments that makes the conclusions follow necessarily, but first let’s make a few observations and introduce a few terms. Unlike the sorts of inferences that will be discussed in the remaining sections, deductive inferences do not differ from one another in strength. Either an inference is deductive, or it is not. However, there are some arguments that may seem like deductions when they are not. To differentiate between the genuine deductions and the imposters, logicians call the genuine ones ''valid'' deductions and the imposters ''invalid''.  (We will turn soon to examples of each.) All valid deductive arguments have equally strong inferences, but this doesn’t mean that the arguments as a whole are equally strong, since their premises may still differ in epistemic status. Thus, the two things to do in evaluating a deductive argument are to determine whether it is valid and to assess the premises. 
If the deduction is valid and the premises are certain then the argument will make the conclusion certain. If it is valid and all but one of the premises are certain, then it will elevate the conclusion to the epistemic status of the remaining premise. If more than one of the premises is uncertain, then the argument will give us less reason to believe the conclusion than we have to believe the least certain of its premises.
Now let’s consider how the premises of deductive arguments necessitate their conclusions, by looking at some examples. (For the time being ignore the symbolic representation.)
 
{| class="wikitable"
| Maps 16-18:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1039/export?token=916b58e1-07e7-484c-adf9-2cb8897c1eb7&target=active&dpi=100&view=true&format=.png]
|}
 
 
{| class="wikitable"
|-
|All birds are animals.                  All parrots are birds.                  All parrots are animals.
|All animals need food.                  All men are animals.                    All men need food. 
 
|All B are C                            All A are B                            All A are C
|}
 
Let’s focus on the first of these examples. Notice that it is not because of anything special about the subject matter that the premises necessitate the conclusion. If we changed the argument to be about Volkswagens, cars, and Jettas, rather than birds, animals, and parrots, the premises would still necessitate the conclusion. The same holds if we changed the argument to make it about musicians, matadors, and marriage counselors. In this last case, both premises would be false, but if they were true (that is, if all musicians were matadors and all matadors, marriage counselors), then the conclusion would have to be true: all musicians would have to be marriage counselors. What makes the deduction work doesn’t have to do with the subject matter of the propositions involved, but with their structure and interrelation. This is called the ''form'' of the argument.
Notice now that the argument immediately to the right of the one we have been considering has the same logical form. (If you don’t see this immediately, try replacing the phrase “need food” with “are things that need food” or “are food-needers”.) In order to focus on the forms of deductive arguments rather than their content, Aristotle introduced the practice of using letters to stand for the subjects and predicates of the propositions, leaving behind only words like “some”, “all”, “no”, “is” and “not” (and their variants). Thus, we can arrive at the symbolic representation, presented in the right above, of the form of the arguments we’ve been discussing.
Here are some other forms of deductive arguments. (Again, the arguments next two each other share the same form which is represented symbolically on the right.)
{| class="wikitable"
| Maps 19-21:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1040/export?token=7ea78494-d796-48fe-bcb0-731f73379afb&target=active&dpi=100&view=true&format=.png]
|}
 
{| class="wikitable"
| Maps 22-24:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1041/export?token=929a5fec-eb8c-4468-87c6-8a4cb5f82e76&target=active&dpi=100&view=true&format=.png]
|}
 
{| class="wikitable"
| Maps 25-27:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1042/export?token=9ea18ef3-9d6c-4d80-ae4e-7447ea4ee011&target=active&dpi=100&view=true&format=.png]
|}
 
[[file:Map19-21.png|thumb|center|500px]]
 
[[file:Map_22-24.png|thumb|center|500px]]
 
[[file:Map_25-27.png|thumb|center|500px]]
 
Aristotle went through all possible combinations of two premises and a conclusion that could be made with propositions of the form “All/Some A are/aren’t B” and figured out which were valid deductions. It turned out that all of the valid forms could be restated in terms of the four that we’ve already looked at. 
Why, in each of these cases, do the premises necessitate the conclusion? It is because one premise is a universal proposition saying something about everything of a certain sort and the other premise tells us that something else is that sort of thing. The conclusion then applies the universal premise about all things of the sort to the thing that the other premise tells us is a member of that sort. If the universal premise is really true, and the thing in question really belongs to the relevant sort, then the universal premise will, of course, have to apply to that thing. 
[[file:Aristotle_examples.png|thumb|center|500px]]
 
Though most deductive arguments involve the application of universal propositions to particular cases, not all do. Some, which were focused on by later Greek and Medieval logicians, involve the application of hypothetical statements to actual cases or the application of statements about alternative possibilities to cases in which some of the alternatives have been ruled out. Here are some examples:
{| class="wikitable"
| Map 28-29:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1044/export?token=91c26439-f505-4042-a37c-ac44c9114b34&target=active&dpi=100&view=true&format=.png]
|}
 
{| class="wikitable"
| Map 30-31:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1045/export?token=b0eb2c33-db22-4735-b11a-29e06170402e&target=active&dpi=100&view=true&format=.png]
|}
 
{| class="wikitable"
| Map 32-33:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1049/export?token=858f60a9-6ede-4af0-8abd-7275bcf8be56&target=active&dpi=100&view=true&format=.png]
|}
 
These argument forms involve complex propositions that are built up from simpler ones. When representing the arguments symbolically, we use lowercase letters to represent the simpler propositions.
 
Thanks to Aristotle and later logicians, the way deductions of different sorts work is well understood, and the various valid and invalid forms have been catalogued. But even among people who have not studied their works it is relatively rare to find sustained disagreement about whether an argument is valid. People are generally quite good at recognizing whether or not the premises follow necessarily from the conclusion. 
 
That said, we do sometimes argue invalidly, particularly when we are not paying attention. Here are the three most common invalid argument forms (or “deductive fallacies”):
 
{| class="wikitable"
| Map 34-35:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1046/export?token=12edaa53-06b9-487d-8dd6-1b2d428e57f5&target=active&dpi=100&view=true&format=.png]
|}
 
{| class="wikitable"
| Map 36-37:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1047/export?token=83ebaa51-70f4-4a4a-b116-74824b9b8c62&target=active&dpi=100&view=true&format=.png]
|}
 
{| class="wikitable"
| Map 38-39:
|-
|[https://app.reasonspace.com/maps/1478?token=41804760-1661-42e4-9c4c-c0628a7f964e https://app.reasonspace.com/arguments/1048/export?token=89a7c8ca-66a7-4c50-9252-d43c3b163143&target=active&dpi=100&view=true&format=.png]
|}
 
[[file:Tableone.png|thumb|left|500px]]
For the purposes of this course, it is not necessary to memorize the samples of valid and invalid forms of deductive inference discussed in this section. They do not exhaust all the possible deductive forms, nor even all the forms that we will encounter this semester. When dealing with a deductive argument, instead of trying to classify it under one of the forms we’ve discussed, simply ask yourself whether the premises and conclusion are so related that it is impossible for the conclusion to be false, if the premises are true. If the answer isn’t immediately obvious, try to make up an argument of the same form with true premises and a false conclusion.
 
You might have gotten the impression from this section that deductive arguments are better than other kinds of arguments. There’s a respect in which this is true: their inferences are stronger. However, an argument is only as good as its premises, and the premises of deductions are (for the most part, at least) generalizations, all (or nearly all) of which are established by other forms of argument.11 Given this, is it more accurate to view deduction as the easier and more straightforward part of a process whose more difficult part is the arguments that establish the general propositions used as premises in the deductions. The primary form of argument by which these general propositions are established is ''induction'', which we will go on to discuss. Before turning to it, it will be useful to briefly address another topic.

Latest revision as of 04:54, 25 August 2022

Redirect to:

Retrieved from "http://reasonspace.s432.sureserver.com/index.php?title=Deductions&oldid=754"