{"id":4075,"date":"2005-08-30T12:01:00","date_gmt":"2005-08-30T12:01:00","guid":{"rendered":"https:\/\/elizaphanian.com\/?p=4075"},"modified":"2005-08-30T12:01:00","modified_gmt":"2005-08-30T12:01:00","slug":"sol-1-4-logic","status":"publish","type":"post","link":"https:\/\/elizaphanian.com\/?p=4075","title":{"rendered":"SOL #1.4: Logic"},"content":{"rendered":"<p>Humans are rational animals, that is, we are creatures that can apply a mental faculty to the understanding of events and actions. This has its roots in the very biological need to perceive the necessary consequences of certain actions: IF I put my hand in the fire, THEN I will be burnt. IF I go to the waterhole at dusk, THEN I might be able to kill one of the animals drinking there, AND I might gain some food. This faculty, this capacity to reason, is indeed a marvellous attribute.<\/p>\n<p>In the paragraph above, I capitalised certain words: IF, THEN, AND. Computer programmers might recognise them as logical commands \u2013 in other words, they are commands which a computer can execute. The computer knows what to do when a program includes such terms \u2013 that is how it has been set up and programmed \u2013 and the computer will happily pursue such commands for as long as the person doing the programming wishes it to. When I was younger I learnt how to program computers using the language BASIC, which included terms like these. One of the most important elements in the programming was the IF\u2026THEN command. This allowed the computer to make \u2018choices\u2019 according to certain established criteria. Perhaps the program wanted to ask the observer to press a certain key to indicate \u2018yes\u2019 and another key to indicate \u2018no\u2019 as an answer to the question that the computer was asking. The programmer could then write IF (keypress = \u2018Y\u2019) THEN do one thing, but IF (keypress = \u2018N\u2019) THEN do another thing. Of course, my language there was a little inaccurate \u2013 the computer is not making a real choice \u2013 it is simply following the predetermined path laid down by the programmer. The programmer wanted to give the user of a program a choice at this point, and has instructed the computer to react to that choice in the appropriate way.<\/p>\n<p>What I would like to bring out from this example is the way that reason follows a set pattern \u2013 we even have the phrase \u2018a chain of reasoning\u2019 to talk about such patterns \u2013 and a computer program is a very clear example of the pattern in which reasoning functions. This pattern which reason follows has its own name: logic, and reason and logic are essentially linked. Logic is the study of these patterns or chains of reasoning, and the usefulness of logic lies in the way that it can show how some chains work (i.e. are \u2018valid\u2019) and some chains do not. To go back to the example of a computer program, the line of programming could read: IF (keypress = \u2018Y\u2019) THEN do such and such ELSE IF (keypress = \u2018Y\u2019) THEN do some other thing. When the computer follows the program and gets to this point then it will become stuck and \u2018crash\u2019. This is because the command has told it to do two different things at the same time. If the user presses the Y key then both sides of the argument are satisfied \u2013 and the computer will have to do both! <\/p>\n<p>~~~<\/p>\n<p>Another way of thinking about this same point is to talk about consistency. In the example of bad programming above, the source of the difficulty was that \u2018Y\u2019 was given as the \u2018keypress\u2019 in both cases. One or other should have been \u2018N\u2019 \u2013 or, even, \u2018any other keypress\u2019. This line of programming was therefore inconsistent \u2013 it was asking the computer to do two different things if the keypress was \u2018Y\u2019. Let\u2019s go back to the waterhole \u2013  imagine a brain set up like a computer, with instruction sets that stated: IF it rained yesterday THEN go to waterhole today at dusk, but also, IF it rained yesterday, gather fruit from trees. In this situation, the person concerned is given two incompatible instructions \u2013 gather fruit or go to the waterhole? Chances are the poor individual will just stay where they are, unable to reconcile the contradiction, until some other impulse takes over and the situation changes.<\/p>\n<p>To put this in the language of logic, the program at this point is invalid, and in computer programming to call a program \u2018invalid\u2019 is to say that there is something wrong with it, that it has a \u2018bug\u2019. Although the situation gets much more complicated with today\u2019s software, in essence this is what happens when any computer crashes \u2013 it is trying to carry out commands that don\u2019t \u2018make sense\u2019. The millennium bug caused some concern a little while ago \u2013 this was, in principle, just such an example of invalid programming. Computers were set up to recognise dates by only the last two numbers in the year \u2013 so 1999 was simply \u201899\u2019, for example. This was because the computers were programmed in the 1960\u2019s and 1970\u2019s, and the assumption was made (either consciously or unconsciously) that they would be changed before the year 2000 came along. So, in the programming, a certain assumption was built in \u2013 all years would be 19xx, where the xx was the date supplied by the user. The millennium bug happened because this assumption became untrue from the year 2000 onwards. Consequences followed from this mistake, which at some point were believed to be on the scale of a minor apocalypse, although in practice we were spared such a judgement.<\/p>\n<p>~~~<\/p>\n<p>So logic is really a way of working out if something makes sense, either in terms of an argument being able to follow on properly (like a computer program) or in terms of one thing being consistent with another. Consider the following, which is something of a classic:<\/p>\n<p>1. All men are mortal<br \/>2. Socrates is a man<br \/>Therefore, <br \/>3. Socrates is mortal.<\/p>\n<p>This is an argument: that is, it is the assertion of one item (3) as a consequence of the assertion of two other items (1 &#038; 2). It is saying: because 1 &#038; 2, therefore 3. In some ways it is a similar argument to a computer program which uses IF\u2026THEN language. IF 1 &#038; 2, THEN 3. As it happens, this argument is a valid argument, and it is worth unpicking why it is valid, and precisely what it means to say that the argument is valid.<\/p>\n<p>The first item, 1, defines an attribute of men, stating that they are mortal. The second item, 2, states that Socrates belongs to the class of men. The third item draws the logical consequence of these two items: Socrates is a man and therefore shares the attribute that all men share \u2013 mortality. As such, Socrates is mortal. To say that this argument is valid is to say that the conclusion follows from the premises, that it makes sense. If it were a computer program you would say that it didn\u2019t have any bugs in it. In this argument, the conclusion necessarily follows from the premises (philosophers say that the conclusion can be deduced from the premises) \u2013 in other words it has to be the case that, IF 1 &#038; 2 are true, THEN 3 also has to be true. There are no situations in which 1 &#038; 2 are true, and 3 is not. This is what is meant by a valid argument: that the logic is sound, there are no \u2018bugs\u2019.<\/p>\n<p>~~~<\/p>\n<p>However, although interesting, this is not ultimately very exciting. This is because logic and valid argument tell us nothing about truth, or how things are in the world. Consider the following adaptation of the above argument:<\/p>\n<p>1. All men are born with two heads<br \/>2. Socrates is a man<br \/>Therefore, <br \/>3. Socrates was born with two heads.<\/p>\n<p>In terms of the logic of this argument, there is nothing to choose between this argument and the original; they are both equally valid. Yet the first argument says something true, the second says something that is not true. This is because logic is not concerned with truth or falsehood, but only with consistency and the validity of arguments. The difference between these two arguments \u2013 one says that all men are mortal, the other says that all men are born with two heads \u2013 is not something that logic can be employed to decide between. Whether men are born with two heads or not is not a question about the validity of a particular argument but about what is the case \u2013 is it true that all men are born with two heads? In the normal course of events, this is a question that would be answered by looking at the evidence of our senses \u2013 have we tended to see men always born with two heads? Are one-headed men carrying wounds where one head was taken away at birth? <\/p>\n<p>In order to establish the truth in this situation, then, we would need to employ a different tool of our understanding. This is a crucial point to bear in mind: logic is a tool, it is not the source of all enlightenment. Think of the tools in a tool-box; there is a hammer, a chisel, a hacksaw, a spanner. It would not be appropriate to use a spanner to separate a plank of wood into two halves \u2013 there you should use a saw. In a similar way, although logic is a wonderful and essential part of human life, it is not the only tool that we have when we are reflecting upon the true nature of our world \u2013 it must be used in the correct place, in the correct way, and not elsewhere.<\/p>\n<p>~~~<\/p>\n<p>So can we use logic to determine which account is the best, between Dawkins, Gould and all the others? Well, it will certainly assist (it might point out some self-contradictions in an argument), but on its own it is not much help. That is for the simple reason that any position you like can be made logically coherent, if a person is prepared to take the consequences. As pointed out above, something can be perfectly logically valid and still be untrue (Socrates has two heads). Consider: although I have never met someone who believes that the earth is flat, I am assured that there is a &#8216;flat-earth society&#8217;, whose members believe that the earth is not a sphere in orbit around the sun, but is instead a flat disc, with edges, and that it is possible to fall off the edge. You might think that it is impossible to make such a belief consistent, that it is impossible to be a logically consistent believer in a flat earth. Yet what arguments would be persuasive? Pictures of the earth as a globe could be fabricated; stories of travel around the world might be fables to lure the unwary; various physical tests could be written off as optical illusions. Even if it were possible to take such a believer out into space so that they could see for themselves that the earth is a globe &#8211; &#8220;Look! See! It IS round!!&#8221; &#8211; that would not necessarily succeed. The believer could say &#8220;I have been drugged; you have set up a theme park providing this remarkable illusion. My eyes see a globe, but I do not believe my eyes\u2026&#8221; And so on. <\/p>\n<p>You can lead the horse to water but you cannot make it drink. So our analysis must shift to the second of our standard criteria: questions of evidence. Even if we cannot reach a logically conclusive argument, we could at least gather together as much relevant evidence as possible and then let people make their own conclusions &#8211; and surely, there aren&#8217;t many people prepared to place logical consistency ahead of the straightforward evidence of their senses?<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Humans are rational animals, that is, we are creatures that can apply a mental faculty to the understanding of events and actions. This has its roots in the very biological need to perceive the necessary consequences of certain actions: IF &hellip; <a href=\"https:\/\/elizaphanian.com\/?p=4075\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[34,40],"tags":[],"class_list":["post-4075","post","type-post","status-publish","format-standard","hentry","category-philosophy","category-sol"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p3npsc-13J","jetpack_likes_enabled":true,"_links":{"self":[{"href":"https:\/\/elizaphanian.com\/index.php?rest_route=\/wp\/v2\/posts\/4075","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/elizaphanian.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/elizaphanian.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/elizaphanian.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/elizaphanian.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4075"}],"version-history":[{"count":0,"href":"https:\/\/elizaphanian.com\/index.php?rest_route=\/wp\/v2\/posts\/4075\/revisions"}],"wp:attachment":[{"href":"https:\/\/elizaphanian.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4075"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/elizaphanian.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4075"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/elizaphanian.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4075"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}