Re: 2nd-Order Predication over 1st-Order Objects

Peter_Smith wrote:

And when it comes to regimenting, we
certainly can't write M(H) or something like that, if that M and H are
to have the same syntax as before. For H is really what Frege would
call an unsaturated expression with a hole it in waiting for a term to
fill it, and M(H) won't be a complete sentence.

But contrary to Frege, it's easy to form concept expressions which are
saturated:

M(\x.Hx)

This is a complete sentence.
There's no reason to think that Fregean concepts as unsaturated
entities can impossibly be referred to by means of saturated
expressions, i.e. singular terms. Actually, we do use singular terms
such as "the sine function" to refer to those.

#PH

.

Relevant Pages

  • Re: 2nd-Order Predication over 1st-Order Objects
    ... call an unsaturated expression with a hole it in waiting for a term to ... it's easy to form concept expressions which are ... we do use singular terms ... referring to the extension of the concept, ...
    (sci.logic)
  • Re: Strong vs. Normal Thread Safety.
    ... frege wrote: ... Chris has a smart_ptr that can do this. ... Note that the expressions aren't atomic. ... Just the pointer loads and stores. ...
    (comp.programming.threads)