Here is the list of inference rules and definitions you will have available to you during the midterm and the final. There are no tree rules, but there will be be no tree problems on either test.

Solutions to all of last week's homework are now posted. As noted in class, you are not accountable for the last two problems.

Here are the essay questions for the final exam. Three of them will be on the exam. Which three will be determined randomly before the test begins.

Please read the previous post in its entirety, but note the following correction:

I forgot about Thanksgiving, and thereby miscounted the number of homework opportunities you would receive. The syllabus says you will have 28, but I only gave you 27 (including the double counting of the two post-Campfire homework assignments and 1 pt. for each midterm.)

I also realized that I have created a perverse incentive to "do the midterm" by simply signing your name on it and turning it in, just to get the homework point. 

Hence, since everyone will do the final, I have decided to change what I said below so that you will receive 2 homework credits for the final and 0 homework credits for doing the midterm.

Friday is the last day to do course evaluations. Please do them. Here is the incentive provided in the syllabus. There are many people in the class for whom this could make a significant difference.

The percentage of students in the class who complete the course evaluation will be multiplied by 2. The product will be added to every students point total. For example, if 80% of students do the evaluations then 1.6 points will be added to every student's final grade.

I'll be updating your homework scores today on Canvas. After today there will be 2 more points available for turning in homework, viz., 1 point for tomorrow's homework and 1 point for taking the midterm.

The final exam period for this class is scheduled for Thursday 12:45PM - 2:45PM. Please note the early start-time!

As noted below, the 2nd midterm and the final will be administered during the final exam period. The default expectation is that you will take the midterm first and the final exam afterwards. However, you are not constrained by the default. Here are your real-life options.

1. You may do the tests in any order you choose, but not concurrently. When you are finished with one, you may submit it (irretrievably) and request the other. 

2. You may choose to do only the final exam. If you do this, then the grade you get on the final will be substituted for your 2nd midterm grade as well. This is not a recommended strategy, but it may not be a bad one for some students. 

3. You may spend as much time as you like on each test, as long as the total does not exceed 2 hours. (Clearly, a poor strategy is to spend more than one hour on the midterm, as there is no option to substitute your grade on the midterm for your grade on the final.)

Regarding the tests themselves:

The midterm will have the same content and structure as advertised below before it's postponement. (Here is the practice test. Here are the solutions.) The difference will be that the test will be shorter by one problem. All proofs will be drawn from previous solved homework problems. The models used will be the same, but the formulas to be evaluated will be different.

The final exam will consist of:

1. Some problems drawn from the first or second midterm. This is the inclusive or, meaning they may be drawn from both.  However, if I do use problems from the 2nd midterm on the final, they will be of the semantic variety, not proofs. And, consistent with previous practice, these will use the same models, but not the same formulas for evaluation as occur on the 2nd midterm. 

2. Some problems similar but not identical to those from homework 20 on the course schedule. One or more problems identical to those from homework 21 on the course schedule. 

3. Short essay questions relating to general properties of logic and set theory as well as important results. These will mostly cover the last two weeks. By Monday 12/10 I will publish a list of these questions, a proper subset of which will occur on the final. 

4. You will be provided with a list of inference rules and definitions. I will put it up here by Monday 12/10, so that you can be familiar with its contents.

For next week, the homework problems will come from yesterday's sheet.

Tuesday: Turn in problems 4 & 5.
Thursday: Turn in problems 6 & 7.

I have  posted solutions to problems 1-3 on the schedule page.

For lecture we will cover the  slides from weeks 14 and 15. There will be no homework problems assigned for these, but the final will cover them. I will be clearer next week about what sorts of questions you may be required to answer on the final.

I hope you all had a satisfying Thanksgiving and are enjoying being able to breathe again.

As you know, we missed three class periods due to the smoke from the Camp Fire. This homework, which was originally due on Tuesday November 13th, is now due Tuesday November 27th. The assignment is to do all of the problems.

In the immediately preceding post I explain that the midterm, which was to have been taken on Tuesday the 20th has been postponed to the day of the final.  The practice test below remains indicative of what that test will contain, but I will be shortening it so that it is reasonable to expect it to be completed within an hour. I will not tell you in advance how I will be shortening it.

The syllabus indicates that you receive a homework credit for taking each of the midterms.  This remains in effect. If you choose not to take the midterm, then you will not receive a homework credit on the day of the final.

Here is the homework for Thursday, which draws on the second set of lecture slides (2.4) from week 12. Turn in numbers 1 and 3.

During the final week of classes we will be studying selectively from material for the final 2 weeks of classes.

Important: In order to make up the rest of your homework points, each homework for this week will be worth 2 points.

As you probably know, classes for next week have been canceled as well. This means that we will have only four class periods left during the semester. Under these circumstances, I do not want to devote an entire class period to a midterm, so I am going to create two one-hour long tests to administer during our final exam period. The first will be the midterm and the second will be the final. This will preserve the structure of the course, which permits you to substitute your final exam grade for your lowest previous midterm grade.

Technically (just as on the original syllabus) you do not have to take the midterm. If you like, you may simply take the final and spend the entire two hours on it. If you do this, the grade you get on the final will count twice. But I will design each test so that it is reasonable to complete them in an hour.

A reasonable question is whether you may simply take the midterm and apply it to the final. The answer to this question is no.

I'll post at least one more time next week to clarify homework expectations.

Have a good Thanksgiving!

OK, so, no real changes. It seems that I am forbidden from assigning you any work over the weekend, but stay tuned Sunday night.  If campus is going to be open on Monday, then I will give you something reasonable to turn in and count for homework credit on Tuesday. Read the previous posts if you have not done so.

Classes have been cancelled for Thursday 11/15.

Under the circumstances I have decided it is inappropriate to have the midterm on Tuesday 11/20, hence I will be changing it to Tuesday 11/27 instead.

This will obviously necessitate some other changes to the course schedule, which I need to think about, but will post here by Friday. 

This sucks. I hope you are all doing ok.

Please read post below to see what's happening on Thursday.

Here is a practice test for next Tuesday.

Here are the solutions (to all but the extra credit problem.)

I will use roughly the same models for the test on Tuesday. If I make any small changes, I will announce them by Monday night.  Proofs, as before, will be drawn from previous homework. Except for the extra credit problem.

This morning I will be posting the complete solutions to Thursday's homework, including for the proofs we haven't gone over yet.  Please make serious attempts to do all of them on your own, then study the solutions and come Thursday with questions if you have any. Obviously this means that I am posting the solutions for the homework that is due today. On Thursday, please turn in what was your best attempt before looking at the solutions.

For Thursday please do and turn in all of the problems from this worksheet. You will need to review both sets of  slides and/or text from week 12.

We will remain on track for having the test on the 20th. I will put up a practice test and solutions tomorrow so you can see what it will cover (modal logic, free logic and introductory set theory).

There will be no class on Tuesday November 13th. President Nelson has closed campus due to poor air quality.

Tomorrow I will assign homework for Thursday so that you may get credit for turning in homework on both days.

Solutions to this week's homework are posted on the schedule page. In addition to the answers we provided in class, I have posted an explicit predicate logic proof of the first derivation. Even if you are happy with your understanding of what we did today, it is useful to see that it is possible to create explicit predicate logic proofs that appeal to the set-theoretic definitions in each step. It will also show you why we almost never do this.

For Tuesday, finish the proofs from this page, turning in numbers 6 and 7. Also finish reading 2.2 lecture slides and read 2.3 slides on functions as well.

Thursday's homework will come from this page, but we may do some of it on Tuesday, so I will wait until then to assign specific problems to turn in.

We will finish reviewing yesterday's homework on Thursday and then work on derivations.  For homework, turn in the last two problems on Tuesday's worksheet (which are both derivations) and attempt (but do not turn in) at least the first three of the 2nd worksheet in the previous post.

Complete solutions to this week's homeworks are posted on the schedule page.

Here is the homework for Tuesday.  Submit all except the last two problems.

The homework for Thursday will depend on what we get done on Tuesday, but it will probably involve some problems from here.

I will be updating your homework submissions this weekend and returning them to you on Tuesday.

Note that the 2nd midterm is scheduled for November 20th, which is the last class before Thanksgiving break.

For homework Thursday turn in problem 10 and 12 from today's homework sheet. (The problems have been renumbered, so be sure to look at the sheet again.)

Solutions to yesterday's homework are posted on the schedule page.  

Tuesday we will move on to derivations in free logic. As the notes and book explain, this involves the adoption of new rules for the quantifiers, so when you do free logic you can not use the regular quantifier rules from predicate logic. All other inference rules and equivalences apply, including rules for modal operators.

Here is the homework for Tuesday. Turn in problems 1-3. Answer the question posed under 1. I'll assign problems from the same page for Thursday, but I'm not sure which ones yet.

Full solutions to the last two homeworks are on the schedule page. Thursday's homework is still as advertised below.

Tuesday:

• We'll do some more modal logic derivations on Tuesday from the same sheet. Turn in the orange ones for homework. During the second half of the period we'll talk some about Meinongian free logic. Slides and text in the schedule under weeks 9-10.

Thursday: 

• We'll do Meinongian free logic semantics. Here is the homework. Turn in all. 

Solutions to yesterday's homework are posted on the schedule page. We'll finish up the problems in the second column on Thursday and then move on to derivations in modal logic, which are covered in the second half of the lecture slides.

This morning I noticed a typo in the Homework for Thursday.  The assigned problem #4 originally said to use the result from #2, but it should have said #3. This has been changed. Sorry about that!

Exams are graded and scores posted to Canvas.  There was a 4 point curve. When you get your exam back be sure to check that your Canvas grade is 4 points higher than the raw score on your exam.

Next week we move on to Leibnizian modal logic. 

Here is Tuesday's homework. Submit all.

Here is Thursday's homework. Submit the blue ones.

The solution to the test is posted here and on the top of the schedule page.  Let me know if you think you detect any problems with answers on the last page. The trees and proofs are all from previous homework.

Next week we move on to modal logic. I will be posting homeworks by tomorrow.  Reading and lectures are from weeks 7 and 8.

Solutions to today's homework are now posted.

A couple of points with regard to the test:

1. Note that for HW 1 only a couple of tree solutions are provided. However there are two other problem sets labeled More1 and More2. These were not formally assigned to you, but full solutions are presented, so they may occur on the tests.

2. Note that the solutions to HW 3&4 provide you with a link to video & slides on which several of the proofs are presented. Do not neglect to study these. A few of them are a little tricky, but these are fair game for the test as well.

For Thursday's test you will have access to this sheet of rules and equivalences. Otherwise it is closed book.

See previous post for Tuesday's homework.

Here is a practice test. And here is the solution to it.

As noted in class, there will be no surprises on this test. The first four problems will be drawn from previous homeworks, all of which have solutions online. The last problem will involve the same model that is on the practice test. Only the questions will be different.

Do not fail to prepare well for this test! It is foundational material for the rest of the course, and, except for the homework, it is the lowest hanging fruit you will encounter.

Here is the homework for Tuesday.  Please submit the even numbered problems. (I am asking you to do more than the usual amount for submission because there will be no homework on Thursday.) You will need to engage the material on identity and functions.

I have posted solutions to the homework for yesterday on the schedule page.

I'll be posting a practice test sometime today.

Here is the homework for Thursday. Turn in the blue ones and try to have attempted problems 1-7.

This homework permits the use of equivalences from propositional and predicate logic. We'll start class by reviewing them, but you will find a summary of propositional logic equivalences in the propositional logic materials labeled Ch 4.4 (and here for convenience.) You will also find a summary of the quantifier equivalence rules under the predicate calculus materials labeled Ch 8 (and here for convenience.) This summary also contains the derivation rules for identity, which you may ignore for the time being.

I'll have solutions from today's homework posted by tomorrow morning.

Solutions to this week's homework have been posted on the schedule page (as HW7&8).

Please study all those that you had difficulty with, but pay particular attention to problem 7, which is an invalid proof that fails to terminate.  I realized after class that my semantic proof of the invalidity of this argument was hasty, so I've provided the explicit proof underneath.

Here is Tuesday's homework. Turn in the blue ones. Probably Thursday's homework will come from the same sheet, but it will like be expanded to include a few more problems.

To do this sheet you must know all four inference rules for the quantifiers. We have not yet reviewed existential elimination in class, so be sure to engage the video and/or slides and/or text regarding this rule before attempting the homework.  You will also find it helpful to know the derived rules we discussed in class.

Note: The videos on the inference rules for quantifiers make use of some of the derived rules but also the equivalence DN. I have explained how this works on the top of the homework page and you are free to use it even though we have not yet introduced equivalences in general.

I've added three problems involving identity to the homework and highlighted one of them for you to turn in (so there are total of 3 problems, rather than 2 due for tomorrow's homework.)

After working some more trees, we'll introduce Predicate logic derivations.

On Tuesday we will review formation rules for predicate logic and consider any of the formula evaluation problems from yesterday that remain perplexing to you (or that you suspect have been answered wrongly on the solution sheet).

We'll move on to trees in predicate logic.

Here is the homework for Tuesday and Thursday. Turn in the blue ones for Tuesday and the orange ones for Thursday.

I've posted the solutions today's homework here and on the schedule page. Each solution is accompanied by a proof, which you should work to understand and work to be able to produce.

I'll be posting next week's homework tomorrow.

I've posted the solutions to the entire homework from today here and on the schedule page. We'll go over some more of these on Thursday, but the homework for Thursday assigned below remains the same.

Solutions to the homework from last week have been posted on the schedule page.

Homework for Tuesday and Thursday of next week are below.

Tuesday homework

Turn in solutions to the first column.

Thursday homework

Turn in solutions to all of the problems.

The relevant material is explained in weeks 3-5 of the schedule.

For Thursday's homework, try to finish this sheet from today. I indicated two other problems to turn in for homework in blue.

Additionally, study the material from the first two lectures on predicate logic relating to names, variables and quantifiers.

I mentioned in class that I will normally be putting up homework for Thursday before class on Tuesday. This time, however, the homework will be more propositional logic problems of the sort that I have assigned for you on Tuesday, but which ones depends on how much work we get done in class.

Here is the homework for Monday. Turn in the blue ones. We will be covering proofs using the hypothetical rules of Conditional Introduction and Negation Introduction. If this material is new for you, please spend time with the relevant videos.

I will be out of town until Sunday evening, but you can still email me. I just might be slower than usual in answering.

I've posted the solutions to the two assigned problems on the schedule page. Normally I post the problems to all of the assigned problems, but trees are kind of tedious. So, instead I've posted more practice trees with solutions under the headings More 1 and More 2.

Also, I am not sure, but it is possible that in doing the second assigned problem from yesterday's homework I made an undetected transcription error that affected the answer. So please be sure to look at the correct one.

Here is the homework for Thursday. I will post the solution to today's homework tomorrow morning. Thursday we will review some of the homework problems and then talk about conditional and indirect proof.

Here is the homework due Tuesday.  You should work all of the problems, but only turn in the two blue ones. You do not need to type homework, but be sure it is done neatly. Messy work gets no credit.  After working several of the homework problems, we will move on to the propositional calculus.

Today we covered the first section of Propositional Logic.  Thursday we will cover the next two sections relating to the use of truth tables and trees. Please review this material. There is no homework due on Thursday.

Ok, everything is up now. See you tomorrow.

Hi, this is where you are going to come on a daily basis to find out what's going on in class.

I'm sorry for the slight delay in posting the syllabus and schedule. It's undergoing some minor revisions. If it's not up yet, it will be soon.

You will not be required to purchase any books or other materials for this class.

Check back before class on Tuesday, read the syllabus and come with questions.

Randy Mayes