As was requested over email, let me provide a worked out example of something like the sentences from Part I, and a couple of notes about parts II−III.<\/p>\n
Part I: Translating quantified arguments into FOPL<\/p>\n
Suppose that you were asked to translate (12).<\/p>\n
(12) Pat ate every sandwich.<\/p>\n
What you need to do is provide a key, and a translation. Probably simplest to make a single key for everything (since at least there are a couple in there that refer to the same individuals, or use the same predicates). But here, since there’s just the one sentence, the key would include:<\/p>\n
Then the translation of this would use the quantifier ∀ (because the English sentence in (12) contains “every”), and what it says is basically for every x that is a sandwich, Pat ate x. Or, in FOPL:<\/p>\n
∀x1<\/sub>( SANDWICH(x) → EAT(p, x1<\/sub>) )<\/p>\n That’s it for the sentences in Part I, just do that for each of them.<\/p>\n For part II, keep in mind that there’s a difference between “everything likes Bob” and “everyone likes Bob”—the latter one is only generalizing about people, so you’ll want to use the predicate PERSON (at least, in general, if there are any individuals in the domain D that are not people).<\/p>\n For Part III, the models M1<\/sub>, M2<\/sub>, etc. are setting out possible actual states of the world. That is, who the professors are and who the vain people are, etc. You won’t actually need to do anything with the assignment function g. The function g is used in the semantic interpretation of a formula with a quantifier in it by taking g and modifying it, but that’s implicit when you write ∀x1<\/sub>(…). What that means “behind the scenes” is “go through all of the individuals in the domain D, one by one, and for each of them change g so that g(x1<\/sub>) is the individual you’re considering. Then see if the (…) part is true (where usually the (…) part will contain at least one x1<\/sub> that will be replaced by the individual you are considering when you evaluate it). I reiterate that this is not something you need to be writing down on (this) assignment, but that’s how ∀ works. So, step by step, working out something like “everyone is a professor”, we’d translate it as ∀x1<\/sub>(PROFESSOR(x)) (no need to worry about people vs. non-people, because D as defined has only people in it). To see if it is true, the procedure below is followed:<\/p>\n So that’s “behind the scenes.” But you can kind of do this in your head. To re-reiterate, you don’t have to write down anything about g or this semantic evaluation procedure on homework 7, but what I wrote above is explaining how it works in FOPL, based on the semantics we have for FOPL. In particular, that PREDICATE(x1<\/sub>) is true if g(x1<\/sub>) ∈ Val(PREDICATE).<\/p>\n","protected":false},"excerpt":{"rendered":" As was requested over email, let me provide a worked out example of something like the sentences from Part I, and a couple of notes about parts II−III. Part I: Translating quantified arguments into FOPL Suppose that you were asked to translate (12). (12) Pat ate every sandwich. What you need to do is provide […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21],"tags":[],"class_list":["post-83","post","type-post","status-publish","format-standard","hentry","category-assignments"],"_links":{"self":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/posts\/83","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/comments?post=83"}],"version-history":[{"count":1,"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/posts\/83\/revisions"}],"predecessor-version":[{"id":84,"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/posts\/83\/revisions\/84"}],"wp:attachment":[{"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/media?parent=83"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/categories?post=83"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/ling-blogs.bu.edu\/lx502s14\/wp-json\/wp\/v2\/tags?post=83"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n