6,064
edits
No edit summary |
No edit summary |
||
Line 192: | Line 192: | ||
Different logical types can have nothing whatever in common. But the mere fact that we can talk of the possibility of a relation of n places, or of an analogy between one with two places and one with four, shews that relations with different numbers of places have something in common, that therefore the difference is not one of type, but like the difference between different names—something which depends on experience. This answers the question how we can know that we have really got the most general form of a proposition. We have only to introduce what is ''common'' to all relations of whatever number of places. | Different logical types can have nothing whatever in common. But the mere fact that we can talk of the possibility of a relation of n places, or of an analogy between one with two places and one with four, shews that relations with different numbers of places have something in common, that therefore the difference is not one of type, but like the difference between different names—something which depends on experience. This answers the question how we can know that we have really got the most general form of a proposition. We have only to introduce what is ''common'' to all relations of whatever number of places. | ||
The relation of "I believe p" to "p" can be compared to the relation of' "p" says (besagt) p' to p: it is just as impossible that ''I'' should be a simple as that "p" should be. <!--[''Cf''. 5.542.]--> | The relation of "I believe p" to "p" can be compared to the relation of '"p" says (besagt) p' to p: it is just as impossible that ''I'' should be a simple as that "p" should be. <!--[''Cf''. 5.542.]--> |