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:
Post a Comment