[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: OT: verification principle (was Re: [jboske] factivity of nu)
On Mon, 13 Jan 2003, John Cowan wrote:
> Invent Yourself scripsit:
>
> > You intend to count propositions? Are you sure that they are countable?
>
> Prepositions, if not ineffable, must be encodable as sentences, and sentences
> are countable, if you exclude sentences of infinite length. In Lojban, the
> grammar allows such sentences, but we are not able in general to determine
> their truth conditions.
A bunch of sentences are countable but little can be deduced from that
number, as Jordan hopes to, because it's trivial to alter that number with
grammatical rearrangements.
--
// if (!terrorist)
// ignore ();
// else
collect_data ();