Chapter 7: Basic Logic

Chapter 7: BASIC LOGIC

1.  SOME BASIC CONCEPTS 

People associate logic with brain teasers and mathematical puzzles, which seem to have little relevance to real life. The truth is that logic is of great practical significance. If your friend is in New Zealand, you know she is not in Japan. This piece of everyday reasoning involves logic. Logic also plays a special role in computer technology. Computers are good at processing information because their processors can perform a huge number of logical operations very quickly. Obviously, normal people are capable of logical reasoning to some extent, or else we would not be able to survive very long! But making the effort to study some logic can improve our understanding of what good reasoning is like so we can become even better. 

a)    Consistency

A set of statements is consistent when and only when it is logically possible for all of them to be true in the same situation. Otherwise, they are inconsistent. So, for example, "Adrian is happy" and "Adrian is married" are consistent with each other since there is no reason why a married person cannot be happy. On the other hand, "Vishnu is 30 years old" and "Vishnu is 20 years old" are obviously inconsistent. Here are a few more points to remember about consistency:

·      Inconsistent statements are also known as contraries.

·      We can also speak of a single statement as consistent or inconsistent, depending on whether it is logically possible for it to be true. "There are round squares" is inconsistent and false. "Paris is in France" is consistent and true. "Nobody lives in Paris" is consistent but false.

·      Whether a set of statements is consistent depends on whether it is logically possible for all of them to be true in the same situation. It is not necessary that they are actually true. "Paris is in Italy" and "Nobody lives in Paris" are consistent with each other, even though both are actually false.

·      To show that a set of statements is consistent, we can either show that they are actually true or describe a logically possible situation in which they are all true. Consider the two previous statements about Paris. Imagine that Italy conquers France with chemical weapons and takes over Paris. But Paris became contaminated and everyone leaves. This imaginary situation is farfetched but coherent and shows that the statements are consistent.

·      Statements that are actually true are consistent with each other, but false statements might or might not be consistent with each other. The two previous statements about Paris are false but consistent. "Nobody lives in Paris" and "Only 10 people live in Paris" are false and inconsistent with each other.

o  Many inconsistencies are easy to detect, but not always. Suppose someone says we should be cautious in making general claims. This seems like good advice because sweeping generalisations like "Every Italian loves pizza" and "All Belgian chocolates are good" are bound to have exceptions. So, we might be tempted to conclude that all general claims have exceptions. But the claim "All general claims have exceptions" is actually inconsistent. The claim cannot possibly be true and is therefore inconsistent!

o  If we want to speak truly, we should avoid inconsistent statements. But sometimes ordinary speakers use sentences that seem to be inconsistent, such as, "I am happy and I am not happy." Why do people say things that cannot be true? One answer is that these sentences have incomplete meanings. When we fully specify their meaning, they are no longer inconsistent. For example, perhaps the speaker is happy that she is getting married, but she is also not happy that her ex-boyfriend showed up at the wedding. She is happy about one thing and not happy about a different thing, so there is no real inconsistency.

b)     Entailment

o   A set of statements P₁ … P_n entails (or implies) a statement Q if and only if Q follows logically from P₁ … P_n. In other words, if P₁ … P_n are all true, then Q must also be true. Consider these examples:

·      P: A bomb exploded in London. 
Q: Something exploded somewhere.

o   Here, P entails Q, but not the other way round. Just because there was an explosion does not mean that a bomb was involved. Perhaps it was an egg exploding in a microwave oven. When P entails Q, we say that Q is a logical consequence of P. In symbolic notation, it is P =>Q. Here are two important points about entailment:

·      A set of true statements cannot have false consequences. 

·      A set of false statements can have true consequences.

o   If we look at the example carefully, we can see that if P entails Q, and Q turns out to be false, then we should conclude that P must also be false. 

o   However, if P entails Q, and P is false, it does not follow that Q is also false. A false theory can have true consequences, perhaps as a lucky accident. Suppose someone believes that the Earth is shaped like a banana. This false belief entails that the Earth is not like a pyramid, which is true. This example tells us we should avoid arguments of the following kind:

·      Your theory entails (requires) Q.

·      Your theory is wrong.

·      Therefore, Q must be wrong.

o   Entailment is related to the logical strength of statements. If a statement P entails another statement Q but not the other way round, then P is stronger than Q, or equivalently, Q is weaker than P. Thus "That is a Boeing 747 aeroplane" is stronger than "That is an aeroplane." As you can see, a stronger statement provides more information, but at the same time, it runs a higher risk of being false. Here are some typical ways to qualify a statement to make it weaker:

Original Statement	Weaker, Qualified Version
All lawyers are talkative.	All lawyers I know are talkative. (restrict to personal experience)
Snakes with triangular heads are poisonous.	Most snakes with triangular heads are poisonous.  Snakes with triangular heads are probably poisonous.  Snakes with triangular heads are often poisonous.  With few exceptions, snakes with triangular heads are poisonous.  (frequency and probability qualifiers)
He won’t be late.	If there is no traffic jam, he won't be late. (conditional qualifier)
He is tall. The cake is good.	He is not short. This cake is not bad.  (weaker adjectival phrase)

·      We should also be careful of the opposite situation in which people fail to qualify their claims for various reasons. For example, some people believe shark cartilage can cure cancer, and there is even a book called Sharks Don't Get Cancer. But it turns out that sharks do get cancer. The book does acknowledge that, but it says that a qualified claim such as "almost no sharks get cancer" would not make a good book title. Guess what, sharks can even get cancers in their cartilage!

c)      Logical Equivalence

·      If P entails Q and Q entails P, then P and Q are logically equivalent—for example, "Superman is more powerful than Batman" is logically equivalent to "Batman is less powerful than Superman." When two statements are logically equivalent, they necessarily have the same truth value—it is not possible for one of them to be true and the other one to be false.

·      In formal logic, P n Q means that P and Q are logically equivalent.

·      If P n Q, then Q n P. Every statement is logically equivalent to itself.

2.   LOGICAL CONNECTIVES: A logical connective is a logical term that can be attached to statements to form more complex statements.

a.    Conjunction: Given two statements P and Q, their conjunction is the complex statement "P and Q". P is the left conjunct, Q is the right conjunct. Examples:

·      Jack died, and Jill went to a party.

·      Protons are positively charged, and electrons are negatively charged.

·      The logical behaviour of a conjunction is quite simple. A conjunction "P and Q" is true when both conjuncts P, Q are true. Otherwise, the conjunction is false. But be careful of possible ambiguity when and is used to join phrases: 

o  Ravel studied the philosophy of music and literature. (Literature and philosophy of music, or philosophy of music together with a philosophy of literature?) 

o  We should hire more temporary and part-time drivers. (Temporary drivers and part-time drivers, or part-time drivers who work on a temporary basis?) 

o  You must use screws, nuts, and bolts of stainless steel. (Are the screws and nuts also made of stainless steel?) 

b.   Disjunction: Disjunction is expressed by the word or in English, but it is useful to bear in mind two types of disjunction. When "P or Q" is used in the exclusive sense, this is equivalent to "either P or Q, but not both." An example might be when a girl issues an ultimatum to her two-timing boyfriend: "Either you stay with me, or you go out with her." Presumably, she is not saying that her boyfriend can do both! 

·      On the other hand, under the inclusive reading, "P or Q" is consistent with the possibility where both P and Q obtains. Suppose your computer is not working, and your friend says, "The hard drive is broken or the motherboard is not working." We might not want to say that your friend is wrong if it turns out that both components are not working.

·      The two possible interpretations present a potential problem in drafting and interpreting legal documents. To avoid disputes and unintended consequences, it might be a good idea to be more explicit when a disjunction is used, by adding “or both” or “but not both”. Also, like and, the use of or can lead to syntactic ambiguity:

·      You should use white glue or tape. [Does the tape have to be white?]

·      No hunting of turtles, fish, or birds on the endangered list. [All turtles and fish, or just those on the list?]

c.    Negation: The he negation of a statement P is any statement whose truth-value is the opposite of P. Given any statement in English, we can form its negation by appending the expression "it is not the case that." So, the negation of "it is raining" is "it is not the case that it is raining," or, in other words, "it is not raining." Here are some facts about negation: 

·      A statement and its negation are always inconsistent with each other. 

·      A statement and its negation form a pair of exhaustive and exclusive alternatives, e.g. Santa Claus exists; Santa Claus does not exist. They cannot both be true and they cannot both be false.

·      Negation involving modal verbs in English can be tricky. "You must leave" and "you must not leave" are inconsistent. But they are not exhaustive alternatives because it is also possible that there is nothing you must do. Perhaps it is up to you whether you stay or leave. The negation of "you must leave" is "it is not the case that you must leave," not "you must not leave." However, the negation of "you may leave" is "you may not leave"!

d.   The Conditional: A conditional statement (or a conditional) is any statement of the form "If P then Q"—for example, "If you are a member, then you can get a discount." Conditionals are of special importance because they can be used to formulate rules and general laws:

·      Computer programs contain lots of rules about what to do in some given situation. A rule for removing spam messages might be: "If an email contains the words viagra and sex, put it in the trash folder."

·      Many universal scientific laws are conditionals in disguise. "All electrons have the negative charge" is equivalent to "For any object x, if A: is an electron, then x has a negative charge."

·      A lot of legal rules are conditionals describing the legal consequences of specific situations—for example, if you are in a moving vehicle equipped with seatbelts, then you are required to wear one.

e.    The Biconditional: A biconditional is any statement of the form “P if and only if Q”. This is logically equivalent to:
If P, then Q, and if Q, then P.
Here are some equivalent formulations:

·      P if Q.

·      P when and only when Q.

·      P n Q (in formal logic)

·      For example, it might be true that in a particular course, passing the exam involves getting at least 50 marks. In this situation, a teacher would be speaking the truth when she says, "You pass the exam if and only if you get at least 50 marks." However, "you pass the exam" is not logically equivalent to "you get at least 50 marks." It just so happens that in this particular situation, one sentence is true if and only if the other one is. But this is not logically necessary, since a different pass mark is possible, and so equivalence fails.

END OF THE PART