Notes on Logic: Difference between revisions

We can never distinguish one logical type from another by attributing a property to members of the one which we deny to members of the other. Types can never be distinguished from each other by saying (as is currently done) that one has these ''but'' the other has those properties, for this presupposes that there is a ''meaning'' in asserting all these properties of both types. <!--''Cf.'' 4.1241.] -->And, from this it follows that, at least, these properties may be types, but certainly not the objects of which they are asserted.