2010-04-02
On the sense of variables in propositional functions
Reply to Jim Stone
Jim,

Mustn't some impredicative propositional functions have truth value? Maybe being a function or not isn't indicative of differential truth valuehood. A minor point.

Nathan