the problem of "go'i": Difference between revisions
mNo edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{irci|tersmus}} !broda( ); !broda( ) | |||
{{irci|zugz}} I couldn't make any coherent sense of CLL's "replacement" mechanics for NA and tags | |||
{{irci|zugz}} I'd be interested if anyone can find sensible comprehensive rules incorporating them | |||
{{irci|durka42}} I'm sure {na broda .i ja'a go'i} is supposed to mean "!broda (); broda()" | |||
{{irci|zugz}} that's what CLL says, yes | |||
{{irci|Ilmen}} I'm not fond of this replacement system, but I guess it goes this way: when a tag is used with {go'i}, the interpreter will search the first occurrence of the same tag in the main-level of the target bridi, and replace it with the new tag-clause | |||
{{irci|zugz}} what about when {go'i} refers to connected bridi? | |||
{{irci|durka42}} but it doesn't work in practice? | |||
{{irci|Ilmen}} And na and ja'a are special, because they can replace each other | |||
{{irci|zugz}} ge na broda gi brode .i ja'a go'i | |||
{{irci|Ilmen}} zugz: I guess go'i refers to the underlying ge-bridi | |||
{{irci|Ilmen}} kaxyje'u fa lo du'u na broda kei lo du'u brode | |||
{{irci|zugz}} so do you replace in both? Or neither? Or in front? | |||
{{irci|Ilmen}} at least I can't see any other interpretation | |||
{{irci|durka42}} ie ja'a kaxyje'u | |||
{{irci|Ilmen}} zugz: as "na" isn't at top level, it can't be replaced I think | |||
{{irci|durka42}} that dilemma doesn't seem to depend on which "replacement" semantics are used | |||
{{irci|durka42}} because you can't use any GOhA to get at either bridi connected by {ge}, can you? | |||
{{irci|Ilmen}} That's like, {cumki fa lo nu broda} {na go'i} ---> the na negates cumki, and not broda | |||
{{irci|zugz}} I don't see why connectives should be different from tags for this | |||
{{irci|Ilmen}} durka42: the go'i series only target main-level bridi | |||
{{irci|zugz}} if a connective can mask inner tags and NA from being replaced, why not a tag? | |||
{{irci|Ilmen}} zugz: I think tags as well are masked if they're not at top-level | |||
{{irci|durka42}} tags are more like places than connectives ma'i mi | |||
{{irci|zugz}} do we really want {ba ja'a broda .i na go'i} -> {ba na broda} but {ba broda .i na go'i} -> {na ba broda}? | |||
{{irci|zugz}} durka42: they're scope-dependent, so in that sense they're like connectives | |||
{{irci|durka42}} have to think about that, I see advantages to both | |||
{{irci|Ilmen}} Indeed, in {ba na broda} {na go'i}, the top-level bridi should be "balvi fa lo nu na broda" | |||
{{irci|Ilmen}} so the interpretation "na go'i" -> "ba na broda" is weird | |||
{{irci|durka42}} but if {ca ko'a go'i} can replace the {ca} at whatever scope level it was in the bridi | |||
{{irci|durka42}} then {na go'i} doing the same thing seems to increase consistency | |||
{{irci|zugz}} you also have the problem that {ro da na go'i} wouldn't always be equivalent to {na ku su'o da go'i} | |||
{{irci|durka42}} this is a more serious problem :) | |||
{{irci|zugz}} durka42: yes, if you ditch NA replacement, you have to ditch tag replacement too | |||
{{irci|durka42}} but it would still be equivalent to {ro da na ku go'i}, yes? | |||
{{irci|zugz}} I don't know... depends how you read CLL, I suppose | |||
{{irci|durka42}} I don't want to drop tag replacement either... | |||
{{irci|durka42}} but I am a fan of quantifier rules that actually make sense | |||
{{irci|zugz}} yes, I think that's rather more important in a logical language than making common things easy to say | |||
{{irci|zugz}} not that the latter wouldn't be nice too | |||
{{irci|durka42}} what if there are multiple naku terms in a bridi | |||
{{irci|Ilmen}} The Japanese way of handling yes/no would have been easier (no replacement) | |||
{{irci|Ilmen}} no = jitfa fa lo nu go'i (and not na go'i) | |||
{{irci|durka42}} yeah, says that in the CLL too | |||
{{irci|Ilmen}} yes = jetnu (fa lo nu go'i) | |||
{{irci|durka42}} I think it's too late to change this though... | |||
{{irci|durka42}} I don't think it's too late to fix the {ro} issue | |||
{{irci|durka42}} so I guess I'm opening to fixing this issue as well :p | |||
{{irci|durka42}} I wish there could be a way to make it consistent without ditching tag replacement | |||
{{irci|durka42}} http://korp.alexburka.com/#?cqp=%5B(pos%20%3D%20%22PU%22%20%7C%20pos%20%3D%20%22BAI%22)%5D%20%5B%5D%20%5Bpos%20%3D%20%22GOhA%22%5D&stats_reduce=word&search_tab=2&search=cqp%7C%5B(pos%20%3D%20%22PU%22%20%7C%20pos%20%3D%20%22BAI%22)%5D%20%5Bpos%20%3D%20%22GOhA%22%5D | |||
{{irci|durka42}} one example I can think of is {A: xu do ba vimcu lo fesydakli / B: mi pu go'i} | |||
{{irci|zugz}} oh, I assumed only the same tag would get replaced | |||
{{irci|durka42}} maybe a bad example | |||
{{irci|Ilmen}} me too | |||
{{irci|zugz}} can you remember where this is in CLL? | |||
{{irci|durka42}} xu do cliva xeka'a lo trene | |||
{{irci|durka42}} ienai go'i xeka'a lo vinji | |||
{{irci|Ilmen}} zugz: besides, CLL claims that even NAhE can be replaced | |||
{{irci|Ilmen}} {mi no'e gleki} {mi je'a go'i} | |||
{{irci|zugz}} durka42: that might work anyway, depending on what the semantics of BAI like that are |
Revision as of 15:46, 20 November 2014
tersmus | {{{2}}} |
!broda( ); !broda( )
zugz | {{{2}}} |
I couldn't make any coherent sense of CLL's "replacement" mechanics for NA and tags
zugz | {{{2}}} |
I'd be interested if anyone can find sensible comprehensive rules incorporating them
durka42 | {{{2}}} |
I'm sure {na broda .i ja'a go'i} is supposed to mean "!broda (); broda()"
zugz | {{{2}}} |
that's what CLL says, yes
Ilmen | {{{2}}} |
I'm not fond of this replacement system, but I guess it goes this way: when a tag is used with {go'i}, the interpreter will search the first occurrence of the same tag in the main-level of the target bridi, and replace it with the new tag-clause
zugz | {{{2}}} |
what about when {go'i} refers to connected bridi?
durka42 | {{{2}}} |
but it doesn't work in practice?
Ilmen | {{{2}}} |
And na and ja'a are special, because they can replace each other
zugz | {{{2}}} |
ge na broda gi brode .i ja'a go'i
Ilmen | {{{2}}} |
zugz: I guess go'i refers to the underlying ge-bridi
Ilmen | {{{2}}} |
kaxyje'u fa lo du'u na broda kei lo du'u brode
zugz | {{{2}}} |
so do you replace in both? Or neither? Or in front?
Ilmen | {{{2}}} |
at least I can't see any other interpretation
durka42 | {{{2}}} |
ie ja'a kaxyje'u
Ilmen | {{{2}}} |
zugz: as "na" isn't at top level, it can't be replaced I think
durka42 | {{{2}}} |
that dilemma doesn't seem to depend on which "replacement" semantics are used
durka42 | {{{2}}} |
because you can't use any GOhA to get at either bridi connected by {ge}, can you?
Ilmen | {{{2}}} |
That's like, {cumki fa lo nu broda} {na go'i} ---> the na negates cumki, and not broda
zugz | {{{2}}} |
I don't see why connectives should be different from tags for this
Ilmen | {{{2}}} |
durka42: the go'i series only target main-level bridi
zugz | {{{2}}} |
if a connective can mask inner tags and NA from being replaced, why not a tag?
Ilmen | {{{2}}} |
zugz: I think tags as well are masked if they're not at top-level
durka42 | {{{2}}} |
tags are more like places than connectives ma'i mi
zugz | {{{2}}} |
do we really want {ba ja'a broda .i na go'i} -> {ba na broda} but {ba broda .i na go'i} -> {na ba broda}?
zugz | {{{2}}} |
durka42: they're scope-dependent, so in that sense they're like connectives
durka42 | {{{2}}} |
have to think about that, I see advantages to both
Ilmen | {{{2}}} |
Indeed, in {ba na broda} {na go'i}, the top-level bridi should be "balvi fa lo nu na broda"
Ilmen | {{{2}}} |
so the interpretation "na go'i" -> "ba na broda" is weird
durka42 | {{{2}}} |
but if {ca ko'a go'i} can replace the {ca} at whatever scope level it was in the bridi
durka42 | {{{2}}} |
then {na go'i} doing the same thing seems to increase consistency
zugz | {{{2}}} |
you also have the problem that {ro da na go'i} wouldn't always be equivalent to {na ku su'o da go'i}
durka42 | {{{2}}} |
this is a more serious problem :)
zugz | {{{2}}} |
durka42: yes, if you ditch NA replacement, you have to ditch tag replacement too
durka42 | {{{2}}} |
but it would still be equivalent to {ro da na ku go'i}, yes?
zugz | {{{2}}} |
I don't know... depends how you read CLL, I suppose
durka42 | {{{2}}} |
I don't want to drop tag replacement either...
durka42 | {{{2}}} |
but I am a fan of quantifier rules that actually make sense
zugz | {{{2}}} |
yes, I think that's rather more important in a logical language than making common things easy to say
zugz | {{{2}}} |
not that the latter wouldn't be nice too
durka42 | {{{2}}} |
what if there are multiple naku terms in a bridi
Ilmen | {{{2}}} |
The Japanese way of handling yes/no would have been easier (no replacement)
Ilmen | {{{2}}} |
no = jitfa fa lo nu go'i (and not na go'i)
durka42 | {{{2}}} |
yeah, says that in the CLL too
Ilmen | {{{2}}} |
yes = jetnu (fa lo nu go'i)
durka42 | {{{2}}} |
I think it's too late to change this though...
durka42 | {{{2}}} |
I don't think it's too late to fix the {ro} issue
durka42 | {{{2}}} |
so I guess I'm opening to fixing this issue as well :p
durka42 | {{{2}}} |
I wish there could be a way to make it consistent without ditching tag replacement
durka42 | {{{2}}} |
durka42 | {{{2}}} |
one example I can think of is {A: xu do ba vimcu lo fesydakli / B: mi pu go'i}
zugz | {{{2}}} |
oh, I assumed only the same tag would get replaced
durka42 | {{{2}}} |
maybe a bad example
Ilmen | {{{2}}} |
me too
zugz | {{{2}}} |
can you remember where this is in CLL?
durka42 | {{{2}}} |
xu do cliva xeka'a lo trene
durka42 | {{{2}}} |
ienai go'i xeka'a lo vinji
Ilmen | {{{2}}} |
zugz: besides, CLL claims that even NAhE can be replaced
Ilmen | {{{2}}} |
{mi no'e gleki} {mi je'a go'i}
zugz | {{{2}}} |
durka42: that might work anyway, depending on what the semantics of BAI like that are