Author: admin

Instructions
Exercise 1
Write each of the following arguments into standard form:
Plato will graduate only if he bribes his instructors. But Plato does not bribe, never has, never will. Therefore, Plato will not graduate.
In the absence of interesting activities in the world life would be boring. But I don’t find life boring—in fact—life is not boring. Therefore, there must interesting activities in the world.
If the washing machine is disconnected, nothing will get washed. But it is connected, I plugged it in myself. So, we will be able to wash.
Your gas bill will be acceptable provided that you do not use more that X many units a month. But you never do use more than X units a month, so your bill will be acceptable.
If Socrates is a dogbomber, then he will have trouble holding down a job. Knowing Socrates, he definitely will have trouble holding down a job, so he must be a dogbomber.
Label the premises (P) and the conclusion (C); you can use the line (“——–“) to separate the conclusion from the premises.
Identify which inference form is used in each of these (affirming the antecedent, affirming the consequent, denying the antecedent, or denying the consequent).
And then, state whether the inference (the argument) is valid or invalid Additional Information
Conditional Statements
If … the cat is on the mat … then … the dog is in the yard
(P) (Q)
The antecedent the consequent
Different ways of representing the conditional:
“P implies Q” “if P is true, then Q is true” “P → Q” “P Ↄ Q” Note: The statement “if P then Q” is a false statement only
when its antecedent statement P is true but its consequent Q is false; otherwise the statement “If P then Q” is true.
Therefore,
When P is false, then “If P then Q” is a true statement
When Q is true, then “If P then Q” is also a true statement
Two Valid Inference Forms (and two invalid forms.)
Valid
A. Modus Ponens (affirming the antecedent)
1. P → Q If P is true then Q is true (P implies Q)
2. P P is true (affirms the antecedent of premise 1)
—————————————-
3. Q Q is true
Given that, assuming that, 1 and 2 are true then it is not possible for Q to be false
also Valid
B. Modus Tollens (denying the consequent)
1. P → Q If P is true then Q is true (P implies Q)
2. ~ Q Q is not true (denies the consequent of premise 1)
———————————
3. ~ P P is not true
If P truly implies Q, but Q is false, then P must be false
Note that these two inference rules come right out of the meaning of the statement “If P is true, then Q is true”.
Negating a conditional
If statement S is true, then…
not-S, or ~ S, or ⌐ S are false
If S is a conditional statement, If P then Q, then to negate it it must be negated this way:
not- (If P then Q). The “not” must go on the outside of the parenthesis so that the whole expression is negated. The statement ” if not-P then Q” with “not” inside says something different.
Note also that asserting ” Not- (if P then Q) ” is logically equivalent to asserting “P and not-Q”,
i.e. asserting that P can be true while Q is not
Invalid – These are Formal Fallacies (they violate logical form)
Denying the antecedent is a fallacy
1. If P is true then Q is true
2. P is false (denies the antecedent of premise 1)
—————
Q is false This argument form is invalid
Even though P implies Q, so might other things. P being false does nothing to Q’s truth status, one way or the other
also a Formal Fallacy
Affirming the consequent is a fallacy
1. If P implies Q
2. Q is true (affirms the consequent of premise 1)
————-
P is true No, this is an invalid inference
Stylizations of conditional statements: If P then Q
These are different ways of stating “If P then Q”, different ways of translating “If P then Q”.
P is a sufficient condition for Q
Q is a necessary condition for P
Q is so if P is so (‘so’ roughly meaning true)
Q provided that P
P only if Q is so
Only if Q is P so
Given that P is so, then Q
Not-P unless Q
Assuming P, then Q
Note: “if” dictates antecedent. For example, “P if J” means “If J then P”. It has nothing to do with the letters. It is the logic of “if”.
But the word “only” alters things. The statement “if P then Q” means the same thing as “P only if Q”., or “only if Q is the case, is P also the case”. Thus “if” and “only if” are different. “If” indicates a sufficient condition and logically will identify the antecedent. “Only if”, on the other hand, indicates a necessary condition and logically identifies the consequent.
The above are all variations (translations) for saying “If P then Q” or “P implies Q”
Before starting homework Exercise 1` be sure to review the above translation rules (or stylizations) for conditional statements (right above); and also especially review the material starting at the top about conditionals and the inference forms (some are valid and some are not).
For the homework start off with this exercise – call it Exercise 1 Do the exercise offline first so that you have it ready to copy and paste it into the submission device.
These are exercises on argument forms involving conditional propositions. Re-write each of the following arguments into standard form: Plato will graduate only if he bribes his instructors. But Plato does not bribe, never has, never will. Therefore, Plato will not graduate.
In the absence of interesting activities in the world life would be boring. But I don’t find life boring—in fact—life is not boring. Therefore, there must interesting activities in the world.
If the washing machine is disconnected, nothing will get washed. But it is connected, I plugged it in myself. So, we will be able to wash.
Your gas bill will be acceptable provided that you do not use more that X many units a month. But you never do use more than X units a month, so your bill will be acceptable.
If Socrates is a dogbomber, then he will have trouble holding down a job. Knowing Socrates, he definitely will have trouble holding down a job, so he must be a dogbomber.
Each argument will have the premises listed first, and then the conclusion at the bottom. Label the premises P for each premise and C for the conclusion. You can use the line (“——–“) to separate the conclusion from the premises. Identify (state) which inference form is used in each of these (is it affirming the antecedent, affirming the consequent, denying the antecedent, or denying the consequent?)
Explain whether the inference (the argument) is valid or invalid. (remember, these are only exercises in deduction—do not get involved with inductive assessments about the truth of the premises.
HOMEWORK ASSIGNMENT
Exercise 1 above), Display each of those five arguments into standard form. Identify which inference form is used in each, and explain whether the inference (the argument) is valid or invalid.
Again, just repeating the exercise specifications:
Re-write each of those five arguments into standard form: that is a list with one sentence per line; the premises listed first, and then the conclusion at the bottom.
Label the premises (P) and the conclusion (C); you can use the line (“——–“) to separate the conclusion from the premises.
Identify (state) which inference form is used in each of these (affirming the antecedent, affirming the consequent, denying the antecedent, or denying the consequent).
And then, state whether the inference (the argument) is valid or invalid. (remember, these are only exercises in deduction—do not get involved with inductive assessments about the truth of the premises.