Originally published in 1990. This study was first written in 1965. It looks in detail at the doctrine of necessity â€" that necessary truths are those derivable from the principle of identity by the substitution of definitions. It relates the doctrine to philosophic predecessors and contemporaries and then critically examines the theory.