Re: what is a loglang?
|From:||John Cowan <cowan@...>|
|Date:||Monday, July 12, 2004, 4:59|
Jeffrey Henning scripsit:
> I had assumed since Voksigid is predicate based that it was a logical
> language. Why do you classify it differently?
Well, because it doesn't encode logic: the predicates are just zero-valence
verbs (and in practice they have perfectly ordinary distinctions between
core and peripheral cases). There's no machinery for logical conjunctions
or quantified variables.
John Cowan firstname.lastname@example.org www.reutershealth.com www.ccil.org/~cowan
Assent may be registered by a signature, a handshake, or a click of a computer
mouse transmitted across the invisible ether of the Internet. Formality
is not a requisite; any sign, symbol or action, or even willful inaction,
as long as it is unequivocally referable to the promise, may create a contract.
--Specht v. Netscape