(no commit message)

[lambda.git] / topics / _week6_plexy.mdwn

diff --git a/topics/_week6_plexy.mdwn b/topics/_week6_plexy.mdwn
index caf3e69..b93c29e 100644 (file)
--- a/topics/_week6_plexy.mdwn
+++ b/topics/_week6_plexy.mdwn
@@ -47,6 +47,8 @@ meaning.
 more complicated expression that, he argues, refers to Plexy, but this
 nicety is not crucial to our discussion here.)
 
 more complicated expression that, he argues, refers to Plexy, but this
 nicety is not crucial to our discussion here.)
 

+## Types to the rescue
+

 Kaplan's solution is, in effect, to impose a type system on his
 grammar in such a way that structured meanings cannot be confused with
 the referent of a directly-referential term.  He suggests that the
 Kaplan's solution is, in effect, to impose a type system on his
 grammar in such a way that structured meanings cannot be confused with
 the referent of a directly-referential term.  He suggests that the


@@ -65,6 +67,8 @@ class of objects that a directly referential term can refer to, and
 the class of objects that can serve as the complex structure
 corresponding to a DP that is not directly referential.
 
 the class of objects that can serve as the complex structure
 corresponding to a DP that is not directly referential.
 

+## Motivating Maybe
+

 Kaplan goes on to use this solution to attack a different problem, the
 problem of non-referring names.  Russell supposed that if a name had
 no referent (e.g., *Santa*), a sentence containing that name would
 Kaplan goes on to use this solution to attack a different problem, the
 problem of non-referring names.  Russell supposed that if a name had
 no referent (e.g., *Santa*), a sentence containing that name would