The book is pretty much what is written on the label. It is an introduction to the basics of logical argumentation, including categorical logic, propositional logic, and predicate logic. Each of those major sections provides some helpful elementary insights to understand how arguments are put together, why they are true or false, and why they sometimes appear to be true but aren’t. There are plenty of accessible examples. And yet I am left with a question that I can’t imagine was the author’s intended takeaway. What is the value of a complicated and unintuitive method of truth calculus? I am convinced that what we take to be logical and sound arguments CAN be modeled in logic but what is gained by doing so?
One response is that modeling propositions in logic allows us to achieve a degree of certainty about our claims. Yes, but only in so far as logic can be used to yield valid formulations of those truths. Is logic really the bedrock upon which all truth claims are built? Scientific truth, yes, and perhaps all truth if the Procrustean, normative discourse of science is really the only game in town. But even in science, what kind of truth do we need? An air-tight, totalizing Truth that seems possible to model in logic? Or is the truth what we typically operate from that which is sufficient and justifiable but operationally local and incomplete?
Another response is that modeling propositions in logic helps us become better thinkers. But is that really true either? This kind of instrumental value for logic only seems to hold if it is possible for me to internalize logic and make it a habit of mind in the way that counting on my fingers has been internalized as a meditational device for counting. Beyond the simple formulations of categorical logic and simple form of propositional and predicate logic, I just can’t believe the suggestion that anyone really internalizes these forms and can process truth tables or other proofs in the course of an argument.
A counter argument to what I am saying is that logic describes what we already understand intuitively about arguments. Within limits this is true. If someone were to argue (1) All X produces Y and (2) Y is present; therefore “X produced Y” I hardly need logical notation to discover the overstep. Intuition is probably reliable for most people up to even moderately complex arguments. But as soon as I need to get out a sheet of paper and a pencil to process an argument, I’m not longer in the argument.
Maybe another counter argument is that an analogous criticism is that there is no real reason to learn basic arithmetic because simple functions like 2+2 and 4-1 are intuitive — why learn notation that systematizes such observations? These simple formulations are intuitive because they are within the realm of the experiential. 10/2 and 3*3 are a little less intuitive but still also within the realm of experience. But our use for numbers quickly goes beyond the experiential. We regularly have need for processing absurdly large numbers that nobody can legitimately claim to have direct experience with. So, learning the basics of arithmetic notation and syntax is valuable because it scales up to the large and the absurd. But is the same true for argument and propositions? Is there an equivalent argument that exceeds the grasp of the experiential and requires an adjunct like logical calculus to yield a determination of “true” or “false” for which we have a distinct useful need? What kinds of arguments exist at this level? Perhaps arguments about an entire field or body of knowledge for which someone patient enough could sketch out the coherent logical structure of the arguments comprising that field — if that’s even what they would find.
I’m inclined to believe that the value of logic, as a formal endeavor, stops almost at the conceptual level. It is valuable to know that arguments are made up of propositions that derive from premises that themselves derive from what is accepted or established by prior arguments. It is helpful to distinguish between the referent of a word and its sense. It is also valuable to recognize how arguments can be made deductively and inductively. And it is valuable to keep in mind that arguments can be assessed in terms of their consistency, soundness, and persuasiveness. That feels like enough and difficult enough to put into practice.
It may be that this criticism is unfair and misguided and guilty of the logical pitfalls that the book warns against. The book is just an introduction after all and introduce is what it did. I am just not sure about where this road leads.