I'm too tired (and too busy) for a proper review right now. All I'll say is that this is a great overview of some of the formal tools needed to understand philosophical issues: set theory, infinity, Turing machines and computability, formal semantics, probability theory. It's not a book on philosophical issues, it's a book on math and logic that is motivated by philosophical issues. The attempt is not to tackle these philosophical issues themselves, but rather to present the purely formal mathematical (not philosophical) tools needed to understand the debates going on regarding the philosophical issues. It's a sort of "mathematics for philosophers" book, and a very good one.