comparison src/RDMApp.html @ 0:0e911cd3fd2a

add content
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 02 Apr 2023 10:30:03 -0600
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:0e911cd3fd2a
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 &copy; 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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</td>
558 </tr>
559 </table><br>
560 </center> <br>
561
562 <center>
563 <br><table class="txtbox">
564 <tr>
565 <td width="30">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</td>
627 </tr>
628 </table><br>
629 </center> <br>
630
631 <center>
632 <br><table class="txtbox">
633 <tr>
634 <td width="30">&nbsp;</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">&nbsp;</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">&nbsp;</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">&nbsp;</td>
690 </tr>
691 </table><br>
692 </center> <br>
693
694 <center>
695 <br><table class="txtbox">
696 <tr>
697 <td width="30">&nbsp;</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">&nbsp;</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">&nbsp;</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>