Thursday, April 27, 2017

Here is the homework for Monday. Turn in the first two, but try to work through them all. These are simple problems that give you good practice with the form. Be sure to review the slides and/or text on mathematical induction.

Wednesday, April 26, 2017

Answers to today's homework are posted. Please be sure to study them and come Monday with any questions. We'll go over a couple more on Monday and then move on to mathematical induction. I'll post homework for Monday by tomorrow.

Tuesday, April 25, 2017

Tomorrow's homework is posted below. It covers the last part of Set Theory 2.4. We will also get started on mathematical induction.

Monday, April 24, 2017

Here is Wednesday's homework. Please turn in the even numbered problems.

Thursday, April 20, 2017

Here is Monday's homework, which covers Set theory 2.3 and about half of 2.4.  Please turn in the even numbered problems.

Wednesday, April 19, 2017

Solutions to all of today's homework problems are posted on the schedule page.  See below for previous post regarding test results.
Scores for test 2 have been posted to Blackboard and tests will be returned in class today. The score on BB reflects a 2 point curve. Check to be sure that it is two points higher than the score written on your test.

Tuesday, April 18, 2017

In case you are also trying the even numbered problems for tomorrow's, homework, there was a typo in problem 4 that I have just corrected. I'm sorry about that.

Monday, April 17, 2017

The solution to test 2 has been posted to the top of the schedule page. Let me know if you detect any errors.

Sunday, April 16, 2017

Here is the homework for Wednesday. Turn in odd numbered problems.

See multiple posts below for information regarding Monday's test.

Saturday, April 15, 2017

This is the summary of rules with which you will be provided on Monday. Be sure that you understand the condensed statement of the free logic rules as I will not clarify them for you during the test. Note that, as before, you must know the quantifier rules for classical predicate logic. Note, also, that on this test you must know the valuation rules for multi-valued logics. For the 2 pt. extra credit problem you must also know the 3rd definition of validity in infinite valued logic.

Friday, April 14, 2017

Also, I neglected to mention that there will be 1 extra credit problem worth 2pts. This will involve evaluating the validity of an argument according to the third definition of validity as you did on HW 14.
Note: For Monday's test, calculators may not be used on the problem that involves computing truth values in infinite valued logic. See previous posts for other information about the test.
Please see previous post for general description of Monday's test.  Here is a sneak peek of the models that will be used for problems 1 and 3 respectively.
The test on Monday will have roughly the same format as the first test. It will involve 5 problems worth 5 points each as follows:
1. The semantics of modal logic, in which you evaluate formulas with respect to a model.
2. A proof in modal logic. It will be very similar to one of the homework problems.
3. The semantics of free logic, in which you evaluate formulas with respect to a model.
4. A proof in free logic. It will be very similar to one of the homework problems.
5. The semantics of multi-valued logic (both finite and infinite), in which you will evaluate the truth values of a list of propositions relative to specific truth value assignments. For finite multi-valued logic you should know both Bochvar's and Kleene's approach, which I will refer to on the test as Policy 1 and Policy 2 respectively (just as in the notes.)
There will be no set theory on the test. As before, it is closed book, but I will provide a sheet containing relevant material (inference rules and equivalences) from the first test as well as the inference rules for modal logic and free logic. It will not contain valuation rules for the truth values of formulas on any system.

Sunday night I will put the models up here for 1 and 3 so that you don't have to spend time assimilating them on Monday.

Wednesday, April 12, 2017

Solutions to today's homework are on the schedule page. I will give some studying advice for the test on Monday by tomorrow.  There is no homework due on Monday, but I will post homework for Wednesday by Sunday.

Tuesday, April 11, 2017

Here is the homework for tomorrow. Turn in odd numbered problems.  Please review posts below.

Monday, April 10, 2017

Unfortunately I won't be able to hold all of my usual office hours on Wednesday. I can will be there from 8:45-9:45 and from 1 to 1:30.
Solutions to today's homework are posted on the schedule page.  Please read the first reading on set theory in BB which corresponds to 2.1 lecture slides on the schedule page. I will have homework problems available by tomorrow morning.

Thursday, April 6, 2017

Here is the homework for Monday. Turn in the odd numbered problems.

Wednesday, April 5, 2017

Chaz was right that there was a typo in the statement of the valuation rule for the conditional. I inadvertently substituted a + for a - .  Thanks to Chaz for pointing this out!  I will try to post homework for Monday by tomorrow but Friday at the latest. We fill be talking about inference in multi-valued logic and perhaps a little bit of set theory.

Monday, April 3, 2017

Wednesday's homework is below. Since many philosophy majors wish to attend the Nammour Symposium during our class period, I will accept the homework if turned in to me in my office before class on Wednesday.