tag:blogger.com,1999:blog-10321981201477148822017-10-18T11:00:24.430-07:00Philosophy 160 Deductive Logic IIG. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.comBlogger26125tag:blogger.com,1999:blog-1032198120147714882.post-12893870268095069512017-10-18T11:00:00.001-07:002017-10-18T11:00:24.438-07:00Solutions to yesterday's homework are <a href="https://drive.google.com/file/d/0ByEWimmpVQfWVkRZRlQ4SnZCdHc/view">here</a> and on the schedule page as HW12. Note a couple of important points:<br /><br />1. The last problem we worked in class was problem 13, and I said something that was incorrect about the limitations imposed by the rule for existential elimination. Please study the solution I've given (which is actually the first way we did in class) and the corresponding note, and make sure you understand why it is in fact permissible. (I did not include the ~I proof we did instead. It is fine, but unnecessary.)<br /><br />2. The solutions, and now the original homework, include a few extra problems. You will not be turning them in, but you should be sure you can do them, as they are fair game for future tests.<br /><br />Thursday's homework on modal logic is below.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-36663298719914298502017-10-17T15:19:00.000-07:002017-10-17T16:18:54.108-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWNlE5XzVSLS11cHc/view?usp=sharing">Here</a> is the homework for Thursday. Turn in answers to all of the problems. You'll need to engage the text and/or slides on Leibnizian modal logic in order to do these.<br /><br />I'll have the solutions to all of the homework problems from today posted by tomorrow morning.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-58321577605774434582017-10-14T14:13:00.001-07:002017-10-14T14:30:12.201-07:00Test 1 is graded and grades are posted to SacCT. The grade on SacCT reflects a 2.5 point curve. Your raw score, which you will see on the front of the test when it is returned, will be 2.5 points less. Check to be sure that your scores reflect this.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-19200871711097066512017-10-13T14:47:00.002-07:002017-10-13T14:47:56.637-07:00Solutions to the first 9 problems from yesterday's homework are posted <a href="https://drive.google.com/file/d/0ByEWimmpVQfWR19ic0Zxc3pXYTg/view">here </a>and on the schedule page as HW 11.<br /><br />For Tuesday we'll work more on identity and functions. (See my presentation on the latter on the schedule page.)<br /><br /><a href="https://drive.google.com/file/d/0ByEWimmpVQfWdVB0VjU4YWdka0U/view?usp=sharing">This</a> is Tuesday's homework. Turn in 2, 4, 6, 8, 13 and 15.<br /><br />Thursday we will probably move on to Leibnizian modal logic. So you should read my slides in the schedule page and/or the corresponding chapter in the text. I need to wait until Tuesday to make Thursday's turn-in assignment.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-22105672194243672102017-10-10T15:50:00.000-07:002017-10-10T15:50:06.981-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWdmlEbzI1X01HWjA/view?usp=sharing">Here </a>and on the top of the schedule page is a link to the solutions for today's test. Thursday's homework is below.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-24877798964351469702017-10-06T16:36:00.000-07:002017-10-06T16:36:09.555-07:00For Thursday we will do a few of the proofs requiring universal introduction from the last worksheet, and then move on to <a href="https://drive.google.com/file/d/0ByEWimmpVQfWZDRJUmNfVUVSZGM/view?usp=sharing">this one</a> which covers quantifier exchange equivalences and identity. Tun in numbers 1, 4 and 6.<br /><br />Quantifier exchange and identity are covered <a href="https://sites.google.com/site/grandolphmayes/schedule-philosophy-60-2#TOC-Module-13">here</a> and in the text.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-32659186297337805132017-10-06T14:51:00.000-07:002017-10-06T14:52:03.679-07:00As noted below, the model used in the test is the same as for the practice exam, but I have removed functions, so this is what you will actually see. Click to enlarge.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="https://1.bp.blogspot.com/-KCzM7Wxtwto/Wdf6qGj_-jI/AAAAAAAAP04/4iUMgGmUIPoSEAKCWB4E1ummHb-yAgP1wCLcBGAs/s1600/model%2Bsneak%2Bpeek.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="857" data-original-width="1516" height="225" src="https://1.bp.blogspot.com/-KCzM7Wxtwto/Wdf6qGj_-jI/AAAAAAAAP04/4iUMgGmUIPoSEAKCWB4E1ummHb-yAgP1wCLcBGAs/s400/model%2Bsneak%2Bpeek.png" width="400" /></a></div><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-61384495137471921192017-10-06T12:19:00.000-07:002017-10-06T12:59:34.518-07:00Our first test on Tuesday will take the entire period and will cover all of the material covered in class through yesterday. As we did no predicate logic derivations involving the rule of universal introduction, I will not include a proof involving this rule on the test.<br /><div><br /></div><div>As already noted, the problem on the test will be drawn from the solved homework problems posted on the schedule page. The only exception is a problem in which you will evaluate the truth and falsity of predicate logic formulas in a model. We will use the same model that is on the sample exam posted below, but the formulas to be evaluated will be different. The only difference is that there will be no function symbols, since we have not yet introduced those.</div><div><br /></div><div><a href="https://drive.google.com/file/d/0ByEWimmpVQfWVXRXaGlZWUxtSHc/view?usp=sharing">Here</a> is a copy of the solutions to the sample exam.</div><div><br /></div><div>I will also provide <a href="https://drive.google.com/file/d/0ByEWimmpVQfWSXlabF82c2NYRXc/view?usp=sharing">this</a> summary of rules and equivalence. It does not include derivation rules for predicate logic. <u>Please</u> resist the temptation to be comforted by this. You will not do well on this test if you lack a thorough working knowledge of these rules. I am providing them only so that you can check that you are using them properly.</div><div><br /></div><div>Thursday we will do more on derivation in predicate logic, including identity and functions. I will post a homework this weekend. You will get homework credit on Tuesday for showing up and taking the test,</div><div><br /></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com1tag:blogger.com,1999:blog-1032198120147714882.post-20927959505701551212017-10-05T15:07:00.001-07:002017-10-05T15:07:19.359-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWRlBaN2xZQVN5eDQ/view?usp=sharing">Here</a> and on the schedule page are the solutions to all of the problems on today's homework. Further guidance for Tuesday's midterm will be posted by tomorrow.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-19559260050800680682017-10-03T15:00:00.003-07:002017-10-03T15:00:37.697-07:00Here and on the schedule page are the solutions to <a href="https://drive.google.com/file/d/0ByEWimmpVQfWclY0VmY3ek5oN0U/view?usp=sharing">all of HW 9</a>. The homework for Thursday is as stated below.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-67015830628698674812017-10-02T15:44:00.003-07:002017-10-02T15:44:56.453-07:00I'll return the first 8 homeworks in class on Tuesday. <a href="https://drive.google.com/file/d/0ByEWimmpVQfWZ1RxMmVpckF3dzg/view?usp=sharing">Here</a> and on the top of the schedule page are the accrued credits for each student, indexed to student id number.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-5804027743681789512017-09-29T13:35:00.004-07:002017-09-29T13:39:03.628-07:00In class I was having trouble explaining how to use the semantics of predicate logic to show that a sequent that produces a non-terminating tree is invalid. <a href="https://drive.google.com/file/d/0ByEWimmpVQfWaXFaZFEtaFdrS2s/view?usp=sharing">Here</a> is an explanation. You should definitely take the time to understand it.<br /><br />The complete solutions for yesterday's homework on predicate logic trees are posted <a href="https://drive.google.com/file/d/0ByEWimmpVQfWZEFHbWp1eXdzVm8/view?usp=sharing">here</a> and on the schedule page.<br /><br />For Tuesday please do what was originally due yesterday, i.e., the problems from <a href="https://drive.google.com/file/d/0ByEWimmpVQfWOUhJa1ZqQ0RYTHM/view?usp=sharing">this</a> worksheet, turning in problems 3 and 9. You should definitely try to do them all. Refer to the previous posts for a summary of the propositional logic equivalences. We'll work several of these problems and then review the inference rules for derivations in predicate logic, which are also posted below.<br /><br />For Thursday we will move on to derivations in predicate logic. See previous post for summary of inference rules for the quantifiers. <a href="https://drive.google.com/file/d/0ByEWimmpVQfWdEZZb211NUlKekU/view?usp=sharing">Here</a> is the homework. Turn in problems 4 and 5.<br /><br />The following Tuesday, October 10th, is our first midterm. It will cover all previous material. I'll provide more details next week, but it will resemble <a href="https://drive.google.com/file/d/0ByEWimmpVQfWbnlxQlE1Zy1ncDg/view?usp=sharing">this</a> test. Most problems will be drawn directly from previous homeworks.<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-40575859237752168042017-09-26T19:23:00.001-07:002017-09-27T08:05:52.914-07:00For homework Thursday, do numbers 7 and 8 from today's homework sheet on refutation trees in predicate logic. We'll go over these, take questions, then move on to equivalences and derivation in predicate logic.<br /><br /><a href="https://www.quantamagazine.org/new-theory-cracks-open-the-black-box-of-deep-learning-20170921/">This</a> is the article that Bradley asked about in class.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com2tag:blogger.com,1999:blog-1032198120147714882.post-39966278517851064972017-09-22T09:32:00.001-07:002017-09-22T09:57:10.785-07:00Tuesday we'll take any remaining questions on evaluating predicate logic formulas and we'll look at how to extend the tree method to predicate logic. The schedule refers you to the relevant chapter of the text and to Module 10 of Philosophy 60. In Module 10 under "Note" there is a link to <a href="https://drive.google.com/file/d/0ByEWimmpVQfWVHdERGhkSEh1UHM/view">these slides</a>, which fully explains trees for predicate logic. (There is no corresponding video lecture.)<br /><br /><a href="https://drive.google.com/file/d/0ByEWimmpVQfWaUx3VkJnRFN6U1E/view?usp=sharing">Here</a> is the homework for Tuesday. Turn in numbers 3 and 5.<br /><br />Thursday we'll move on to derivation using equivalences in propositional logic and introduce the rules for derivation in predicate logic. A summary of propositional equivalence rules may be found <a href="https://drive.google.com/file/d/0ByEWimmpVQfWOEJzT1MyOXZ3Mkk/view">here</a> and at the bottom of the Philosophy 60 schedule page. The rules for derivation in predicate logic are addressed in the text as well as modules 11 and 12 of Philosophy 60. The rules are summarized <a href="https://drive.google.com/file/d/0ByEWimmpVQfWVVNDQmdJWUJHTzA/view">here</a> and at the bottom of the Philosophy 60 schedule page.<br /><br /><a href="https://drive.google.com/file/d/0ByEWimmpVQfWOUhJa1ZqQ0RYTHM/view?usp=sharing">Here</a> is the homework for Thursday. Turn in problems 3 and 9.<br /><br />I have decided to move our first exam back one class meeting to Tuesday October 10th.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-83063873948295547932017-09-21T15:38:00.001-07:002017-09-21T15:38:15.885-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWQll3QmJzc1phcjA/view?usp=sharing">The solutions</a> to today's homework are posted on the schedule page. Each one now contains an abbreviated version of a model-theoretic proof.<br /><br />I'll post homework for Tuesday by tomorrow.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-34831034577108320972017-09-20T09:14:00.002-07:002017-09-20T09:14:52.922-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWLUhhTEdXeWlGV2M/view?usp=sharing">The complete solution</a> to the predicate logic translation problems are now published on the schedule page.<br /><br />See below for Thursday's homework. Do them all and we will review them in class.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-68304021432432684182017-09-15T10:00:00.002-07:002017-09-15T10:00:16.412-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWNlFPc2hCRkhYalE/view?usp=sharing">Here</a> is a partial solution to the homework we worked on yesterday. <br /><br />Homework for Tuesday is to do the remaining problems. On Tuesday we will clarify the formation rules of predicate logic and, given time, move on to evaluating formulas in a model. All of this material is covered by me <a href="https://sites.google.com/site/grandolphmayes/schedule-philosophy-60-2#TOC-Module-10">here</a>. You should engage the material in all three rows labeled "Watch". The "Lecture" and "YouTube" links are the same videos stored in different places. The "Slides" are the slides I use in the videos, which may be sufficient for some of you.<br /><br /><a href="https://drive.google.com/file/d/0ByEWimmpVQfWVnNJLVJOUWg2Rzg/view?usp=sharing">This</a> will be the homework for Thursday.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-6665959290276177862017-09-13T12:19:00.000-07:002017-09-13T12:19:15.645-07:00Thursday's homework is in the post below. It covers materials listed in Weeks 3-4 of the schedule.<br /><br />I have posted a video review of the last 4 problems of homework 3 on the schedule page and <a href="https://www.youtube.com/watch?v=HtrHxh5AAWQ&feature=youtu.be">here</a>. Those of you struggling with proofs in propositional logic should spends some quality time with it. While making it I noticed a few errors in the posted solutions to that homework and those have been corrected.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-71708697031524501882017-09-10T09:24:00.000-07:002017-09-10T09:24:24.709-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWNmVlX3hqckswaWM/view?usp=sharing">Here</a> is the homework for Thursday.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-84612449473315661282017-09-08T16:34:00.003-07:002017-09-08T16:34:37.780-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWZEdYbWZJYVpxb0U/view?usp=sharing">Here</a> is Tuesday's homework. Thursday's homework will be available by Sunday and I will have solutions to all of last week's homework up on the schedule page by Monday.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-14572975634784309102017-09-05T16:05:00.002-07:002017-09-05T16:05:40.500-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWcGxZWnBlNVlIUjg/view?usp=sharing">Here</a> is the homework for Thursday.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-29348339007287889182017-09-02T10:41:00.000-07:002017-09-02T10:41:03.426-07:00See Tuesday homework post below. If you want to subscribe to this blog by e-mail there is a place to do so in the upper-right hand corner.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com1tag:blogger.com,1999:blog-1032198120147714882.post-9139599282706267222017-09-01T09:22:00.001-07:002017-09-01T09:22:09.522-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWc2kyNjcycjJBNDg/view?usp=sharing">Here</a> is a homework assignment covering refutation trees due Tuesday. Follow the instructions at the top of the page. Tuesday we will review the homework and then move on to derivation (propositional calculus.) Homework for natural deduction on Thursday will be posted by Monday.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-47364889102910266662017-08-29T16:08:00.001-07:002017-08-29T16:08:39.633-07:00If you go to our schedule page and look under the Materials column you'll see a link entitled Philosophy 60 Modules 1-4. Today we reviewed Module 1 material. Thursday we will review Module 2 material, which relates to the semantics of propositional logic. You'll want to make sure you are acquainted with the truth tables of the operators and then learn the system of refutation tree rules in Modules 3-4. You can do this by watching the videos and reviewing the slides presented here or you can read Chapters 2 and 3 of <i>Logics</i>, which you will find in the reading folder in Blackboard. We'll review these on Thursday.<div><br /></div><div>There is no homework to be turned in on Thursday.</div><div><br /></div><div><br /></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-66096992928888372712017-08-28T18:08:00.002-07:002017-08-28T18:08:31.061-07:00All links on the webpage or now active and up to date. See you tomorrow.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0