[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Re: Using continuations to model quantifiers, focus, and coordination



On Thu, 14 Dec 2006, Seth Gordon wrote:
> Joel Shellman wrote:
> > Applying functions on sets shouldn't be a problem, is it?
> 
> I suspect that rephrasing all of this in terms of set theory would run
> into the problem that "set of A" is not the same logical type as "A".
> So you can't translate "Everyone on this list loves Lojban" to "the set
> of everyone in this list loves Lojban"; you have to translate it to "for
> all X such that X is a member of the set of everyone in this list, X
> loves Lojban".

On the topic of referent sets, you might find this discussion interesting:
http://www.math.ucla.edu/~jimc/guaspi/cases.html -- "What is a Predicate"
http://www.math.ucla.edu/~jimc/guaspi/semantic.html -- "Semantics of 
Arguments"

James F. Carter          Voice 310 825 2897    FAX 310 206 6673
UCLA-Mathnet;  6115 MSA; 405 Hilgard Ave.; Los Angeles, CA, USA  90095-1555
Email: jimc@math.ucla.edu    http://www.math.ucla.edu/~jimc (q.v. for PGP key)