tag:blogger.com,1999:blog-10321981201477148822017-04-24T13:04:52.395-07:00Philosophy 160 Deductive Logic IIG. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.comBlogger58125tag:blogger.com,1999:blog-1032198120147714882.post-17333510246670319682017-04-24T13:04:00.005-07:002017-04-24T13:04:52.404-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWRDZKU0xtQWpWYU0/view?usp=sharing">Here</a> is Wednesday's homework. Please turn in the even numbered problems.<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-38599731426655213182017-04-20T14:22:00.001-07:002017-04-20T14:22:09.201-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWMW4xRndTeFU5aDQ/view?usp=sharing">Here</a> is Monday's homework, which covers Set theory 2.3 and about half of 2.4. Please turn in the even numbered problems.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-61106000966854049142017-04-19T16:08:00.001-07:002017-04-19T16:08:25.369-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWR0ZlZjdBNEZacTQ/view?usp=sharing">Solutions </a>to all of today's homework problems are posted on the schedule page. See below for previous post regarding test results.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-90230900398253216562017-04-19T09:19:00.000-07:002017-04-19T09:19:14.007-07:00Scores for test 2 have been posted to Blackboard and tests will be returned in class today. The score on BB reflects a 2 point curve. Check to be sure that it is two points higher than the score written on your test.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-77759323048343998242017-04-18T10:31:00.001-07:002017-04-18T10:31:51.469-07:00In case you are also trying the even numbered problems for tomorrow's, homework, there was a typo in problem 4 that I have just corrected. I'm sorry about that.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-37569574949238907212017-04-17T15:40:00.001-07:002017-04-17T15:40:09.620-07:00The <a href="https://drive.google.com/file/d/0ByEWimmpVQfWNjlObXp4dEtmYUk/view">solution to test 2</a> has been posted to the top of the schedule page. Let me know if you detect any errors.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-24582886250749132312017-04-16T12:25:00.000-07:002017-04-16T12:25:02.970-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWTm8xQUNaTGhrSHM/view?usp=sharing">Here</a> is the homework for Wednesday. Turn in odd numbered problems.<br /><br />See multiple posts below for information regarding Monday's test.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-52879179933988489332017-04-15T10:54:00.000-07:002017-04-16T12:23:07.469-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWSHJQdHFpeU5oblU/view?usp=sharing">This</a> is the summary of rules with which you will be provided on Monday. Be sure that you understand the condensed statement of the free logic rules as I will not clarify them for you during the test. Note that, as before, you must know the quantifier rules for classical predicate logic. Note, also, that on this test you must know the valuation rules for multi-valued logics. For the 2 pt. extra credit problem you must also know the 3rd definition of validity in infinite valued logic.<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-72249229812127936322017-04-14T16:01:00.002-07:002017-04-14T16:01:45.178-07:00Also, I neglected to mention that there will be 1 extra credit problem worth 2pts. This will involve evaluating the validity of an argument according to the third definition of validity as you did on HW 14.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-85145161530115424172017-04-14T15:44:00.001-07:002017-04-14T15:44:11.719-07:00Note: For Monday's test, calculators may not be used on the problem that involves computing truth values in infinite valued logic. See previous posts for other information about the test.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-73073778160727039472017-04-14T14:33:00.001-07:002017-04-14T14:33:23.435-07:00Please see previous post for general description of Monday's test. <a href="https://drive.google.com/file/d/0ByEWimmpVQfWa0R4ZDRoYmV6T00/view?usp=sharing">Here</a> is a sneak peek of the models that will be used for problems 1 and 3 respectively.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-64801383900701026302017-04-14T10:00:00.004-07:002017-04-14T10:00:56.581-07:00The test on Monday will have roughly the same format as the first test. It will involve 5 problems worth 5 points each as follows:<br /><blockquote class="tr_bq">1. The semantics of modal logic, in which you evaluate formulas with respect to a model.<br />2. A proof in modal logic. It will be very similar to one of the homework problems.<br />3. The semantics of free logic, in which you evaluate formulas with respect to a model.<br />4. A proof in free logic. It will be very similar to one of the homework problems.<br />5. The semantics of multi-valued logic (both finite and infinite), in which you will evaluate the truth values of a list of propositions relative to specific truth value assignments. For finite multi-valued logic you should know both Bochvar's and Kleene's approach, which I will refer to on the test as Policy 1 and Policy 2 respectively (just as in the notes.)</blockquote>There will be no set theory on the test. As before, it is closed book, but I will provide a sheet containing relevant material (inference rules and equivalences) from the first test as well as the inference rules for modal logic and free logic. It will not contain valuation rules for the truth values of formulas on any system.<br /><br />Sunday night I will put the models up here for 1 and 3 so that you don't have to spend time assimilating them on Monday.<br /><br /><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-11020871499341722812017-04-12T15:17:00.002-07:002017-04-12T15:17:53.837-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWbW53bHliOF9QYXc/view?usp=sharing">Solutions</a> to today's homework are on the schedule page. I will give some studying advice for the test on Monday by tomorrow. There is no homework due on Monday, but I will post homework for Wednesday by Sunday.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-62159855183374817582017-04-11T10:19:00.003-07:002017-04-11T10:19:34.756-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWYkxTRlA4bGpOekE/view?usp=sharing">Here</a> is the homework for tomorrow. Turn in odd numbered problems. Please review posts below.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-69864212623340121082017-04-10T22:26:00.004-07:002017-04-10T22:26:48.347-07:00Unfortunately I won't be able to hold all of my usual office hours on Wednesday. I can will be there from 8:45-9:45 and from 1 to 1:30.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-33481471418383979852017-04-10T19:03:00.002-07:002017-04-10T19:03:46.644-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWQmtNMENST1BJcFU/view?usp=sharing">Solutions </a>to today's homework are posted on the schedule page. Please read the first reading on set theory in BB which corresponds to 2.1 lecture slides on the schedule page. I will have homework problems available by tomorrow morning.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-42821154465804998982017-04-06T11:17:00.003-07:002017-04-06T11:17:45.995-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWLUtuY3g1VVdOYlE/view?usp=sharing">Here</a> is the homework for Monday. Turn in the odd numbered problems.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-47095261076995771902017-04-05T16:29:00.001-07:002017-04-05T16:29:48.980-07:00Chaz was right that there was a typo in the statement of the valuation rule for the conditional. I inadvertently substituted a + for a - . Thanks to Chaz for pointing this out! I will try to post homework for Monday by tomorrow but Friday at the latest. We fill be talking about inference in multi-valued logic and perhaps a little bit of set theory.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-30939192995186019882017-04-03T17:38:00.004-07:002017-04-03T17:38:49.578-07:00Wednesday's homework is below. Since many philosophy majors wish to attend the Nammour Symposium during our class period, I will accept the homework if turned in to me in my office before class on Wednesday.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-37628779346814347622017-03-30T15:39:00.001-07:002017-03-30T15:39:34.991-07:00Monday's homework is in the previous post. <a href="https://drive.google.com/file/d/0ByEWimmpVQfWSElSbV94VkRJdFk/view?usp=sharing">This</a> is Wednesday's homework, on infinite valued logic. Turn in solutions to the even numbered problems. Show your work.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-64807223933102783302017-03-30T11:29:00.003-07:002017-03-30T11:29:41.739-07:00For Monday, please be sure you have familiarized yourself with the slides on finite multi-valued logic. Your turn-in homework for Monday is as follows:<br /><br /><blockquote class="tr_bq"><i>Modus ponens</i> is a classically valid inference pattern. Its classical truth table shows that there is no case in which the premises are true and the conclusion is untrue. (Note the use of the word 'untrue' here rather than 'false.' In classical logic, the only value that is untrue is false, but that is not the case in multi-valued logic.)</blockquote><blockquote class="tr_bq"><u>Task</u>: Draw complete truth tables for <i>modus ponens</i> for both Bochvar's and Kleene's versions of three-valued logic (in the slides, policy 1 and policy 2 respectively.) Then answer the following questions: </blockquote><blockquote class="tr_bq">1. Do either of these systems preserve the validity of <i>modus ponens </i>as defined above? </blockquote><blockquote class="tr_bq">2. What does your answer suggest about the relative desirability of these systems?</blockquote><br /><blockquote class="tr_bq"> </blockquote>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-30069196791815272412017-03-29T15:06:00.003-07:002017-03-29T15:06:52.507-07:00Solutions to derivation problems in free logic are posted to the schedule page as <a href="https://drive.google.com/file/d/0ByEWimmpVQfWbHV1NHhwT082Mjg/view?usp=sharing">HW11</a>. On Monday we will move on to multi-valued logic. Slides are posted to the schedule page. I will post homework by tomorrow.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-85265149565200825912017-03-28T08:58:00.000-07:002017-03-28T10:07:02.441-07:00Wednesday we will work on derivation in free logic. Your turn-in homework assignment is to do #1 on <a href="https://drive.google.com/file/d/0ByEWimmpVQfWWFZBa0JUaDYwX2M/view?usp=sharing">this page</a>. At 9AM this morning there is only one problem, but I will add several more by noon and you should try as many as you can. Be sure that you are using the quantifier rules for free logic as described in the text and the lecture slides.<br /><br />Also, I posted full solution to Monday's homework on the schedule page. This contains the answers to a few problems I skipped because I wasn't completely sure how they should be evaluated. I have confirmed these solution and they are highlighted in blue. The rationales are straightforward and you should familiarize yourself with them. Ask questions Wednesday if you don't understand them.<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag: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.com0