Reading for Tu 11/17: Kearns 4.1-4.2 (67-72) ; Kearns 5.1 (93-94)

F0r next Tuesday’s class, please read sections 4.1-4.2 (pgs. 67-72) of the Kearns textbook, as well as section 5.1 (pg. 93-94).  On Tuesday, we’ll see how First-Order Predicate Logic can be extended to translate sentences like “Two professors are vain” and “The professor is vain”.  We’ll also discuss the problem posed by sentences like “Most professors are vain”.