Paige Nordberg's Tutoring Hours
Monday: 4:15-5:15 Mendocino 4005 (December 12th Mendocino 4007).
Wednesday: 12:15-1:15 Mendocino 3007
Thursday: 4:30 -5:30 Mendocino 1024 (but send Paige e-mail to confirm) (Dec. 15th Mendocino 2032)
Note: For the rest of the semester Paige's tutoring hours are by appointment only.
Remember: Test 12 will be given at 9am on Tuesday December 13th.
There is a legitimate way of translating the second premise on test 10 that renders the proof invalid. Translate second premise as: For all x, either it is not the case that Sarah loves x or x is Barney.
Here are the proofs we did on Tuesday. We will do test 10 and test 11 on Thursday.
Here are the proofs we did on 12/1. We will continue with this worksheet and take test 10 at the end of the period. Thursday 12/8 we will take test 11. There will be no instruction and no new material. Test 12, which will also involve no new material, will be given at 9am on Tuesday December 13th. The final exam period for this class is 8AM to 10AM, but we will only use the last part of it.
Predicate calculus rules for identity. Screencast and worksheet will be posted by noon Wednesday. We will have a quiz at the beginning of the period on identity, then do proofs involving identity.
No new material. We will continue working on proofs from Worksheet 20, then take a test at the end of the period. These are the ones we did in class. Not that I also included a shorter and simpler way to do #4. Be sure you can do all of the ones we have worked out so far and then try your best to finish the rest. The test will include at least one of the problems from this worksheet.
We will adopt the Quantifier Equivalence rules and continue working proofs. Slides, screencast and worksheet will be posted by Saturday. Quiz on equivalence rules.
Here are the proofs from Worksheet 19 that we finished in class today. I updated this worksheet with more problems. You should be sure you can do all the ones we finished today and work at least the next 5 for Thursday. We will spend the first 45 minutes on these and then finish with a test.
We'll cover the two rules for the existential quantifier, p. 102-06. We'll start with a quiz on the rules for the universal quantifier. Screencast, slides and problem set will be posted by Sunday.
Starting the predicate calculus, inference rules for the universal quantifier, p.98-102. Screencast, slides, notes and problems will be posted by noon 11/9. Quiz at end of period on proper use of universal elimination and universal introduction.
Test 6 (two pages) has been uploaded to the schedule page. It is due at the beginning of class on Tuesday. Test 7, will be similar to Test 6, and will also be administered at the beginning of class. After Test 7, we will review as much of Test6 and Test7 that we have time for.
Lecture 17 is a short one on the relation of identity. The slides are posted as well as a corresponding worksheet, which you should do. I will have the screencast up by Wednesday afternoon. Identity is discussed in the book on pages 94-96. Don't worry about the refutation tree rules, because we are not doing refutation trees for predicate logic. On Thursday we will work on the worksheet and then take a test on translating English statements into predicate logic and evaluating predicate logic statements in relation to a given model.
Do Worksheet 15. There is a simple universe of shapes of different colors and in different physical relations to one another. The assignment is to evaluate each of the predicate logic sentences as true or false of that universe. Don't guess, in class you will need to justify your assignment of truth values by reference to the meanings of the statements. We will finish with a clicker quiz on this skill. I will post a new screencast up by Sunday.
We'll begin with another predicate logic translation quiz and spend the rest of the period doing as many translation problems from Worksheet 14 as possible.
The posted slide cover the formation rules and semantics of predicate logic. I did not have time to do a screencast for tomorrow, but the slides should be adequate for now.
We'll begin with a quiz on basic translations then finish the period working on them. Screencast covers all problems on Worksheet 14. Carefully go over them, then do the first 20 problems on Worksheet 15, which is now posted. We will review these in class. Solution to Test 5 is posted.
We'll begin with the test we didn't take on Tuesday. I said that we would also have a quiz, but we will postpone that so we can get immediately to work on predicate logic. We are skipping Chapter 5. Read the first two sections of Chapter 6 on: quantifiers, variables, predicates and names, as well as Lecture 13. Do worksheet 13 and we will go over it in class.
Read the text, and watch the screencast Video Lec12 on equivalences. Pay particular attention to the DeMorgan's proofs on the screencast and try to get to the point where you can reproduce them yourself. Do the first 7-10 problems involving equivalences on Worksheet 12. We will do as many of these as we have time for during the first 45 minutes. Then we will take a test on proofs involving derived rules and equivalences. Take the time to memorize all of the derived rules, and the equivalences I emphasize in the screencast. Note that I give you a very useful one that is not in the book, and identify a couple that aren't particularly worth remembering.)
Please note Paige Nordberg's tutoring hours above. These are free. She is good. Go to them.
I posted the wrong worksheet 11 last time. It is corrected now. We worked on the first 5 problems in class on Tuesday. No test on Thursday, but challenging test coming up on Tuesday, so bust your hump on these ones.
We will consolidate our grasp of the hypothetical rules by working through proofs of some of the derived rules and equivalences. You should memorize the derived rules on page 52: Modus Tollens, Hypothetical Syllogism, Repeat, Contradiction and Disjunctive Syllogism. The rules of Absorption and Constructive Dilemma are sometimes useful, but not as important to memorize. You may use any of these rules to work proofs on the new worksheet. We'll begin the class with a short quiz on the derived rules you need to memorize, then work through the worksheet.
Paige Nordberg, a tutor for Phl60, will be holding regular hours starting next week. Her email is at the Logic Tutoring link above. She has also created flashchards for memorizing the basic rules. There are two different kinds, one to be cutout and the other to be used on the computer. For the cutout variety, be sure to pay attention to the instructions for using them are at the bottom of the page.
NOTE: A flashcard link was posted here on Saturday 10/8 that had an error in the rule for ~I.
We will begin the class by doing the test I let you take home. This has been uploaded to the schedule page as Test 4. The test you take at the beginning of class will be identical to this one. You will have 17 minutes to do it. We will then have a quiz on the ~I rule, and finish by going through the problems on the worksheet. Be sure to engage the book, slides and video lecture 10, as well as the worksheet or you will be behind.
Screencast 9 reviews conditional elimination with vE. Study it carefully, make sure you can reproduce all the proofs there, and then continue to the worksheet. We'll work on that the first 45 minutes on Tuesday, then finish with a test over proofs involving conditional elimination.
We will be introducing the first hypothetical rule of conditional introduction. Read the book. Screencast 8,, slides and worksheet are posted. We'll work problems from the worksheet, then take quiz covering conditional introduction. Work hard and be ready to produce in class, this rule is more challenging.
We'll introduce the other four basic inference rules on page 44 and work some more problems. The only one that is difficult is vE, so spend a lot of time with the screencast to make sure you understand how that works. Screencast, slides, and problem set will be posted by Saturday. Tuesday we will have quiz on all basic inference rules and review problems.
Solution to test 3 has been uploaded to schedule page. Read Chapter 4, p. 42-46 and watch corresponding screencast VideoLec 7. Memorize the first 4 inference rules and do corresponding worksheet on schedule page. We will begin with a short quiz involving those inference rules and then review the worksheet for the rest of the period.
Grades for test 2 are posted on e-instruction and a solution is posted on the schedule page. Friday I will post a lecture covering more complicated trees and a worksheet. Tuesday we will review some of the problems from that sheet, then take test 3, which will cover these more complicated trees. Many of you did poorly on this test and it was an easy one. It is going to happen again on Tuesday if you don't immerse yourself in the online instruction.
Test on Thursday at the end of the period covering translation of English into propositional logic and truth tables as well as basic refutation trees. It is closed book, so be sure to memorize the truth tables and refutation tree rules. You know them if you can write every single one down from from memory, otherwise you do not.
Screencast lecture will by up by noon 9/14 covering refutation trees.
Lecture 4 and notes and worksheet are all posted. For Tuesday (9-13) read the section on refutation trees and start to memorize the refutation tree rules. Quiz on Tuesday covering worksheet 4 and some basics of refutation tree rules which will be covered in lecture 5, now available online.
We will begin the class with a 15 point clicker test on identifying wffs. Read through page 31 and memorize the truth tables for the operators. Slides for Lecture 3 and the lecture are both up. We will be working Worksheet 3 in class, but you should try it on your own.
Be sure to do everything under the previous entries below. We will have a clicker quiz at the very beginning of class covering the syllabus. Be sure you have read through p.26 in the book as well as both sets of lecture slides posted on the schedule. By noon 8/31 there will be a lecture posted covering the slides from lecture 2 as well as a translation worksheet. After the quiz on Thursday we will spend time working on translations and then finish with our first test, also on translations.
Note: Remember, these videos are not supplements, they are the lectures, and you will not be getting them again in class. It's your job to watch them and to take notes on anything you didn't understand. I will ask for questions at the beginning of the class, but you should also feel free to ask me directly by e-mail.
Slides for the first lecture have been uploaded to the schedule page. You are not responsible for having read them on 8/30, but it is a good idea to do so anyway as they clarify what is important in chapters 1 and 2. Also, be sure to read and do everything described below.
Hi everyone, this is some basic information about your course. (Updated 8/26)
By before our first class meeting you should have
1. Purchased your book and clicker (see below)
2. Registered your clicker online (see below)
3. Read the syllabus for this course.
4. Read chapter 1 and 2 of the book.
Be sure to bring your clicker to class. It will not function in class if you have not registered it online. This process takes time so don't plan on doing it right before class.
These are the course materials you will need to buy or rent.
1. Textbook: Schaum's Easy Outline of Logic, Crash Course. by Nolt, Rohyatyn and Varzi.
All materials are available at the Hornet bookstore. Note: You may purchase or rent either the CPS GEN 2 RF Response Pad or the CPS Pulse Clicker, but no other clicker will work.
Instructions for registering your clicker.
You will need to go online and register your clicker for this class. Register it according to the instructions on the box or those you were provided with when you purchased it. You will require a credit card. Be careful to register the serial number of your clicker accurately. At some point during the registration process you will be prompted for a class key. This is a unique number associated with the class in which you are enrolling. The class key for this class is:
If you do not have a box or instructions for registering your clicker, then do one of the following.
1. If you just acquired this clicker, then click here to register it. You'll need a credit card and the class key above.
2. If you are using a clicker that you have previously registered, click here and log in. Then follow the instructions given in 1 above.
3. A few important points about clickers.