This is the thread I promised to make here:
First I will set up Logical Positivism as a foil to demonstrate how Critical Rationalism is supposed to work. Half of what makes Logical Positivism what it is is the verification criteria. If any statement is to have cognitive meaning it must have some step (or procedure) that would (in principle) verify if it is true or false. How science is supposed to work is that scientists will put forward theories (preferably in a commonly understood logical language) that would have a procedure by which its truth be confirmed or denied. Almost all of science can be reconstructed, so as to show that scientists are doing the following kind of reasoning:
If theory P is true, then we will witness experimental result Q.
We witnessed experimental result Q.
Therefore, theory P has been confirmed.
Remember that confirmed doesn’t mean proven or even likely. If something is confirmed many times in different conditions we can safely have confidence in the truth of the theory.
Those of you who are familiar with logic will have already noticed the problem with the above form of reasoning. It is deductively invalid and commits the formal fallacy of affirming the consequent. Yes boys and girls, modern science was built on a logical fallacy. This is the first problem with Logical Positivism. The second, is that it itself doesn’t not meet its own criteria for cognitive meaning and therefore, is self-refuting. Logical Positivists must admit that Logical Positivism is meaningless.
Next up is Critical Rationalism. It’s logical form looks very similar to the confirmation that takes place in the above example, but has an extra feature: it is deductively valid (a nice feature indeed!). The reasoning goes like this:
If theory A is true, then we will witness experimental result B.
We did not witness experimental result B.
Therefore, theory A isn’t true.
Those familiar with logic will recognize this as the valid inference rule, modus tollens. This escapes the problem of invalidity, but gives us a theory of science that doesn’t have any confirmation of theories at all (only falsification). In this way, no theory can be shown to be true, but a theory CAN be shown to be false. Interestingly, you could have the One True Theory of the Universe, but you could never know for sure. All you could know is that you haven’t falsified it yet.
To show why Critical Rationalism runs into trouble I’ll symbolize my reasoning so that everything is crystal clear:
-
A ⊃ B
-
~B
∴ ~A
In proposition 1, A can’t just be “the theory is true”. It must be “the theory is true” and other conditions. To see why this is so, think about this:
If the moon is gray, then when I point my telescope at the moon I will see gray.
I didn’t see gray.
Therefore, the moon isn’t gray.
The problem is that there may have been an extra condition that was falsified and not the theory itself. What if I left the cap on the lens of the telescope? Would my theory that the moon is gray still be falsified? No, it wouldn’t. All it would show is that when you leave the cap on the telescope you see black (and not gray). So instead of symbolizing it the way I did above I would symbolize it like this:
-
(A · B) ⊃ B
-
~B
∴ ~(A · B)
As long as it takes a conjunction and not a simple proposition to make the kind of conditional statements that could be falsified, we can never be sure that it is the theory that is false and not one of the other conditions. All we can say (in the case of falsification) is that one or more parts of the long conjunction that makes up the antecedent of our conditional proposition is false. You can’t really test a theory in isolation, but entire belief systems.