 Given a proposition, we could merely inquire whether it is true or false. But some very remarkable properties of propositions can be discovered if, in addition, we consider the truth values of all those propositions which can be generated from them, if we take some of their constituent ideas as variable and replace them by any other ideas whatever (TS, § 147). 