Newsgroups: sci.lang
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!travelers.mail.cornell.edu!news.kei.com!news.mathworks.com!uunet!in1.uu.net!nctuccca.edu.tw!news.cc.nctu.edu.tw!cc.ntnu.edu.tw!news
From: Christian Soffel <m51079@mtc.ntnu.edu.tw>
Subject: Re: (fwd) This is almost worthy of Metalleus
In-Reply-To: <9509181013.AA21638@mtc.ntnu.edu.tw>
X-Sender: m51079@mtc
Content-Type: TEXT/PLAIN; charset=US-ASCII
Message-ID: <Pine.SUN.3.90.950918185253.21672F-100000@mtc>
Sender: news@cc.ntnu.edu.tw
Nntp-Posting-Host: mtc
Organization: NTNU, Taiwan, R.O.C.
References: <9509181013.AA21638@mtc.ntnu.edu.tw>
Mime-Version: 1.0
Date: Mon, 18 Sep 1995 11:14:51 GMT
Lines: 50

> Lesson 7.
> ---------
> 
> Topic: negation.
> 
> [...] You extract the meaning from a Click phrase by
> calculating the intersection of the sets symbolized by its words.
> [...] To be well-formed,
> a Click  clause  must return a non-empty set. So {I} {go} does
> mean "I go".
> 
> To understand how negation is expressed in Click, we have to go back to
> lesson one:
> 
> Click:  {one} {good} {idea}
>          one   good   idea
> 
> Remember: {one} is the set of sets with exactly one member, {good} the set
> the members of which are good, {idea} the set the members of which are
> ideas, whence the meaning: one good idea.
> 
> Likewise, {zero} {good} {idea} means "no good idea". So "I do not go"
> is  {I} {zero} {go} (or {zero} {I} {go}, etc.).
> 

  I don't get it! 
  As I understand, {zero} is the set of sets with zero members, that is
the set containing only the empty set. If I have a sentence in Click that
contains the word {zero}, the meaning of this sentence (which is found by 
calculating the intersection of its members), must be a non-empty subset 
of {zero}, that can only be {zero} itself.
  That means, the meaning of these sentences is identical:

  {I} {zero} {go}
  {you} {zero} {go}
  {zero} {good} {idea}
  {zero} 

  Isn't it?



  It seems more likely, that {zero} should be somewhat like

  [ no_ideas, no_apples, no_trees ... ]
 
but this is not a "set".

  Is the meaning of a Click sentence really the intersection of its 
members? Or is it more than that?
