BPFK Section: Epistemology sumtcita
On Tue, 29 Mar 2005 09:19:36 -0800 (PST), John E Clifford wrote:
> --- Jorge LlambÃas <jjllambias@gmail.com> wrote:
> > A relationship F'(a,b,c) can always be defined
> > as a composition
> > G(F(a,b), c), can't it?
> >
> > All I'm doing is trying to figure out what G is
> > in terms of the
> > underlying selbri of the BAI that adds argument
> > c to F(a,b)
> > to give F'(a,b,c)
>
> The issue is rather whether F'(a b G*(c)) need
> bear any relation to G(F(ab) c).
What's G*(c)? c is an ordinary argument of F'.
> The functor for
> which the composition rules hold are a very
> limited sort, rarely met with in BAI, I think.
> For normal predicates it seems that rewriting its
> expansion will be much more complex and
> idiosyncratic.
Not sure what you mean, but I find that cases that are
hard to transform are the exception rather than the rule.
mu'o mi'e xorxes