Saturday, January 3, 2015

Ad hominem

The phrase "ad hominem" means, "to the man." In logic it refers to an informal fallacy where the person giving the argument is attacked instead of the argument itself. It is designed to deflect attention away from the weakness of the attacker's position or the strength of the defender's. This is common in politics, and is not always without merit.

If an environmentalist candidate flies exclusively in private jets, it is right to point out this hypocrisy, but hypocrisy doesn't affect the truth or falsity of his positions on global warming or other issues. Further, too often in politics and religion ad hominem attacks are used in lieu of valid reasoning skills.

For example....how can you trust a draft-dodger's views on foreign policy? .... How can you believe in that religion with so many bad people leading it? ... That politician sleeps around and he wants to tell me what to do with my body? ... that man opposes gay marriage just because he's a homophobe...that person supports that bill because she's racist...

And so on. All of the above statements attack the person and not the idea. They may help us feel better but not think better.
posted from Bloggeroid

Categories again

Blogs are a good examples of how we use logic and categories.  Some blogging platforms have "Categories" and "Tags."  Others, like Blogger, have "Labels."  Bloggers who have the two use "Categories" to represent something broad like "fallacies," and "tags" to represent specifics such as "ad hominem" and "denying the antecedent."  Tags can be used any time a specific fallacy is mentioned, but categories keeps it general enough to avoid microprecision and clutter.

I use "Labels" like "Categories." I don't want to mention every fallacy every time, because there may be some I mention only once, and others I mention multiple times.  It's easier to stay broad and add more labels if I need to.

The point of this is that Blogging is a good example of the value of logic.

Denying the Antecedent

A logical condition has two parts: the antecedent and the consequent.  The antecedent (with the prefix ante-, meaning coming before, like anteroom or antebellum), indicates the first part of the condition.  If I say, "If P then Q" or "If it is raining, then the ground is wet" the antecedent is "P" or "it is raining."  The consequent is the other part of the condition, the Q, "the ground is wet."

There are two common fallacies: affirming the consequent and denying the antecedent.  If I affirm the consequent, I am saying that the ground is wet, so therefore it's raining, ignoring the possibility of the ground being wet for other reasons, such as a busted fire hydrant.  If I deny the antecedent, I say that since it is not raining, the ground cannot be wet, also ignoring the possibility of the ground being wet for other reasons.  Just because it is not raining does not mean the ground is dry.

Categories

Too many people today seem to have trouble dividing ideas and distinguishing things into categories.  A solid background in logic helps us to do this.  Logic has several mundane, practical applications such as helping people make lists, categories things and ideas, and organize their stuff and their plans.
Children learn logic primarily through games, such as sorting games and matching games.  There they learn how to create categories and systematically solve problems.  If a childhood is lacking in these games, the adult child will be lacking in logic skills.  We are by nature rational creatures, but neither our ideas nor our modes of thinking are wholly innate.  They must be learned.

Friday, January 2, 2015

Modus Tollens

The companion to modus ponens is modus tollens, the way of denying.

If I say something like, "if P is true, Q is true," and add, "however, Q is not true," I can conclude that P is not true, either.  In short: "If P, then Q. Q is not true, so neither is P."  I know this is so because if P were true, Q would be true.  But Q isn't true, so P can't be.

Here is an example: If it is raining outside, then there are clouds in the sky.  There are no clouds in the sky, so it is not raining.  The first sentence says there must be clouds for it to rain.  The second sentence tells me that there are no clouds, so how could it be raining?  It couldn't be raining, and it isn't raining!

Another example: In order for me to have stabbed the man, I must have been next to him.  However, I wasn't even in the same room.  Therefore, it couldn't have been me!  This example deviates from the grammatical syntax of the other, but follows the same logical form: If P (I stabbed the man), then Q (I was next to him).  Q isn't true (I wasn't in the room) therefore P isn't true (I didn't stab him).

Modus ponens & Affirming the Consequent

One of the most basic rules of validity is known as modus ponens, "the affirming way."  In short, it says that if I have a conditional statement and the first part of the statement is true, the second part must also be true.  This is often written as "If P, then Q.  P is true, so Q must be true."

Here are a few examples:

If it is raining, the ground is wet.  It is raining, so the ground is wet.

If you are human, you are also a mammal.  You are a human, therefore you're a mammal.

If you get 3 strikes, you're out.  You have three strikes, so you're out.

Each example follows the same logical structure.  If (something happens), then (something else will happen).  Since (the first thing happened), I know that (the second thing happens).  I know that the ground is wet because it is raining.  I know that I am a mammal because I am human.  I know that I'm out because I got 3 strikes.

Keep in mind that this does not work in reverse. I do not know that it is is raining just because the ground is wet (someone could be washing their car).  I do not know that I am human because I'm a mammal (I could be a horse).  I do not know that I got 3 strikes because I'm out (I could have hit a pop fly).  If I were to make an argument this way, I would commit the formal fallacy known as affirming the consequent.

The consequent is the Q part of "If P, then Q."  This fallacy effectively says, "If P, then Q.  I know that Q is true, so P must be true."  As shown in the examples above, this isn't true.  There could be other reasons Q is true without P being true.

Equivocation

When we construct an argument, our terms must be unambiguous.  Their meanings must be clear and known to all involved.  Politicians and sophists of various stripes love to exploit ambiguity.  This is a fallacy known as equivocation.

Consider the following bit of dialogue:

Are you aware that Jim is gay?
Really?  He doesn't seem that happy to me.

The ambiguous term gay here is exploited by the meanings homosexual and happy, carefree.

Another example in the form of a syllogism:

God is love.
Love is blind.
Therefore God is blind.

This argument is valid, but is not sound because the terms love and blind are ambiguous.  Their meaning changes throughout the syllogism, and the multiple meanings of the words are exploited.  The first love refers to love of a self-sacrificing the nature, the second to erotic love or sacrificial love, depending on whom you're talking to.  The first blind is metaphorical, whereas the second is literal.  Arguments like this are sound and fury signifying nothing.