Re: what is a loglang?

Benct Philip Jonsson scripsit:

> Besides, what is _FOPC_ an abbreviation of?
First Order Predicate Calculus.  That is, logic that allows Boolean
operators and existential and universal quantification over objects
but not over predicates (except when reified as objects and predicated
about).  Lojban implements FOPC with some concessions to higher-order
logic and to various non-standard logics.

--
Ambassador Trentino: I've said enough. I'm a man of few words.
Rufus T. Firefly: I'm a man of one word: scram!
        --Duck Soup                     John Cowan <jcowan@...>