The Principles of Mathematics (1903)

The Calculus of Classes

  1. § 20. Three new indefinables
  2. § 21. The relation of an individual to its class
  3. § 22. Propositional functions
  4. § 23. The notion of such that
  5. § 24. Two new primitive propositions
  6. § 25. Relation to propositional calculus
  7. § 26. Identity

§ 21 n. 1. See his Begriffsschrift, Halle, 1879, and Grundgesetze der Arithmetik, Jena, 1893, p. 2.

§ 22 n. 1. Verbs and adjectives occurring as such are distinguished by the fact that, if they be taken as variable, the resulting function is only a proposition for some values of the variable, i.e. for such as are verbs or adjectives respectively. See Chap. IV.

§ 25 n. 1. Schröder, Algebra der Logik, Vol. II, pp. 258-9; McColl, Calculus of Equivalent Statements, fifth paper, Proc. Lond. Math. Soc. Vol. XXVIII, p. 182.