tag:blogger.com,1999:blog-10321981201477148822019-05-20T01:56:44.593-07:00Philosophy 160 Deductive Logic IIG. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.comBlogger43125tag:blogger.com,1999:blog-1032198120147714882.post-28905201935636007862018-12-11T09:37:00.004-08:002018-12-11T09:37:42.057-08:00<a href="https://drive.google.com/file/d/1XIb2t_UMBXhBm4mw7coNDNwCBV_x_cqr/view?usp=sharing">Here</a> 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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-17068116638875747192018-12-10T13:05:00.001-08:002018-12-10T13:05:30.947-08:00Solutions to all of last week's homework are now posted. As noted in class, you are not accountable for the last two problems.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-12766299916979997042018-12-10T11:07:00.000-08:002018-12-10T11:07:09.069-08:00<a href="https://drive.google.com/file/d/1ydU-kpBWlULtH_XbUhZzZIj8letAN4dk/view?usp=sharing">Here</a> 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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-34940124222286855182018-12-05T13:12:00.001-08:002018-12-05T13:12:11.041-08:00Please read the previous post in its entirety, but note the following correction:<div><br /></div><div>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.)</div><div><br /></div><div>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. </div><div><br /></div><div>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.</div><div><br /></div><div><br /></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-37867515257258682182018-12-05T11:03:00.001-08:002018-12-09T11:29:55.261-08:00Friday 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.<br /><blockquote class="tr_bq"><span style="font-size: x-small;">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.</span></blockquote>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.<br /><br />The final exam period for this class is scheduled for Thursday <span style="color: blue;">12:45PM - 2:45PM</span>. Please note the early start-time!<br /><br />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.<br /><blockquote class="tr_bq">1. You may do the tests in <u>any</u> order you choose, but <u>not</u> concurrently. When you are finished with one, you may submit it (irretrievably) and request the other. </blockquote><blockquote class="tr_bq">2. You <u>may</u> 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. </blockquote><blockquote class="tr_bq">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 <u>no</u> option to substitute your grade on the midterm for your grade on the final.)</blockquote>Regarding the tests themselves:<br /><br />The midterm will have the same content and structure as advertised below before it's postponement. (<a href="https://drive.google.com/file/d/1BpzP-s-IITMG7YHbiLwVo_bGTjK8ZY3-/view?usp=sharing">Here</a> is the practice test. <a href="https://drive.google.com/file/d/11l1oKLnMZZKGS41WZTthXdR2oCQ64nDz/view?usp=sharing">Here</a> 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.<br /><br />The final exam will consist of:<br /><blockquote class="tr_bq">1. Some problems drawn from the first <u>or</u> 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. </blockquote><blockquote class="tr_bq">2. Some problems <u>similar</u> but not identical to those from homework 20 on the course schedule. One or more problems <u>identical </u>to those from homework 21 on the course schedule. </blockquote><blockquote class="tr_bq">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. </blockquote><blockquote class="tr_bq">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.</blockquote><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-29002230376608768842018-11-30T12:48:00.002-08:002018-12-05T09:45:22.907-08:00For next week, the homework problems will come from <a href="https://drive.google.com/file/d/1OKhWMglGU8GW0Utn08tQB8fVYBJB4y_E/view">yesterday's sheet</a>.<br /><br /><blockquote class="tr_bq">Tuesday: Turn in problems 4 & 5.<br />Thursday: Turn in problems 6 & 7.</blockquote><br />I have posted solutions to problems 1-3 on the schedule page.<br /><br />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.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-37532517501094794832018-11-24T15:40:00.000-08:002018-11-24T15:41:28.003-08:00I hope you all had a satisfying Thanksgiving and are enjoying being able to breathe again.<br /><br />As you know, we missed three class periods due to the smoke from the Camp Fire. <a href="https://drive.google.com/file/d/1IYqEzgPoPL-S4krWwNke9yVdBNMBxuXB/view">This</a> homework, which was originally due on Tuesday November 13th, is now due Tuesday November 27th. The assignment is to do all of the problems.<br /><br />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.<br /><br />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.<br /><br /><a href="https://drive.google.com/file/d/1OKhWMglGU8GW0Utn08tQB8fVYBJB4y_E/view?usp=sharing">Here</a> 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.<br /><br />During the final week of classes we will be studying selectively from material for the final 2 weeks of classes.<br /><br /><u>Important</u>: In order to make up the rest of your homework points, each homework for this week will be worth <u>2 points</u>.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-50624787891442404262018-11-17T10:18:00.002-08:002018-11-17T10:18:53.361-08:00As 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.<br /><br />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.<br /><br />A reasonable question is whether you may simply take the midterm and apply it to the final. The answer to this question is no.<br /><br />I'll post at least one more time next week to clarify homework expectations.<br /><br />Have a good Thanksgiving!G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-40623512052448372662018-11-16T12:16:00.003-08:002018-11-16T12:16:41.799-08:00OK, 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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-25509774865428050062018-11-14T16:21:00.001-08:002018-11-14T16:21:18.116-08:00Classes have been cancelled for Thursday 11/15.<br /><br />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.<br /><br />This will obviously necessitate some other changes to the course schedule, which I need to think about, but will post here by Friday. <br /><br />This sucks. I hope you are all doing ok.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-42097761379415838142018-11-13T11:51:00.001-08:002018-11-13T11:51:45.074-08:00Please read post below to see what's happening on Thursday.<br /><br /><a href="https://drive.google.com/file/d/1BpzP-s-IITMG7YHbiLwVo_bGTjK8ZY3-/view?usp=sharing">Here</a> is a practice test for next Tuesday.<br /><br /><a href="https://drive.google.com/file/d/11l1oKLnMZZKGS41WZTthXdR2oCQ64nDz/view?usp=sharing">Here</a> are the solutions (to all but the extra credit problem.)<br /><br />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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-32139760163411078572018-11-13T10:33:00.000-08:002018-11-13T11:33:58.592-08:00This 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.<br /><div><br /></div><div>For Thursday please do and turn in all of the problems from <a href="https://drive.google.com/file/d/1IYqEzgPoPL-S4krWwNke9yVdBNMBxuXB/view">this</a> worksheet. You will need to review both sets of slides and/or text from week 12.</div><div><br /></div><div>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).</div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-20113119267406265232018-11-12T21:51:00.000-08:002018-11-12T21:51:12.692-08:00There will be no class on Tuesday November 13th. President Nelson has closed campus due to poor air quality.<br /><br />Tomorrow I will assign homework for Thursday so that you may get credit for turning in homework on both days.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-5250748906893538982018-11-08T16:34:00.001-08:002018-11-08T16:34:48.848-08:00Solutions 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.<br /><br />For Tuesday, finish the proofs from <a href="https://drive.google.com/file/d/1XELOygR7FwM-HtUdFAerMU7S56J7PkCw/view">this</a> page, turning in numbers 6 and 7. Also finish reading 2.2 lecture slides and read 2.3 slides on functions as well.<br /><br />Thursday's homework will come from <a href="https://drive.google.com/file/d/1IYqEzgPoPL-S4krWwNke9yVdBNMBxuXB/view?usp=sharing">this</a> page, but we may do some of it on Tuesday, so I will wait until then to assign specific problems to turn in.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-81371459398911604142018-11-07T08:20:00.002-08:002018-11-07T08:20:23.858-08:00We 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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-24982972808570150542018-11-02T11:21:00.000-07:002018-11-02T11:21:00.867-07:00Complete solutions to this week's homeworks are posted on the schedule page.<br /><br /><a href="https://drive.google.com/file/d/1KwPoEgI718d_OGP09_6LICz9GPn7vJ1j/view?usp=sharing">Here</a> is the homework for Tuesday. Submit all except the last two problems.<br /><br />The homework for Thursday will depend on what we get done on Tuesday, but it will probably involve some problems from <a href="https://drive.google.com/file/d/1XELOygR7FwM-HtUdFAerMU7S56J7PkCw/view?usp=sharing">here</a>.<br /><br />I will be updating your homework submissions this weekend and returning them to you on Tuesday.<br /><br />Note that the 2nd midterm is scheduled for November 20th, which is the last class before Thanksgiving break.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-55876506654839212132018-10-30T16:19:00.003-07:002018-10-30T19:11:00.089-07:00For homework Thursday turn in problem 10 and 12 from today's homework sheet. (The problems have been renumbered, so be sure to <a href="https://drive.google.com/file/d/17lF1iJc_uo4KmoNBV3LVPq-NB838K6ek/view?usp=sharing">look at the sheet again</a>.)G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-4425707854718873262018-10-26T10:14:00.002-07:002018-10-26T10:14:49.604-07:00Solutions to yesterday's homework are posted on the schedule page. <div><br /></div><div>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.<br /><div><br /></div><div><a href="https://drive.google.com/open?id=17lF1iJc_uo4KmoNBV3LVPq-NB838K6ek">Here</a> 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.</div><div><br /></div></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-75400583077620504062018-10-23T16:06:00.001-07:002018-10-23T16:06:20.824-07:00Full solutions to the last two homeworks are on the schedule page. Thursday's homework is still as advertised below.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-75633383959352248792018-10-18T15:22:00.002-07:002018-10-18T15:57:11.374-07:00Tuesday:<br /><ul><li>We'll do some more modal logic derivations on Tuesday from the same sheet. Turn in the <a href="https://drive.google.com/file/d/1X0D_hjOcCsT1CZ6lqcfgYIDgZiHto1rd/view?usp=sharing">orange ones</a> 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.</li></ul><div>Thursday: </div><div><ul><li>We'll do Meinongian free logic semantics. <a href="https://drive.google.com/file/d/1Joc1LTGCzuXdHZ3iN8yW7LY0OBWAVLpe/view?usp=sharing">Here</a> is the homework. Turn in all. </li></ul></div><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-44686141581095757762018-10-17T08:17:00.003-07:002018-10-17T10:02:08.609-07:00Solutions 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.<br /><br /><span style="color: orange;">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!</span>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-75514119839500829522018-10-12T14:55:00.000-07:002018-10-12T14:55:31.767-07:00Exams 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.<br /><br />Next week we move on to Leibnizian modal logic. <br /><br /><a href="https://drive.google.com/file/d/1eoVvoYSMOXbA2Y26uuBGizLTTuxst3t2/view?usp=sharing">Here</a> is Tuesday's homework. Submit all.<br /><br /><a href="https://drive.google.com/file/d/1X0D_hjOcCsT1CZ6lqcfgYIDgZiHto1rd/view?usp=sharing">Here</a> is Thursday's homework. Submit the blue ones.<br /><br /><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-28202059234971742662018-10-11T14:42:00.001-07:002018-10-11T14:42:23.490-07:00The solution to the test is posted <a href="https://drive.google.com/file/d/1Mu0E1CyaQggAFZDr-tBecphaPSRGNl1-/view?usp=sharing">here</a> 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.<br /><br />Next week we move on to modal logic. I will be posting homeworks by tomorrow. Reading and lectures are from weeks 7 and 8.<br /><br /><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-91975131751801738062018-10-09T15:41:00.001-07:002018-10-09T15:41:14.695-07:00Solutions to today's homework are now posted.<br /><br />A couple of points with regard to the test:<br /><br />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.<br /><br />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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-86221847446748783952018-10-09T12:04:00.000-07:002018-10-09T12:04:31.241-07:00For Thursday's test you will have access to <a href="https://drive.google.com/file/d/1v1C5en2Avby0YOrQJY67IbL2l4uCL-hn/view?usp=sharing">this</a> sheet of rules and equivalences. Otherwise it is closed book.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0