Re: It's pizza-time again

• Post for FREE via your newsreader at post.usenet.com ****

"mAsterdam" <mAsterdam_at_vrijdag.org> wrote in message news:40966278$0$562$e4fe514c_at_news.xs4all.nl...
> x wrote:
>
> > mAsterdam wrote:
> >>This was just an introduction to expand on my uneasy feeling
> >>towards equating 'thing' and 'fact'.
> >>
> >>In that context I also used a distinction:
> >>
> >>_thing_ :
> >>pizza, topping, table, clock, customer, onion, order, order-item.
> >>(now I am not so sure about the last two).
> >>
> >>_fact_ :
> >>"It's 4 p.m", "We are out of onions",
> >>"the customer at table 12 ordered 2 neapolitan icecreams".
> >
> > From these lists I would infer:
> > _thing_ = "material" noun.
> > _fact_ = occured event, occurence
> >
> > Sounds like the distinction between TO BE and TO OCCUR
>

> Yes. How about "Leroy Brown is 6'4" ?
> fact, no?

No.
Who is Leroy Brown ?

There are many of them ?
What is 6'4''   ? (wide? , tall ?)
How old is Leroy Brown ?

Maybe this one is a fact:

    The height of Leroy Brown has a value of 6'4'' [at this point in time].

To BE or not to BE ...

> > In First Order Logic there is a clear distinction between
> > predicates and objects/functions.
>
> Could you advice me on some reading?

I'm not the right person to give you advice on this. Jan Hidders maybe ?

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

• Usenet.com - The #1 Usenet Newsgroup Service on The Planet! *** http://www.usenet.com Unlimited Download - 19 Seperate Servers - 90,000 groups - Uncensored -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=