Received-SPF: pass (google.com: domain of seladwa@gmx.de designates 212.227.17.20 as permitted sender) client-ip=212.227.17.20;
Subject: Re: [lojban] sko'opu definition and place structure
To: lojban@googlegroups.com
References: <efaf1a3c-eb84-421e-9886-3636f235ed50@googlegroups.com>
From: selpa'i <seladwa@gmx.de>
Message-ID: <55B15A86.3020000@gmx.de>
Date: Thu, 23 Jul 2015 23:20:06 +0200
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:38.0) Gecko/20100101
 Thunderbird/38.1.0
MIME-Version: 1.0
In-Reply-To: <efaf1a3c-eb84-421e-9886-3636f235ed50@googlegroups.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -1.7
X-Spam_score_int: -16
X-Spam_bar: -

la zipcpi cu cusku di'e
> http://jbovlaste.lojban.org/dict/sko'opu
>
> I added this word to JVS because too many have asked what it means. But
> we obviously need a better definition and a real place structure.

Right, this word is very common in discussions that occur in Lojban 
about Lojban's logic. We basically have been using it without ever 
defining its place structure.

To me the two main contenders are:

a) "x1 has scope over x2"

b) "x1 is the scope of operator x2"

We just never decided. And we failed at any attempts to formulate a 
convincing Lojban definition.

Definition a) sounds more "active". I *think* I have a slight preference 
for a). A third place might be needed (an "in context/bridi x3" place).

Btw, I think to get the kind of meaning that you entered into JVS one 
can use {lo si'o sko'opu}.

mi'e la selpa'i mu'o

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.