Tag Archives: premises

Denying the antecedent

Denying the antecedent, sometimes also called ‘fallacy of the inverse’, is a formal fallacy of inferring the inverse from the original statement. It is committed by reasoning in the form:

If P, then Q.
Not P.
Therefore, not Q.

Arguments of this form are invalid. The name denying the antecedent derives from the premise “not P“, which denies the “if” clause of the conditional premise.

One way to demonstrate the invalidity of this argument form is with a counterexample with true premises but an obviously false conclusion. For example:

If it is raining, then the grass is wet.
It is not raining.
Therefore, the grass is not wet.

The conclusion is invalid because there are other reasons why the grass could be wet at the time (someone could have watered it).

That argument is obviously bad, but arguments of the same form can sometimes seem superficially convincing, as in the following example offered, with apologies for its lack of logical rigour, by Alan Turing in the article ‘Computing Machinery and Intelligence’:

If each man had a definite set of rules of conduct by which he regulated his life he would be no better than a machine. But there are no such rules, so men cannot be machines.

However, men could still be machines that do not follow a definite set of rules. Thus this argument (as Turing intends) is invalid.


Leave a comment

Filed under Logical fallacies

Non sequitur

Non sequitur (Latin for “it does not follow”), in formal logic, is an argument in which its conclusion does not follow from its premises. In a non sequitur, the conclusion could be either true or false, but the argument is fallacious because there is a disconnection between the premises and the conclusion.

All invalid arguments are special cases of non sequitur.  Many types of known non sequitur argument forms have been classified into various logical fallacies, such as Affirming the ConsequentBegging the question and  Fallacies of Composition and Division.

The term has special applicability in law, having a formal legal definition.



Leave a comment

Filed under Logical fallacies

What is logic?

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.

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 deductiveinductive  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.

Deductive 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.

Inductive arguments

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.

Abductive arguments

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.

Make a Donation Button


Filed under Essays and talks


Rationality may be defined as as the quality of being consistent with or using reason, which is further defined as the mental ability to draw inferences or conclusions from premises (the ‘if – then’ connection). The application of reason is known as reasoning; the main categories of which are deductive and inductive reasoning. 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. It is rational to accept the conclusions of arguments that are sound or cogent, unless and until they are effectively refuted.

A fallacy is an error of reasoning resulting in a misconception or false conclusion. A fallacious argument can be deductively invalid or one that has insufficient inductive strength. A deductively invalid argument is one where the conclusion does not logically follow from the premises. That is , the conclusion can be false even if the premises are true. An example of an inductively invalid argument is a conclusion that smoking does not cause cancer based on the anecdotal evidence of only one healthy smoker.

By accident or design, fallacies may exploit emotional triggers in the listener (e.g. appeal to emotion), or take advantage of social relationships between people (e.g. argument from authority). By definition, a belief arising from a logical fallacy is contrary to reason and is therefore irrational, even though a small number of such beliefs might possibly be true by coincidence.

Leave a comment

Filed under Uncategorized