 Frank Ramsey  is the first philosopher to have suggested a position like \(\mathbf{B}\) (although he does not really accept propositions as abstract entities (see Ramsey 1927 (34–5) and 1929 (7)), despite sometimes talking in terms of propositions):