The Notation in Principia Mathematica
Principia Mathematica by A.N. Whitehead and Bertrand Russell, published 19101913 in three volumes by Cambridge University Press, contains a derivation of large portions of mathematics using notions and principles of symbolic logic. The notation in that work has been superseded by the subsequent development of logic during the 20th century, to the extent that the beginner has trouble reading PM at all. This article provides an introduction to the symbolism of PM, showing how that symbolism can be translated into a more contemporary notation which should be familiar to anyone who has had a first course in symbolic logic. This translation is offered as an aid to learning the original notation, which itself is a subject of scholarly dispute, and embodies substantive logical doctrines so that it cannot simply be replaced by contemporary symbolism. Learning the notation, then, is a first step to learning the distinctive logical doctrines of Principia Mathematica.
 1. Why Learn the Symbolism in Principia Mathematica?
 2. Primitive Symbols
 3. The Use of Dots for Punctuation
 4. Propositional Functions
 5. The Missing Notation for Types and Orders
 6. Variables
 7. Predicative Functions and Identity
 8. Definite Descriptions
 9. Classes
 10. Going On — Logic with Relations in Extension and Descriptive Functions
 Bibliography
 Other Internet Resources
 Related Entries
1. Why Learn the Symbolism in Principia Mathematica?
Principia Mathematica [PM] was written jointly by Alfred North Whitehead and Bertrand Russell over several years, and published in three volumes, which appeared between 1910 and 1913. It presents a system of symbolic logic and then turns to the foundations of mathematics to carry out the logicist project of defining mathematical notions in terms of logical notions and proving the fundamental axioms of mathematics as theorems of logic. While hugely important in the development of logic, philosophy of mathematics and more broadly of “Early Analytic Philosophy”, the work itself is no longer studied for these topics. As a result the very notation of the work has become alien to contemporary students of logic, and that has become a barrier to the study of Principia Mathematica.
This entry is intended to assist the student of PM in reading the symbolic portion of the work. What follows is a partial translation of the symbolism into a more contemporary notation, which should be familiar from other articles in this Encyclopedia, and which is quite standard in contemporary textbooks of symbolic logic. No complete algorithm is supplied, rather various suggestions are intended to help the reader learn the symbolism of PM. Many issues of interpretation would be prejudged by only using contemporary notation, and many details that are unique to PM depend on that notation. It will be seen below, with some of the more contentious aspects of the notation, that doctrines of substance are built into the notation of PM. Replacing the notation with a more modern symbolism would drastically alter the very content of the book.
2. Primitive Symbols
Below the reader will find, in the order in which they are introduced in PM, the following symbols, which are briefly described. More detail is provided in what follows:
*  pronounced “star”; indicates a number, or chapter, as in *1, or *20.  
·  a centered dot; indicates a numbered sentence in the order by first digit (all the 0s preceding all the 1's etc.), then second digit, and so on. The first definitions and propositions of *1 illustrate this “lexicographical” ordering: 1·01, 1·1, 1·11, 1·2, 1·3, 1·4, 1·5, 1·6, 1·7, 1·71, 1·72.  
⊢  the assertionsign; indicates an assertion, either an axiom (i.e., a primitive proposition, which are also annotated “Pp”) or a theorem.  
Df  the definition sign; precedes a definition.  
., :, : ., : :, etc.  are dots used for delimiting punctuation; in contemporary logic, we use (, ), [, ], {, }, etc.  
p, q, r, etc.  are propositional variables.  
v, ⊃, ~, ≡, .  are the familiar sentential connectives, corresponding to ‘or ’, ‘ifthen ’, ‘not ’, ‘if and only if ’ and ‘and ’, respectively. [In the Second Edition of PM, 192527, the Sheffer Stroke ‘’ is the one primitive connective. It means ‘not both … and ___’.]  
x, y, z, etc.  are individual variables, which are to be read with “typical ambiguity”, i.e., with their logical types to be filled in (see below).  
a, b, c, etc.  are individual constants, and stand for individuals (of the lowest type). These occur only in the Introduction to PM, and not in the official system.  
xRy, aRb, R(x), etc.  are atomic predications, in which the objects named by the variables or constants stand in the relation R or have the property R. These occur only in the Introduction. ‘a’ and ‘b’ occur as constants only in the Second Edition. The predications R(x), R(x,y), etc., are used only in the Second Edition.  
φ, ψ,
χ, etc., and f, g, etc. 
are variables which range over propositional functions, no matter whether those functions are simple or complex.  
φx, ψx, φ(x,y), etc.  open atomic formulas in which both ‘x’ and ‘φ’ are free. [An alternative interpretation is to view ‘φx’ as a schematic letter standing for a formula in which the variable ‘x’ is free.]  
ˆ  the circumflex; when placed over a variable in an open formula (as in ‘φxˆ’) results in a term for a function. [This matter is controversial. See Landini 1998.] When the circumflected variable precedes a complex variable, the result indicates a class, as in xˆφx.  
φxˆ, ψxˆ, φ(xˆ,zˆ), etc.  Terms for propositional functions. Here are examples of such terms which are constants: ‘xˆ is happy’, ‘xˆ is bald and xˆ is happy’, ‘4 < xˆ < 6’, etc. If we apply, for example, the function xˆ is bald and xˆ is happy to the particular individual b, the result is the proposition b is bald and b is happy.  
∃ and ( )  are the quantifiers ‘there
exists’ and ‘for all’ (‘every’),
respectively. For example, where φx is a
simple or complex open formula,
[These were used by Peano. More recently, ∀ has been added for symmetry with ∃. Some scholars see the quantfiers (φ) and (∃φ) as substitutional.] 

φx ⊃_{x} ψx
φx ≡_{x} ψx 
This is notation that is used to abbreviate universally quantified variables. In modern notation, these become ∀x(φx ⊃ ψx) and ∀x(φx ≡ ψx), respectively. See the definitions for this notation at the end of Section 3.2 below.  
!  pronounced “shriek”; indicates that a function is predicative, as in φ!x or φ!xˆ. See Section 7.  
=  the identity symbol; expresses identity, which is a defined notion in PM, not primitive as in contemporary logic.  
read as ‘the’; is the inverted iota or description operator and is used in expressions for definite descriptions, such as (x)φx (which is read: the x such that φx).  
[(x)φx]  a definite description in brackets; this is a scope indicator for definite descriptions.  
E!  is defined at *14·02, in the context E!(x)φx, to mean that the description (x)φx is proper, i.e., there is exactly one φ.  
∃!  is defined at *24·03, in the context ∃!α, to mean that the class α is nonempty, i.e., has a member. 
3. The Use of Dots for Punctuation
An immediate obstacle to reading PM is the unfamiliar use of dots for punctuation, instead of the more common parentheses and brackets. The system is precise, and can be learned with just a little practice. The use of dots for punctuation is not unique to PM. Originating with Peano, it was later used in works by Alonzo Church, W.V.O.Quine, and others, but it has now largely disappeared. The best way to learn to use it is to look at a few samples which are translated to formulae using parentheses, and thus to get the feel for it. What follows is an explanation as presented in PM, pages 910, followed by a number of examples which illustrate each of its clauses:
The use of dots. Dots on the line of the symbols have two uses, one to bracket off propositions, the other to indicate the logical product of two propositions. Dots immediately preceded or followed by “v” or “⊃” or “≡” or “⊢”, or by “(x)”, “(x,y)”, “(x,y,z)” … or “(∃x)”, “(∃x,y)”, “(∃x,y,z)” … or “[(x)(φx)]” or “[R‘y]” or analogous expressions, serve to bracket off a proposition; dots occurring otherwise serve to mark a logical product. The general principle is that a larger number of dots indicates an outside bracket, a smaller number indicates an inside bracket. The exact rule as to the scope of the bracket indicated by dots is arrived at by dividing the occurrences of dots into three groups which we will name I, II, and III. Group I consists of dots adjoining a sign of implication (⊃) or equivalence (≡) or of disjunction (v) or of equality by definition (=Df). Group II consists of dots following brackets indicative of an apparent variable, such as (x) or (x,y) or (∃x) or (∃x,y) or [(x)(φx)] or analogous expressions. Group III consists of dots which stand between propositions in order to indicate a logical product. Group I is of greater force than Group II, and Group II than Group III. The scope of the bracket indicated by any collection of dots extends backwards or forwards beyond any smaller number of dots, or any equal number from a group of less force, until we reach either the end of the asserted proposition or a greater number of dots or an equal number belonging to a group of equal or superior force. Dots indicating a logical product have a scope which works both backwards and forwards; other dots only work away from the adjacent sign of disjunction, implication, or equivalence, or forward from the adjacent symbol of one of the other kinds enumerated in Group II. Some examples will serve to illustrate the use of dots. (PM, 910)
3.1 Some Basic Examples
Consider the following series of extended examples, in which we examine propositions in PM and then discuss how to translate them step by step into modern notation. (Symbols below are sometimes used as names for themselves, thus avoiding some otherwise needed quotation marks. Russell is often accused of confusing use and mention, so there may well be some danger in this practice.) In all cases, we use boldface italics for the notation in PM, and use normal italics for modern notation (or hybrid notation).
Example 1
*1·2 ⊢ : p v p . ⊃ . p Pp
This is the second assertion of “star” 1. It is in fact an axiom or “Primitive Proposition” as indicated by the 'Pp'. That this is an assertion (axiom or theorem) and not a definition is indicated by the use of ‘⊢’. (By contrast, a definition would omit the assertion sign but conclude with a 'Df' sign.) Now the first step in the process of translating *1·2 into modern notation is to note the colon. Recall, from the above quoted passage, that “a larger number of dots indicates an outside bracket, a smaller number indicates an inside bracket”. Thus, the colon here (which consists of a larger number of dots than the single dots occurring on the line in *1·2) represents an outside bracket. So, the first step is to translate *1·2 to:
⊢ [p v p . ⊃ . p]
So the brackets “[” and “]” represent the colon in *1·2. The scope of the colon thus extends past any smaller number of dots (i.e., one dot) to the end of the formula.
Next, the dots around the '⊃' are represented in modern notation by the parenthesis around the antecedent and consequent. Recall, in the above passage, we find “… dots only work away from the adjacent sign of disjunction, implication, or equivalence …”. Thus, the next step in the translation process is to move to the formula:
⊢ [(p v p) ⊃ (p)]
Finally, standard modern conventions allow us to delete the outer brackets and the parentheses around single letters, yielding:
⊢ (p v p) ⊃ p
Our next example involves conjunction, which is indicated by simple juxtaposition of atomic sentences, or with a dot when a substitution instance might be considered, as in the definition of conjunction in the following:
Example 2
*3·01. p . q . = . ~(~p v ~q) Df
Here we have a case in which dots occur indicate both a ‘logical product’ (i.e., conjunction) and delimiting brackets. As a first step in translating *3·01 into modern notation, we replace the first dot by an ampersand (and its corresponding scope delimiters) and replace ‘. = .’ by ‘=_{df} ’, to yield:
(p & q) =_{df} [~(~p v ~q)]
The above step clearly illustrates how a “dot indicating a logical product has a scope which works both backwards and forwards”. Note that the first dot in *3·01, i.e., between the p and q, is really optional, given the above quotation from PM. However, since we may sometimes want to substitute entire formulas for p and q, the dot indicates the extent of the substituted formulas. Thus, we might have, as a substitution instance: r v s . q ⊃ s (in PM notation) or (r v s) & (q ⊃ s) (in contemporary symbols).
Finally, our modern conventions allow us to eliminate the outer parentheses from the definiendum and the brackets “[” and “]” from the definiens, yielding:
p & q =_{df} ~(~p v ~q)
Notice that the scope of the negation sign “~” in *3·01 is not indicated with dots, even in the PM system, but rather requires parentheses.
Example 3
*9·01. ~{(x) . φx} . = . (∃x) . ~φx Df
If we apply the rule “dots only work away from the adjacent sign of disjunction, implication, or equivalence, or forward from the adjacent symbol of one of the other kinds enumerated in Group II” (where Group II includes “(∃x)”), then the modern equivalent would be:
~(x)φx =_{df} (∃x)~φx
or
~∀xφx =_{df} ∃x~φx
3.2 The Force of Connectives
The ranking of connectives in terms of relative “force”, or scope, is a standard convention in contemporary logic. If there are no explicit parentheses to indicate the scope of a connective those which have precedence in the ranking are presumed to be the principal connective, and so on for subformulas. Thus, instead formulating the following DeMorgan's law as the cumbersome:
[(~p) v (~q)] ≡ [~(p & q)]
we nowadays write it as:
~p v ~q ≡ ~(p & q)
This simpler formulation is natural because ≡ takes precedence over (has wider “scope” than) v and &, and the latter take precedence over ~. Indeed parentheses are often unneeded around ≡, given a further convention on which ≡ takes precedence over ⊃. Thus, the formula p ⊃ q ≡ ~p v q becomes unambiguous. We might represent these conventions by listing the connectives in groups with those with widest scope at the top:
≡
⊃
&, v
~
For Whitehead and Russell, however, the symbols ⊃, ≡, v and …=…Df, in Group I, are of equal force. Group II consists of the variable binding expressions, quantifiers and scope indicators for definite descriptions, and Group III consists of conjunctions. Negation is below all of these. So the ranking in PM would be:
⊃, ≡, v and …=…Df
(x), (x,y) … (∃x), (∃x,y) … [(x)φx]
p . q (conjunction)
~
This is what Whitehead and Russell seem to mean when they say “Group I is of greater force than Group II, and Group II than Group III.” Consider the following:
Example 4
*3·12 ⊢ : ~p . v . ~q . v . p . q
This theorem illustrates how to read multiple uses of the same number of dots within one formula. The first two dots around the v simply “work away” from the connective. The second “extends” until it meets with the next of the same number (the third single dot). That third dot, and the fourth “work away” from the second v, and the final dot indicates a conjunction with narrowest scope. The result, formulated with all possible punctuation for maximum explicitness, is:
{[(~p) v (~q)] v (p & q)}
If we employ all the standard conventions for dropping parentheses, this becomes:
(~p v ~ q) v (p & q)
This illustrates the passage in the above quotation which says “The scope of the bracket indicated by any collection of dots extends backwards or forwards beyond any smaller number of dots, or any equal number from a group of less force, until we reach either the end of the asserted proposition or a greater number of dots or an equal number belonging to a group of equal or superior force.”
Before we look at a wider range of examples, a detailed example involving quantified variables will prove to be instructive. Whitehead and Russell follow Peano's practice of expressing universally quantified conditionals (such as “All φs are ψs”) with the bound variable subscripted under the conditional sign. Similarly with universally quantified biconditionals (“All and only φs are ψs”). That is, the expressions ‘φx ⊃_{x} ψx’ and ‘φx ≡_{x} ψx’ are defined as follows:
*10·02 φx ⊃_{x} ψx . = . (x). φx ⊃ ψx Df
*10·03 φx ≡_{x} ψx . = . (x). φx ≡ ψx Df
and correspond to the following more modern formulas, respectively:
∀x(φx ⊃ ψx)
∀x(φx ≡ ψx)
As an exercise the reader might be inclined to formulate a rigorous algorithm for converting PM into a particular contemporary symbolism (with conventions for dropping parentheses), but the best way to learn the system is to look over a few more examples of translations, and then simply begin to read formulae directly.
3.3 More Examples
In the examples below, each formula number is followed first by Principia notation and then its modern translation. Notice that in *1·5 parentheses are used for punctuation in addition to dots. (Primitive Propositions *1·2, *1·3, *1·4, *1·5, and *1·6 together constitute the axioms for propositional logic in PM. ) Proposition *1·5 was shown to be redundant by Paul Bernays in 1926. It can be derived from appropriate instances of the others and the rule of modus ponens.
*1·3
 ⊢ : q . ⊃ . p v q Pp
 q ⊃ p v q
*1·4
 ⊢ : p v q . ⊃ . q v p Pp
 p v q ⊃ q v p
*1·5
 ⊢ : p v (q v r ) . ⊃ . q v (p v r ) Pp
 p v (q v r ) ⊃ q v (p v r )
*1·6
 ⊢ : . q ⊃ r . ⊃ : p v q . ⊃ . p v r Pp
 (q ⊃ r ) ⊃ (p v q ⊃ p v r )
*2·03
 ⊢ : p ⊃ ~q . ⊃ . q ⊃ ~p
 (p ⊃ ~q) ⊃ (q ⊃ ~p)
*3·3
 ⊢ : . p . q . ⊃ . r : ⊃ : p . ⊃ . q ⊃ r
 [(p & q) ⊃ r] ⊃ [p ⊃ (q ⊃ r)]
*4·15
 ⊢ : . p . q . ⊃ . ~r : ≡ : q . r . ⊃ . ~p
 p & q ⊃ ~r ≡ q & r ⊃ ~p
*5·71
 ⊢ : . q ⊃ ~r . ⊃ : p v q . r . ≡ . p . r
 (q ⊃ ~r) ⊃ [(p v q) & r ≡ p & r]
*9·04
 p . v . (x). φx : = . (x). φx v p Df
 p v ∀xφx =_{df} ∀x(φx v p)
*9·521
 ⊢ : : (∃x). φx . ⊃ . q : ⊃ : . (∃x). φx . v . r : ⊃ . q v r
 [(∃xφx) ⊃ q] ⊃ [((∃xφx) v r) ⊃ (q v r)]
*10·55
 ⊢ : . (∃x). φx . ψx : φx ⊃_{x} ψx : ≡ : (∃x). φx : φx ⊃_{x} ψx
 ∃x(φx & ψx) & ∀x(φx ⊃ ψx) ≡ ∃xφx & ∀x(φx ⊃ ψx)
4. Propositional Functions
There are two kinds of functions in PM. Propositional functions such as xˆ is a natural number are to be distinguished from the more familiar mathematical functions, which are called “descriptive functions” (PM, 31). Descriptive functions are defined using relations and definite descriptions. Examples of descriptive functions are x + y and the successor of n.
Focusing on propositional functions, Whitehead and Russell distinguish between expressions with a free variable (such as ‘x is hurt’) and names of functions (such as ‘xˆ is hurt’) (PM, 1415). The propositions which result from the formula by assigning allowable values to the free variable ‘x’ are said to be the ‘ambiguous values’ of the function. Expressions using the circumflex notation, such as φxˆ only occur in the introductory material in the technical sections of PM and not in the technical sections themselves (with the exception of the sections on the theory of classes), prompting some scholars to say that such expressions do not really occur in the formal system of PM. This issue is distinct from that surrounding the interpretation of such symbols. Are they “termforming operators” which turn an open formula into a name for a function, or simply a syntactic device, a placeholder, for indicating the variable for which a substitution can made in an open formula? If they are to be treated as termforming operators, the modern notation for φxˆ would be ‘λx φx’. The λnotation has the advantage of clearly revealing that the variable x is bound by the termforming operator λ, which takes a predicate φ and yields a term λx φx (which in some logics is a singular term that can occur in the subject position of a sentence, while in other logics is a complex predicative expression). Unlike λnotation, the PM notation using the circumflex cannot indicate scope. The function expression ‘φ(xˆ,zˆ)’ is ambiguous between ‘λxλy φxy’ and ‘λyλx φxy’, without some further convention. Indeed, Whitehead and Russell specified this convention for relations in extension (on p. 200 in the introductory material of *21, in terms of the order of the variables), but the ambiguity it brought out most clearly by using λ notation: the first denotes the relation of being an x and y such that φxy and the second denotes the converse relation of being a y and x such that φxy.
5. The Missing Notation for Types and Orders
This section explains notation that is not in Principia Mathematica. Except for some notation for “relative” types in Volume II, there are famously no symbols for types in Principia Mathematica! Sentences are generally to be taken as “typically ambiguous” and so standing for expressions of a whole range of types and so just as there are no individual or predicate constants, there are no particular functions of any specific type. So not only does one not see how to symbolize the argument:
All men are mortal
Socrates is a man
Therefore, Socrates is mortal
but also there is no indication of the logical type of the function xˆ is mortal. The project of PM is to reduce mathematics to logic, and part of the view of logic behind this project is that logical truths are all completely general. The derivation of truths of mathematics from definitions and truths of logic will thus not involve any particular constants other than those introduced by definition from purely logical notion. As a result no notation is included in PM for describing those types. Those of us who wish to consider PM as a logic which can be applied, must supplement it with some indication of types.
Readers should note that the explanation of types outlined below is not going to correspond with the statements about types in the text of PM. Alonzo Church [1976] developed a simple, rational reconstruction of the notation for both the simple and ramified theory of types as implied by the text of PM. (There are alternative, equivalent notations for the theory of types.) The full theory can be seen as a development of the simple theory of types.
5.1 Simple Types
A definition of the simple types can be given as follows:
 ι (Greek iota) is the type for an individual.
 Where τ_{1},…,τ_{n} are any types, then ^{⌈}(τ_{1},…,τ_{n})^{⌉} is the type of a propositional function whose arguments are of types τ_{1},…,τ_{n}, respectively.
 ^{⌈}( )^{⌉} is the type of propositions.
Here are some intuitive ways to understand the definition of type. Suppose that 'Socrates' names an individual. (We are here ignoring Russell's considered opinion that such ordinary individuals are in fact classes of classes of sense data, and so of a much higher type.) Then the individual constant 'Socrates' would be of type ι. A monadic propositional function which takes individuals as arguments is of type (ι). Suppose that ‘is mortal’ is a predicate expressing such a function. The function xˆ is mortal will also be of type (ι). A twoplace or binary relation between individuals is of type (ι,ι). Thus, a relation expression like ‘parent of’ and the function xˆ is a parent of zˆ will be of type (ι,ι).
Propositional functions of type (ι) are often called “first order”; hence the name “first order logic” for the familiar logic where the variables only range over arguments of first order functions. A monadic function of arguments of type τ are of type (τ) and so functions of such functions are of type ((τ)). “Second order logic” will have variables for the arguments of such functions (as well as variables for individuals). Binary relations between functions of type τ are of type (τ,τ), and so on, for relations of having more than 2 arguments. Mixed types are defined by the above. A relation between an individual and a proposition (such as xˆ believes that Pˆ) will be of type (ι,( )).
5.2 Ramified Types
To construct a notation for the full ramified theory of types of PM, another piece of information must be encoded in the symbols. Church calls the resulting system one of rtypes. The key idea of ramified types is that any function defined using quantification over functions of some given type has to be of a higher ‘order’ than those functions. To use Russell's example:
xˆ has all the qualities that great generals have
is a function true of persons (i.e., individuals), and from the point of view of simple type theory, it has the same simple logical type as particular qualities of individuals (such as bravery and decisiveness). However, in ramified type theory, the above function will be of a higher order than those particular qualities of individuals, since unlike those particular qualities, it involves a quantification over those qualities. So, whereas the expression ‘xˆ is brave’ denotes a function of rtype (ι)/1, the expression ‘xˆ has all the qualities that great generals have’ will have rtype (ι)/2. In these rtypes, the number after the ‘/’ indicates the level of the function. The order of the functions will be defined and computed given the following definitions.
Church defines the rtypes as follows:
 ι (Greek iota) is the rtype for an individual.
 Where τ_{1},…,τ_{m} are any rtypes, ^{⌈}(τ_{1},…,τ_{m})/n^{⌉} is an rtype; this is the rtype of a mary propositional function of level n, which has arguments of rtypes τ_{1},…,τ_{m}.
The order of an entity is defined as follows (here we no longer follow Church, for he defines orders for variables, i.e., expressions, instead of orders for the things the variables range over):
 the order of an individual (of rtype ι) is 0,
 the order of a function of rtype (τ_{1},…,τ_{m})/n is n+N, where N is the greatest of the order of the arguments τ_{1},…,τ_{m}.
These two definitions are supplemented with a principle which identifies the levels of particular defined functions, namely, that the level of a defined function should be one higher than the highest order entity having a name or variable that appears in the definition of that function.
To see how these definitions and principles can be used to compute the order of the function xˆ has all the qualities that great generals have, note that the function can be represented as follows, where ‘x, y’ are variables ranging over individuals of rtype ι (order 0), ‘GreatGeneral(y)’ is a predicate denoting a propositional function of rtype (ι)/1 (and so of order 1), and ‘φ’ is a variable ranging over propositional functions of rtype (ι)/1 (and so of order 1) such as great general, bravery, leadership, skill, foresight, etc.:
(φ){[(y)(GreatGeneral(y) ⊃ φ(y)] ⊃ φxˆ}
We first note that given the above principle, the rtype of this function is (ι)/2; the level is 2 because the level of the rtype of this function has to be one higher than the highest order of any entity named (or in the range of a variable used) in the definition. In this case, the denotation of GreatGeneral, and the range of the variable ‘φ’, is of order 1, and no other expression names or ranges over an entity of higher order. Thus, the level of the function named above is defined to be 2. Finally, we compute the order of the function denoted above as it was defined: the sum of the level plus the greatest of the orders of the arguments of the above function. Since the only arguments in the above function are individuals (of order 0), the order of our function is just 2.
Quantifying over functions of rtype (τ)/n of order k in a definition of a new function yields a function of rtype (τ)/n+1, and so a function of order one higher, k+1. Two kinds of functions, then, can be of the second order: (1) functions of firstorder functions of individuals, of rtype ((ι)/1)/1, and (2) functions of rtype (ι)/2, such as our example xˆ has all the qualities that great generals have. This latter will be a function true of individuals such as Napoleon, but of a higher order than simple functions such as xˆ is brave, which are of rtype (ι)/1.
Logicians today use a different notion of ‘order’. Today, firstorder logic is a logic with only variables for individuals. Second order logic is a logic with variables for both individuals and properties of individuals. Thirdorder logic is a logic with variables for individuals, properties of individuals, and properties of properties of individuals. And so forth. By contrast, Church would call these logics, respectively, the logic of functions of the types (ι)/1 and (ι,…,ι)/1, the logic of functions of the types ((ι)/1)/1 and ((ι,…,ι)/1,…,(ι,…,ι)/1)/1, and the logic of functions of the types (((ι)/1)/1)/1 etc. (i.e., the levelone functions of the functions of the preceding type). Given Church's definitions, these are logics of first, second and thirdorder functions, respectively, thus coinciding with the modern terminology of ‘n^{th}order logic’.
6. Variables
As mentioned previously, there are no individual or predicate constants in the formal system of PM, only variables. The Introduction, however, makes use of the example ‘a standing in the relation R to b’ in a discussion of atomic facts (PM, 43). Although ‘R’ is later used as a variable that ranges over relations in extension, and ‘a,b,c,…’ are individual variables, let us temporarily add them to the system as predicate and individual constants, respectively, in order to discuss the use of variables in PM.
PM makes special use of the distinction between ‘real’, or free, variables and ‘apparent’, or bound, variables. Since ‘x’ is a variable, ‘xRy’ will be an atomic formula in our extended language, with ‘x’ and ‘y’ real variables. When such formulae are combined with the propositional connectives ~ , v, etc., the result is a matrix. For example, ‘aRx . v . xRy’ would be a matrix.
As we saw earlier, there are also variables which range over functions: ‘φ, ψ, … , f, g’, etc. The expression ‘φx’ thus contains two variables and stands for a proposition, in particular, the result of applying the function φ to the individual x.
Theorems are stated with real variables, which gives them a special significance with regard to the theory. For example,
*10·1 ⊢ : (x) . φx . ⊃ . φy Pp
is a fundamental axiom of the quantificational theory of PM. In this Primitive Proposition the variables ‘φ’ and ‘y’ are real (free), and the ‘x ’ is apparent (bound). As there are no constants in the system, this is the closest that PM comes to a rule of universal instantiation.
Whitehead and Russell interpret ‘(x) . φ x ’ as “the proposition which asserts all the values for φxˆ” (PM 41). The use of the word ‘all’ has special significance within the theory of types. They present the ‘vicious circle principle’, which underlies the theory of types, as asserting that
… generally, given any set of objects such that, if we suppose the set to have a total, it will contain members which presuppose this total, then such as set cannot have a total. By saying that the set has ‘no total’, we mean, primarily, that no significant statement can be made about ‘all its members’. (PM, 37)
Specifically, then, a quantified expression, since it talks about ‘all’ the members of a totality, must range over a specific logical type in order to observe the vicious circle principle. Thus, when interpreting a bound variable, we must assume that it ranges over a specific type of entity, and so types must be assigned to the other entities represented by expressions in the formula, in observance with the theory of types.
A question arises, however, once one realizes that the statements of primitive propositions and theorems in PM such as *10·1 are taken to be ‘typically ambiguous’ (i.e., ambiguous with respect to type). These statements are actually schematic and represent all the possible specific assertions which can be derived from them by interpreting types appropriately. But if statements like *10·1 are schemata and yet have bound variables, how do we assign types to the entities over which the bound variables range? The answer is to first decide which type of thing the free variables in the statement range over. For example, assuming that the variable y in *10·1 ranges over individuals (of type ι), then the variable φ must range over functions of type (ι)/n, for some n. Then the bound variable x will also range over individuals. If, however, we assume that the variable y in *10·1 ranges over functions of type (ι)/1, then the variable φ must range over functions of type ((ι)/1)/m, for some m. In this case, the bound variable x will range over functions of type (ι)/1.
So y and φ are called ‘real’ variables in *10·1 not only because they are free but also because they can range over any type. Whitehead and Russell frequently say that real variables are taken to ambiguously denote ‘any’ of their instances, while bound variables (which also ambiguously denote) range over ‘all’ of their instances (within a legitimate totality, i.e. type).
7. Predicative Functions and Identity
The exclamation mark ‘!’ following a variable for a function and preceding the argument, as in ‘f!xˆ’, ‘φ!x’, ’, ‘φ!xˆ’, indicates that the function is predicative, that is, of the lowest order which can apply to its arguments. In Church's notation, this means that predicative functions are all of the first level, with types of the form (…)/1. As a result, predicative functions will be of order one more than the highest order of any of their arguments. This analysis is based on quotations like the following, in the Introduction to PM:
We will define a function of one variable as predicative when it is of the next order above that of its argument, i.e., of the lowest order compatible with its having that argument. [PM, 53]
Unfortunately in the summary of *12, we find “A predicative function is one which contains no apparent variables, i.e., is a matrix” [PM, 167]. Reconciling this statement with that definition in the Introduction is a problem for scholars.
To see the shriek notation in action, consider the following definition of identity:
*13·01 x = y . = : (φ) : φ!x . ⊃ . φ!y Df
That is, x is identical with y if and only if y has every predicative function φ which is possessed by x. (Of course the second occurrence of ‘=’ indicates a definition, and does not independently have meaning. It is the first occurrence, relating individuals x and y, which is defined.)
To see how this definition reduces to the more familiar definition of identity (on which objects are identical iff they share the same properties), we need the Axiom of Reducibility. The Axiom of Reducibility states that for any function there is an equivalent function (i.e., one true of all the same arguments) which is predicative:
Axiom of Reducibility:
*12·1 ⊢ : (∃f) : φx . ≡_{x} . f!x Pp
To see how this axiom implies the more familiar definition of identity, note that the more familiar definition of identity is:
x = y . = : (φ) : φx . ⊃ . φy Df
for φ of ‘any’ type. (Note that this differs from *13·01 in that the shriek no longer appears.) Now to prove this, assume both *13·01 and the Axiom of Reducibility, and suppose, for proof by reductio, that x = y, and φx, and not φy, for some function φ of arbitrary type. Then, the Axiom of Reducibility *12·1 guarantees that there will be a predicative function ψ!, which is coextensive with φ such that ψ!x but not ψ!y, which contradicts *13·01.
8. Definite Descriptions
The inverted Greek letter iota ‘’ is used in PM, always followed by a variable, to begin a definite description. (x)φx is read as ‘the x such that x is φ’, or more simply, as ‘the φ’. Such expressions may occur in subject position, as in ψ(x)φx, read as ‘the φ is ψ’. The formal part of Russell's famous ‘theory of definite descriptions’ consists of a definition of all formulas ‘…ψ(x)φx…’ in which a description occurs. To distinguish the portion ψ from the rest of a larger sentence (indicated by the ellipses above) in which the expression ψ(x)φx occurs, the scope of the description is indicated by repeating the definite description within brackets:
[(x)φx] . ψ(x)φx
The notion of scope is meant to explain a distinction which Russell famously discusses in “On Denoting” (1905). Russell says that the sentence ‘The present King of France is not bald’ is ambiguous between two readings: (1) the reading where it says of the present King of France that he is not bald, and (2) the reading on which denies that the present King of France is bald. The former reading requires that there be a unique King of France on the list of things that are not bald, whereas the latter simply says that there is not a unique King of France that appears on the list of bald things. Russell says the latter, but not the former, can be true in a circumstance in which there is no King of France. Russell analyzes this difference as a matter of the scope of the definite description, though as we shall see, some modern logicians tend to think of this situation as a matter of the scope of the negation sign. Thus, Russell introduces a method for indicating the scope of the definite description.
To see how Russell's method of scope works for this case, we must understand the definition which introduces definite descriptions (i.e., the inverted iota operator). Whitehead and Russell define:
*14·01 [(x)φx] . ψ(x)φx . = : (∃b) : φx . ≡_{x} . x=b : ψb Df
This kind of definition is called a contextual definition, which are to be contrasted with explicit definitions. An explicit definition of the definition description would have to look something like the following:
(x)(φx) = : … Df
which would allow the definite description to be replaced in any context by whichever defining expression fills in the ellipsis. By contrast, *14·01 shows how a sentence, in which there is occurrence of a description (x)(φx) in a context ψ, can be replaced by some other sentence (involving φ and ψ) which is equivalent. To develop an instance of this definition, start with the following example:
Example.
The present King of France is bald.
Using PKFx to represent the propositional function of being a present King of France and B to represent the propositional function of being bald, Whitehead and Russell would represent the above claim as:
[(x)(PKFx)]. B(x)(PKFx)
which by *14·01 means:
(∃b) : PKFx . ≡_{x} . x=b : Bb
In words, there is one and only one b which is a present King of France and which is bald. In modern symbols, using b nonstandardly, as a variable, this becomes:
(∃b)[∀x(PKFx ≡ x=b) & Bb]
Now we return to the example which shows how the scope of the description makes a difference:
Example.
The present King of France is not bald.
There are two options for representing this sentence.
[(x)(Kx)] . ~B(x)(Kx)
and
~[(x)(Kx)] . B(x)(Kx)
In the first, the description has “wide” scope, and in the second, the description has “narrow” scope. Russell says that the description has “primary occurrence” in the former, and “secondary occurrence” in the latter. Given the definition *14·01, the two PM formulas immediately above become expanded into primitive notation as:
(∃b) : PKFx ≡_{x} x=b : ~Bb
~(∃b) : PKFx ≡_{x} x=b : Bb
In modern notation these become:
∃x[∀y(PKFy ≡ y=x) & ~Bx]
~∃x[∀y(PKFy ≡ y=x) & Bx]
The former says that there is one and only one object which is a present King of France and which is not bald; i.e., there is exactly one present King of France and he is not bald. This reading is false, given that there is no present King of France. The latter says it is not the case that there is exactly one present King of France which is bald. This reading is true.
Although Whitehead and Russell take the descriptions in these examples to be the expressions which have scope, the above readings in both expanded PM notation and in modern notation suggest why some modern logicians take the difference in readings here to be a matter of the scope of the negation sign.
9. Classes
The circumflex ‘ˆ’ over a variable preceding a formula is used to indicate a class, thus xˆψx is the class of things x which are such that ψx. In modern notation we represent this class as {x  ψx}, which is read: the class of x which are such that x has ψ. Recall that ‘φxˆ ’, with the circumflex over a variable after the predicate variable, expresses the propositional function of being an x such that φx. In the type theory of PM, the class xˆφx has the same logical type as the function φxˆ. This makes it appropriate to use the following contextual definition, which allows one to eliminate the class term xˆψx from occurrences in the context f :
*20·01. f{zˆ(ψz)} . = : (∃φ) : φ!x . ≡_{x} . ψx : f{φ!zˆ} Df
or in modern notation:
f{z  ψz} =_{df} ∃φ[∀x(φx ≡ ψx) & f(λx φx)], where φ is a predicative function of x
Note that f has to be interpreted as a higherorder function which is predicated of the function φ!zˆ. In the modern notation used above, the language has to be a typed language in which λ expressions are allowed in argument position. As was pointed out later (Chwistek 1924, Gödel 1944, and Carnap 1947) there should be scope indicators for class expressions just as there are for definite descriptions. Chwistek, for example, proposed copying the notation for definite descriptions, thus replacing *20·01 with:
[zˆ(ψz)] . f{zˆ(ψz)} . = : (∃φ) : φ!x . ≡_{x} . ψx : f{φ!zˆ}
Contemporary formalizations of set theory make use of something like these contextual definitions, when they require an “existence” theorem of the form ∃x∀y(y ∈ x ≡ …y…), in order to justify the introduction of a singular term {y  …y…}. (Given the law of extensionality, it follows from ∃x∀y(y ∈ x ≡ …y…) that there is a unique such set.) The relation of membership in classes ∈ is defined in PM by first defining a similar relationship between objects and propositional functions:
*20·02. x ∈ (φ!zˆ) . = . φ!x Df
or, in modern notation:
x ∈ λzφz =_{df} φx
*20·01 and *20·02 together are then used to define the more familiar notion of membership in a class. The formal expression ‘y ∈ {zˆ(φz)}’ can now been seen as a context in which the class term occurs; it is then eliminated by the contextual definition *20·01. (Exercise)
PM also has Greek letters for classes: α, β, γ, etc. These will appear as bound (real) variables, apparent (free) variables and in abstracts for propositional functions true of classes, as in φαˆ. Only definitions of the bound Greek variables appear in the body of the text, the others are informally defined in the Introduction:
*20·07. (α). fα . = . (φ) . f{zˆ(φ!z)} Df
or, in modern notation,
∀αfα =_{df} ∀φf{zφz}, where φ is a predicative function
Thus universally quantified class variables are defined in terms of quantifiers ranging over predicative functions. Likewise for existential quantification:
*20·071. (∃α). fα . = . (∃φ) . f{zˆ(φ!z)} Df
or, in modern notation,
∃αfα =_{df} ∃φf{zφz}, where φ is a predicative function
Expressions with a Greek variable to the left of ∈ are defined:
*20·081. α ∈ ψ!αˆ . = . ψ!α Df
These definitions do not cover all possible occurrences of Greek variables. In the Introduction to PM, further definitions of are fα and fαˆ proposed, but it is remarked that the definitions are in some way peculiar and they do not appear in the body of the work. The definition considered for fαˆ is:
fαˆ . = . (∃ψ) . φˆ!x ≡_{x} ψ!x . f{ψ!zˆ}
or, in modern notation,
λαfα =_{df} λφ f{x  φx}
That is, fαˆ is an expression naming the function which takes a function φ to a proposition which asserts f of the class of φs. (The modern notation shows that in the proposed definition of fαˆ in PM notation, we shouldn't expect α in the definiens, since it is really a bound variable in fαˆ; similarly, we shouldn't expect φ in the definiendum because it is a bound variable in the definiens.) One might also expect definitions like *20·07 and *20·071 to hold for cases in which the Roman letter ‘z’ is replaced by a Greek letter. The definitions in PM are thus not complete, but it is possible to guess at how they would be extended to cover all occurrences of Greek letters. This would complete the project of the “noclasses” theory of classes by showing how all talk of classes can be reduced to the theory of propositional functions.
10. Going On — Logic with Relations in Extension and Descriptive Functions
Although students of philosophy usually read no further than *20 in PM, this is in fact the point where the “construction” of mathematics really begins. *21 presents the “General Theory of Relations” (the theory of relations in extension; in contemporary logic these are treated as sets of ordered pairs, following Wiener). xˆ yˆ ψ (x , y) is the relation between x and y which obtains when ψ (x , y) is true. In modern notation we represent this as as the set of ordered pairs { ⟨ x , y ⟩  ψ( x , y ) }, which is read: the set of ordered pairs ⟨ x , y ⟩ which are such that x bears the relation ψ to y.
The following contextual definition allows one to eliminate the relation term xˆ yˆ ψ (x , y) from occurrences in the context f :
*21·01. f {xˆ yˆ ψ ( x , y )} . = : (∃φ) : φ! ( x , y ) . ≡_{x,y} . ψ ( x , x ) : f {φ! ( uˆ , vˆ )} Df
or in modern notation:
f {⟨ x , y ⟩  ψ ( x , y )} =_{df} ∃φ[∀xy (φ(x , y) ≡ ψ ( x , y) ) & f ( λu λv φ(u,v))], where φ is a predicative function of u and v.
Principia does not analyze relations (or mathematical functions) in terms of sets of ordered pairs, but rather takes the notion of propositional function as primitive and defines relations and functions in terms of them. The upper case letters R, S and T, etc., are used after *21 to stand for these “relations in extension”, and are distinguished from propositional functions by being written between the arguments. Thus it is ψ(x,y) with arguments after the propositional function symbol, but xRy . From *21 functions φand ψ , etc., disappear and only relations in extension, R, S and T, etc., appear in the pages of Principia . While propositional functions might be true of the same objects yet not be identical, no two relations in extension are true of the same objects. The logic of Principia is thus “extensional”, from page 200 in volume I, through to the end in Volume III.
*22 on the “Calculus of Classes” presents the elementary set theory of intersections, unions and the empty set which is often all the set theory used in elementary mathematics of other sorts. The student looking for the set theory of Principia to compare it with, say the ZermeloFraenkel system, will have to look at various numbers later in the text. The Axiom of Choice is defined at *88 as the “Multiplicative Axiom” and a version of the Axiom of Infinity appears at *120 in Volume II as “Infin ax”. The set theory of Principia comes closest to Zermelo's axioms of 1908 among the various familiar axiom systems, which means that it lacks the Axiom of Foundation and Axiom of Replacement of the now standard ZermeloFraenkel axioms of set theory.
*30 on “Descriptive Functions” provides Whitehead and Russell's analysis of mathematical functions in terms of relations and definite descriptions. Frege had used the notion of function, in the mathematical sense, as a basic notion in his logical system. Thus a Fregean “concept” is a function from objects as arguments to one of the two “truth values” as its values. A concept yields the value “True” for each object to which the concept applies, and “False” for all others. Russell, from 1904, well before the writing of Principia had preferred to analyze functions in terms of the relation between each argument and value, and the notion of “uniqueness”. With modern symbolism, his view would be expressed as follows. For each function λx f(x), there will be some relation (in extension) R, such that the value of the function for an argument a, that is f(a), will be the unique individual which bears the relation R to a. (Nowadays we reduce functions to a binary relation between the argument in the first place and value in the second place.) The result is that there are no function symbols in Principia. As Whitehead and Russell say, the familiar mathematical expressions such as “sin π/ 2” will be analyzed with a relation and a definite description, as a “descriptive function”. The “descriptive function”, R‘y (the R of y), is defined as follows:
*30·01 R‘y = (x)xRy Df
With the exception of an incomplete notation for relative types in Volume II, the reader should be able to work out all of the rest of the notation in PM using the explanations above and the definitions in the lists at the end of each volume of PM. We conclude by presenting a number of prominent examples from these later numbers below, with their intuitive meaning, location in PM, definition in PM, and a modern equivalent. (Some of these numbers are theorems rather than definitions.) Note, however, that the modern equivalent will sometimes logically differ from the original version in PM, such as by treating relations as sets of ordered pairs, etc.
For each formula number, we present the information in the following format:
PM Symbol (Intuitive Meaning) [Location]
 PM Definition
 Modern Equivalent
α ⊂ β (α is a subset of β) [*22·01]
 x∈α . ⊃_{x} . x∈β
 α ⊆ β
α ∩ β (the intersection of α and β) [*22·02]
 xˆ(x∈α . x∈β)
 α ∩ β
α ∪ β (the union of α and β) [*22·03]
 xˆ(x∈α v x∈β)
 α ∪ β
−α (the complement of α) [*22·04]
 xˆ (x~∈α)
[i.e., xˆ~(x∈α) by *20·06]  {x  x ∉ α }
α − β (α minus β) [*22·05]
 α ∩ −β
 {x  x∈α & x∉β}
V (the universal class) [*24·01]
 xˆ(x = x)
 V or {x  x = x}
Λ (the empty class) [*24·02]
 −V
 ∅
R‘y (the R of y) (a descriptive function) [*30·01]
 (x)(xRy)
 f^{−1}(y), where f = {<x,y>  Rxy}
(the converse of R) [*31·02]
 xˆzˆ(zRx)
 {<x,z>  Rzx}

(the Rpredecessors of y) [*32·01] 
 xˆ(xRy)
 {x  Rxy}

(the Rsuccessors of x) [*32·02] 
 zˆ(xRz)
 {z  Rxz}
D‘R (the domain of R) [*33·11]
 xˆ{(∃y). xRy}
 {x  ∃yRxy}
‘R (the range of R) [*33·111]
 zˆ{(∃x). xRz}
 {z  ∃xRxz}
C‘R (the field of R) [*33·112]
 xˆ{(∃y): xRy . v . yRx}
 {x  ∃y(xRy v yRx)}
RS (the relative product of R and S) [*34·01]
 xˆzˆ{(∃y). xRy . ySz}
 {<x,z>  ∃y(xRy & ySz)}
Rβ (the restriction of R to β) [*35·02]
 xˆzˆ[xRz . z∈β ]
 {<x,z>  z∈β & Rxz}
α↑β (the Cartesian product of α and β) [*35·04]
 xˆzˆ[x∈α . z∈β]
 αXβ, or {<x,z>  x∈α & z∈β}
R‘‘β (the projection of β by R) [*37·01]
 xˆ{(∃y). y∈β . xRy}
 {x  ∃y(y∈β & Rxy)}
ι‘x (singleton of x) [*51·11]
 zˆ(z = x)
 {x}
R* (the ancestral of R) [*90·01]
 xˆzˆ{x∈C‘ : ‘‘μ ⊂ μ . x∈μ . ⊃_{μ} . z∈μ}
 Frege's definition: y is in all the Rhereditary classes x is in.
Bibliography
 Carnap, R., 1947, Meaning and Necessity, Chicago: University of Chicago Press.
 Church, A. , 1976, “Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski”, Journal of Symbolic Logic 41, 74760.
 Chwistek, L., 1924, “The Theory of Constructive Types”, Annales de la Société Polonaise de Mathématique, (Rocznik Polskiego Towarzystwa Matematycznego) II: 948.
 Feys, R. and Fitch, F.B., 1969, Dictionary of Symbols of Mathematical Logic, Amsterdam: North Holland.
 Gödel, K., 1944, “Russell's Mathematical Logic”, in P.A. Schilpp, ed., The Philosophy of Bertrand Russell, LaSalle: Open Court, 125153.
 Landini, G., 1998, Russell's Hidden Substitutional Theory, New York and Oxford: Oxford University Press.
 Linsky, B., 1999, Russell's Metaphysical Logic, Stanford: CSLI Publications.
 Linsky, B., forthcoming, “From Descriptive Functions to Sets of Ordered Pairs”, in Reduction  Abstraction  Analysis , A. Hieke and H. Leitgeb, eds., Ontos: Munich.
 Russell, B., 1905, “On Denoting”, Mind, N.S. XIV, 530538.
 Whitehead, A.N., and Russell, B. [PM], Principia Mathematica, Cambridge: Cambridge University Press, 191013, second ed., 192527.
Other Internet Resources
 Principia Mathematica, reproduced in the University of Michigan Historical Math Collection.
 Russell's “On Denoting”, from the reprint in Logic and Knowledge (R. Marsh, ed., 1956) of the original article in Mind 1905, typed into HTML by Cosma Shalizi (Center for the Study of Complex Systems, U. Michigan)
Related Entries
Frege, Gottlob  Frege, Gottlob: logic, theorem, and foundations for arithmetic  generalized quantifiers  Principia Mathematica  Russell, Bertrand  schema  set theory: alternative axiomatic theories  type theory  Whitehead, Alfred North
Acknowledgments
The author would like to thank: Gregory Landini, for pointing out an error in connection with the distinction between E! and ∃!; Dick Schmitt, who identified a missing tilde in example 2; Franz Fritsche, who identified ten typographical errors among both PM formulas and their modern equivalents; Rafal Urbaniak, who found several more typographical errors, and Adam Trybus and Pawel Manczyk who both corrected my Polish.