Saturday, November 14, 2015

Why Traditional Logic Doesn't Employ Truth Tables

One if the interesting things about this blog is that, while most of what I talk about is politics and culture, the post with the most continuing popularity is an older post I did on the difference between traditional and modern logic. I was going to continue that discussion in later posts but not only got rather busy, but ran into some conceptual problems in the next section of what is basically a pamphlet I wrote a few years ago that I have yet to resolve to my satisfaction.

In the meantime, here is a discussion of the differing views on truth conditionality that address some of the same issues I addressed in the earlier article.

One of the questions I get rather often from students and logic instructors about traditional logic is why it doesn't teach truth tables. Modern logic, the most common kind of logic encountered in high school and college, uses them, so why does traditional logic ignore them?

Many people encounter a smattering of logic in high school math courses, which teach a few of the rudiments of modern logic. Here, more than likely, they will encounter simple truth tables. Truth tables were invented by Ludwig Wittgenstein, perhaps the the 20th century's most influential modern philosopher. He invented them to accompany the calculus into which modern analytic philosophers had transformed logic. They were seen a way to quickly solve for the truth of simple and complex logical propositions in the modern system.

Let's take the statement, "There are seven days in the week and twenty-four hours in a day." In the modern system of logic we would want to immediately reduce this down to its formal elements. Let's say that P = "there are seven days in the week" and that Q = "there are twenty-four hours in a day." If we did this, then we could represent the statement as follows:

P and Q 

How do we find out whether the statement "P and Q" is true? In modern logic, the truth value of this statement is determined by its elements--in this case, the statements signified by "P" and "Q". We know as a matter of simple common sense that the statement "P and Q" is true only when both the statements represented by "P" and "Q" are themselves true--in other words, if it is true to say that there are seven days in the week and if it is true to say that there are twenty-four hours in a day. If either one or both of these statements are false (in other words, if a week is made up of something other than seven days or if a day is made up of something other than 24 hours--or both), then the statement would be false.

Using truth tables, we would set forth all of the truth possibilities of P and Q so we could see clearly when "P and Q" is true and when it is false:

P     Q     P and Q
T     T           T
T     F           F
F     T           F
F     F           F

We don't really need to go to all this trouble to verify that a simple statement like "P and Q" is true. But what if you had a statement like "P and (Q or (If R, then S))"? When statements become this complex, truth tables can be an easier way to calculate their truth value.

So if truth tables make the determination of the truth of statements more easy to calculate, then why doesn't traditional logic teach them?

There are several answers to this question. The first is practical, the second is theoretical.

The Practical Usefulness of Truth Tables is Overstated
The first reason is that, although truth tables have certain technical applications, they are not practically useful in actual argument or discussion, since most statements used in everyday speech and even in academic conversation never get to the level of complexity that would require a truth table to figure them out. They are certainly helpful in certain scientific applications and for computer computer programming (modern logic's most practical application), but outside those fields, they are seldom needed.  

I have not only taught logic, but engaged in private and public debate for over 25 years. While I have made use of William of Sherwood's traditional mnemonic verse of the 19 valid syllogism forms and the procedure for backing into missing premises repeatedly (both of these are covered in my Traditional Logic, Book II), I have never had to resort to a truth table. 

This is partly the result of the fact that most real life argumentation is conducted in or reducible to categorical reasoning on which you cannot use truth tables anyway. This is because categorical reasoning operates on the basis of the relations between individual terms (which are neither true nor false, since only full statements can be true or false) and truth tables work only with hypothetical reasoning, which operation on the basis of relations between statements. In addition, even though modern logical techniques were developed primarily to deal with complex philosophical and scientific problems in an academic context, the vast majority of the reasoning you encounter even there consists simply in chain arguments (strings of simple arguments strung together) that don't require any advanced calculus to solve.

The Faulty Metaphysics Behind Modern Logic
The second reason for the absence of truth tables from traditional logic has to do with the philosophical differences between the traditional and modern systems of logic. To state it baldly, traditional logic doesn't believe in truth tables.

The reason they are used in one system and not the other has to do with a concept called truth functionality.  What is truth functionality?  “A compound proposition,” said Edward Simmons, “is said to be truth-functional when its truth as a whole depends solely upon the truth values of its component parts.”  In other words, the truth or falsity of its parts will tell us the truth or falsity of the whole.

In the statement above, "P and Q", we can tell its truth from its component parts. "P and Q" is called a "conjunctive proposition"--it conjoins P and Q. Traditional logicians believe that conjunctive statements are the only kind of statements whose truth can be "solved" in a truth table--the only kind of statements, in other words, that are truth functional. No other kinds of logical statements ("P or Q", "If P, then Q", etc.) are truth functional in this way.

The reason traditional logicians deny the truth functionality of hypothetical propositions has to do with the underlying assumptions about language and reality.  To illustrate this, let's take another simple statement, this time a conditional statement (This is where the problem with modern logic's assumptions become very clear):

If it rains, then my dog will get wet

In modern logic, we would "solve" for the truth of this statement using a truth table:

P     Q     If P then Q
T     T           T
T     F           F
F     T           T
F     F           T

This kind of statement is considered true in every possible case except when P is true and Q is false (the second line). Let's say my dog is an outside dog and has no protection from the rain. In that case, when it rained my dog would get wet--both P and Q would be true, and therefore it would be true to say (as on the first line of the truth table) that the entire statement, "if it rains my dog gets wet" is true.

But let's say it was raining, but my dog was in the garage, dry and cozy. In that case, it would be true to say that it was raining, but false to say that if it rains, then my dog gets wet (as indicated on the second line of the truth table). It rains, but my dog does not get wet. The statement would therefore be false.

But what about the other two possibilities, in other words, when it is not raining at all (when P is false and Q is either true or false--the last two lines of the truth table)? Why, as indicated in the truth table, do modern logicians say the statement would be true in those cases? 

As someone who has heard the explanations of why this is the case--as well as having tried to explain it to his own students in class--I can testify to the difficulty in trying to understand this. 

But the fact is that modern logic's treatment of the conditional statement (particularly its treatment of conditional statements in which the antecedent is false) is problematic not because it is complicated; it is problematic because it is problematic.

In the traditional system a conditional statement is considered true only if the fact that your dog gets wet really occurs as a result of the rain—in other words, if the statement asserts what is called a valid sequence.  To put it another way, there must be a real logical relation between the rain and your dog getting wet.  The fact of it raining must, in some way, materially imply that your dog will get wet.

In the modern system, however, there need be no real connection all.  All that is required is that, as a matter of fact, the consequent (my dog will get wet) is not false when the antecedent ( it rains) is true.  Unless this is the case, the statement is considered true.  Therefore, in the modern system, statements such as:

If the moon is made of green cheese, then ducks can swim

are considered true statements, since their antecedents ( in this case, "the moon is made of green cheese") is false at the same time that the consequent ("ducks can swim") is false.  In fact the antecedent is false and the consequent true, therefore (according to the modern logician) it is a true statement.

While modern logic considers this statement true, traditional logic sees it, again, for what it is: nonsense.  The moon being made of green cheese clearly has no relation (logical or otherwise) to the fact that ducks are able to swim.

In the traditional system, conditional statements are considered to assert a necessary connection between their elements (the antecedent and the consequent), while in modern logic the only connection has to do with the happenstance coincidence of the truth or falsity of the elements. There must be either a cause and effect or ground-consequent relation between the antecedent and the consequent. The rain and the dog getting wet are to be seen as having a fundamental metaphysical relation (in this case a cause-effect relation) to one another. The assumption behind modern logic is that such necessary connections either do not exist or that they do not need to be accounted for in our system of logic.

The underlying problem here is that modern logic is concerned with the attempt to quantify reality. It wants to turn logic into a kind of calculus. This was the dream of philosopher Gottfried Leibniz, who hoped that one day man could create what he called a "calculus ratiocinator"--a logic machine for the "solution" of logical problems. In many ways Leibniz was Aristotelian in his thinking (traditional logic is Aristotelian), but he would have had to have had very non-Aristotelian assumptions in order to believe that this was even possible.

Traditional logic does not attempt to reduce logic to a quantitative calculus, largely because it views logic as a linguistic and metaphysical art, not a technical mathematical calculus. Traditional logicians recognize a distinction between what is called extension and comprehension--on other words, that any comprehensive view of human reasoning would have to recognize both the quantitative aspects of human language, but also the qualitative. It rejects modern logics reduction of all human reasoning to extensionality.

Traditional logicians reject the idea that language can be quantified in the way that modern philosophers believe it can. Logic, according to the traditionalists, is inherently qualitative and logocentric (centered on the Word), and attempts to quantify logical language can only serve to distort the process of reasoning.

Behind the idea of such a calculus is a view of the world fundamentally at odds with traditional metaphysical beliefs. Ultimately, the only way logic can be made into a calculus is by denying the essential metaphysical nature of the world that logical language attempts to portray.

This, of course, is not a problem for the logical positivists who developed modern logic because they did not believe in traditional metaphysics, although, of the three people who wrote the book that put modern logic on the academic map (Bertrand Russell, Alfred North Whitehead, and Wittgenstein, the latter of whom greatly influenced, but did not actually author the book) both Whitehead and Wittgenstein later repudiated it--for different reasons. 

Their progenitor is David Hume, the 18th century British empiricist philosopher who went so far as to question the rationality of the belief in cause and effect. What modern logic has done is to create a system of logic that honors Hume's positivism by ignoring metaphysical reality: You can "solve" an "If P then Q" statement by ignoring the metaphysical implication in it and taking account solely of the "truth value" of its elements. 

In the modern view, in other words, "If, ... then" statements do not posit either a cause/effect or ground/consequent relation. They operate basically like conjunctive statements, ignoring the very relation that those who use them actually mean to assert (cause/effect or ground/consequent).

It is logic for Humeans.

In other words, the question over truth conditionality--in addition to anything else that might be wrong with it--is the logical consequence of a faulty view of metaphysics.


8 comments:

Anonymous said...

I have read the beginning of the logic post from years ago and wondered why it was never completed. It would be nice to read the whole thing. I have read the referenced article by Kreeft.
I took one logic course in college many years ago and certainly don't understand many of the terms. I try to keep my lack of knowledge in mind, but it is hard to accept some of Kreeft's statements, so it would be interesting to have the original post here completed.

" Traditional logicians believe that conjunctive statements are the only kind of statements whose truth can be "solved" in a truth table--the only kind of statements, in other words, that are truth functional. No other kinds of logical statements ("P or Q", "If P, then Q", etc.) are truth functional in this way."

?
For the unschooled readers, why?
What's the difference between "and" and "or" in truth tables?

P and Q P or Q
-------- -------
P Q PaQ P Q PoQ
T T T T T T
T F F T F T
F T F F T T
F F F F F F

Why should one of these tables be truth functional and not the other? If there is some subtle reason it should be given, otherwise it seems nonsensical to state one is solvable and one isn't.


But I certainly agree with the point that truth tables are not very useful in the real world. The course I took must have been modern logic since i thought that logic was a means of evaluating the validity of relationships about statements, not evaluating the statements themselves.

Consider the example given above:
""There are seven days in the week and twenty-four hours in a day." In the modern system of logic we would want to immediately reduce this down to its formal elements. Let's say that P = "there are seven days in the week" and that Q = "there are twenty-four hours in a day." If we did this, then we could represent the statement as follows:"

It is certainly trivial to make a truth table for this P and Q. But assigning values of "T" or "F" to the statements about days in a week and hours in a day is a completely different matter. And it is in assigning these values that seems to me to be the biggest problem in the real world. For example consider the conditional "If climate change, then ...". People are going to argue mostly about whether "climate change" is T or F, and not much about the validity of the logical construction.

Yet despite my lack of education in logic, it is difficult not to be boggled when reading statements like Kreeft's
"G. K. Chesterton refuted nominalism with his usual economy and wit when he argued, "If, as the nominalist says, 'all chairs are different,' how can he call them all 'chairs'?"
Read more: http://www.touchstonemag.com/archives/article.php?id=25-06-035-f#ixzz3sTslvE00"
I wish seemingly ludicrous statements like these would be explained in enough detail to show that they are really not ludicrous.


j a higginbotham

Anonymous said...

In the modern system, ...

If the moon is made of green cheese, then ducks can swim

are considered true statements, ...
While modern logic considers this statement true, traditional logic sees it, again, for what it is: nonsense. The moon being made of green cheese clearly has no relation (logical or otherwise) to the fact that ducks are able to swim.
-------------------------------------------
I don't understand why traditional logic considers this nonsense. Certainly it is nonsensical to say the moon is made of green cheese, or that this would affect the swimming abilities of ducks.
So I am obviously confused about the difference between modern and classical logic. Is it true to say that modern logic deals with the validity of relationships between terms or phrases and classical logic includes the truthfulness of the terms and phrases as well? It would seem then that modern logic is objective in the sense that it manipulates symbols whereas traditional logic is subjective in that it limits itself to subjects the practitioner considers reasonable.
Or for an analogy in math, in "modern" algebra, we have if x^2=9, then x=3 or -3; whereas in "traditional" algebra, we would first ask what "x" refers to before solving to make sure it is reasonable, and, if so, then throw out the -3 because it is nonsense.

----

"If the moon is made of green cheese, then ducks can swim" is on the one hand nonsense, but the truth value of the statement doesn't apply to the phrases themselves but to their relationship, which took me a while to understand.
In fact, this accuracy of this statement is much more reliable than the other example given
"If it rains, then my dog will get wet".
In the first case, most of us accept that the moon is not made of green cheese, so therefore it doesn't matter what follows; the statement as a whole is true. Since there is no case in which the moon is made of green cheese, we don't have to worry about any connection. Whereas with the second example, there are all sorts of hidden assumptions that would invalidate the connection in "If it rains, then my dog will get wet".
If it rains somewhere else, the dog will not get wet.
If the rain is virga, the dog will not get wet.
If the dog just came out the pool and is already wet, the dog will not get wet.

So from reading this, i can see that modern logic is useful in some areas such as math or electronics. But what is the utility of traditional logic? Perhaps when the original post is finished, this will become clear.

j a higginbotham

DNW said...

"But what is the utility of traditional logic?"


Forensic analysis. Just as in the time of the ancient Greeks, when a social engineer or politician was making a claim to an audience that you should agree to Y because it "followed" from X.

Unknown said...

Hello Mr. Cothran,

I have objections to a couple of the points you made in this post.

1) Yes, if the only application of logic is to be debate, et cetera, then truth tables are usually unnecessary. On the other hand, much of logic is usually unnecessary to see basic validity, as many arguments can be seen to be valid or invalid without any conscious analysis. Bringing the entire heft of Aristotle's Logic down an argument like, "My house is painted red, therefore the west wall of my house is painted red," is clearly overkill. All logic is about the more complex arguments. However, truth tables are very useful in proving theorems like "P V Q === Q V P" (where "===" is used as the symbol for L-equivalence).

2) Truth tables are just an abstraction of Aristotelian concepts. While Aristotle says "All S are P" et hoc genus omne, modern logic says "all syllogisms, regardless of particulars, follow the following rules, called tautologies."

3) Your objections to the definition of "if P then Q" as "- P V Q" seem incomplete. Mathematics can model reality and natural language can model reality, so does it not make sense that their should be a way to translate, a middle ground, a formal language? Traditional logic has some rules and is about how to apply them. Modern logic is about finding out what all the rules are. If any particular language (formal or natural) fails to take note of certain points it does not make it wrong, merely incomplete. For example, I doubt that many anglophones would normally equate flying with stealing, and yet many still learn and love French (voler). That any given branch of logic pays more attention to syntax than semantics does not make it flawed to the core, just more concerned with the universal than the particular. Not only that, but the more attention is payed to semantics, the less certain the conclusions can be, as more rests on induction and less on deduction.

En fin, even if all of this is as false as you claim it to be, it is still unfair to attack all modern logicians as Humeans. In fact this closely resembles the Fallacy of Affirming the Consequent which you talk about in your second logic book.

regards and thanks for your time,

Leo Ware

Jayson Virissimo said...

Isn't relevance logic a way of dealing with these issues from within modern logic itself?

Martin Cothran said...

Leo,

I have posted a response to the first part of your comment here on another, new post to bring this discussion back out on the main web page. It is here: http://vereloqui.blogspot.com/2015/12/how-necessary-is-knowledge-of-modern.html

David McPike said...

"Traditional logic does not attempt to reduce logic to a quantitative calculus, largely because it views logic as a linguistic and metaphysical art, not a technical mathematical calculus."

Surely this is just wrong? 'Traditional logic' also views logic as a formal tool, one which it is necessary to master *before* attempting something like metaphysics. It can be treated (taught and learned) just as abstractly and formally as modern logic.

"Therefore, in the modern system, statements such as:
{If the moon is made of green cheese, then ducks can swim}
are considered true statements, since their antecedents ( in this case, "the moon is made of green cheese") is false at the same time that the consequent ("ducks can swim") is false. In fact the antecedent is false and the consequent true, therefore (according to the modern logician) it is a true statement."

This again seems misleading. In the modern system of *logic*, statements such as {If P1 then P2} are considered formally, as being possibly true, possibly false. Insofar as propositions figure into actual reasoning about reality, what reason is there to think that modern and traditional logic are any different in viewing logic "as a linguistic and metaphysical art, not [merely!] a technical mathematical calculus"?

Martin Cothran said...

David,

I have posted the first of two responses to your points here in a fresh post: http://vereloqui.blogspot.com/2016/01/are-traditional-and-modern-logic-really.html