Shantila's Inside Logic #15 Consistency A set of sentences is consistent just in case it would be possible for all the sentences in the set to be true together. If so, a contradiction cannot be derived from that set of sentences. So a set of sentences is not consistent (that is, it is inconsistent) just in case a contradiction can be derived from that set. Consider, for example, this set of four sentences. Although it may not be obvious given a quick reading of these four sentences, it is not possible for all four of these sentences to be true: this set is inconsistent.
We can represent these sentences as follows, using the following symbols. J: Joe is happy. H: You are happy. L: You are sharing your lunch. G: You are giving some of your lunch to Joe.
Is this set of four sentences consistent? The answer is No! We can show the set is not consistent by deriving a contradiction from these four sentences, as follows.
What this derivation shows is that the four sentences (the premises here) are inconsistent (that is, not consistent). Line 10 says that given the four premises, it follows that J&~J, which is a contradiction: this set of four sentences entails a contradiction. --And this means that at least one of the sentences must be false. It is impossible for all four sentences to be true. Given any of the three as premises in this example, we could use RA to derive the negation of the other premise. On line 10 we have a proof of a contradiction based on lines 1,2,3, and 4. So, for example, we can add line 11 (using RA, of course) to show that the first 3 premises entail ~~G, and so also then line 12, G.
But equally we could have negated line 1 based on the other three sentences. So a different step from line 10 would be as follows:
Logic by itself will of course not tell use which of the four sentences to reject -- but it does tell us that certainly at least one of the four sentences must be false. * Here's another example, from current cosmology and physics. Many cosmologists currently believe the following. (1) Most of the matter in the universe is "dark" (i.e. cannot be detected from the light which it emits). Dark matter is "stuff" which cannot be seen directly (at least, we have no means of "seeing" it at this point.) So what makes us think that it exists at all? Its presence is inferred indirectly from the motions of astronomical objects (stars, galaxies and galaxy cluster/superclusters). These motions cannot be explained without assuming there is great deal more matter in the universe than we understand. The term "dark" matter is used to refer to this stuff that needs to be posited in order to explain the motions that are observed. (This is actual science, not science fiction!) But some theorists have argued against this view, claiming (2) If most of the matter in the universe is dark, it would have prevented the existence of everything we know in our cosmos. According to this alternative theory, the existence of dark matter would undermine the very existence of the things with which we are familiar. Common sense kicks in to say (3) If dark matter prevented the existence of everything we know in our cosmos, then nothing we know about exists now; and yet (4) It is not true that nothing we know about exists now! These four sentences can be represented as follows: (1) D (2) D>P (3) P>N (4) ~N It is easy for us to show that (1)-(4) here comprise an inconsistent set of sentences.
We can see (and everyone will agree) that (1)-(4) is an inconsistent set. At least one of them is false. Which one? It is an interesting dispute. The debate will center on whether (1) or (2) should be rejected since (3) and (4) are obviously true. --Of course it might turn out that, based on further research, both (1) and (2) should be rejected. * The basic logical notions we have been examining so far (if, and, or, not) are all quite simple. We have understood these notions in their basic forms (as represented in our Rules) since we were children -- as we have said several times before. Yet our minds are complex. We each have many diverse beliefs and values. And it is quite possible that there are inconsistencies in our minds. One potential value of logic is to alert us to this possiblity. There is no red flag that shows us automatically that the sentences about Joe and lunch (or the sentences about dark matter) are inconsistent. To see that they are inconsistent we have to "put two and two together." Now when we look closely, we easily can do that-- we can see that they are inconsistent! Indeed it is as simple as 2+2=4 once we understand our rules! But prior to looking closely, we might not realize that there is a problem with the inconsistent sets of sentences. We might have had the intuition they do not cohere together very well but we might not have been able to say why not. Given the tools we now have in hand, we can spell out what is wrong: the sets are inconsistent. At least one of the sentences in each set must be false. If a set of sentences is inconsistent, we can know on the basis of logic alone that at least one of the sentences must be false. Of course, logic by itself is not going to tell us which of the sentences is false.
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||