## Tuesday, December 11, 2018

## Monday, December 10, 2018

## Wednesday, December 5, 2018

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 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.

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:

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 inanyorder you choose, butnotconcurrently. When you are finished with one, you may submit it (irretrievably) and request the other.

2. Youmaychoose 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 isRegarding the tests themselves:nooption to substitute your grade on the midterm for your grade on the final.)

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 firstorsecond 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 problemssimilarbut not identical to those from homework 20 on the course schedule. One or more problemsidenticalto 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.

## Friday, November 30, 2018

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.

## Saturday, November 24, 2018

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__.

## Saturday, November 17, 2018

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!

## Friday, November 16, 2018

## Wednesday, November 14, 2018

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.

## Tuesday, November 13, 2018

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.

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).

## Monday, November 12, 2018

## Thursday, November 8, 2018

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.

## Wednesday, November 7, 2018

## Friday, November 2, 2018

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.

## Tuesday, October 30, 2018

## Friday, October 26, 2018

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.

## Tuesday, October 23, 2018

## Thursday, October 18, 2018

- 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.

## Wednesday, October 17, 2018

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!

## Friday, October 12, 2018

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.

## Thursday, October 11, 2018

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

## Tuesday, October 9, 2018

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.

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.

## Friday, October 5, 2018

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 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.

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

I'll be posting a practice test sometime today.

## Tuesday, October 2, 2018

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.

## Friday, September 28, 2018

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.

## Wednesday, September 26, 2018

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

## Friday, September 21, 2018

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.

## Thursday, September 20, 2018

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

## Tuesday, September 18, 2018

## Friday, September 14, 2018

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.

## Tuesday, September 11, 2018

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

## Monday, September 10, 2018

## Thursday, September 6, 2018

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

## Wednesday, September 5, 2018

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.

## Tuesday, September 4, 2018

## Friday, August 31, 2018

## Tuesday, August 28, 2018

## Thursday, August 23, 2018

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

Subscribe to:
Posts (Atom)