[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
On Sun, Aug 26, 2012 at 9:34 PM, And Rosta <and.rosta@hidden.email> wrote:
>
> The difference between predicates and operators
> is only syntactic; operators are a kind of abbreviation of predicates.
Let's see:
"na bra" could be an abbreviation of "le brafe jtfe".
"je bra cre" could be an abbreviation of "li brafi lo crefo knxiko"
(using "knxiko":"i and o are both true" instead of the less useful
Lojban definition of "kanxe"). Similarly for other connectives.
"ra bra cra" could be an abbreviation of "la bra le cre mnake", "the
br's are among the cr's".
Then:
sa bra cra
= na ra bra na cra
= na ra bra le crafe jtfe
= na li bri lo le crofe jtfe mniko
= lu li bri lo le crofe jtfe mnikofu jtfu
"it is false that the br's are among the things of which it is false
that the cr's are among"
Certainly worth having the abbreviation there. :)
I don't think that "la bra cra" could be an abbreviation of anything,
since (in our grammar so far) we can't have sentences without
variables, and we can't have meaning with unbound variables, so we
need at least one primitive binder.
> > 2. If it were allowed, usually jefa would require "a" to be bound as "la
> > sma jefa", which adds a lot of verbosity.
>
> "I saw there was a cat and a dog" could be "za je vskaika jefa (zi) mlti
> (zu) grku", where {z} is unary existential quantifier, and {ai} is the
> variable that when unbound means "me" (I can't remember off the top of my
> head what form Jorge had for it).
Let's see, translating to my version that would be:
sa sma je vska'aka jefa (li smi) mlti (lu smu) grku
Sounds good. So the idea is:
jefa mlti grku
=je mltifa grkufa
and generally:
jefa F1 F2
=je br...fa cr...fa
where br... and cr... are predicates equivalent to formuas F1 and F2.
> > 3. Also, the interpretation and transformation rule would have to be
> > determined precisely in the same way ju would have to be.
>
> X-fa is the state of affairs in which X is the case. Is there more needs
> to be said than that?
No, it's just hard to express X-fa in the language, because unless X
is just a single predicate, the -fa may need to be attached in several
places inside it.
mu'o mi'e xorxes