Friday, November 15, 2024

Quiz #3: Categorical Syllogisms and Venn Diagrams

Note: We have scheduled in-class quiz #3 for next Wednesday (November 20).  It will consist of 5 proofs lifted directly from Van Cleave, exercise #21.

Wednesday, November 6, 2024

Monday, October 21, 2024

Assignment #7: Categorical Logic; Quiz #2

1. Read Van Cleave, section 2.14; do exercise set 18.

2. Read 2.17; do exercise set 21.

Reminder: we will have quiz #2 on Monday the 28th.

Supplemental: Here's a nice video explanation of deductive proofs (note; the video employs ^ for "and")

Bing Videos

Monday, October 7, 2024

Assignment #6: Formal Proofs

Read: Van Cleave, section 2.11. Do exercise sets 16 & 17.

8 Rules of valid inference (I'll have a handout next class):

Modus Ponens (MP)

pq,
p

q

 Modus Tollens (MT)

 pq,
~q

~p

 Disjunctive Syllogism (DS)

pq,
~p

q

 or, if desired,

pq,
~q

p

Simplication (Simp)

p.q

p

 or, if desired,

p.q

q

Conjunction (Conj)

p,
q

p.q

Hypothetical Syllogism (HS)

pq,
q
r

p
r

Addition(Add)

 p


p
q

 Constructive Dilemma (CD)

(pq),
(r
s),
p
r

q
s

 

 


Friday, September 27, 2024

Wednesday, September 25, 2024

Sample Quiz #1

Sample Quiz #1


1. What is a logical argument?

2. List 2 premise indicator words and 2 conclusion indicator words.

3. Which of the following is an argument:

a. “All dogs are reptiles; Fido is a dog; therefore, Fido is a reptile.” B. “Go to your room, because you have been bad, and all bad persons must go to their rooms.”  C. “Water freezes at 32 degrees because the molecules get so cold that they slow down enough to hook onto each other, forming a solid crystal.”

4. What makes an argument invalid?

5. True or false?  “A sound deduction may have one false premise.”

6. Reproduce the chart for induction and deduction

7. Compose an enthymeme, then supply the missing premise.

8. Translate into formal symbolic language:

“It is Friday and it is not raining.”

9. Write an argument that attempts to leap over the “is-ought gap.”  What missing premise would make it valid?

10. Reproduce the truth table for negation.