1
$\begingroup$

My question is whether or not the following is a validly structured argument:

(P→T)→Q

Q → ¬Q

∴ P

I'm getting hung up on the Q→¬Q part by itself as a premise, it doesn't seem like that is permissible and I am unable to find an example of how to 'get rid of' the ¬ to prove Q. For example, modus tollens seems like it would be applied here, but I don't see how the truth of Q can imply that ¬Q is true. I'm not looking for an answer to the proof, just an explanation of how/why the premise is valid as stated.

  • 0
    @RossMillikan: There was a previous comment from Henning that assumed "$T$" meant "true" in the original question and thus $Q$ from the first line.2012-04-24

3 Answers 3

1

The premise $Q\to \neg Q$ is true not only when both $Q$ and $\neg Q$ are true, but also if $Q$ is false. In fact the second premise can be written as $ Q\to \neg Q \equiv \neg Q \vee \neg Q \equiv \neg Q. $ Therefore the second premise says that $\neg Q$ is true.

That doesn't tell how to get the conclusion, but it is a way to interpret the second premise. It turns out that the first premise is equivalent to $Q$ since $(P\to T)$ is always true, so the premises are contradictory. As mentioned in one of the comments, if there's a contradiction then all statements are both true and false, $P$ being one of those. Since any proposition is true based on these premises, one could just as easily use $\neg P$ as a valid conclusion.

  • 0
    Thank you, I can see why that makes sense.2012-04-24
0

First of all, we can't ask the question of 'whether Premise is valid or valid'. Validity can only be ask of arguments.

You meant to question the intuitive sense behind the premise/proposition that 'If Q, then ~Q'.

At first glance, 'If Q, then ~Q' sounds crazy and makes no intuitive sense and downright contradictory.

If Q stands for it is raining, then 'If Q, then ~Q' stands for 'If it is raining, then it is NOT raining '. This sounds like a contradiction but it is not.

I guess your main concern is that 'If Q, then ~Q' sounds like a contradiction and so it is a confirmed false proposition and have no place in an argument.

Well, 'If Q, then ~Q' is not a contradiction.

Firstly, a proposition (compound statements) is make up of statements and a operator (such as -> or &, which signify the relationship between the variables)

A proposition is a contradiction if and only if no matter the truth value of the statements, the operator is false, meaning to saying the relationship between the statements is false. (i.e statements may be true or false but still, the relationship between the statements is still false.)

In the proposition ' If Q, then ~Q', Q and ~Q are your statements, If...then... is the relationship between these 2 statements.

This relationship is true, when statement Q is true and when ~Q is true. Meaning: If it is raining, then it is not raining.

So clearly, this proposition is not a contradiction since there is an instance whereby the relationship between the statements is true.

This relationship is true as well, when Q is false and when ~Q is false (~~Q is Q). Meaning: If it is not raining, then it is raining.

This relationship is true too, when Q is false and when ~Q is true. Meaning: If it is not raining, then it is not raining.

But, this relationship is false, when Q is true and when ~Q is false (~~Q). Meaning: If it is raining, then it is raining.

Thus, when i say 'If Q, then ~Q', i am not making a contradictory proposition. This proposition is true in 3 instances!

If you want to understand it intuitively, you can say:

" Well, it's all got to do with the if. If. if. if. If Obama wears glasses, he will look silly. In reality Obama is not wearing glasses, but IF he does, then he will look silly. You can't disprove my proposition since i am saying 'if'. Also, i can make a proposition 'if it is raining, then it is not raining.' I am saying 'IF'! If it so happens that Obama wears glasses and he does not look silly, then my proposition is wrong, but until then, i can make my proposition that If Obama wears glasses, he will look silly."

So, the conditional is really a special operator. Anyone can make any propositions using the conditional and get away with it until it is proven false in reality. Many philosophical debates involves trying to prove that the opponent's conditional premise is false in reality.