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 cowan@ccil.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