Download - Clarion Logic CH6 Notes
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 1/23
Section 6.1 Symbols and Translation
Terms to learn:
• operators/connectives
• simple and compound statements
• main operator
The Operator Chart
T ips f o r t r ans l a t i on :
• Remember that translation from ordinary English to logical expressions often results
in a "distortion of meaning" because not all ordinary statements can be adequatelyexpressed in logical terms.
• Be sure you can locate the main operator in a statement. Parenthesis can point usto the main operator. If you are not sure which operator functions as the main
operator, please reread this section.
Operator Name LogicalFunction
Used to Translate
~ tilde negation not, it is false that, it is notthe case that
• dot conjunction
and, also, but, moreover,however, nevertheless, still,
both, additionally,furthermore
∨ wedge disjunction or, unless
⊃ horseshoe implication
if...then..., only if, giventhat, provided that, in case,on condition, that, sufficient
condition for, necessary
condition for
≡ triple bar equivalence if and only if, is a necessary
and sufficient condition for
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 2/23
2 Clarion Logic Chapter 6 Notes
• There are five types of operators:
1. negation
2. conjunction or conjunctive statements
3. disjunction or disjunctive statements
4. conditionals that express material implication (antecedent and consequent)
5. biconditionals that express material equivalence
• Conditional statements do not always translate in an intuitive manner.
Sometimes it will be necessary to switch the order of the subject and predicate terms
to get an accurate translation.
o Necessary and sufficient conditions: be sure you know the differenceshighlighted
o When translating a conditional proposition, place the sufficient condition in the
antecedent position and the necessary condition in the consequent position.
• Biconditionals are used to translate the phrase "is a necessary and sufficientcondition for" and should not be confused with conditional statements. In order to be
translated as a biconditional, the proposition in question must serve as both a
necessary and sufficient condition.
• When there are more than two simple propositions (i.e., two letters), it is necessary
to group phrases together for an accurate translation. Look for clues given by
commas, semicolons, and grouping phrases like "either," "both," etc.
• The object of this exercise is to create well-formed formulas (WWFs) that are
syntactically accurate translations.
top
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 3/23
3 Clarion Logic Chapter 6 Notes
6.2 Truth Functions
• Terms you should know:
o statement variables
o statement forms
o truth table
• Hints for understanding truth tables fo r the operators:
o Conjunction: the only time this operator evaluates "true" is when both
conjuncts are true.
o Disjunction: the only time this operator evaluates "false" is when both
disjuncts are false.
INCLUSIVE vs. EXCLUSIVE uses of "or": the general approach is to
o Conditional: the only time this operator evaluates "false" is when theantecedent is true and consequent is false. Please read the "intuitive"
approach for understanding why this operator only evaluates false in onecase.
o Biconditional: the only time this operator evaluates "true" is "when its twocomponents have the same truth value."
The biconditional formula is a shorthand way of expressing these two
conditionals: (p ⊃ q) • (q ⊃ p)
• Process for solving longer propositions
o Please pay close attention to the order for evaluating longer propositions.
o These problems are solved from the inside out just like equations withparenthesis from Algebra 1. Work with the simplest expressions inside
parenthesis (letter truth values) and precede outward towards the mainoperator.
• Real World Applications
o Meaning can sometimes be distorted when we translate expressions into
logical terms. Hurley reminds us that we should not use logical operators to
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 4/23
4 Clarion Logic Chapter 6 Notes
translate statements that depend on "subtleties of expression."
o Note the case of inclusive and exclusive disjunction using the word "unless."
o There is a sharp distinction between the truth functional interpretation of a
conditional and any inferential connection expressed in a conditional
statement. In ordinary language we usually interpret the conditionalstatement as expressing an inferential connection between antecedent and
consequent. If the truth functional interpretation of a particular statement
conflicts with the ordinary interpretation, it is unwise to translate thestatement using this operator.
o Subjunctive/counterfactual conditionals are evaluated based on the inferential
connection between the antecedent and consequent. Thus, they are not goodcandidates for logical translation using the horseshoe operator; this also holds
for subjunctive biconditionals.
top
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 5/23
5 Clarion Logic Chapter 6 Notes
6 .3
What are truth tables and why do w e use them in logic?
• Truth tables "give the truth value of a compound proposition for every possible truth
value of its simple components. Each line in the truth table represents one suchpossible arrangement of truth values."
• We use truth tables to analyze compound propositions and arguments. For compound
propositions we classify arguments based on their truth table results as either
tautologous, self-contradictory or contingent. When we compare statements (analyzefull arguments) we classify them as either logically equivalent, contradictory,
consistent or inconsistent.
What is the process for setting up a truth table?
1. To calculate the number of lines in a truth table, use this simple formula: L =2n. L isthe number of lines and the small "n" is a variable representing the number of simple
propositions contained in the statement. Simple propositions are expressionsrepresented by a single letter.
2. Symbolize the statement you are evaluating.
3. Determine the number of lines necessary using the formula presented above.
4. Divide the total number of lines in half and assign the truth value "T" to the lines
beneath the first simple proposition and assign the value "F" to the remaining lines.
5. For each successive simple proposition, divide the number of "T" values in half again
and assign the value "T" to the first half and "F" to the second half. This processsounds far more complicated than it actually is. To see the process in action follow
through the sample arguments that follow.
6. After truth values have been assigned to each simple proposition, evaluate the
proposition working from inside the parenthesis to the outer layers.
7. When you evaluate the column under the main operator, you will be asked to classify
your argument in accordance with the categories below.
Statement Classification Column Under Main Operator
tautologous (logically true) all true
self-contradictory (logically false) all false
contingent at least one true, at least one false
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 6/23
6 Clarion Logic Chapter 6 Notes
See Hurley's explanation covering the classification of propositions. In short, we first try toclassify a proposition as either logically equivalent of contradictory and then, if it does not
meet that criteria, the categories of consistent and inconsistent apply.
Real W orld Applications:
Arguments that are logically consistent can be said to "make sense" because "there will be
at least one line in the group of truth tables where all of the person's statements are true."Arguments that are contradictory or inconsistent indicate that there is not an instance whereboth the premises and conclusion are true.
top
Relation Column Under Main Operators
logically equivalent same truth value on each line
contradictory opposite truth value on each line
consistent there is at least one line on which the
truth values are both true
inconsistent there is no line on which the truth valuesare both true
6 .4 T ru th T ab les f o r A rgument s
The process for testing the validity of arguments with truth table is detailed above. Theprocess is the same is that for testing individual propositions, except we are now testing
multiple propositions strung together. Thus, we w ill be looking for lines on w hich all
premises are true and the conclusion false signaling the argument is invalid. If nosuch line exists, then the argument is valid .
top
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 7/23
7 Clarion Logic Chapter 6 Notes
6 .5 I nd i r ec t Tru t h T ab les
Indirect truth tables provide a shortcut method for testing argument validity. This exercise is
a review of the skills we learned in Section 1.5 where the method of counterexample wasintroduced. In order to set up this shortcut method, we have to consider all possible
situations in which all premises could be true and the conclusion false.
Testing arguments for validity:
The process for testing arguments for validity is described in the section. The method is:
1. Look at the conclusion and determine the ways in which the main operator could
evaluate "false."
2. Assign truth values of false to the conclusion and true for the premises for each
situation in which the main operator in the conclusion could evaluate false.
3. Working backwards from the truth values generated by evaluating the conclusion
false, deduce the truth values for the remaining simple propositions and premises.
4. If you do not encounter a contradiction while assigning truth values to the
premises, then it is possible for all premises to be true and the conclusion false.Thus, the argument is invalid.
5. If a contradiction is produced in the attempts to assign truth values to thepremises, circle the contradiction and declare the argument valid.
6. For arguments with multiple w ays of evaluating false:
o you must generate a contradiction on every line for the argument to be valid.
o You can stop evaluating on a single line when you produce a contradiction.
o If you fail to produce a contradiction on any line, (i.e., your deductions
produce true premises and a false conclusion), you can stop evaluating the
argument. It is invalid.
Depending on the order of assignment of truth values in the premises, contradictions can beproduced in multiple ways if an argument is valid. So it is possible that the solution
presented in the text will be different from the one that you deduce. As long as you haveevaluated the simple and complex propositions correctly, your solution is equally valid.
Testing statements for consistency:
The process for testing statements for consistency is similar to testing arguments for
validity. The process differs from the above in the following ways:
1. Assign the value of true to the main operator of each statement.
2. Pick one of the statements and create a line for each situation in which the main
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 8/23
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 9/23
9 Clarion Logic Chapter 6 Notes
6.6 Argument Forms and Fallacies
This section introduces common valid and invalid argument forms. Six valid and two invalidforms are introduced. It is possible to affirm validity/invalidity for any of these forms and I
invite you examine each one of them via the truth table method. Without further delay, here
are the forms:
Disjunctive syllogism (DS):
This argument form relies on the "method of elimination" for its validity. Note that one of
the two disjuncts must be eliminated for this argument form to be valid. This is the casebecause "inclusive disjunction includes the possibility of both disjuncts being true."
p ∨ q
~p
∴ q
Pure Hypothetical Syllogism (HS):
A hypothetical syllogism is a chain of conditional statements such that the consequent of one
premise is the antecedent of the remaining premise. Not every argument with three conditional
statements is a hypothetical syllogism.
p ⊃ q
q ⊃ r
∴ p ⊃ r
Modus Ponens (MP):
Modus ponens is dubbed "asserting mode" because it affirms the antecedent in the secondpremise and the consequent in the conclusion.
p ⊃ q
p
∴ q
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 10/23
10 Clarion Logic Chapter 6 Notes
Modus Tollens (MT):
Modus tollens is dubbed "denying mode" because it denies the consequent in the secondpremise and the antecedent in the conclusion. See Hurley's explanation for the logic
behind modus tollens.
p ⊃ q
~q
∴ ~p
Be sure not to confuse the invalid forms of affirming the consequent and denyingthe antecedent with MP and MT. Although they look like their valid cousins, these latter
two forms are invalid and can be proven so by using truth tables or counterexamples.
Constructive Dilemma (CD):
Be sure to study this form closely as many of the exercises in the text and on our examswill mimic this form, but not match it. Hence it is wise to note that the second premise
contains the antecedents of each conditional statement and the conclusion contains eachconsequent.
(p ⊃ q) • (r ⊃ s)
p V r
∴ q V s
Destructive Dilemma (DD):
Again, a caution to study this form closely as many of the exercises in the text and on our
exams will mimic this form, but not match it. Hence it is wise to note that the secondpremise denies the consequents of each conditional statement and the conclusion deniesthe antecedents.
(p ⊃ q) • (r ⊃ s)
∼q V ~s
∴ ~p V ~r
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 11/23
11 Clarion Logic Chapter 6 Notes
Refuting Constructive and Destructive Dilemmas:
1. There are two direct methods for refuting CD and DD arguments. The first is labeled
"grasping by the horns" and it requires us to prove that one of the two conditionalstatements in the first conjunctive premise is false. Remember conditional
statements evaluate false if the antecedent is true and the consequent is false. Thesecond technique is labeled "escaping between the horns" and in order to use it to
prove invalidity, we must prove the disjunctive premise false.
2. An indirect method of refuting CD an DD arguments is to show that the arguer hasnot considered all possible scenarios in the conditional statements that comprise
the conjunctive premise; depending on which of the two arguments you areattempting to refute, the disjunctive premise should remain unchanged and the
remaining set of antecedents or consequents should be changed.
3. A method for recognizing argument forms:
4. These tips are taken from the last few pages of section 6.6.
5. Symbolize the ordinary language argument.
6. Compare the valid argument forms to the argument you have symbolized and lookfor patterns that would signal you have a valid form.
7. Remember, the statement p V q is logically equivalent to q V p and you may have to
change the order of the disjunctive propositions to see the pattern.
8. Negated letters may also be substituted for p, q, r, and s.
9. The statement p is logically equivalent to the statement ~~p.
10. The order of premises does not affect the form of an argument. You may have to
rearrange the premises to recognize the form.
Smartboard Notes from Chapter 6 Lectures:
Section 6.1:
Part 1 and 2 problems done in class:
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 12/23
12 Clarion Logic Chapter 6 Notes
Part 1: Homework
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 13/23
13 Clarion Logic Chapter 6 Notes
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 14/23
14 Clarion Logic Chapter 6 Notes
Section 6.2:
Text Example:
6.2 Part 1 Problems:
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 15/23
15 Clarion Logic Chapter 6 Notes
Homework from Section 6.2:
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 16/23
16 Clarion Logic Chapter 6 Notes
top
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 17/23
17 Clarion Logic Chapter 6 Notes
Smartboard Notes for Sections 6.3 & 6.4:
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 18/23
18 Clarion Logic Chapter 6 Notes
top
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 19/23
19 Clarion Logic Chapter 6 Notes
Homework Review Week 12 Sections 6.3 & 6.4
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 20/23
20 Clarion Logic Chapter 6 Notes
top
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 21/23
21 Clarion Logic Chapter 6 Notes
Smartboard Notes from Sections 6.5 & 6.6
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 22/23
22 Clarion Logic Chapter 6 Notes
8/7/2019 Clarion Logic CH6 Notes
http://slidepdf.com/reader/full/clarion-logic-ch6-notes 23/23
23 Clarion Logic Chapter 6 Notes