# Re: Reification

From: pat hayes <phayes@ai.uwf.edu>
Date: Fri, 6 Apr 2001 14:53:16 -0500
Message-Id: <v04210112b6f3cd6011dd@[205.160.76.201]>
To: Pierre-Antoine CHAMPIN <champin@bat710.univ-lyon1.fr>

```>Drew,
>
>I'm not sure I understand all the the implications of your arguments
>What if I write
>
>  (implies (is Reification Great) (likes Drew Reification) )
>
>I do not use quoting here,
>still the outer parenthesis seem to have a quite different meaning than
>the inner parenthesis :
>I do *not* assert anything about Reification being great nor you liking
>it,
>though I *do* assert the implication.

You need to distinguish between what an expression MEANS (what it
refers to in an interpretation) from what gets ASSERTED. The meaning
of the inner parentheses is that a relation holds between two things;
the meaning of the implies is that its value is false if the
antecedent (is Reification Great) is true and the consequent (likes
Drew Reification) is false, otherwise it is true. Both of these are
to do with truth.
The usual assertion convention is that asserting an expression is
claiming that the expression is true. (Some systems require an
explicit 'asserts' and assume that anything not explicitly asserted
is just kind of lying there.) That applies just as much to asserting
and 'inner' triple like (is Reification Great) as it does to a more
complex expression. Asserting it says it is true. What that says
about the subexpressions depends on the connectives, but it can get
quite complicated.  The only case where asserting a complex
expression is similar to asserting the subexpressions is when the
topmost connective is conjunction.

>My understanding is that Triples do have the same "power" as the outer
>parenthesis,
>while reification only has the "power" of inner parenthesis.

Whatever that means, it isn't what reification means.

Pat Hayes

---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes
```
Received on Friday, 6 April 2001 15:51:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT