Despite the summary in O'Reilly - "a wonderfully chatty book that functions as an introduction to logic for mathematicians and philosophers" - this text (95 page PDF) doesn't actually teach you logic, it teaches you how to teach yourself logic. For casual readers, it's a pretty good summary of what the field of logic entails - from first order logic (which is what most logic textx cover) to more advanced topics such as model theory and mathematical logic, and then outlines the elements of proof theory, computability and completeness. Now, could someone actually teach themselves logic this way? I think it's possible, but it would be very difficult, especially in the absence of immediate practical application for a lot of what's being covered.
Today: 7 Total: 116 [Direct link] [Share]
