Lojban
The Logical Language
Log in
Username:
Password:
I forgot my password |
CapsLock is on.
Log in
History: scope of selbri tcita
View page
Collapse Into Edit Sessions
Source of version: 10
(current)
«
»
I believe the current prescription is that scope follows left-to-right, except for {na} (or NA?), which has maximally wide scope over the bridi. This exception is a pointless complication that leads to confusion. It should be done away with. (The only defence of it has come from Nora (on jboske & phpbb), hingeing on the interpretation of nago'i. This is addressed on phpbb & will be recapped on the wiki in due course when we get round to writing up something on the interpretation of bridi anaphora.) The scope rules, then, are as follows: * outer has scope over inner * for two elements at the same level, either (a) the former has scope over the latter, or (b) they have 'coordinate' scope (defined on ((Discussion: Three dogs attacked four men))). Disambiguation between (a) and (b) is done either by glorking or by BAhE-subord/BAhE-coord. ------------- ((xorxes)): We also need to consider the scope of quantifiers in tagged terms with respect to the scope of the tag. There seem to be two options: # Since the term appears to the right of the tag, the tag has scope over the quantifier. # Since the tag is essentially an extension of the selbri, the term's quantifier has scope over the tag (as it does over the selbri too). ((And)): Are you talking about {PA1 ROI PA2 broda}? ((xorxes)): Yes, but it applies to other tags as well. Does {di'i ze broda} mean that the event occurs regularly within each of the seven broda, or that the seven broda are regularly distributed? I think the latter has to be {di'i lo ze broda}, and that {di'i ze broda} gives the former, i.e. {di'i} is within the scope of {ze}, just like the selbri of the bridi this term belongs to. ((And)): OK. So you prefer Option (2), & I agree (cf. {claxu} = {na ponse} with {na} with narrowest scope). But how does one express the reading where PA1 has scope over PA2? Whereas Option (1) offers an obvious way to express both readings, I'm not sure how Opt 2 would express both. ((xorxes)): I'd say either {PA1roi lo PA2 broda}, in which PA2 becomes part of the description of the single interval in question, or {PA1roiku ze'a PA2 broda}, i.e. split it into two terms, where PA2 intervals is under the scope of PA1 times. ((And)): Okay. Then I can't see any reason for Opt 2 not to win. ---- pc: It is not clear where comments come in the general scheme of things -- after additions (but when) and before discussion. In any case (since comments seem presently to be reorded in a black hole), the whole notion of scope needs to be looked at again, probably starting with the logical forms and working backward, since the other approach has led to the present mess. Ideally, the whole preselbri pack -- and the similar BAI phrases -- should go to the front in order. But that wreaks havoc with quantifiers and can't generally be cured with something like deMorgan, short of making the most common forms {ku}d to death. If there is a solution that also solves the independent quantifier problem, so much the better (though I don't see the connection).
History
Enable pagination
rows per page
HTML diff
Side-by-side diff
Side-by-side diff by characters
Inline diff
Inline diff by characters
Full side-by-side diff
Full side-by-side diff by characters
Full inline diff
Full inline diff by characters
Unified diff
Side-by-side view
Information
Version
Thu 25 of Sep, 2003 14:09 GMT
xorxes
from 200.49.74.2
10
Actions
View
Source
Thu 25 of Sep, 2003 11:35 GMT
And
from 213.121.69.72
9
Actions
View
Source
Thu 25 of Sep, 2003 00:57 GMT
And
from 81.7.61.51
8
Actions
View
Source
Tue 23 of Sep, 2003 19:40 GMT
pycyn
from 65.69.51.90
7
Actions
View
Source
Tue 23 of Sep, 2003 19:38 GMT
pycyn
from 65.69.51.90
It is not clear where comments come in the general scheme of things -- after additions (but when) and before discussion. In any case, the whole notion of scope needs to be looked at again, probably s
6
Actions
View
Source
Tue 23 of Sep, 2003 16:30 GMT
xorxes
from 200.49.74.2
5
Actions
View
Source
Tue 23 of Sep, 2003 15:54 GMT
And
from 81.7.57.69
4
Actions
View
Source
Tue 23 of Sep, 2003 15:53 GMT
And
from 81.7.57.69
3
Actions
View
Source
Fri 19 of Sep, 2003 19:44 GMT
200.49.74.2 from 200.49.74.2
created from phpwiki import
2
Actions
View
Source
Select action to perform with checked...
Remove
OK
About
Introduction
What Others Say
FAQ
Learning
Books
Vocabulary
Lojbanic Software
Community
Web/Email Forums
IRC Chat
Links
News
Dictionary
Swag
Multimedia
Lojbanic Texts
Audio
Wiki
Recent Changes
Popular Pages
How To Edit
The LLG
Official Projects
Publications
Donate!
Contact Us
Search Lojban Resources