[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)