Monday, April 23, 2007

3.3441 One can, e.g., express the common feature of all notations for truth-functions thus: It is common to them that they all— e.g. —can be replaced by the notation “~p” (“not p”) and “p v q” (“p or q”).

(This shows [gekennzeichnet] the way that a specific possible notation can give us general insight.)

A specific kind of logical notation or concept-script can show us something general, namely that a general range of bits of language can be translated into them. We seem to learn nothing about the world in this way though, except that different bits of it have this in common, which we could have known already, without the symbolism.

No comments: