There is no need to worry about this, either. Grade Grinder will tell you how many steps beyond the premises were in any proof you submitted. (The same thing goes in reverse for invalid arguments: it will tell you that you didn’t submit a proof, but that’s okay.) But that is not a problem: you shouldn’t be submitting a world for valid arguments. So, for instance, if you submit a proof for a valid argument, it will still tell you that you did not submit a world file. When you receive your official “Instructor Too” report for PS 3, the Grade Grinder will say some things that might worry you, but which are not really a problem:įor exercises where you are not told in advance whether the argument is valid or invalid, it will tell you exactly what you did and did not submit. My advice from the syllabus is especially apt when it comes to proofs: Treat the problem set as the bare minimum group of problems, and go on to do as many other exercises from the book as you can stand. Start early! Proofs are hard, and you’re more likely to get stuck and need help with these problems than with the earlier problem sets. (It is never fun to spend several hours trying to construct a proof of an argument only to find out that it is invalid and no proof is available.) Make sure to read the instructions for each problem some of them will ask you first to determine whether the argument is valid or invalid and then complete the exercise accordingly. 6.25 (don’t worry about doing the “informal proof”).The problems from Chapter 8 involve proofs, so start working early!ĭue: Wednesday, October 4 (Note the change of date!) Hints are available at the LPL website for some of these problems.
If you want to check, say, the first four sentences you’ve written, you can do that the grade grinder will report that your blank sentences are incorrect, but who cares? “Just me” submissions don’t count for a grade. You don’t have to wait until you’re done with all of the translations before you check your work in the grade grinder. Make sure to use the “just me” option in the grade grinder early and often to check your translations as you work. Remember that checking your translations against worlds is helpful, but it does not guarantee that your translations are correct.
(Make sure that if you send it in an e-mail that you write “Written Portion: PS 6” as the subject line of the message.) See instructions above about the different ways you can submit a written assignment. Including FOL names ( a, b, etc.) in your translations is perfectly okay, and indeed necessary for getting a correct English translation of sentences about Tarski’s World objects. No translation that contains a variable like “x” in it is clear, colloquial English hence, no such translation will earn any points. You may use the robo- pseudo-English as a mid-way point-a scratch work to help you get from the FOL to the English-but don’t stop there. Robo-, pseudo-English that uses variables (like, “For any object x, if x is a cube, then x is small”) isn’t acceptable as a finished product. When part 1 of Exercise 10.9 asks you to translate/paraphrase the sentences into “clear, colloquial” English, please make sure to write smooth, plain English (“Every cube is small,” or “Everything in back of b is a tetrahedron”) that your relatives could understand over Thanksgiving dinner. Some will require you to write something out to hand in, others might call for a mixture of writing and Grade Grinder submission. Pay careful attention to the instructions for each of the problems, as well as the little symbol under the exercise number. Hints are available at the LPL website for Exercises 10.1 and 10.9. Hints and Solutions for some of these exercises are available under the “For Students” section of the LPL web site, where indicated below. Whenever you submit a written portion of a problem set via email, please make sure to write “Written Portion: PS #” in the subject line, letting us know that your e-mail contains a written portion to be graded and telling us which problem set number it is for. If an assignment has a written-out portion, you may either (a) bring it to class on the day it’s due, (b) slip it under Mark’s office door before it’s due, or (c) send it in an e-mail it to Mark before it is due. Each individual problem is worth 6 points unless otherwise indicated. Unless otherwise noted, problem sets are always due by the beginning of class on the due date. Remember that the problem set exercises are not the upper limit of the problems you should do: The more exercises from the book you try, the better off you will be. Here is a running schedule of the problems that are assigned for as our problem sets throughout the term. Intro to Symbolic Symbolic Logic: Philosophy 102 Problem Set Assignments Problem Set Assignments
0 kommentar(er)
