[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >

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

Re: [engelang] reformulating the core grammar

I don't follow.  We were, I thought, talking about showing the binding of bound variables.  If we leave  some variables unbound, we can devise any convention we want for them -- keeping in mind both the uses of logic and the eventual requirements of some semantics.

Sent from my iPad

On Oct 1, 2012, at 2:11 PM, John Cowan <cowan@hidden.email> wrote:

 

John E. Clifford scripsit:

> Frankly, I prefer just making the bad sentence a non-sentence and
> be done with it. But I suppose that complicates the rules (not that
> getting it right can really be called a complication).

On the contrary, I'd like to make the meaning of free variables context
dependent. That way they can be bound by s- if you want to emulate
Loglan/Lojban, or by r- if you want to do Prolog (a big nuisance in
writing Prolog in Lojban is that you have to insert strategic ro here
and there), or to some constant, in which case they serve as ko'a-type
anaphora.

--
John Cowan http://www.ccil.org/~cowan cowan@hidden.email
Uneasy lies the head that wears the Editor's hat! --Eddie Foirbeis Climo