Tuesday, March 27, 2007

3.313 An expression is thus presented by way of a variable whose values are the propositions that contain the expression.

(In the limiting case the variables become constants, the expression a proposition.)

I call such a variable a “propositional variable.”

We seem to be multiplying logical entities beyond necessity, but we’ll see where we get with all this.

No comments: