Re: [lojban] non-ka properties

[John E Clifford <kali9putra@yahoo.com>]

Are you sure?  I get confused in infinity (as any right-thinking person should) 
but I have aleph-null types and aleph-null situations giving aleph-null squared 
potential tokens.  aHAH! There must be more than aleph-null situations because 
there are more than aleph-null predicates, each of which can occur alone in at 
least one situation.  And we can't reliably reduce these variant properties down 
to others, even if every situation under one description is also another 
situation under another, Never mind.




----- Original Message ----
From: Jorge Llambías <jjllambias@gmail.com>
To: lojban@googlegroups.com
Sent: Sun, June 19, 2011 9:01:17 AM
Subject: Re: [lojban] non-ka properties

On Sat, Jun 18, 2011 at 5:59 PM, Alex Rozenshteyn <rpglover64@gmail.com> wrote:
> To be fair, the number of lojban utterances is countable...

It depends on what you mean by utterance. If I say "coi" and you say
"coi", do those count as two utterances or as one and the same?

The number of utterance types is countable, the number of potential
utterance tokens is uncountable, the number of actual utterance tokens
is probably not just countable but finite.

But we were comparing ka-expressions and properties, so I'm not sure I
see how the number of utterances comes in. the number of ka-expression
types is countable, and the number of properties is uncountable.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups 
"lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to 
lojban+unsubscribe@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/lojban?hl=en.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.