Thursday, March 30, 2017

Monday's homework is in the previous post.  This is Wednesday's homework, on infinite valued logic. Turn in solutions to the even numbered problems. Show your work.
For Monday, please be sure you have familiarized yourself with the slides on finite multi-valued logic.  Your turn-in homework for Monday is as follows:

Modus ponens is a classically valid inference pattern. Its classical truth table shows that there is no case in which the premises are true and the conclusion is untrue. (Note the use of the word 'untrue' here rather than 'false.' In classical logic, the only value that is untrue is false, but that is not the case in multi-valued logic.)
Task: Draw complete truth tables for modus ponens for both Bochvar's and Kleene's versions of three-valued logic (in the slides, policy 1 and policy 2 respectively.) Then answer the following questions: 
1. Do either of these systems preserve the validity of modus ponens as defined above? 
2. What does your answer suggest about the relative desirability of these systems?


Wednesday, March 29, 2017

Solutions to derivation problems in free logic are posted to the schedule page as HW11.  On Monday we will move on to multi-valued logic.  Slides are posted to the schedule page. I will post homework by tomorrow.

Tuesday, March 28, 2017

Wednesday we will work on derivation in free logic. Your turn-in homework assignment is to do #1 on this page.  At 9AM this morning there is only one problem, but I will add several more by noon and you should try as many as you can. Be sure that you are using the quantifier rules for free logic as described in the text and the lecture slides.

Also, I posted full solution to Monday's homework on the schedule page. This contains the answers to a few problems I skipped because I wasn't completely sure how they should be evaluated.  I have confirmed these solution and they are highlighted in blue. The rationales are straightforward and you should familiarize yourself with them. Ask questions Wednesday if you don't understand them.

Tuesday, March 21, 2017

Here is the homework for Monday 3/27.  Your turn-in assignment is to do all of them. Be sure you have acquainted yourself with the text/slides on the semantics of Meinongian free logic.

Wednesday, March 15, 2017

Solutions to Homework 9 covering derivations in modal logic have been posted to the schedule page.

I will assign homework on the semantics of free logic by Wednesday next week, due Monday the 27th when we return from spring break.  Also, I have decided to push the next text back. It is now scheduled for April 17th.
The homework tally has been updated.  See the small table on the top of the schedule page. Be sure that my tally agrees with yours and see me with all of your returned assignments if it does not. Recall that you were awarded 1 homework credit for taking the first test.

Monday, March 13, 2017

I forgot to mention in class today that if you are submitting to the Nammour student essay contests and wish to earn credit in this class for your work, please cc me on your submission.

Wednesday we will work the remaining problems from today's homework. Please turn in numbers 9 and 11. The second half of the period we will begin talking about Meinongian free logic.

Friday, March 10, 2017

I modified and corrected the Monday homework a little bit. The problems assigned below are now number 3 & 4, rather than 2 & 3. (The turn-in problems have not been changed, only the numbering.)
Here is the homework for Monday.  Turn in problems 2 and 3.

Thursday, March 9, 2017

The solution to HW 8 is posted on the schedule page. Be sure you can follow and produce the proofs I provided in the left hand column and come to class with any questions.  We'll start with derivations in modal logic on Monday and I'll provide some as homework for you by tomorrow.

Monday, March 6, 2017

Here is the Wednesday homework.  Turn-in all of them. We'll begin by discussing it in class.

Friday, March 3, 2017

See below for Monday homework.

Grades for test 1 have been posted to SacCT. These reflect a curve of 2 points, which produced a mean score of 17.5 = 70%.  Your returned copy will only show your original score. Be sure to check my addition and also that your score in SacCT is 2 points higher than the score on your test.

Now is a good time to review the syllabus and refresh your memory on the impact of this test and ways to recover if you have done poorly. Note that the deadline on one of those ways, participating in the Nammour Symposium Student Contest, is fast approaching. Check the department Facebook link for the most recent announcements.

This is the turn-in homework for Monday:

In the semantics of Leibnizian modal logic, the following proposition is a necessary truth.
□(P → Q) → (□P → □Q)
It says that "If it is necessarily the case that if P then Q, then if it is necessarily the case that P, then it is necessarily the case that Q."

Use Leibniz's notion of possible worlds to explain in English why this should be a necessary truth.

Wednesday, March 1, 2017

I've posted the solution to the test to the top of the schedule page.

Next week we move on to Leibnizian modal logic. Lecture slides based on the text are posted on the schedule page.  I will post your homework by tomorrow.