chapter  15
16 Pages

The System PM (I)

WithG. E. Hughes, D. G. Londey

In 1910, in the first volume of Principia Mathematica, Whitehead and Russell presented an axiomatization of PC, with disjunction and negation as primitive operators. It is this axiomatic system, to which we give the name ‘PM’, which will engage our attention for the next few chapters. It is worth remarking that in Principia Mathematica the system appears only as the first stage of a much larger design, and that it is isolated here as being the classical systematization of PC. 1