This book is primarily intended for people who have some acquaintance with deductive methods in elementary formal logic, but who have yet to study associated philosophical problems. Russell coined the phrase "philosophical logic" to describe the process whereby sentences are formalized in the language of logic. Most of this book is devoted to problems which arise when attempts are made to formalize English in logical languages. The rest considers the rationale behind this activity. The exercises in the text are designed to encourage readers to contribute their own thoughts to the various problems.
An (almost) perfect introduction to philosophical logic. Takes you through all the concepts, nomenclature, and argument forms in baby steps and with friendly clarity. Different theories are addressed with neutrality and laid out in dialectical fashion, making each as appealing as it can be in face of its adversaries. I wish, however, that there were more examples of logical analysis being applied to standard (e.g., ethical, epistemological) philosophical arguments. And that the proposed exercises had solutions. In addition, one must admit that the book is extremely dry and sometimes hard to follow. But I imagine no one dives into to it expecting a fun, light ride.
I abandoned it after reading the first chapter as it's impossible to make sure you are learning if you read it on your own. There is one or two examples in every section and ten exercises without solutions anywhere. The last straw was trying to find why this is invalid: “A only if B. It is not the case that B. So it is not the case that A”. It's obvious that if B was the case, it wouldn't mean that A was the case also. But now that B is not the case and A can only be the case if B, how can A be the case? My only guess is that this “only if” is some special term that I can't understand and allows for A to happen for a reason other than B.
I'm sorry, but the first thing to notice here is this destructive and arrogant 'preference'. It's a widespread one, but rarely owned with such cynicism.
'My own preference in teaching logic is to begin with the elementary formal part, keeping the students' eyes blinkered to philosophical questions, which are dauntingly hard. In introducing the philosophical issues later on, I am conscious of the width of the gap I expect students to leap, from the drill of truth tables and proofs to discussions of the semantics of names or conditionals. This is the gap this book is intended to fill.' p. 2
The first time I read this book I found it seriously hard work, but coming back to it a year later, and a year further into my philosophy degree I found it helpful and reasonably clear. Perhaps there is no easy way into philosophy of logic, and this book reflects that.
At times I felt the text could be shorter, but overall it is good. I also found the constant cross referencing to other parts of the book a little irritating, but not sure there is an easy alternative.
The strength of the book is its explanation of key logical concepts - validity, truth, propositional logic, modal logic, and quantification - all set within in a framework of long exposition of the challenges of formalisation. A good book for an undergraduate philosophical logic course. As a comparison, it is more interesting, but harder work and less easy to follow, than Guttenplan's "The languages of logic".