  The third category of linguistic beliefs are general beliefs, i.e. those whose expression involves the words ‘all’ and ‘some’. Concerning general propositions, Ramsey successively held two different views. The first of these, explained in ‘Facts and Propositions’ (1927a) and ‘Universals of Law and Fact’ (1928b), is essentially the Tractarian view that quantified sentences are conjunctions and disjunctions of atomic propositions (Sahlin 1990,  76; Dokic and Engel 2002, 30). The only difference he found between conjunctions and disjunctions, on the one hand, and universal and particular sentences, on the other, was that the arguments of genuine conjunctions and disjunctions can be enumerated, whereas the arguments of quantified sentences are given by means of propositional functions. These propositional functions show their usefulness in those cases in which either we do not know their particular instances, or there are so many of them that enumerating them is impossible. When such enumeration is logically possible we have universals of fact; when it is not, we have universals of law. One might think that the details that distinguish conjunctions, disjunctions, and universals of fact from genuine general propositions would vanish from the perspective of an omniscient subject who could entertain the totality of all application instances. Ramsey nevertheless rejects this idea because the role of general propositions is pragmatic, as an aid in the task of systematizing ‘our knowledge as a deductive system’ (1928b, [PP] 143), rather than semantic.