Re: Chief logician?

[Randall Holmes <holmes@DIAMOND.IDBSU.EDU>]

The issue of abstraction raising as you describe it is what I thought
you were referring to; it is indeed quite important.  TLI Loglan has
the problem you have described with implicit raising of arguments in
predicates; I have already noticed it.  We may eventually need to do such
a cleanup; I'm happy to hear that it proved to be possible (or was it a
success :-) )

I also support using real terminaology for negation; for instance, having
 remarked
that I felt that negation properly was an operation on propositions,
I did go ahead and speak of negation and other logical connectives as
applied to arguments... [A [B  But the other forms of negation you describe
(other than the metalinguistic, which I suppose really is a logical
negation) could use new terms.  Sometimes an existing usage is actually bad
and needs to be reformed; isn't the whole Loglan enterprise an extremely
radical move in that direction :-)

                                --Randall Holmes

P.S.  Could we stop replying to messages with this heading?  It makes
me itch, as if I had some unfulfilled responsiblity somewhere...