🚀 go-pugleaf

Oh. I get it.

But stratification works fine in any case (well, I don't mean it has no
costs, but it does work).
Thus, if you don't reify the predicate, you need to stratify. And if you
do reify the predicate, you need to stratify. Or perhaps there is some
other strategy. But so far, it looks as though all the strategies work
equally for reified and unreified predicates.

I'm not sure I agree, by the way, that a predicate is meaningful if and
only if it expresses a property.

I can think of a couple of types of example. For one, one might agree
that a predicate is meaningful even though one thinks it should be
paraphrased out in a good, logical language. I suppose "yummy" might be
like that.

For another, I suspect that there are some predicates that are
indexicals. "Occurred yesterday" might be such a predicate. (I believe
that it is.) Of course, I would agree that on any occasion of use,
"occurred yesterday" DOES express a property. So perhaps that isn't a
counterexample at all. But it expresses different properties on
different occasions.

Hm. Those are the only kinds of examples I can think of.
(And it's possible that the "expressivist" predicates, like
"yummy," are best thought of as indexicals, too....)

      Jamie