tag:blogger.com,1999:blog-10321981201477148822017-05-20T00:27:04.677-07:00Philosophy 160 Deductive Logic IIG. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.comBlogger72125tag:blogger.com,1999:blog-1032198120147714882.post-27852117281610972212017-05-14T11:40:00.000-07:002017-05-14T11:40:04.717-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWYmROVC16aVppbWs/view">World 4</a> now has more members than when I first posted the model.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-87370662511876792782017-05-12T14:25:00.001-07:002017-05-12T14:25:15.813-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWUzBESjdfMzNDUk0/view?usp=sharing">This</a> is the sheet of inference rules and definitions that you will have available during the final. Note the continued absence of proof methods, including mathematical induction. As always, the more you plan to rely on this sheet, the less well you are likely to do.<br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-64088028218462501152017-05-12T12:56:00.003-07:002017-05-12T12:56:37.154-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWYmROVC16aVppbWs/view?usp=sharing">This</a> is the model that will be used for the semantic portion of the exam. Study it carefully before the exam. Minor changes are possible. Check back Sunday evening just in case. If I have made any changes, there will be a post saying so and I will highlight the changes.<br /><br />Remember the exam time is 12:45-2:45!<br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-64248816471509269522017-05-11T17:13:00.003-07:002017-05-11T17:13:34.351-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWRHBHNUNyRnFtQ2s/view?usp=sharing">Here</a> are the essay questions for the final exam.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-65334939980340526012017-05-11T14:45:00.003-07:002017-05-11T14:45:32.532-07:00Clarification regarding final exam. As stated below, you will not be required to do proofs or semantic evaluations in multi-valued logic or Meinongian free logic, but you may be required to display an understanding of these systems in the essay questions.<br /><br />These questions should be posted by this evening.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-78799940424091846242017-05-08T15:27:00.003-07:002017-05-08T15:27:28.407-07:00Here is your last homework question. It is based on the last set of slides posted to week 13 of the schedule. These slides are sufficient to answer the question, but they will not be complete until tomorrow afternoon.<br /><br /><blockquote class="tr_bq">Clearly identify <u>three</u> significant errors in the following.</blockquote><blockquote class="tr_bq">Church's theorem shows that predicate logic is incomplete. This means that there will never come a time when we can be sure that it is finished. Gödel proved the same thing about math, sowing that there are mathematical truths that we will never be able to prove.<br /> </blockquote><br /><br /><br /><br /><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-80914354682797261162017-05-04T10:41:00.003-07:002017-05-11T14:43:04.291-07:00See previous post for Monday's assignment.<br /><br />Our final is Monday May 15th from 12:45 to 2:45.<br /><br />The final exam will consist of the following:<br /><br /><b>Proofs</b>: (2 pts. each)<br /><br />A natural deduction proof of each of the following types:<br /><br /><ul><li>Propositional logic</li><li>Predicate logic</li><li>Predicate logic with identity and functions</li><li>Predicate logic with identity, functions, membership and basic set theoretic concepts.</li><li>Leibnizian modal logic</li></ul>A rigorous English language proof of each of the following types:<br /><ul><li>Set theory (as in HW 18)</li><li>Weak induction (as in HW 19)</li></ul><div>At least half of the proofs will be drawn directly from homework sets. All will be designed to test your basic comprehension of these methods. <br /><br /></div><div><b>Semantics: </b>(7 pts. total)</div><div><ul><li>Evaluation of formulas in all of the above categories, as in HW's 3, 8 and 15. Models used will be similar, though not necessarily identical. </li><li>Determining properties of functions, with explanations that makes explicit reference to definitions of these properties (as in HW 17.)</li></ul></div><div><b>Short essay questions: </b>(2 pts each)</div><div><ul><li>A few days before the final I will post 5 short essay questions of a somewhat philosophical nature. They will focus on the material covered since the last test. Each will require some technical competence to answer as well. Three of these questions will be chosen randomly at the beginning of class. (Everyone gets the same three questions.) You will have two options:</li></ul><ol><ol><li>Answer two of the questions;</li><li>Answer all three questions and select one problem from the proof section for which it is to be substituted. If you exercise this option, you must make this selection explicitly; i.e., you may not answer both and get credit for the one you do best. </li></ol></ol></div><div><b>Clarifications:</b></div><div><br /></div><div>You will specifically <u>not</u> be required to do proofs or refutation trees in Meinongian free logic or multi-valued logic (finite or infinite). </div><div><br /></div><div>The rules for the final are the same as for the previous two tests. Your information sheet will be updated to include predicate logic definitions of essential set-theoretic concepts. </div><div><br /></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-72402458156516964782017-05-04T09:29:00.003-07:002017-05-07T13:24:02.186-07:00For our last week we will be looking at some of the important results concerning the limitations of logic and set theory. Slides for Monday, already posted, cover Russell's Paradox, the nature of the ordinals and the Burali Forti Paradox. This draws from the book <i>The Infinite</i>, by A.W. Moore which is available as an etext through our library. Wednesday we will cover Gödel's incompleteness results. Slides for that will be up this weekend, and they will draw mostly from Moore's book as well.<br /><br />Monday's turn-in homework is the following question:<br /><blockquote class="tr_bq">State the specific contradictions implied by (a) Russell's Paradox and (b) The Burali-Forti Paradox. In what interesting sense do the <u>proofs </u>of these results resemble each other? </blockquote><br />G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-90135252779747238142017-05-03T15:56:00.002-07:002017-05-03T15:56:33.382-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWQ0hBMXJxVGJpVUE/view?usp=sharing">Solutions to HW 19</a> are posted on the schedule page. A few more problems have been added with solutions as well.<br /><br />I will post the assignment for Monday tomorrow as well as news about the final.<br /><br />Please note that you have received course evaluations for this course in your Saclink. There is a significant inducement to complete them in the syllabus:<br /><br /><div style="background-color: black; color: #12ae50; font-family: "Lucida Grande", "Lucida Sans Unicode", sans-serif; font-size: 13.3333px;"><i style="background-color: transparent; font-family: Arial; font-size: 10pt; line-height: 1.25;"><span style="color: cyan;">Course evaluations</span></i></div><div style="background-color: black; color: #12ae50; font-family: "Lucida Grande", "Lucida Sans Unicode", sans-serif; font-size: 13.3333px;"><span style="color: white;">There are two points of extra credit available for doing course evaluations at the end of the semester. This works as follows: 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 students final grade. </span></div>G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-70565058521700468212017-05-02T13:17:00.001-07:002017-05-02T13:17:16.395-07:00I just noticed that I left out a crucial stipulation in problem 5 which made it unprovable. I fixed it, underlining the part I left out. I'm sorry about that.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-2012444435788034032017-05-01T16:06:00.002-07:002017-05-01T16:06:31.050-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWQ0hBMXJxVGJpVUE/view?usp=sharing">Here</a> are the solutions to the first two problems from today's homework. Please review these and the slides online. Turn in problems 3-5 from the same assignment on Wednesday.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-24081341233974594302017-04-27T21:09:00.000-07:002017-04-27T21:09:57.170-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWYndDOEt4a3VzV3c/view?usp=sharing">Here</a> is the homework for Monday. Turn in the first two, but try to work through them all. These are simple problems that give you good practice with the form. Be sure to review the slides and/or text on mathematical induction.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-84105069196662804562017-04-26T15:59:00.001-07:002017-04-26T15:59:47.363-07:00<a href="https://drive.google.com/file/d/0ByEWimmpVQfWei0zOG8wRDFJcmM/view?usp=sharing">Answers to today's homework</a> are posted. Please be sure to study them and come Monday with any questions. We'll go over a couple more on Monday and then move on to mathematical induction. I'll post homework for Monday by tomorrow.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag:blogger.com,1999:blog-1032198120147714882.post-692261900689997112017-04-25T07:59:00.001-07:002017-04-25T07:59:01.317-07:00Tomorrow's homework is posted below. It covers the last part of Set Theory 2.4. We will also get started on mathematical induction.G. Randolph Mayeshttp://www.blogger.com/profile/18285281186698499962noreply@blogger.com0tag: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.com0