Abstract. Russell’s formal logic has been criticized by some formal logicians as not having fully precise syntax (form). However, he is guided by the principle of formal logic, (Form) that proof depends entirely on form, independently of content. This is a profoundly questionable view of proof. It conflicts with recognizing that (i) “The set of…