A boy and a girl are chatting.
“I am a boy”, said the child with black hair.
“I am a girl”, said the child with white hair.
At least one of them lied. What colour hair does the boy have?
Solution: Derek was the culprit.
Looking at Brian’s statement if it was Charles, then Brian was lying in his first statement, which makes the second statement true. Which would mean that it was both Charles and Alan. So it can’t be Charles.
Which means Derek was lying in his first statement, which makes the second statement true. Therefore it can’t be Alan.
So Eric’s second statement must be false, meaning his first statement was true, therefore it was Derek.
After a local Post Office burglary, five suspects were being interviewed.
Below is a summary of their statements.
Police know that each of them told the truth in one of the statements and lied in the other.
From this information can you tell who committed the crime?
It wasn’t Charles
It was Alan
It was Charles
It wasn’t Alan
It was Brian
It wasn’t Eric
It was Eric
It wasn’t Brian
It was Derek
It was Alan
The word ‘logic‘ is not easy to define, because it has slightly different meanings in various applications ranging from philosophy, to mathematics to computer science. In philosophy, logic’s main concern is with the validity or cogency of arguments. The essential difference between informal logic and formal logic is that informal logic uses natural language, whereas formal logic (also known as symbolic logic) is more complex and uses mathematical symbols to overcome the frequent ambiguity or imprecision of natural language. Reason is the application of logic to actual premises, with a view to drawing valid or sound conclusions. Logic is the rules to be followed, independently of particular premises, or in other words using abstract premises designated by letters such as P and Q.
So what is an argument? In everyday life, we use the word ‘argument’ to mean a verbal dispute or disagreement (which is actually a clash between two or more arguments put forward by different people). This is not the way this word is usually used in philosophical logic, where arguments are those statements a person makes in the attempt to convince someone of something, or present reasons for accepting a given conclusion. In this sense, an argument consist of statements or propositions, called its premises, from which a conclusion is claimed to follow (in the case of a deductive argument) or be inferred (in the case of an inductive argument). Deductive conclusions usually begin with a word like ‘therefore’, ‘thus’, ‘so’ or ‘it follows that’.
A good argument is one that has two virtues: good form and all true premises. Arguments can be either deductive, inductive or abductive. A deductive argument with valid form and true premises is said to be sound. An inductive argument based on strong evidence is said to be cogent. The term ‘good argument’ covers all three of these types of arguments.
A valid argument is a deductive argument where the conclusion necessarily follows from the premises, because of the logical structure of the argument. That is, if the premises are true, then the conclusion must also be true. Conversely, an invalid argument is one where the conclusion does not logically follow from the premises. However, the validity or invalidity of arguments must be clearly distinguished from the truth or falsity of its premises. It is possible for the conclusion of a valid argument to be true, even though one or more of its premises are false. For example, consider the following argument:
Premise 1: Napoleon was German
Premise 2: All Germans are Europeans
Conclusion: Therefore, Napoleon was European
The conclusion that Napoleon was European is true, even though Premise 1 is false. This argument is valid because of its logical structure, not because its premises and conclusion are all true (which they are not). Even if the premises and conclusion were all true, it wouldn’t necessarily mean that the argument was valid. If an argument has true premises and its form is valid, then its conclusion must be true.
Deductive logic is essentially about consistency. The rules of logic are not arbitrary, like the rules for a game of chess. They exist to avoid internal contradictions within an argument. For example, if we have an argument with the following premises:
Premise 1: Napoleon was either German or French
Premise 2: Napoleon was not German
The conclusion cannot logically be “Therefore, Napoleon was German” because that would directly contradict Premise 2. So the logical conclusion can only be: “Therefore, Napoleon was French”, not because we know that it happens to be true, but because it is the only possible conclusion if both the premises are true. This is admittedly a simple and self-evident example, but similar reasoning applies to more complex arguments where the rules of logic are not so self-evident. In summary, the rules of logic exist because breaking the rules would entail internal contradictions within the argument.
An inductive argument is one where the premises seek to supply strong evidence for (not absolute proof of) the truth of the conclusion. While the conclusion of a sound deductive argument is supposed to be certain, the conclusion of a cogent inductive argument is supposed to be probable, based upon the evidence given. An example of an inductive argument is:
Premise 1: Almost all people are taller than 26 inches
Premise 2: George is a person
Conclusion: Therefore, George is almost certainly taller than 26 inches
Whilst an inductive argument based on strong evidence can be cogent, there is some dispute amongst philosophers as to the reliability of induction as a scientific method. For example, by the problem of induction, no number of confirming observations can verify a universal generalization, such as ‘All swans are white’, yet it is logically possible to falsify it by observing a single black swan.
Abduction may be described as an “inference to the best explanation”, and whilst not as reliable as deduction or induction, it can still be a useful form of reasoning. For example, a typical abductive reasoning process used by doctors in diagnosis might be: “this set of symptoms could be caused by illnesses X, Y or Z. If I ask some more questions or conduct some tests I can rule out X and Y, so it must be Z.
Incidentally, the doctor is the one who is doing the abduction here, not the patient. By accepting the doctor’s diagnosis, the patient is using inductive reasoning that the doctor has a sufficiently high probability of being right that it is rational to accept the diagnosis. This is actually an acceptable form of the Argument from Authority (only the deductive form is fallacious).
Hodges, W. (1977) Logic – an introduction to elementary logic (2nd ed. 2001) Penguin, London.
Lemmon, E.J. (1987) Beginning Logic. Hackett Publishing Company, Indianapolis.
If you find the information on this blog useful, you might like to consider supporting us.
Posts on the History of Law, Crime, and Justice
Louis Armstrong House Museum Virtual Exhibits
Just another WordPress.com site
A window into Doc Freiberger's library
Celebrating humanity's flourishing through the spread of capitalism and the rule of law
On Books, Reading and other Delightful Things
Friends of Science in Medicine
Public health, memoirs, music
(n): An office or position that provides its occupant with an outstanding opportunity to speak out on any issue.
History, Reviews, Archives.
Author, Elizabeth Macarthur
Tim Harding's writings on rationality, informal logic and skepticism
Defending Life, Liberty and the Pursuit of Happiness
reflections on books and art
Fighting pseudoscience and quackery with reason and evidence.
Skeptical musings on the denial of evidence