Le jeudi 9 avril 2015 09:15:04 UTC+9, xorxes a écrit :
On Tue, Apr 7, 2015 at 10:02 PM, guskant
<gusni...@gmail.com> wrote:
Le mercredi 8 avril 2015 06:52:23 UTC+9, Jacob Errington a écrit :
.i ko'a brodrfV lo du'u broda <=> broda fV ko'a
The definition should be then :
.i ko'a brodrfV lo ka fV ce'u broda <=> broda fV ko'a
I don't know. Is it different from "ckaji"?
bridi of {brodrfV} series form a subset of bridi of {ckaji}.
The difference is only that {brodrfV} does not permit plural {ce'u}, and that the place of the only {ce'u} is explicit by the last part of the word.
.i ca'e ko'e du lo ka ce'u citka lo cakla kei lo ka lo cakla cu se citka ce'u
.i ca'e ko'a citka lo cakla
.i xu ko'a brodrfa ko'e .i xu ko'a brodrfe ko'e .i xu ko'a brodrfi ko'e
The last line should be formed with {citkrfV} and {selcitkrfV}, or more precisely, {fe zei lo zei cakla zei citkrfV} and {fa zei lo zei cakla zei selcitkrfV}.
.i xu ko'a citkrfa ko'e .i go'i
.i xu ko'a citkrfe ko'e .i na go'i
.i xu ko'a citkrfi ko'e .i na go'i
.i xu ko'a selcitkrfa ko'e .i na go'i
.i xu ko'a selcitkrfe ko'e .i go'i
.i xu ko'a selcitkrfi ko'e .i na go'i
The problem is that FA doesn't deal with propositions or with properties. A proposition is independent of the text used to express it. A property also is independent of the text used to express it. Different texts can be used to express the same proposition, or the same property.
We can't have predicates that relate a proposition or a property to its "fa-argument", its "fe-argument", and so on, because propositions/properties don't have such things. It is only some of the texts used to express the propositions/properties that can may consist of a predicate with fa-/fe-/fi-arguments, but not the du'u/ka themselves.
We could have "ko'a brodrfa lu lo nixli cu citka lo cakla li'u" meaning that "ko'a du lo nixli", (via "ko'a du la'e lo'u lo nixli le'u") but I don't think it really makes sense with du'u or ka.
I agree, but my understanding of la_tsani's idea is only creating a mapping from a range of F(x_1, x_2, ...) to a range of G(x_i) by fixing the values x_j to constants c_j (i!=j).
This mapping does not impose any excessive role to FA.
x_1 of {brodrfV} is not related to propositions.
I would suggest {ka} instead of {du'u} in order to enjoy the open sentence (therefore, it does not signify a proposition) in the clause. {brod-} part of {brodrfV} means a predicate that have all the arguments other than x_i being substituted by constants.
In this sense, {ka} and {ckaji} of Lojban should have broader meaning than "property" of English.