tag:blogger.com,1999:blog-10321981201477148822017-03-21T20:33:09.791-07:00Philosophy 160 Deductive Logic IIG. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.comBlogger35125tag:blogger.com,1999:blog-1032198120147714882.post-47762696987310257332017-03-21T20:33:00.002-07:002017-03-21T20:33:09.799-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWdmhTWnBXM0pmS00/view?usp=sharing">Here</a> 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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-16377314706886823092017-03-15T15:04:00.001-07:002017-03-15T15:04:34.048-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWeEdwQmRJWHVLbXM/view?usp=sharing">Solutions </a>to Homework 9 covering derivations in modal logic have been posted to the schedule page.<div><br /></div><div>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.</div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-75260672487260314572017-03-15T11:55:00.001-07:002017-03-15T11:59:05.493-07:00The 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.<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-17470622044070151232017-03-13T19:12:00.004-07:002017-03-13T19:12:56.865-07:00I 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.<br /><br />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.<br /><br /><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-25022496342053987562017-03-10T17:09:00.004-08:002017-03-10T17:09:58.893-08:00I 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.)G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-57714003835908852012017-03-10T10:46:00.003-08:002017-03-10T10:46:37.358-08:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWSlQwT1BkVlZPbGM/view?usp=sharing">Here </a>is the homework for Monday. Turn in problems 2 and 3.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-38774896169046508732017-03-09T13:35:00.000-08:002017-03-09T13:35:56.433-08:00The <a href="https://drive.google.com/file/d/0ByEWimmpVQfWRl9hMU15UjdvSmM/view?usp=sharing">solution to HW 8 </a>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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-42362972431868630732017-03-06T20:37:00.001-08:002017-03-07T12:31:40.088-08:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWZWEwU2FKMWpkRXc/view?usp=sharing">Here</a> is the Wednesday homework. Turn-in all of them. We'll begin by discussing it in class.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-12335896595221947462017-03-03T14:15:00.003-08:002017-03-03T14:15:54.432-08:00See below for Monday homework.<br /><br />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.<br /><br />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.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-610850891619946232017-03-03T09:31:00.001-08:002017-03-03T09:31:59.213-08:00<div class="MsoNormal"><br /></div><div class="MsoNormal">This is the turn-in homework for Monday:</div><div class="MsoNormal"><br /></div><div class="MsoNormal"><br /></div><div class="MsoNormal">In the semantics of Leibnizian modal logic, the following proposition is a necessary truth.</div><blockquote class="tr_bq">□(P → Q) → (□P → □Q)</blockquote>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."<br /><br />Use Leibniz's notion of possible worlds to explain in English why this should be a necessary truth.<br /><br /><br /><div class="MsoNormal"><o:p></o:p></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-1369734555321787962017-03-01T15:27:00.001-08:002017-03-01T15:27:22.213-08:00I've posted the solution to the test to the top of the schedule page.<br /><br />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.<br /><br /><blockquote class="tr_bq"><br /></blockquote>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-4928750527693907242017-02-28T16:58:00.003-08:002017-02-28T16:59:32.389-08:00Also, Javeeria just pointed out that I wrote the wrong answer down for the sample question on the model. It's fixed now. Thanks Javeeria.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com1tag:blogger.com,1999:blog-1032198120147714882.post-26911424027683328662017-02-28T12:30:00.001-08:002017-02-28T12:30:34.623-08:00I made an important clarification to the model that will be used for problem 5 on the test, specifically regarding the meaning of the successor function and the relation 'subsequent to."G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com2tag:blogger.com,1999:blog-1032198120147714882.post-79727370374959659522017-02-27T15:41:00.001-08:002017-02-27T18:44:35.006-08:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWdEtjM1ZIMTVlWE0/view?usp=sharing">Here is the model</a> we will be using for the fifth problem on Wednesday. The solutions to <a href="https://drive.google.com/file/d/0ByEWimmpVQfWZ3o2SXNkcTZBWUk/view?usp=sharing">HW 7</a> are on the schedule page.<br /><br />See previous posts for anything you may have missed.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-18994614098494621662017-02-27T09:36:00.002-08:002017-02-27T09:36:35.287-08:00There will be no homework due on Wednesday. You will get 1 homework credit for showing up for the test and spelling your name correctly on the top of the paper.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-31215906600491235922017-02-23T11:03:00.002-08:002017-02-23T11:03:12.469-08:00Complete solutions to <a href="https://drive.google.com/file/d/0ByEWimmpVQfWc1ZWajE3ZnRSSWs/view?usp=sharing">Homework 6</a> are now posted on the schedule page.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-86475168933248315152017-02-22T16:18:00.001-08:002017-02-22T16:19:47.674-08:00On Monday we'll finish working on the most recent homework in preparation for the test on Wednesday. I'll post the complete solutions to the previous homework by<br /><br />For Monday do problem 15 from the most recent homework. I have actually changed it slightly to make it less complicated, so if you downloaded or printed it out already, get the new version.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-18456907793329666592017-02-22T10:45:00.000-08:002017-02-22T10:45:30.445-08:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWdmtCRUR3YU9OSGM/view?usp=sharing">Here</a> is a link to the homework tally as of the end of last week. Scores are indexed to last four numbers of student id. This link will also be on the top of the schedule page.<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-68351334094545377482017-02-21T09:11:00.004-08:002017-02-21T09:11:36.619-08:00See previous two posts for other important stuff.<br /><br /><a href="https://drive.google.com/file/d/0ByEWimmpVQfWc1ZWajE3ZnRSSWs/view?usp=sharing">Here</a> are the solutions to the first 6 problems of Homework 6. We did the first three in class. Study these solutions and bring any questions you have. We'll do a few more on this sheet and then get started on Homework 7 assigned below.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-30214967980384729102017-02-20T13:24:00.004-08:002017-02-20T13:24:52.149-08:00See previous post for Wednesday's homework.<br /><br />On Wednesday my office hours will be from 8:45-10:45 rather than the usual 9-11.<br /><br />Also, note that our first test is on March 1, a week from Wednesday. It is an in class test for which you will only require a few good pencils and a good eraser. Do not do it in pen. The test is closed book and you will have the entire period to do it. All of the problems will be drawn directly from the solved homework problems, with the exception of #3 below. There will be five problems as follows:<br /><blockquote class="tr_bq">1. A refutation tree in propositional logic.<br />2. A refutation tree in predicate logic.<br />3. 10 predicate logic formulas to be evaluated as true or false in a model.<br />4. A natural deduction proof in propositional logic.<br />5. A natural deduction proof in predicate logic (possibly including identity and functions.)<br /></blockquote>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-81863117579958036882017-02-20T10:54:00.003-08:002017-02-20T10:54:41.184-08:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWbkx6VmpSWFpoUUk/view?usp=sharing">This</a> is Wednesday's homework. Turn in #4, 8 and 14.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-89959436103603254612017-02-15T15:19:00.001-08:002017-02-15T15:19:12.744-08:00I have posted full solutions to our most recent homework as HW5 on the schedule page. For Monday we move on to what we were previously scheduled to do today, derivations in predicate logic. <a href="https://drive.google.com/file/d/0ByEWimmpVQfWR0l0dXd0a2dKNEk/view?usp=sharing">This</a> is it. Turn in problem 4 and 8.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-43673639700737165742017-02-14T20:35:00.001-08:002017-02-15T10:20:20.720-08:00Here is the announcement for the <a href="http://www.csus.edu/phil/events/doc/nammour%20student%20essay%202017.pdf">Nammour Symposium Student Essay Contest</a>. Please refer to the syllabus to see the incentive provided for participating in it. Note that the submission deadline is March 14th.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-13209890919761739382017-02-13T15:12:00.001-08:002017-02-13T15:12:30.791-08:00Correction to previous post. We will spend one more day doing natural deduction in propositional logic. Be sure to take this time to consolidate your memory of the inference rules and equivalences. For Wednesday homework turn in numbers 7 and 8.<br /><br />I am unable to hold my usual office hours on Wednesday, but I will hold them directly after class from 2:45-4:25.<br /><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-24350131411990026772017-02-12T18:27:00.001-08:002017-02-12T18:27:07.433-08:00Please see below for Monday's homework.<br /><br /><a href="https://drive.google.com/file/d/0ByEWimmpVQfWR0l0dXd0a2dKNEk/view?usp=sharing">This</a> is Wednesday's homework. Turn in problem 4 and 8.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0