ABSTRACT

This chapter explains that both propositions of existence and propositions of identity are to be distinguished from true subject-predicate propositions and briefs the range of propositions of each of these three kinds. General propositions, namely those that traditional logic classified as of the A, E, I and O forms is considered. It is contended by Russell, that all such propositions assert connections between propositional functions. Russell claimed that propositions expressed in sentences the grammatical subjects of which are definite or indefinite descriptive phrases are general propositions: in other words, that they are of the same forms as those the subjects of which are ‘All’-phrases or ‘Some’-phrases. The chapter reviews three logical notations: those of traditional logic, of the propositional calculus and of the predicative calculus. The second and third of these not only enable reader to express logical relations more perspicuously but give them a deeper understanding of the structure of propositions.