>>13304946I wasn't the anon asking about the book.
Volume 1 covers logic and relations and some parts of arithmetic.
These topics are basic for our current understanding of the theory of computation,
as it was subsequently developed by Gödel, Turing, and many others.
Predicate logic seems less of a philosophical topic now than it might have done
in the days. We use it for everything in cs, from construction of the syntax of
arithmetic computations to the checking of program correctness using
Hoare Logic. We can make fun of Wittgenstein in particular today. But one
thing he managed to do was to detach philosophy from scientific thinking. Russell
also did his thing, which was good.
