|
0
|
1 <html>
|
|
|
2
|
|
|
3 <!-- Mirrored from users.eniinternet.com/bradleym/RDMApp.html by HTTrack Website Copier/3.x [XR&CO'2014], Sun, 06 Nov 2022 06:59:39 GMT -->
|
|
|
4 <head>
|
|
|
5 <title> Reasoning And Decision Making - Milton N. Bradley</title>
|
|
|
6 <link rel="stylesheet" href="style2.css">
|
|
|
7 </head>
|
|
|
8 <body bgcolor="#E0FFFF">
|
|
|
9 <a name="top"></a>
|
|
|
10
|
|
|
11 <center><br><br>
|
|
|
12 <font class="booktitle">
|
|
|
13 Reasoning And Decision Making</font> </font>
|
|
|
14 <br><br>
|
|
|
15 <h1>
|
|
|
16 <font class="chaptitle">
|
|
|
17 © Milton N. Bradley 2010</font>
|
|
|
18 <hr></h1></center>
|
|
|
19 <br><br>
|
|
|
20
|
|
|
21
|
|
|
22 <center><a name="Appendix"></a>
|
|
|
23 <font class="chaptitle">
|
|
|
24 <strong>Appendix - Introduction To Symbolic Logic</strong>
|
|
|
25 </font><br>
|
|
|
26 </center>
|
|
|
27
|
|
|
28 <br><br><br>
|
|
|
29 <font size= +1>
|
|
|
30 This Appendix is included for completeness, because the time honored techniques it discusses form the logical (albeit theoretical) basis for all of the more practical problem solving
|
|
|
31 techniques discussed in the following chapters that are our real interest. Because this material is very technologically dense and difficult, as noted in the Introduction, most readers will
|
|
|
32 probably be well advised to either skim it lightly on first reading, or even skip it entirely. If you do either, the loss to your overall understanding will, in most cases, not be highly significant. Despite that, you will be well advised to invest the time and effort needed to master this material sooner rather than later, because the payoff to your overall understanding for so doing will be considerable.
|
|
|
33 <br><br>
|
|
|
34
|
|
|
35 Symbolic Logic is an ancient discipline dating at least back to the time of the famous Greek philosopher Aristotle (384-322 B.C.). Its purpose is to help make sense of human communication
|
|
|
36 by providing a method which can enable us to distinguish between Arguments which can be relied upon and those which cannot.<br><br>
|
|
|
37
|
|
|
38 This is a complex, well developed and mathematically oriented discipline which is often the subject of multi-semester courses, so it will not be possible for us to do much more here than to introduce
|
|
|
39 its main ideas and briefly explore how they are applied. Our objective in doing this won’t be for you to master this important subject, but rather for you to obtain a broad grasp of how and when to
|
|
|
40 use it. But it is important enough that those of you who really wish to perfect their Reasoning skills are strongly urged to invest the effort to further pursue this topic on your own.<br><br>
|
|
|
41
|
|
|
42 Whatever your level of skill in utilizing Symbolic Logic, in order for this process to have any real chance of success it is first necessary that those communicating “be on the same page” - that is,
|
|
|
43 to agree on the meaning of the words used in their communications. This may seem obvious and easy to accomplish, but, as we describe below, history clearly shows that it is all too often anything but!
|
|
|
44 So let us digress briefly to address this important issue.<br><br>
|
|
|
45
|
|
|
46 As a result there’s an important caveat that must be observed if the application of even the most powerful a set of techniques like REAP, Critical Thinking, or even Formal Symbolic Logic
|
|
|
47 are to be really productive - the reliability of the proposer of the information must first be evaluated and then, if necessary, compensated for!<br><br>
|
|
|
48
|
|
|
49 <strong>Categorizing</strong><br><br>
|
|
|
50
|
|
|
51 Efficiently focusing upon the specifics of what’s important to any real world problem situation requires that there first exist an accurate description of that situation, and this in turn requires the ability to
|
|
|
52 categorize. The verbal hierarchy used in categorizing is:<br><br>
|
|
|
53
|
|
|
54 <OL type = DISC>
|
|
|
55 <LI>
|
|
|
56 <strong>Concepts</strong> = Ideas that represent general categories or types of things
|
|
|
57 <LI>
|
|
|
58 <strong>Genus</strong> = The broadest, most inclusive Concept class.
|
|
|
59 <LI>
|
|
|
60 <strong>Species</strong> = A less inclusive subclass of Genus.
|
|
|
61 <LI>
|
|
|
62 <strong>Referents</strong> = The individual items included in a subclass.
|
|
|
63 </OL><br>
|
|
|
64
|
|
|
65 Caution! Genus and Species are relative terms. (e.g. In one plausible formulation, Dog is the Genus for the Species Poodle. But in a different formulation, Dog may plausibly be considered
|
|
|
66 a Species of the Genus Mammal, although perhaps calling it a sub-Genus might actually be more accurate. In either case, Aunt Mary’s pet dog Fido is a Referent.)<br><br>
|
|
|
67
|
|
|
68 <strong>Defining Terms</strong><br><br>
|
|
|
69
|
|
|
70 Preventing the considerable waste of time and effort often unnecessarily expended on mere verbal disputes, which can occur when people believe they disagree about some matter of substance
|
|
|
71 when in reality they are just differently defining or using some key terminology, can frequently be achieved via the simple advance definition of key terms! And once they recognize what’s going on
|
|
|
72 and settle on single definitions for the terms in question, what might otherwise be extremely antagonistic disputants may find that they don't disagree at all!<br><br>
|
|
|
73
|
|
|
74 A classic case in point occurred at Supreme Headquarters of the Allied Expeditionary Forces (SHAEF) Europe during the key concluding days of WW II, when Supreme Commander Gen. Dwight
|
|
|
75 D. Eisenhower was chairing a meeting with British, French and other Allied Generals. A proposal was made which the British requested be “tabled”, and the Americans objected. After hours of wrangling,
|
|
|
76 it finally developed that in Britain “tabling” meant “address immediately” while in America it meant “defer”, so both sides had really been agreement all along, but simply didn’t know it because the supposedly
|
|
|
77 “obvious” and common colloquial verb “table” had not been satisfactorily defined!<br><br>
|
|
|
78
|
|
|
79 Dictionary definitions often provide an effective starting point, but aren’t always adequate because they sometimes consist almost entirely of a synonym for the term at issue, and are therefore only really useful if
|
|
|
80 that synonym has just one possible meaning which both parties know. So the only feasible solution in cases in which a “ready made” definition satisfactory to all doesn’t already exist may be to conjure up one of your own!<br><br>
|
|
|
81
|
|
|
82 <strong>Guidelines For Good Definitions</strong><br><br>
|
|
|
83
|
|
|
84 <OL type = DISC>
|
|
|
85 <LI>
|
|
|
86 Include the Genus (general category) and Differentia (specifics which uniquely identify the particular item or concept of interest).
|
|
|
87 <LI>
|
|
|
88 Use the appropriate level of detail (neither too broad nor too narrow).
|
|
|
89 <LI>
|
|
|
90 Use only the essential (rather than trivial) attributes of the item being defined.
|
|
|
91 <LI>
|
|
|
92 Avoid circularity (= using something as its own “definition”).
|
|
|
93 <LI>
|
|
|
94 Avoid the negative, if possible .
|
|
|
95 <LI>
|
|
|
96 Avoid vagueness, obscure language, and metaphor.
|
|
|
97 </OL><br>
|
|
|
98
|
|
|
99 <strong>Some Key Symbolic Logic Definitions</strong><br><br>
|
|
|
100
|
|
|
101 <strong>Statement = An assertion that can be determined to be true or false.</strong><br><br>
|
|
|
102 Statements may be either simple or compound.</strong> 2 + 3 = 5 is an example of a simple Statement which is true. 2 + 3 = 6 is a simple Statement which is false.
|
|
|
103 “The Moon is made of green cheese” is another simple statement which is false.<br><br>
|
|
|
104
|
|
|
105 <strong>Compound Statement = Two or more simple Statements joined by one or more Symbolic Logic Operators</strong> <br><br>
|
|
|
106
|
|
|
107 <div align="center">
|
|
|
108 <center>
|
|
|
109 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
110 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
111 bordercolor="#000000" height="373">
|
|
|
112 <tr>
|
|
|
113 <td align="center" width="100%" colspan="3" align="center"
|
|
|
114 bordercolor="#FFFFFF" height="30">
|
|
|
115
|
|
|
116 <strong>
|
|
|
117 <font size="5">Symbolic Logic Operators</font></strong></td>
|
|
|
118 </tr>
|
|
|
119 <tr>
|
|
|
120 <td width="33%" align="center" bordercolor="#000000"
|
|
|
121 height="20" BORDER="1"><strong><font size="4">Connective</strong></td>
|
|
|
122 <td width="20%" align="center" bordercolor="#000000"
|
|
|
123 height="20" BORDER="1"><strong> <font size="4">Symbol</strong></td>
|
|
|
124 <td width="34%" align="center" bordercolor="#000000"
|
|
|
125 height="20" BORDER="1"><strong> <font size="4">Formal Name</strong></td>
|
|
|
126 </tr>
|
|
|
127 <tr>
|
|
|
128 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
129 height="31">Not</td>
|
|
|
130 <td width="20%" align="center" bordercolor="#000000"
|
|
|
131 height="31" BORDER="1"><strong> <font size="5"> ~~</font></strong></td>
|
|
|
132 <td bordercolor="#000000" align="center" height="31" BORDER="1">Negation</td>
|
|
|
133 </tr>
|
|
|
134 <tr>
|
|
|
135 <td align="center" bordercolor="#000000" height="31" BORDER="1">And</td>
|
|
|
136 <td width="20%" align="center" bordercolor="#000000"
|
|
|
137 height="31" BORDER="1"><strong> <font size="5"> &n</font></strong></td>
|
|
|
138 <td bordercolor="#000000" align="center" height="31" BORDER="1">Conjunction</td>
|
|
|
139 </tr>
|
|
|
140 <tr>
|
|
|
141 <td align="center" bordercolor="#000000" height="31" BORDER="1">Or</td>
|
|
|
142 <td width="20%" align="center" bordercolor="#000000"
|
|
|
143 height="31" BORDER="1"><strong> <font size="5"> Ú?</font></strong></td>
|
|
|
144 <td bordercolor="#000000" align="center" height="31" BORDER="1">Disjunction</td>
|
|
|
145 </tr>
|
|
|
146 <tr>
|
|
|
147 <td align="center" bordercolor="#000000" height="31" BORDER="1">If ...then</td>
|
|
|
148 <td width="20%" align="center" bordercolor="#000000"
|
|
|
149 height="31" BORDER="1"><strong> <font size="5"> É?</font></strong></td>
|
|
|
150 <td bordercolor="#000000" align="center" height="31" BORDER="1">Conditional</td>
|
|
|
151 </tr>
|
|
|
152 <tr>
|
|
|
153 <td align="center" bordercolor="#000000" height="31" BORDER="1">...if and
|
|
|
154 only if...</td>
|
|
|
155 <td width="20%" align="center" bordercolor="#000000"
|
|
|
156 height="31" BORDER="1"><strong> <font size="5"> º?</font></strong></td>
|
|
|
157 <td bordercolor="#000000" align="center" height="31" BORDER="1">Biconditional</td>
|
|
|
158 </tr>
|
|
|
159 </table>
|
|
|
160 </div>
|
|
|
161 <br><br>
|
|
|
162
|
|
|
163 <strong>Explanation = A collection of related Statements in which the Conclusion is already accepted as fact</strong>, and therefore need not be proved. In this case, the only function
|
|
|
164 of the Premises is to improve understanding. (Example: The Sun appears to rise and set every day because the Earth rotates on its axis once every 24 hours.)<br><br>
|
|
|
165
|
|
|
166 <strong>Proposition = A Statement in which something is affirmed or denied, so that it can be properly characterized as either True (T) or False (F).<br><br>
|
|
|
167
|
|
|
168 Categorical Proposition = A Proposition that asserts a relationship between two categories of (logical or physical) things.<br><br>
|
|
|
169
|
|
|
170 A Categorical Proposition consists of 4 elements:
|
|
|
171 <OL type = DISC>
|
|
|
172 <LI>
|
|
|
173 2 elements (Subject and Predicate) which determine the content of the Proposition
|
|
|
174 <LI>
|
|
|
175 2 elements (Quantifier and Copula) which determine its kind (= “quality”).</strong><br><br>
|
|
|
176
|
|
|
177 <strong>These elements are defined as follows:</strong>
|
|
|
178 <OL type = DISC>
|
|
|
179 <LI>
|
|
|
180 <strong>Subject</strong><br>
|
|
|
181 The class, category, or concept that is the concern of the Proposition.
|
|
|
182 <LI>
|
|
|
183 <strong>Predicate</strong><br>
|
|
|
184 The class, category or concept which is related by the Proposition to the Subject.
|
|
|
185 <LI>
|
|
|
186 <strong>Quantifier</strong><br>
|
|
|
187 Sets the proportion of the Subject about which the Proposition makes a claim. Only two proportions matter in Categorical Logic: “all”, and “less than all”. <strong>If the whole
|
|
|
188 Subject class is referred to, the Statement is called Universal; if less than the whole is referred to, it is called Particular.</strong>
|
|
|
189 <LI>
|
|
|
190 <strong>Copula (= linking term)
|
|
|
191 Determines inclusion or exclusion. When the relation is inclusion, the Proposition is called Affirmative. When the relation is exclusion the Proposition is called Negative.</strong><br><br>
|
|
|
192 The copula is always some form of the verb "to be".(e.g. "is", "are", "was", "were", "will be")<br><br>
|
|
|
193
|
|
|
194 example:
|
|
|
195 <OL type = DISC>
|
|
|
196 <LI>
|
|
|
197 Categorical Proposition = “All humans are mortal.”
|
|
|
198 <OL type = DISC>
|
|
|
199 <LI>
|
|
|
200 Quantifier = “All”
|
|
|
201 <LI>
|
|
|
202 Subject = “humans”
|
|
|
203 <LI>
|
|
|
204 Copula = “are”
|
|
|
205 <LI>
|
|
|
206 Predicate = “mortal”
|
|
|
207 </OL></OL><br>
|
|
|
208
|
|
|
209 The thing to be wary of in practice is that the Statement being analyzed will often not be in the “standard form” shown, and/or will contain other verbiage which may make it
|
|
|
210 difficult to precisely determine its meaning. There is no simple solution to this problem that will always suffice, so all of the REAP technique, the analysis of seller’s gimmicks,
|
|
|
211 your own experience and good judgment, plus Symbolic Logic must be employed in solving it. <br><br>
|
|
|
212
|
|
|
213 <strong>The Four Types (Forms) of Categorical Proposition:</strong>
|
|
|
214 <OL type = DISC>
|
|
|
215 <LI>
|
|
|
216 <strong>A = Universal Affirmative => All S are P</strong> (e.g. All men are mortal.)
|
|
|
217 <LI>
|
|
|
218 <strong>E = Universal Negative => No S are P</strong> (e.g. No pigs can fly.)
|
|
|
219 <LI>
|
|
|
220 <strong>I = Particular Affirmative => Some S are P</strong> (e.g. Some students are female.)
|
|
|
221 <LI>
|
|
|
222 <strong>O = Particular Negative => Some S are not P</strong> (e.g. Some large people aren’t fat.)
|
|
|
223 </OL><br><br>
|
|
|
224
|
|
|
225 <OL type = DISC>
|
|
|
226 <LI>
|
|
|
227 <strong>The Predicate of an Affirmative Proposition is regarded as having Particular Quantification.
|
|
|
228 <LI>
|
|
|
229 The Predicate of a Negative Proposition is regarded as having Universal Quantification.</strong><br><br>
|
|
|
230
|
|
|
231 The following considerations are useful in translating “ordinary language” (= non-standard) Propositions into standard form:
|
|
|
232
|
|
|
233 <OL type = DISC>
|
|
|
234 <LI>
|
|
|
235 When the grammatical Predicate of a sentence does not explicitly include a class or Concept but instead does so by implication, the sentence may be rewritten to create one. (E.g. "Deers
|
|
|
236 run fast." does not actually have a Predicate Term. But this can be translated into "Deers are fast runners.", in which the Predicate Term is clearly seen to be “the class of fast runners”).
|
|
|
237 <LI>
|
|
|
238 Although the Copula is always some form of the verb "to be", its tense may be ignored because it’s not important to the logic of the Proposition.
|
|
|
239 <LI>
|
|
|
240 Although the Subject Term usually occurs first in a Proposition, even if the positions of the Subject and Predicate are switched the Proposition’s logical structure is unaffected.. (e.g. The
|
|
|
241 poetic "Soft is the wind." Here it should be apparent that the Subject of the Proposition is really “the wind” and not “soft” so "The wind is soft" would be closer to standard form.)
|
|
|
242 <LI>
|
|
|
243 When the Subject Term is explicitly singular, as in the case of proper names and definite descriptions, it should be treated it as a class of one. But that means the whole class is being referred to,
|
|
|
244 so Singular Propositions are then treated as Universals.
|
|
|
245 <LI>
|
|
|
246 Nonstandard Quantifiers or no Quantifiers at all are provided.
|
|
|
247 <OL type = DISC>
|
|
|
248 <LI>
|
|
|
249 When no Quantifier is given, one must judge from the context (as best one can) whether a Universal or Particular Proposition is being claimed. For example, "Lions are carnivores." would
|
|
|
250 be a Universal Proposition about all lions, while "Lions are circus animals." would be a Particular Proposition making a claim about some lions.
|
|
|
251 <LI>
|
|
|
252 Any Proposition of the form "All S are not P" (where S = Subject Term, and P = Predicate Term) is ambiguous. It may reasonably be translated into either an E form or an O form Proposition
|
|
|
253 with no certain way to decide between them, so once again judgement is required.
|
|
|
254 <LI>
|
|
|
255 Because "some" = "at least one" and Logic cares only about whether the claim is about (the whole class) or (less than the whole class), words such as "few", "several", "many" and "most"
|
|
|
256 must all be translated as “some” (i.e. Particular rather than Universal).
|
|
|
257 </OL></OL></OL><br><br>
|
|
|
258
|
|
|
259 <strong>Distribution<br><br>
|
|
|
260
|
|
|
261 A term is called Distributed if its Proposition makes a claim about each and every member of that category.
|
|
|
262 <OL type = DISC>
|
|
|
263 <LI>
|
|
|
264 A Propositions => The Subject term is Distributed and the Predicate term is not.
|
|
|
265 <LI>
|
|
|
266 E Propositions => Both Subject and Predicate terms are Distributed.
|
|
|
267 <LI>
|
|
|
268 I Propositions => Neither Subject nor Predicated term is Distributed.
|
|
|
269 <LI>
|
|
|
270 O Propositions => The Subject term is not Distributed but the Predicate term is.</OL><br><br>
|
|
|
271
|
|
|
272 Rules For Distribution<br><br>
|
|
|
273 <OL type = DISC>
|
|
|
274 <LI>
|
|
|
275 The Subject of any Universal Proposition is Distributed, but the Subject of any Particular Proposition is not.
|
|
|
276 <LI>
|
|
|
277 The Predicate of any Negative Proposition is Distributed, but the Predicate of any Affirmative proposition is not.</strong></OL><br><br>
|
|
|
278
|
|
|
279 <left><strong>Arguments</strong><br><br>
|
|
|
280
|
|
|
281 Because most of the communications of interest are those intended to persuade us in some fashion or other, our main concern will be with what are technically termed “Arguments”
|
|
|
282 (not to be confused with disputes) in Formal Symbolic Logic, so it will be to our advantage to briefly define and explain that crucial concept now, as well as to show how it differs from
|
|
|
283 an Explanation. <br><br></OL></OL>
|
|
|
284
|
|
|
285 <strong>ARGUMENT = A collection of related Statements (= Propositions) which purports to prove something:</strong><br><br>
|
|
|
286
|
|
|
287 <center>
|
|
|
288 <br><table class="txtbox">
|
|
|
289 <tr>
|
|
|
290 <td width="30"> </td>
|
|
|
291 <td align="middle" valign="top">
|
|
|
292 <br>
|
|
|
293 <font class="txtboxsmall">
|
|
|
294 <strong>ARGUMENT = STATEMENT SUPPORTED + SUPPORTING EVIDENCE</strong>
|
|
|
295
|
|
|
296 </font>
|
|
|
297 <br><br>
|
|
|
298 </td>
|
|
|
299 <td width="30"> </td>
|
|
|
300 </tr>
|
|
|
301 </table><br>
|
|
|
302 </center>
|
|
|
303 <center>
|
|
|
304 <strong>Or</strong>
|
|
|
305 </center>
|
|
|
306 <center>
|
|
|
307 <br><table class="txtbox">
|
|
|
308 <tr>
|
|
|
309 <td width="30"> </td>
|
|
|
310 <td align="middle" valign="top">
|
|
|
311 <br>
|
|
|
312 <font class="txtboxsmall">
|
|
|
313 <strong>ARGUMENT = CONCLUSION + PREMISES</strong>
|
|
|
314
|
|
|
315 </font>
|
|
|
316 <br><br>
|
|
|
317 </td>
|
|
|
318 <td width="30"> </td>
|
|
|
319 </tr>
|
|
|
320 </table><br>
|
|
|
321 </center><br>
|
|
|
322
|
|
|
323 <center>
|
|
|
324 <strong>And</strong>
|
|
|
325 </center>
|
|
|
326 <center>
|
|
|
327 <br><table class="txtbox">
|
|
|
328 <tr>
|
|
|
329 <td width="30"> </td>
|
|
|
330 <td align="middle" valign="top">
|
|
|
331 <br>
|
|
|
332 <font class="txtboxsmall">
|
|
|
333 <center><strong>Every ARGUMENT contends that:<br>
|
|
|
334 The CONCLUSION is true <br>
|
|
|
335 because the PREMISES are true.</strong></center>
|
|
|
336
|
|
|
337 </font>
|
|
|
338 <br><br>
|
|
|
339 </td>
|
|
|
340 <td width="30"> </td>
|
|
|
341 </tr>
|
|
|
342 </table><br>
|
|
|
343 </center><br>
|
|
|
344
|
|
|
345 <strong>How To Detect CONCLUSIONS</strong><br><br>
|
|
|
346 <OL type = DISC>
|
|
|
347 <LI>
|
|
|
348 In most essays, any Conclusions will appear in either or both the introductory and concluding paragraphs.
|
|
|
349 <LI>
|
|
|
350 Certain indicator words signal Conclusions: “therefore, thus, hence, so, in conclusion, as a result, in short, the point is, Q.E.D.”.
|
|
|
351 </OL><br><br>
|
|
|
352
|
|
|
353 <strong>Real life Arguments almost always contain one or more of the following additional types of Statement:</strong><br><br>
|
|
|
354 <OL type = DISC>
|
|
|
355 <LI>
|
|
|
356 <strong>Supporting Materials</strong><br><br>
|
|
|
357 <OL type = DISC>
|
|
|
358 <LI>
|
|
|
359 Data
|
|
|
360 <LI>
|
|
|
361 Examples
|
|
|
362 <LI>
|
|
|
363 Illustrations
|
|
|
364 <LI>
|
|
|
365 Analogies
|
|
|
366 <LI>
|
|
|
367 Literature citations
|
|
|
368 <LI>
|
|
|
369 Comments</OL><br><br>
|
|
|
370 <LI>
|
|
|
371 <strong>Status Assessments</strong><br><br>
|
|
|
372 <OL type = DISC>
|
|
|
373 <LI>
|
|
|
374 Convince that the Argument is important.
|
|
|
375 <LI>
|
|
|
376 Define the range of application of the Argument's Conclusions.
|
|
|
377 <LI>
|
|
|
378 Identify the source of and/or validate the "truth" of the Premises and/or Conclusion(s).</OL><br><br>
|
|
|
379
|
|
|
380 <LI> <strong>Explanations</strong><br><br>
|
|
|
381 <OL type = DISC>
|
|
|
382 <LI>
|
|
|
383 Key concepts or terms
|
|
|
384 <LI>
|
|
|
385 Data
|
|
|
386 <LI>
|
|
|
387 Context</OL><br><br>
|
|
|
388
|
|
|
389 <LI><strong>Summaries/Restatements/References to Related Arguments:</strong><br><br>
|
|
|
390 <OL type = DISC>
|
|
|
391 <LI>
|
|
|
392 The stated position.
|
|
|
393 <LI>
|
|
|
394 The opposition view.</OL><br><br>
|
|
|
395
|
|
|
396 <LI><strong>Unsupported and/or Irrelevant Statements</strong> (= Claims which either do not fit the argument, are controversial and/or undefended, or are actually unrelated to the subject at issue.)
|
|
|
397 These are most often included with the deliberate intent to distract, obfuscate, or confuse, but sometimes may just reflect the sloppy thinking processes of the Argument’s creator.<br><br>
|
|
|
398 <LI>
|
|
|
399 <strong>Summaries/ Restatements of the Premise(s) or Conclusion(s).</strong><br><br>
|
|
|
400
|
|
|
401 These Supporting Statements may or may not be illuminating or confusing, convincing (i.e. provide Inductive support) or not, but none of them can in any way influence the Deductive logic
|
|
|
402 underlying our analysis.<br><br>
|
|
|
403
|
|
|
404 <strong>Two Key Definitions</strong><br><br>
|
|
|
405
|
|
|
406 <strong>EMPIRICAL PREMISE</strong> = A Premise that claims that some state of affairs either exists or doesn’t exist.<br><br>
|
|
|
407
|
|
|
408 <strong>CONCEPTUAL PREMISE</strong> = A Premise whose truth depends upon the meaning of certain key words in its statement.<br><br>
|
|
|
409
|
|
|
410 <strong>The consequence of these definitions is that:</strong>
|
|
|
411
|
|
|
412 <center>
|
|
|
413 <br><table class="txtbox">
|
|
|
414 <tr>
|
|
|
415 <td width="30"> </td>
|
|
|
416 <td align="middle" valign="top">
|
|
|
417 <br>
|
|
|
418 <font class="txtboxsmall">
|
|
|
419 <strong>Your First Step In Evaluating An Argument Must Be To Examine Its Premises <br>
|
|
|
420 To Determine Whether They Are Empirical Or Conceptual.</strong>
|
|
|
421 </font>
|
|
|
422 <br><br>
|
|
|
423 </td>
|
|
|
424 <td width="30"> </td>
|
|
|
425 </tr>
|
|
|
426 </table><br>
|
|
|
427 </center> <br>
|
|
|
428
|
|
|
429 <strong>And because</strong>
|
|
|
430
|
|
|
431 <center>
|
|
|
432 <br><table class="txtbox">
|
|
|
433 <tr>
|
|
|
434 <td width="30"> </td>
|
|
|
435 <td align="middle" valign="top">
|
|
|
436 <br>
|
|
|
437 <font class="txtboxsmall">
|
|
|
438 <strong><center>Every ARGUMENT contends that<br>
|
|
|
439 The CONCLUSION is (presumed) true because the PREMISES are true.</strong>
|
|
|
440 </font>
|
|
|
441 <br><br>
|
|
|
442 </td>
|
|
|
443 <td width="30"> </td>
|
|
|
444 </tr>
|
|
|
445 </table><br>
|
|
|
446 </center> <br>
|
|
|
447
|
|
|
448
|
|
|
449
|
|
|
450 <strong>This means that</strong><br><br>
|
|
|
451
|
|
|
452 <center>
|
|
|
453 <br><table class="txtbox">
|
|
|
454 <tr>
|
|
|
455 <td width="30"> </td>
|
|
|
456 <td align="middle" valign="top">
|
|
|
457 <br>
|
|
|
458 <font class="txtboxsmall">
|
|
|
459 <strong>Determining the truth or falsity of its Premises<br>
|
|
|
460 is the essential step at the heart of the process<br>
|
|
|
461 of determining the validity and soundness of Arguments.</strong>
|
|
|
462 </font>
|
|
|
463 <br><br>
|
|
|
464 </td>
|
|
|
465 <td width="30"> </td>
|
|
|
466 </tr>
|
|
|
467 </table><br>
|
|
|
468 </center> <br>
|
|
|
469
|
|
|
470 <strong>Methods For Deteremining The Truth Of Premises</strong><br><br>
|
|
|
471 <OL type = DISC>
|
|
|
472 <LI>
|
|
|
473 Consistency with established fact.
|
|
|
474 <LI>
|
|
|
475 Reference to established authority.
|
|
|
476 <LI>
|
|
|
477 Personal experience.
|
|
|
478 <LI>
|
|
|
479 Internal consistency.</OL><br><br>
|
|
|
480
|
|
|
481 The first three of these methods are all concerned with fact on some level, and are therefore applicable to Empirical Premises. The fourth is concerned with the structure of the Statement
|
|
|
482 itself, and therefore applies only to Conceptual Premises.<br><br>
|
|
|
483
|
|
|
484 The caution to be observed with the second method is that the qualifications and credibility of the “authority” cited must be above question, else the “proof” of the statement’s truth falls apart. The
|
|
|
485 well known example of competing “experts” in jury trials demonstrates the danger here.<br><br>
|
|
|
486
|
|
|
487 The caution to be observed with the third method is that of our own limitations as observers, which may easily lead us to reach erroneous conclusions about the content and meaning of our experiences.
|
|
|
488 The well known unreliability of eyewitness testimony demonstrates the danger here.<br><br>
|
|
|
489
|
|
|
490 When the Premises and Conclusion of a presentation are clearly spelled out, understanding and evaluating the author’s position is a fairly routine (if often somewhat complex) logical exercise, as we shall
|
|
|
491 soon see. Unfortunately the real world is anything but neat and clean, so the Arguments we encounter in the press, on TV, and especially in political discourse are not always clearly spelled out, and in
|
|
|
492 all too many cases are even deliberately obscured to the extent that they must actually be reconstructed before their Premises and Conclusions become apparent. So in order to be able to correctly identify
|
|
|
493 those key elements in the blizzard of obfuscation the author may have thrown up, it is frequently necessary is that we seek indicators of their presence:<br><br>
|
|
|
494
|
|
|
495 <strong>Premise indicators are phrases like:<br><br>
|
|
|
496 <OL type = DISC>
|
|
|
497 <LI>
|
|
|
498 After all, ...
|
|
|
499 <LI>
|
|
|
500 Given that...
|
|
|
501 <LI>
|
|
|
502 Inasmuch as...
|
|
|
503 <LI>
|
|
|
504 Because...
|
|
|
505 <LI>
|
|
|
506 Since...
|
|
|
507 <LI>
|
|
|
508 In view of the fact that...
|
|
|
509 <LI>
|
|
|
510 Whereas... </OL><br><br>
|
|
|
511
|
|
|
512 Conclusion indicators are phrases like:<br><br>
|
|
|
513 <OL type = DISC>
|
|
|
514 <LI>
|
|
|
515 So...
|
|
|
516 <LI>
|
|
|
517 Thus...
|
|
|
518 <LI>
|
|
|
519 Therefore...
|
|
|
520 <LI>
|
|
|
521 Accordingly...
|
|
|
522 <LI>
|
|
|
523 It follows that...
|
|
|
524 <LI>
|
|
|
525 Hence...
|
|
|
526 <LI>
|
|
|
527 Consequently...
|
|
|
528 <LI>
|
|
|
529 In short,...
|
|
|
530 <LI>
|
|
|
531 We can conclude that...</strong></OL><br><br>
|
|
|
532
|
|
|
533 Things become even more difficult when there are no apparent indicators at all! Then the best strategy is to try to find a statement which can serve as the Conclusion of the presentation's Argument
|
|
|
534 - assuming that one exists. If it doesn’t, then there is no choice but to try to construct one of your own, and this can be a tricky business because it will require your (obviously subjective)
|
|
|
535 interpretation of the author’s intent. And if you get that interpretation wrong, of course, everything else that follows therefrom will necessarily be largely useless.<br><br>
|
|
|
536
|
|
|
537 <strong>Types of Argument:<br><br>
|
|
|
538 <OL type = DISC>
|
|
|
539 <LI>
|
|
|
540 Deductive<br><br>
|
|
|
541
|
|
|
542 An argument is Deductive if its major premise is based on a rule, law, principle, or generalization.</strong><br><br>
|
|
|
543
|
|
|
544 In this form of Argument, if the Premises are true then the Conclusion is necessarily also true! So
|
|
|
545
|
|
|
546 <center>
|
|
|
547 <br><table class="txtbox">
|
|
|
548 <tr>
|
|
|
549 <td width="30"> </td>
|
|
|
550 <td align="middle" valign="top">
|
|
|
551 <br>
|
|
|
552 <font class="txtboxsmall">
|
|
|
553 <strong>Deductive Arguments are always either completely Valid or Invalid, <br>with no middle ground.</strong>
|
|
|
554 </font>
|
|
|
555 <br><br>
|
|
|
556 </td>
|
|
|
557 <td width="30"> </td>
|
|
|
558 </tr>
|
|
|
559 </table><br>
|
|
|
560 </center> <br>
|
|
|
561
|
|
|
562 <center>
|
|
|
563 <br><table class="txtbox">
|
|
|
564 <tr>
|
|
|
565 <td width="30"> </td>
|
|
|
566 <td align="middle" valign="top">
|
|
|
567 <br>
|
|
|
568 <font class="txtboxsmall">
|
|
|
569 <strong>Deduction Begins With The General (The Rule) <br>
|
|
|
570 And Ends With The Specific.</strong>
|
|
|
571 </font>
|
|
|
572 <br><br>
|
|
|
573 </td>
|
|
|
574 <td width="30"> </td>
|
|
|
575 </tr>
|
|
|
576 </table><br>
|
|
|
577 </center> <br>
|
|
|
578
|
|
|
579
|
|
|
580 <LI>
|
|
|
581 <strong>Inductive<br><br>
|
|
|
582
|
|
|
583 An Argument is Inductive if its major premise is based on observation or experience.</strong><br><br>
|
|
|
584
|
|
|
585 Inductive arguments are all comparisons between two sets of events, ideas, or things. In this form of Argument, even if the Premises are true the best that can be said about the Conclusion is that it is likely to be true.
|
|
|
586 So <strong>Inductive Arguments are classified as Strong or Weak, depending on how we assess the probability that their conclusions are true.</strong><br><br>
|
|
|
587
|
|
|
588 <center>
|
|
|
589 <br><table class="txtbox">
|
|
|
590 <tr>
|
|
|
591 <td width="30"> </td>
|
|
|
592 <td align="middle" valign="top">
|
|
|
593 <br>
|
|
|
594 <font class="txtboxsmall">
|
|
|
595 <strong>Induction Proceeds From The Specific (The Observation)<br>
|
|
|
596 To The General. </strong>
|
|
|
597 </font>
|
|
|
598 <br><br>
|
|
|
599 </td>
|
|
|
600 <td width="30"> </td>
|
|
|
601 </tr>
|
|
|
602 </table><br>
|
|
|
603 </center> <br>
|
|
|
604
|
|
|
605
|
|
|
606
|
|
|
607
|
|
|
608 Despite this, the difference between Inductive and Deductive reasoning is primarily in the way the arguments are expressed, and any Inductive Argument can alternatively be expressed
|
|
|
609 Deductively, and conversely. Which of these approaches is best in any given situation is a matter of judgment, influenced in no small part by the degree of confidence desired (and attainable)
|
|
|
610 in the Argument’s Conclusion(s).<br><br>
|
|
|
611
|
|
|
612 The result is that the Conclusion of a valid Deduction never contains more information than was contained the Premises; while the conclusion of even the strongest Induction always does.
|
|
|
613 And that’s why <br><br>
|
|
|
614 </OL>
|
|
|
615 <center>
|
|
|
616 <br><table class="txtbox">
|
|
|
617 <tr>
|
|
|
618 <td width="30"> </td>
|
|
|
619 <td align="middle" valign="top">
|
|
|
620 <br>
|
|
|
621 <font class="txtboxsmall">
|
|
|
622 <strong>Deductions Are Always Certain!</strong>
|
|
|
623 </font>
|
|
|
624 <br><br>
|
|
|
625 </td>
|
|
|
626 <td width="30"> </td>
|
|
|
627 </tr>
|
|
|
628 </table><br>
|
|
|
629 </center> <br>
|
|
|
630
|
|
|
631 <center>
|
|
|
632 <br><table class="txtbox">
|
|
|
633 <tr>
|
|
|
634 <td width="30"> </td>
|
|
|
635 <td align="middle" valign="top">
|
|
|
636 <br>
|
|
|
637 <font class="txtboxsmall">
|
|
|
638 <strong>Inductions Are Always Uncertain,<br>
|
|
|
639 to Greater Or Lesser Degree!</strong>
|
|
|
640 </font>
|
|
|
641 <br><br>
|
|
|
642 </td>
|
|
|
643 <td width="30"> </td>
|
|
|
644 </tr>
|
|
|
645 </table><br>
|
|
|
646 </center> <br>
|
|
|
647
|
|
|
648
|
|
|
649 <strong>Argument Reliability Assessment</strong><br><br>
|
|
|
650 <OL type = DISC>
|
|
|
651 <LI>
|
|
|
652 <strong>Valid Argument</strong><br><br>
|
|
|
653 A Deductive Argument in which if the Premises are true then the Conclusion must also be true! (Whether or not the Premises are actually true is another matter entirely!)<br><br>
|
|
|
654 <LI>
|
|
|
655 <strong>Invalid Argument</strong><br><br>
|
|
|
656 A Deductive Argument in which even if the Premises are true the Conclusion may still be false. An Invalid Argument is always also Unsound.<br><br>
|
|
|
657 <LI>
|
|
|
658 <strong>Strong Argument</strong><br><br>
|
|
|
659 An Inductive Argument in which the Premises provide probable support for the Conclusion.<br><br>
|
|
|
660 <LI>
|
|
|
661 <strong>Weak Argument</strong><br><br>
|
|
|
662 An Inductive Argument in which even if the Premises are true they don’t provide much support for the Conclusion. Weak Arguments are always Uncogent.<br><br>
|
|
|
663 <LI>
|
|
|
664 <strong>Sound Argument</strong><br><br>
|
|
|
665 A Valid Deductive Argument in which all of the Premises are true.<br><br>
|
|
|
666 <LI>
|
|
|
667 <strong>Unsound Argument</strong><br><br>
|
|
|
668 A Valid Deductive Argument in which either the Conclusion doesn’t follow from the Premises or some of the Premises are untrue.<br><br>
|
|
|
669 <LI>
|
|
|
670 <strong>Cogent Argument</strong><br><br>
|
|
|
671 A Strong Inductive Argument with true Premises.<br><br>
|
|
|
672 <LI>
|
|
|
673 <strong>Uncogent Argument</strong><br><br>
|
|
|
674 A Strong Inductive Argument some of whose Premises are untrue.<br><br>
|
|
|
675 </OL>
|
|
|
676 <center>
|
|
|
677 <br><table class="txtbox">
|
|
|
678 <tr>
|
|
|
679 <td width="30"> </td>
|
|
|
680 <td align="middle" valign="top">
|
|
|
681 <br>
|
|
|
682 <font class="txtboxsmall">
|
|
|
683 <strong>Statements Can Be True Or False, <br>
|
|
|
684 But They Can’t Be Valid Or Invalid <br>
|
|
|
685 In The Sense These Terms Are Used In Logic.</strong>
|
|
|
686 </font>
|
|
|
687 <br><br>
|
|
|
688 </td>
|
|
|
689 <td width="30"> </td>
|
|
|
690 </tr>
|
|
|
691 </table><br>
|
|
|
692 </center> <br>
|
|
|
693
|
|
|
694 <center>
|
|
|
695 <br><table class="txtbox">
|
|
|
696 <tr>
|
|
|
697 <td width="30"> </td>
|
|
|
698 <td align="middle" valign="top">
|
|
|
699 <br>
|
|
|
700 <font class="txtboxsmall">
|
|
|
701 <strong>Arguments Can Be Valid Or Invalid, <br>
|
|
|
702 But They Can’t Be True Or False.</strong>
|
|
|
703 </font>
|
|
|
704 <br><br>
|
|
|
705 </td>
|
|
|
706 <td width="30"> </td>
|
|
|
707 </tr>
|
|
|
708 </table><br>
|
|
|
709 </center> <br>
|
|
|
710
|
|
|
711
|
|
|
712 <strong>Evaluating Arguments</strong><br><br>
|
|
|
713
|
|
|
714 The use of techniques like Truth Tables and Venn Diagrams can expose logical flaws in Arguments, and are therefore extremely valuable in distinguishing fact from fiction.<br><br>
|
|
|
715
|
|
|
716 <strong>Truth Tables<br><br>
|
|
|
717
|
|
|
718 For each type of Compound Statement, a 'truth table” can be constructed which spells out:
|
|
|
719 <OL type = DISC>
|
|
|
720 <LI>
|
|
|
721 All of the possible combinations of truth and falsity for the included Simple Statements, plus
|
|
|
722 The resulting truth or falsity of the Compound Statement of which they are a part:</OL></strong><br><br>
|
|
|
723
|
|
|
724 <div align="center">
|
|
|
725 <center>
|
|
|
726 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
727 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
728 bordercolor="#000000" height="373">
|
|
|
729 <tr>
|
|
|
730 <td align="center" width="30%" colspan="3" align="center"
|
|
|
731 bordercolor="#FFFFFF" height="30">
|
|
|
732
|
|
|
733 <strong>
|
|
|
734 <font size="5">And</font></strong></td>
|
|
|
735 </tr>
|
|
|
736 <tr>
|
|
|
737 <td width="33%" align="center" bordercolor="#000000"
|
|
|
738 height="20" BORDER="1"><strong><font size="4">Statement A</strong></td>
|
|
|
739 <td width="20%" align="center" bordercolor="#000000"
|
|
|
740 height="20" BORDER="1"><strong> <font size="4">Statement B</strong></td>
|
|
|
741 <td width="34%" align="center" bordercolor="#000000"
|
|
|
742 height="20" BORDER="1"><strong> <font size="4">A & B</strong></td>
|
|
|
743 </tr>
|
|
|
744 <tr>
|
|
|
745 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
746 height="31"><strong>T</strong></td>
|
|
|
747 <td width="20%" align="center" bordercolor="#000000"
|
|
|
748 height="31" BORDER="1"><strong>T </strong></td>
|
|
|
749 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
750 </tr>
|
|
|
751 <tr>
|
|
|
752 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
753 <td width="20%" align="center" bordercolor="#000000"
|
|
|
754 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
755 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
756 </tr>
|
|
|
757 <tr>
|
|
|
758 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
759 <td width="20%" align="center" bordercolor="#000000"
|
|
|
760 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
761 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
762 </tr>
|
|
|
763 <tr>
|
|
|
764 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strrong></td>
|
|
|
765 <td width="20%" align="center" bordercolor="#000000"
|
|
|
766 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
767 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
768 </tr>
|
|
|
769 </table>
|
|
|
770 </div>
|
|
|
771
|
|
|
772 <br><br>
|
|
|
773
|
|
|
774 <div align="center">
|
|
|
775 <center>
|
|
|
776 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
777 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
778 bordercolor="#000000" height="373">
|
|
|
779 <tr>
|
|
|
780 <td align="center" width="30%" colspan="3" align="center"
|
|
|
781 bordercolor="#FFFFFF" height="30">
|
|
|
782
|
|
|
783 <strong>
|
|
|
784 <font size="5">Or</font></strong></td>
|
|
|
785 </tr>
|
|
|
786 <tr>
|
|
|
787 <td width="33%" align="center" bordercolor="#000000"
|
|
|
788 height="20" BORDER="1"><strong>Statement A</strong></td>
|
|
|
789 <td width="20%" align="center" bordercolor="#000000"
|
|
|
790 height="20" BORDER="1"><strong> Statement B</strong></td>
|
|
|
791 <td width="34%" align="center" bordercolor="#000000"
|
|
|
792 height="20" BORDER="1"><strong> A Ú B</strong></td>
|
|
|
793 </tr>
|
|
|
794 <tr>
|
|
|
795 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
796 height="31"><strong>T</strong></td>
|
|
|
797 <td width="20%" align="center" bordercolor="#000000"
|
|
|
798 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
799 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
800 </tr>
|
|
|
801 <tr>
|
|
|
802 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
803 <td width="20%" align="center" bordercolor="#000000"
|
|
|
804 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
805 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
806 </tr>
|
|
|
807 <tr>
|
|
|
808 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
809 <td width="20%" align="center" bordercolor="#000000"
|
|
|
810 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
811 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
812 </tr>
|
|
|
813 <tr>
|
|
|
814 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
815 <td width="20%" align="center" bordercolor="#000000"
|
|
|
816 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
817 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
818 </tr>
|
|
|
819 </table>
|
|
|
820 </div>
|
|
|
821
|
|
|
822 <br><br>
|
|
|
823
|
|
|
824 <div align="center">
|
|
|
825 <center>
|
|
|
826 <table border="6" width="20%" cellspacing="0" cellpadding="11"
|
|
|
827 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
828 bordercolor="#000000" height="373">
|
|
|
829 <tr>
|
|
|
830 <td align="center" width="30%" colspan="2" align="center"
|
|
|
831 bordercolor="#FFFFFF" height="30">
|
|
|
832
|
|
|
833 <strong>
|
|
|
834 <font size="5">Not</font></strong></td>
|
|
|
835 </tr>
|
|
|
836 <tr>
|
|
|
837 <td width="33%" align="center" bordercolor="#000000"
|
|
|
838 height="20" BORDER="1"><strong><font size="4">A</strong></td>
|
|
|
839 <td width="33%" align="center" bordercolor="#000000"
|
|
|
840 height="20" BORDER="1"><strong> <font size="4">~ A</strong></td>
|
|
|
841 </tr>
|
|
|
842 <tr>
|
|
|
843 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
844 height="31"><strong>T</strong></td>
|
|
|
845 <td width="33%" align="center" bordercolor="#000000"
|
|
|
846 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
847 </tr>
|
|
|
848 <tr>
|
|
|
849 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
850 <td width="33%" align="center" bordercolor="#000000"
|
|
|
851 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
852 </tr>
|
|
|
853 </table>
|
|
|
854 </div>
|
|
|
855 <br><br>
|
|
|
856
|
|
|
857 <div align="center">
|
|
|
858 <center>
|
|
|
859 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
860 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
861 bordercolor="#000000" height="373">
|
|
|
862 <tr>
|
|
|
863 <td align="center" width="20%" colspan="3" align="center"
|
|
|
864 bordercolor="#FFFFFF" height="30">
|
|
|
865
|
|
|
866 <strong><font size="5">If - Then</font></strong></td>
|
|
|
867 <tr>
|
|
|
868 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
869 height="31"><strong>T</strong></td>
|
|
|
870 <td width="20%" align="center" bordercolor="#000000"
|
|
|
871 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
872 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
873 </tr>
|
|
|
874 <tr>
|
|
|
875 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
876 <td width="20%" align="center" bordercolor="#000000"
|
|
|
877 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
878 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
879 </tr>
|
|
|
880 <tr>
|
|
|
881 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F<strong></td>
|
|
|
882 <td width="20%" align="center" bordercolor="#000000"
|
|
|
883 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
884 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
885 </tr>
|
|
|
886 <tr>
|
|
|
887 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F<strong></td>
|
|
|
888 <td width="20%" align="center" bordercolor="#000000"
|
|
|
889 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
890 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
891 </tr>
|
|
|
892 </table>
|
|
|
893 </div>
|
|
|
894
|
|
|
895 <br><br>
|
|
|
896
|
|
|
897 <div align="center">
|
|
|
898 <center>
|
|
|
899 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
900 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
901 bordercolor="#000000" height="373">
|
|
|
902 <tr>
|
|
|
903 <td align="center" width="30%" colspan="3" align="center"
|
|
|
904 bordercolor="#FFFFFF" height="30">
|
|
|
905
|
|
|
906 <strong>
|
|
|
907 <font size="5">If And Only If (= Iff)</font></strong></td>
|
|
|
908 </tr>
|
|
|
909 <tr>
|
|
|
910 <td width="33%" align="center" bordercolor="#000000"
|
|
|
911 height="20" BORDER="1"><strong><font size="4">Statement A</strong></td>
|
|
|
912 <td width="20%" align="center" bordercolor="#000000"
|
|
|
913 height="20" BORDER="1"><strong> <font size="4">Statement B</strong></td>
|
|
|
914 <td width="34%" align="center" bordercolor="#000000"
|
|
|
915 height="20" BORDER="1"><strong> <font size="4">A iff B</strong></td>
|
|
|
916 </tr>
|
|
|
917 <tr>
|
|
|
918 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
919 height="31"><strong>T</strong></td>
|
|
|
920 <td width="20%" align="center" bordercolor="#000000"
|
|
|
921 height="31" BORDER="1"><strong>T </strong></td>
|
|
|
922 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
923 </tr>
|
|
|
924 <tr>
|
|
|
925 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
926 <td width="20%" align="center" bordercolor="#000000"
|
|
|
927 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
928 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
929 </tr>
|
|
|
930 <tr>
|
|
|
931 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strong></td>
|
|
|
932 <td width="20%" align="center" bordercolor="#000000"
|
|
|
933 height="31" BORDER="1"><strong> T</font></strong></td>
|
|
|
934 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
935 </tr>
|
|
|
936 <tr>
|
|
|
937 <td align="center" bordercolor="#000000" height="31" BORDER="1"><strong>F</strrong></td>
|
|
|
938 <td width="20%" align="center" bordercolor="#000000"
|
|
|
939 height="31" BORDER="1"><strong> F</font></strong></td>
|
|
|
940 <td bordercolor="#000000" align="center" height="31" BORDER="1"><strong>T</strong></td>
|
|
|
941 </tr>
|
|
|
942 </table>
|
|
|
943 </div>
|
|
|
944
|
|
|
945 <br><br>
|
|
|
946
|
|
|
947 These elementary truth tables can be extended to determine the truth value of far more complex compound statements containing many logical operators, such as are routinely encountered
|
|
|
948 in the real world. This is a complicated process which is the subject of entire courses and is therefore infeasible for us to go into further here, but it is well worth your while to explore on your own.<nr><br>
|
|
|
949
|
|
|
950 To apply these truth tables, all that is necessary is to replace the symbols (A and B) by their respective statements, and the answer regarding the truth or falsity of the consequent compound statement will then be instantly known.<br><br>
|
|
|
951
|
|
|
952 Example:<br><br>
|
|
|
953
|
|
|
954 A = The weather is hot.<br>
|
|
|
955 B = It’s September<br><br>
|
|
|
956
|
|
|
957 If A = T, B = F: A and B = F, A or B = T, If A then B = F, A iff B = F<br>
|
|
|
958 if A = F, B = T: A and B = F, A or B = T, If A then B = T, A iff B = F<br><br>
|
|
|
959
|
|
|
960 That is, to cite just one of these results for A and B: If the weather is hot but it’s not September, then the compound statement “The weather is hot if and only if it is September” is (obviously) false.<br><br>
|
|
|
961
|
|
|
962 For simple compound statements with only a single logical operator like those in these tables, such a formal process hardly seems necessary. But for complex compound statements with many logical operators functioning in combination,
|
|
|
963 correctly finding one’s way through the logical maze can be daunting, and in such situations the discipline provided by the table may become the only feasible way to assure the obtaining correct answer regarding the compound statement’s
|
|
|
964 truth or falsity.<br><br>
|
|
|
965
|
|
|
966 <strong>Inductive Inferences</strong><br><br>
|
|
|
967
|
|
|
968 Because we have time here for only a brief survey of Symbolic Logic, our emphasis will be on Deductive Reasoning, but the subject of (Inductive) Reasoning By Analogy is so important and pervasive that it’s essential it at least receive mention.<br><br>
|
|
|
969
|
|
|
970 This process of inductive inference is at the center of both “brand loyalty” in the commercial sphere and many of our key relationships in the personal sphere. Because we have had good past experiences with products of brand “X”, we are induced to
|
|
|
971 expect similar good future experience with new products from the same manufacturer, and this forms the basis for our product selection/brand loyalty. And it also forms the basis for our dismay if and when said new product turns out to be a “lemon”
|
|
|
972 that fails to live up to our expectations. In the personal sphere, because person “X” is a leader of our church or an executive of our company, we confidently expect that they will exhibit exemplary behavior in all related activities. And this accounts for
|
|
|
973 the vast dismay we feel if the Church funds have been embezzled, or as happened in the Enron scandal, when the company was bankrupted and the employees and stockholders were defrauded, while the executives walked off with untold $ millions!<br><br>
|
|
|
974
|
|
|
975 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------<br>
|
|
|
976 <strong>IMPORTANT NOTE!</strong><br><br>
|
|
|
977
|
|
|
978 The material which follows is somewhat more complex, detailed and difficult than the preceding, so it will probably be difficult for any normal person to absorb it completely from the very limited treatment provided here. For
|
|
|
979 that reason all that is expected is that you get a general understanding of what it’s all about and why/how it works. <br><br>
|
|
|
980
|
|
|
981 But because this material describes a long established and very powerful technique for making sense of and assessing the validity of many of the Arguments with which we are all inundated daily, it is important that you at least be aware of its existence so that you
|
|
|
982 can learn more about it on your own should you be so inclined. And, as earlier noted, any investment of time and energy required to master this material will certainly ulttimately payoff to your advantage.<br><br>
|
|
|
983
|
|
|
984 -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------<br><br>
|
|
|
985
|
|
|
986 <strong>Deductive Inferences<br><br>
|
|
|
987
|
|
|
988 A Deductive Inference may be of two kinds:<br><br>
|
|
|
989 <OL type = DISC>
|
|
|
990 <LI>
|
|
|
991 Immediate Inference<br>
|
|
|
992 An Argument consisting of exactly 2 Categorical Propositions: <br>
|
|
|
993 1 Premise and 1 Conclusion
|
|
|
994 <LI>
|
|
|
995 Mediated Inference (= A Categorical Syllogism)<br>
|
|
|
996 An Argument consisting of:
|
|
|
997 <OL type = DISC>
|
|
|
998 <LI>
|
|
|
999 exactly 3 Categorical Propositions (2 Premises and 1 Conclusion)
|
|
|
1000 <LI>
|
|
|
1001 containing 3 categorical terms,
|
|
|
1002 <LI>
|
|
|
1003 each of which is used twice.</strong></OL></OL><br><br>
|
|
|
1004
|
|
|
1005 The classical example:<br>
|
|
|
1006 All men are mortal.<br>
|
|
|
1007 Socrates is a man.<br>
|
|
|
1008 Therefore Socrates is mortal.<br><br>
|
|
|
1009
|
|
|
1010 It is important to recognize that an Argument containing more than 3 terms might still qualify as a Categorical Syllogism if it can be translated into an equivalent Argument containing the required exactly 3 terms. The danger here,
|
|
|
1011 of course, is that the “translation” must be valid, and not do substantive damage to the Argument being presented.<br><br>
|
|
|
1012
|
|
|
1013 A second key danger to be avoided is that each of the 3 terms in the Syllogism must be used in exactly the same sense throughout. (e.g. If the term “men” is used to mean “human beings” in one Statement but “male humans” in another,
|
|
|
1014 the Argument would not qualify as a Syllogism.)<br><br>
|
|
|
1015
|
|
|
1016 <OL type = DISC>
|
|
|
1017 <LI> <strong>
|
|
|
1018 The Major Premise of the Syllogism is a Categorical Proposition that contains the Predicate of the Conclusion and the Middle Term.
|
|
|
1019 <LI>
|
|
|
1020 The Minor Premise of the Syllogism contains the Subject of the Conclusion and the Middle Term.
|
|
|
1021 <LI>
|
|
|
1022 The Major Term of the Syllogism is whatever is employed as the Predicate Term of its Conclusion.
|
|
|
1023 <LI>
|
|
|
1024 The Minor Term of the Syllogism is whatever is employed as the Subject Term of the Conclusion.
|
|
|
1025 <LI>
|
|
|
1026 The Middle Term of the Syllogism doesn't occur in the Conclusion at all, but must be employed in somewhere in each of its Premises.
|
|
|
1027 </OL></strong><br><br>
|
|
|
1028
|
|
|
1029 <strong>Syllogism Rules:<br><br>
|
|
|
1030 <OL type = DISC>
|
|
|
1031 <LI>
|
|
|
1032 There are only three terms in a Syllogism (by definition).
|
|
|
1033 <LI>
|
|
|
1034 The Middle Term is not in the Conclusion (by definition).
|
|
|
1035 <LI>
|
|
|
1036 The Quantity of a term cannot become greater in the Conclusion.
|
|
|
1037 <LI>
|
|
|
1038 The Middle Term must be Universally Quantified in at least one Premise.
|
|
|
1039 <LI>
|
|
|
1040 At least one Premise must be Affirmative.
|
|
|
1041 <LI>
|
|
|
1042 If one Premise is Negative, the Conclusion is Negative.
|
|
|
1043 <LI>
|
|
|
1044 If both Premises are Affirmative, the Conclusion is Affirmative.
|
|
|
1045 <LI>
|
|
|
1046 At least one Premise must be Universal.
|
|
|
1047 <LI>
|
|
|
1048 If one Premise is Particular, the Conclusion is Particular.
|
|
|
1049 <LI>
|
|
|
1050 If both Premises are Universal, the Conclusion is Universal.</strong></OL><br><br>
|
|
|
1051
|
|
|
1052 <strong>Standard Form<br><br>
|
|
|
1053
|
|
|
1054 A Categorical Syllogism in Standard Form always has a:<br><br>
|
|
|
1055 <OL type = DISC>
|
|
|
1056 <LI>
|
|
|
1057 Major Premise
|
|
|
1058 <LI>
|
|
|
1059 Minor Premise
|
|
|
1060 <LI>
|
|
|
1061 Conclusion<br>
|
|
|
1062 in that order.</strong><br><br>
|
|
|
1063 </OL>
|
|
|
1064 Although arguments in ordinary language are frequently stated in a different arrangement, it is always possible to restate them in Standard Form for analysis. The simple procedure is:<br><br>
|
|
|
1065 <OL type = DISC>
|
|
|
1066 <LI>
|
|
|
1067 Identify the conclusion, and place it in the final position
|
|
|
1068 <LI>
|
|
|
1069 whichever premise contains the Conclusion’s Predicate term must be the Major Premise that should be stated first.
|
|
|
1070 <LI>
|
|
|
1071 the remaining Premise is the Minor Premise, and appears in the middle.</OL><br><br>
|
|
|
1072
|
|
|
1073 <strong>The Standard Form of a Syllogism is described in terms of 2 factors: Mood, and Figure.</strong><br><br>
|
|
|
1074 <OL type = DISC>
|
|
|
1075 <LI>
|
|
|
1076 <strong>Mood = A list of which categorical propositions (A, E, I, or O) it comprises, in the order in which they appear.</strong><br><br>
|
|
|
1077 <OL type = DISC>
|
|
|
1078 <LI>
|
|
|
1079 <strong>A = Universal Affirmative => All S are P</strong> (e.g. All men are mortal.)
|
|
|
1080 <LI>
|
|
|
1081 <strong>E = Universal Negative => No S are P</strong> (e.g. No pigs can fly.)
|
|
|
1082 <LI>
|
|
|
1083 <strong>I = Particular Affirmative => Some S are P</strong> (e.g. Some students are female.)
|
|
|
1084 <LI>
|
|
|
1085 <strong>O = Particular Negative => Some S are not P</strong> (e.g. Some large people aren’t fat.)</OL><br><br>
|
|
|
1086
|
|
|
1087 Example: A Syllogism with a Mood of OAO has an O Proposition as its Major Premise, an A Proposition as its Minor Premise, and another O Proposition as its Conclusion.<br><br>
|
|
|
1088
|
|
|
1089 <strong>There are 4 kinds of Categorical Proposition but a Syllogism uses only 3 of them at a time, so the total number of possible Moods (arrangements) = 64.<br><br>
|
|
|
1090
|
|
|
1091 S: Subject of the Conclusion.<br>
|
|
|
1092 P: Predicate of the Conclusion.<br>
|
|
|
1093 M: Middle Term. of the Conclusion</strong><br><br>
|
|
|
1094
|
|
|
1095 <strong>Each Syllogistic Mood can appear in four distinct versions called Figures.</strong> <br><br>
|
|
|
1096
|
|
|
1097 <LI><strong>Figure = The position in which the Middle Term appears in the two Premises.</strong><br><br>
|
|
|
1098 <OL type = DISC>
|
|
|
1099 <LI>
|
|
|
1100 First-Figure Syllogism = The Middle Term is the Subject Term of the Major Premise and the Predicate Term of the Minor Premise
|
|
|
1101 <LI>
|
|
|
1102 Second-Figure Syllogism = The Middle Term is the Predicate Term of both Premises
|
|
|
1103 <LI>
|
|
|
1104 Third-Figure Syllogism = The Middle Term is the Subject Term of both Premises
|
|
|
1105 <LI>
|
|
|
1106 Fourth-Figure Syllogism = The Middle Term appears as the Predicate Term of the Major Premise and the Subject Term of the Minor Premise. </strong></OL></OL><br><br>
|
|
|
1107
|
|
|
1108 These four Figures may be depicted as follows:<br><br>
|
|
|
1109
|
|
|
1110 <div align="center">
|
|
|
1111 <center>
|
|
|
1112 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
1113 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
1114 bordercolor="#000000" height="373">
|
|
|
1115 <tr>
|
|
|
1116 <td align="center" width="20%" colspan="5" align="center"
|
|
|
1117 bordercolor="#FFFFFF" height="30">
|
|
|
1118
|
|
|
1119 <strong>
|
|
|
1120 <font size="5">The Four Syllogism Figures</font></strong></td>
|
|
|
1121 </tr>
|
|
|
1122 <tr>
|
|
|
1123 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1124 height="31" BORDER="1"><strong><font size="4"></strong></td>
|
|
|
1125 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1126 height="31" BORDER="1"><strong><font size="4">1st</strong></td>
|
|
|
1127 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1128 height="31" BORDER="1"><strong> <font size="4">2nd</strong></td>
|
|
|
1129 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1130 height="31" BORDER="1"><strong> <font size="4">3rd</strong></td>
|
|
|
1131 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1132 height="31" BORDER="1"><strong> <font size="4">4th</strong></td>
|
|
|
1133 </tr>
|
|
|
1134 <tr>
|
|
|
1135 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1136 height="31"><strong>Major</strong></td>
|
|
|
1137 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1138 height="31"><strong>MP</strong></td>
|
|
|
1139 <td align="center" bordercolor="#000000"
|
|
|
1140 height="31" BORDER="1"><strong>PM </strong></td>
|
|
|
1141 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1142 height="31"><strong>MP</strong></td>
|
|
|
1143 <td align="center" bordercolor="#000000"
|
|
|
1144 height="31" BORDER="1"><strong>PM </strong></td>
|
|
|
1145 </tr>
|
|
|
1146 <tr>
|
|
|
1147 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1148 height="31"><strong>Minor</strong></td>
|
|
|
1149 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1150 height="31"><strong>SM</strong></td>
|
|
|
1151 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1152 height="31"><strong>SM</strong></td>
|
|
|
1153 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1154 height="31"><strong>MS</strong></td>
|
|
|
1155 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1156 height="31"><strong>MS</strong></td>
|
|
|
1157 </tr>
|
|
|
1158 <tr>
|
|
|
1159 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1160 height="31"><strong>Conclusion</strong></td>
|
|
|
1161 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1162 height="31"><strong>SP</strong></td>
|
|
|
1163 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1164 height="31"><strong>SP</strong></td>
|
|
|
1165 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1166 height="31"><strong>SP</strong></td>
|
|
|
1167 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1168 height="31"><strong>SP</strong></td>
|
|
|
1169 </tr>
|
|
|
1170 </table>
|
|
|
1171 </div>
|
|
|
1172 <br><br>
|
|
|
1173
|
|
|
1174 Since each of the 64 possible Moods can have 4 Figures, the total number of possible Categorical Syllogisms is 64 x 4 = 256.<br><br>
|
|
|
1175
|
|
|
1176 The power of a Syllogism is that after it has been put into Standard Form and checked for informal fallacies, its validity or invalidity may be determined directly via mere inspection of the form!!<br><br>
|
|
|
1177 </strong>
|
|
|
1178 <br><br>
|
|
|
1179
|
|
|
1180
|
|
|
1181 <div align="center">
|
|
|
1182 <center>
|
|
|
1183 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
1184 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
1185 bordercolor="#000000" height="373">
|
|
|
1186 <tr>
|
|
|
1187 <td align="center" width="20%" colspan="4" align="center"
|
|
|
1188 bordercolor="#FFFFFF" height="30">
|
|
|
1189
|
|
|
1190 <strong>
|
|
|
1191 <font size="5">Unconditionally Valid Syllogisms</font></strong></td>
|
|
|
1192 </tr>
|
|
|
1193 <tr>
|
|
|
1194 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1195 height="31" BORDER="1"><strong><font size="4">AAA</strong></td>
|
|
|
1196 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1197 height="31" BORDER="1"><strong><font size="4">EAE</strong></td>
|
|
|
1198 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1199 height="31" BORDER="1"><strong> <font size="4">IAI</strong></td>
|
|
|
1200 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1201 height="31" BORDER="1"><strong> <font size="4">AEE</strong></td>
|
|
|
1202
|
|
|
1203 </tr>
|
|
|
1204 <tr>
|
|
|
1205 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1206 height="31"><strong>EAE</strong></td>
|
|
|
1207 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1208 height="31"><strong>AEE</strong></td>
|
|
|
1209 <td align="center" bordercolor="#000000"
|
|
|
1210 height="31" BORDER="1"><strong>AII </strong></td>
|
|
|
1211 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1212 height="31"><strong>IAI</strong></td>
|
|
|
1213
|
|
|
1214 </tr>
|
|
|
1215 <tr>
|
|
|
1216 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1217 height="31"><strong>AII</strong></td>
|
|
|
1218 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1219 height="31"><strong>EIO</strong></td>
|
|
|
1220 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1221 height="31"><strong>OAO</strong></td>
|
|
|
1222 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1223 height="31"><strong>EIO</strong></td>
|
|
|
1224
|
|
|
1225 </tr>
|
|
|
1226 <tr>
|
|
|
1227 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1228 height="31"><strong>EIO</strong></td>
|
|
|
1229 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1230 height="31"><strong>AOO</strong></td>
|
|
|
1231 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1232 height="31"><strong>EIO</strong></td>
|
|
|
1233 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1234 height="31"><strong>-</strong></td>
|
|
|
1235
|
|
|
1236 </tr>
|
|
|
1237 </table>
|
|
|
1238 </div>
|
|
|
1239 <br><br>
|
|
|
1240 <div align="center">
|
|
|
1241 <center>
|
|
|
1242 <table border="6" width="60%" cellspacing="0" cellpadding="11"
|
|
|
1243 bordercolordark="#000000" bordercolorlight="#C0C0C0"
|
|
|
1244 bordercolor="#000000" height="373">
|
|
|
1245 <tr>
|
|
|
1246 <td align="center" width="20%" colspan="5" align="center"
|
|
|
1247 bordercolor="#FFFFFF" height="30">
|
|
|
1248
|
|
|
1249 <strong>
|
|
|
1250 <font size="5">Conditionally Valid Syllogisms</font></strong></td>
|
|
|
1251 </tr>
|
|
|
1252 <tr>
|
|
|
1253 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1254 height="31" BORDER="1"><strong><font size="4">Figure 1</strong></td>
|
|
|
1255 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1256 height="31" BORDER="1"><strong><font size="4">Figure 2</strong></td>
|
|
|
1257 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1258 height="31" BORDER="1"><strong> <font size="4">Figure 3</strong></td>
|
|
|
1259 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1260 height="31" BORDER="1"><strong> <font size="4">Figure 4</strong></td>
|
|
|
1261 <td width="20%" align="center" bordercolor="#000000"
|
|
|
1262 height="31" BORDER="1"><strong> <font size="4">Required<br>Conditions</strong></td>
|
|
|
1263 </tr>
|
|
|
1264 <tr>
|
|
|
1265 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1266 height="31"><strong>AAI<br>EAO</strong></td>
|
|
|
1267 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1268 height="31"><strong>AEO<br>EAO</strong></td>
|
|
|
1269 <td align="center" bordercolor="#000000"
|
|
|
1270 height="31" BORDER="1"><strong>-</strong></td>
|
|
|
1271 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1272 height="31"><strong>AEO</strong></td>
|
|
|
1273 <td align="center" bordercolor="#000000"
|
|
|
1274 height="31" BORDER="1"><strong>S Exists</strong></td>
|
|
|
1275 </tr>
|
|
|
1276 <tr>
|
|
|
1277 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1278 height="31"><strong>-</strong></td>
|
|
|
1279 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1280 height="31"><strong>-</strong></td>
|
|
|
1281 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1282 height="31"><strong>AII<br>EAO</strong></td>
|
|
|
1283 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1284 height="31"><strong>EAO</strong></td>
|
|
|
1285 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1286 height="31"><strong>M Exists</strong></td>
|
|
|
1287 </tr>
|
|
|
1288 <tr>
|
|
|
1289 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1290 height="31"><strong>-</strong></td>
|
|
|
1291 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1292 height="31"><strong>-</strong></td>
|
|
|
1293 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1294 height="31"><strong>-</strong></td>
|
|
|
1295 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1296 height="31"><strong>AAI</strong></td>
|
|
|
1297 <td align="center" bordercolor="#000000" BORDER="1"
|
|
|
1298 height="31"><strong>P Exists</strong></td>
|
|
|
1299 </tr>
|
|
|
1300 </table>
|
|
|
1301 </div>
|
|
|
1302
|
|
|
1303 <br><br>
|
|
|
1304
|
|
|
1305 What do these tables tell us??<br><br>
|
|
|
1306
|
|
|
1307 In the first table, these syllogisms are Valid whether or not their terms denote actually existing things! In the second table, the syllogisms listed are valid only if the designated term denotes an actually existing thing.
|
|
|
1308 So all that we have to do is to put an unknown Syllogism into Standard Form, determine its mood and figure, and see if it appears in our tables to instantly know whether or not it is valid! Surely a quick path to the truth. <br><br>
|
|
|
1309
|
|
|
1310 Arguments in the real world frequently incorporate what can (often only with considerable effort) really be parsed into multiple Syllogisms, and there are methods that have been developed for handling such situations and then
|
|
|
1311 converting those arguments into standard Syllogistic Form so that these techniques can be applied. But all of that is beyond our present intent of introducing these logical concepts as a preferred way to determine the validity of the
|
|
|
1312 blizzard of verbiage with which we are all confronted every day. As noted earlier, you will be well advised to explore this important topic further on your own.<br><br>
|
|
|
1313
|
|
|
1314 Finally, before we leave this subject it is useful to recognize that life is not fair, so that there are a host of ways, either deliberately or through inadvertence, in which what appear to be solid logical arguments can go wrong, but only one
|
|
|
1315 way to get them right. This situation was cleverly characterized many years ago by Chessmaster Dr. Savielly G. Tartakower when he wryly observed that “All the little errors are there, waiting to be made”. Although he was talking about
|
|
|
1316 Chess, his astute observation applies equally well to Logical Fallacies, which have been neatly catalogued as follows:<br><br>
|
|
|
1317
|
|
|
1318
|
|
|
1319 <strong>Guide To The Logical Fallacies © 1995-2000 Dr. Stephen Downes, Research Officer, National Research Council Canada</strong> (Included here with permission.)<br><br>
|
|
|
1320
|
|
|
1321 <strong>Fallacies of Distraction</strong><br><br>
|
|
|
1322
|
|
|
1323 * False Dilemma: two choices are given when in fact there are three options<br>
|
|
|
1324 * From Ignorance: because something is not known to be true, it is assumed to be false<br>
|
|
|
1325 * Slippery Slope: a series of increasingly unacceptable consequences is drawn<br>
|
|
|
1326 * Complex Question: two unrelated points are conjoined as a single proposition<br><br>
|
|
|
1327
|
|
|
1328 <strong>Appeals to Motives in Place of Support</strong><br><br>
|
|
|
1329
|
|
|
1330 * Appeal to Force: the reader is persuaded to agree by force<br>
|
|
|
1331 * Appeal to Pity: the reader is persuaded to agree by sympathy<br>
|
|
|
1332 * Consequences: the reader is warned of unacceptable consequences<br>
|
|
|
1333 * Prejudicial Language: value or moral goodness is attached to believing the author<br>
|
|
|
1334 * Popularity: a proposition is argued to be true because it is widely held to be true<br><br>
|
|
|
1335
|
|
|
1336 <strong>Changing the Subject</strong><br><br>
|
|
|
1337
|
|
|
1338 <strong>* Attacking the Person:</strong><br>
|
|
|
1339 * (1) the person's character is attacked<br>
|
|
|
1340 * (2) the person's circumstances are noted<br>
|
|
|
1341 * (3) the person does not practice what is preached<br><br>
|
|
|
1342
|
|
|
1343 <strong>* Appeal to Authority:</strong><br>
|
|
|
1344 * (1) the authority is not an expert in the field<br>
|
|
|
1345 * (2) experts in the field disagree<br>
|
|
|
1346 * (3) the authority was joking, drunk, or in some other way not being serious<br>
|
|
|
1347 * Anonymous Authority: the authority in question is not named<br>
|
|
|
1348 * Style Over Substance: the manner in which an argument (or arguer) is presented is felt to affect the truth of the conclusion<br><br>
|
|
|
1349
|
|
|
1350 <strong>Inductive Fallacies</strong><br><br>
|
|
|
1351
|
|
|
1352 * Hasty Generalization: the sample is too small to support an inductive generalization about a population<br>
|
|
|
1353 * Unrepresentative Sample: the sample is unrepresentative of the population as a whole<br>
|
|
|
1354 * False Analogy: the two objects or events being compared are relevantly dissimilar<br>
|
|
|
1355 * Slothful Induction: the conclusion of a strong inductive argument is denied despite the evidence to the contrary<br>
|
|
|
1356 * Fallacy of Exclusion: evidence which would change the outcome of an inductive argument is excluded from consideration<br><br>
|
|
|
1357
|
|
|
1358 <strong>Fallacies Involving Statistical Syllogisms</strong><br><br>
|
|
|
1359
|
|
|
1360 * Accident: a generalization is applied when circumstances suggest that there should be an exception<br>
|
|
|
1361 * Converse Accident : an exception is applied in circumstances where a generalization should apply<br><br>
|
|
|
1362
|
|
|
1363 <strong>Causal Fallacies</strong><br><br>
|
|
|
1364
|
|
|
1365 * Post Hoc: because one thing follows another, it is held to cause the other<br>
|
|
|
1366 * Joint effect: one thing is held to cause another when in fact they are both the joint effects of an underlying cause<br>
|
|
|
1367 * Insignificant: one thing is held to cause another, and it does, but it is insignificant compared to other causes of the effect<br>
|
|
|
1368 * Wrong Direction: the direction between cause and effect is reversed<br>
|
|
|
1369 * Complex Cause: the cause identified is only a part of the entire cause of the effect<br><br>
|
|
|
1370
|
|
|
1371 <strong>Missing the Point</strong><br><br>
|
|
|
1372
|
|
|
1373 * Begging the Question: the truth of the conclusion is assumed by the premises<br>
|
|
|
1374 * Irrelevant Conclusion: an argument in defense of one conclusion instead proves a different conclusion<br>
|
|
|
1375 * Straw Man: the author attacks an argument different from (and weaker than) the opposition's best argument<br><br>
|
|
|
1376
|
|
|
1377 <strong>Fallacies of Ambiguity</strong><br><br>
|
|
|
1378
|
|
|
1379 * Equivocation: the same term is used with two different meanings<br>
|
|
|
1380 * Amphiboly: the structure of a sentence allows two different interpretations<br>
|
|
|
1381 * Accent: the emphasis on a word or phrase suggests a meaning contrary to what the sentence actually says<br><br>
|
|
|
1382
|
|
|
1383 <strong>Category Errors</strong><br><br>
|
|
|
1384
|
|
|
1385 * Composition : because the attributes of the parts of a whole have a certain property, it is argued that the whole has that property<br>
|
|
|
1386 * Division: because the whole has a certain property, it is argued that the parts have that property<br><br>
|
|
|
1387
|
|
|
1388 <strong>Non Sequitur</strong><br><br>
|
|
|
1389
|
|
|
1390 * Affirming the Consequent: any argument of the form: If A then B, B, therefore A<br>
|
|
|
1391 * Denying the Antecedent: any argument of the form: If A then B, Not A, thus Not B<br>
|
|
|
1392 * Inconsistency: asserting that contrary or contradictory statements are both true<br><br>
|
|
|
1393
|
|
|
1394 <strong>Syllogistic Errors</strong><br><br>
|
|
|
1395
|
|
|
1396 * Fallacy of Four Terms: a syllogism has four terms<br>
|
|
|
1397 * Undistributed Middle: two separate categories are said to be connected because they share a common property<br>
|
|
|
1398 * Illicit Major: the predicate of the conclusion talks about all of something, but the premises only mention some cases of the term in the predicate<br>
|
|
|
1399 * Illicit Minor: the subject of the conclusion talks about all of something, but the premises only mention some cases of the term in the subject<br>
|
|
|
1400 * Fallacy of Exclusive Premises: a syllogism has two negative premises<br>
|
|
|
1401 * Fallacy of Drawing an Affirmative Conclusion From a Negative Premise: as the name implies<br>
|
|
|
1402 * Existential Fallacy: a particular conclusion is drawn from universal premises<br><br>
|
|
|
1403
|
|
|
1404 <strong>Fallacies of Explanation</strong><br><br>
|
|
|
1405
|
|
|
1406 * Subverted Support :The phenomenon being explained doesn't exist<br>
|
|
|
1407 * Non-support:: Evidence for the phenomenon being explained is biased<br>
|
|
|
1408 * Untestability: The theory which explains cannot be tested<br>
|
|
|
1409 * Limited Scope: The theory which explains can only explain one thing<br>
|
|
|
1410 * Limited Depth: The theory which explains does not appeal to underlying causes<br><br>
|
|
|
1411
|
|
|
1412 <strong>Fallacies of Definition</strong><br><br>
|
|
|
1413
|
|
|
1414 * Too Broad : The definition includes items which should not be included<br>
|
|
|
1415 * Too Narrow: The definition does not include all the items which should be included<br>
|
|
|
1416 * Failure to Elucidate: The definition is more difficult to understand than the word or concept being defined<br>
|
|
|
1417 * Circular Definition: The definition includes the term being defined as a part of the definition<br>
|
|
|
1418 * Conflicting Conditions: The definition is self-contradictory<br><br>
|
|
|
1419
|
|
|
1420 Please note the close relationship between this list of Logical Fallacies and both the “Seller’s Gimmicks” and the Impediments to Logical Thought presented earlier, all of which are really only slightly different ways of expressing the same key idea.
|
|
|
1421
|
|
|
1422 In the next chapter we shall begin our exposition of specific techniques which can serve to improve your Decision Making/Problem Solving.<br><br>
|
|
|
1423
|
|
|
1424
|
|
|
1425 <strong>Click Here To Go To</strong><a href="RDMCh3.html"><font size=+1><font Color="#0033FF"><strong> Chapter 3</strong></font></a>
|
|
|
1426 <br><br>
|
|
|
1427 <strong>Click Here To Return To</strong><a href="RDMCh2.html"><font size=+1><font Color="#0033FF"><strong> Chapter 2 </strong></font></a>
|
|
|
1428 <br><br>
|
|
|
1429 <strong>Click Here To Return To</strong><a href="RDMTOC.html"><font size=+1><font Color="#0033FF"><strong> Table Of Contents </strong></font></a>
|
|
|
1430 <br><br>
|
|
|
1431 <strong>Click Here To Return To</strong><a href="index.html"><font size=+1><font Color="#0033FF"><strong> Milt's Go Page</strong></font></a> <br>
|
|
|
1432 <br><br>
|
|
|
1433 <strong>Click Here To Email Your Comments/Suggestions To</strong><font size=+2><font color="#0033FF"><a href="mailto:bradleym@eniinternet.com?subject=Reasoning And Decision Making Comments/Suggestions"> Milton N. Bradley</font></a>
|
|
|
1434
|
|
|
1435 </td>
|
|
|
1436 <td width="100"> </td>
|
|
|
1437 </tr>
|
|
|
1438 </table>
|
|
|
1439 </body>
|
|
|
1440
|
|
|
1441 <!-- Mirrored from users.eniinternet.com/bradleym/RDMApp.html by HTTrack Website Copier/3.x [XR&CO'2014], Sun, 06 Nov 2022 06:59:39 GMT -->
|
|
|
1442 </html> |
