{"id":428,"date":"2024-12-17T08:49:23","date_gmt":"2024-12-17T07:49:23","guid":{"rendered":"https:\/\/oliver-bogatinov.eu\/home\/?p=428"},"modified":"2024-12-18T10:19:20","modified_gmt":"2024-12-18T09:19:20","slug":"conditional-statements-and-language","status":"publish","type":"post","link":"https:\/\/oliver-bogatinov.eu\/home\/2024\/12\/17\/conditional-statements-and-language\/","title":{"rendered":"Conditional statements and language"},"content":{"rendered":"<p>What is conditional statement?<\/p>\n<p>A conditional statement, often used in logic and programming, is a statement that asserts a relationship between two propositions, typically referred to as the &#8220;antecedent&#8221; and the &#8220;consequent.&#8221; It follows an <strong>&#8220;if-then&#8221;<\/strong> format, where the antecedent is the condition that must be met, and the consequent is the outcome that follows if the condition is satisfied.<\/p>\n<p>For example, in the conditional statement &#8220;If it is raining, then grass will be wet\u201d \u00a0the antecedent is &#8220;it is raining,&#8221; and the consequent is &#8220;the grass will be wet.&#8221; This statement indicates that the action wet grass is contingent upon the condition of it raining.<\/p>\n<p>Conditional statements are often represented symbolically as &#8220;p \u2192 q,&#8221; where &#8220;p&#8221; represents the antecedent (the premise or condition), and &#8220;q&#8221; represents the consequent (the conclusion or outcome). In logic, the truth value of the conditional statement depends on whether the antecedent is true and whether the consequent follows logically from it.<\/p>\n<p>In logic with conditional statements you can come to a <strong>conclusions<\/strong>. &#8220;<strong>if p then q. Not q then not p<\/strong>&#8221;<\/p>\n<p>For example in statement:\u201dif x then snowing\u201d. We can prove that if <strong>not snow<\/strong> then for sure <strong>not x<\/strong>\u00a0 (modus tollens). \u00a0That does not mean that \u201cif snow than for sure x \u201cbecause it can snow also for other reasons y, z and not just because of x.<\/p>\n<p>What happens whit more complex statements\u00a0 statement which are closer to real live situations ?<\/p>\n<p>In literature of explaining modus tollens is often mentioned Sherlock Holmes and his mastermind of deductive logic. (book Arguments 4th edition)<\/p>\n<p>if the visitor were a stranger, then the dog would have barked<\/p>\n<p>the dog did not bark<\/p>\n<p><strong>therefore, the visitor was not a stranger<\/strong>.<\/p>\n<p>Sherlock Holmes, and all the readers with him, maybe on this way of reasoning come to a conclusion, that murderer was someone who is not a stranger.\u00a0 But what is wrong with this conclusion? It is logically valid (&#8220;if p then q. Not q then not p&#8221;) but it is also valid in real life situations? Can we come to a conclusion, that visitor was not a stranger because dog did not bark. In my opinion conclusion is wrong. Why? Because beauty of a language form can easily miss logical equivalent. What is precedent and what consequent? Barking must be consequent for some cause (for example stranger entering house) and not other way around. Stranger does not appear at the door because dog is barking. Therefore a premise <strong>if the visitor were a stranger , then the dog would have barked <\/strong>should be formed <strong>if the dog bark<\/strong>, <strong>then the visitor is stranger. <\/strong><\/p>\n<p>Let now change or switch a statements for &#8220;p&#8221; and &#8220;q&#8221; and see what happen.<\/p>\n<p>If the dog bark, then the visitor is a stranger<\/p>\n<p>the visitor is not a stranger<\/p>\n<p><strong>therefore the dog did not bark<\/strong><\/p>\n<p>This is completely other conclusion. At first example we came to conclusion that visitor was not a stranger and with second example we come to a conclusion that the dog did not bark.<\/p>\n<p>Now we put for granted that visitor is not a stranger and therefore we can come to a valid conclusion that therefore dog did not bark( because dog bark when the visitor is stranger).\u00a0 Sherlock Holmes put for granted (premise 2) that visitor is not a stranger so obviously he dont need any logic behind that stance. He put it for granted and therefore he did not come with deduction to that conclusion. ( at the end that murderer is not a stranger can be right by chance but not by logic. )<\/p>\n<p>What all this has to do with football or sports?<\/p>\n<p>Coaches make decisions, a lot of decisions and try to evaluate a different scenarios with if-then statements. If we try to work with this methodology then we would have this result. If we put this player on that pitch zone collaborate with other on this task then we would have this result. And so on and so on. Football is not a science because decisions are not purely derived from logic. Decisions and executions made a difference in a pitch. For good result it does not matter if we made good decision by chance or by logic. All its matters is that you feel good when you come to valid conclusion which can also be true. (An ego statement).<\/p>\n<p>in first example we put for granted that dog did not bark and come to conclusion that therefore visitor was not a stranger.\u00a0 That is completely wrong conclusion.\u00a0 To put it more clear let give other example where you can easily see difference between antecedent and consequent.<\/p>\n<p>If the rooster crow then sunrise<\/p>\n<p>There is no sunrise<\/p>\n<p>therefore the rooster did not crow.<\/p>\n<p>In this statement we clearly see what we do not understand antecedent and consequent. The sunrise will happen with or without rooster crowing so we can not use conditional statement &#8220;if-then&#8221; in this case.<\/p>\n<p>More we use complex language forms in our conversation more we must be aware of symbolic value or language. We are using language to express thoughts, feeling, ideas but for making logically valid conclusion we must use more simple form and transfer language to mathematical form. In computing and programming this is more simple but in real life situations\u00a0 we easily trap our self to wrong conclusions.<\/p>\n<p>If<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>What is conditional statement? A conditional statement, often used in logic and programming, is a statement that asserts a relationship between two propositions, typically referred to as the &#8220;antecedent&#8221; and the &#8220;consequent.&#8221; It follows an &#8220;if-then&#8221; format, where the antecedent is the condition that must be met, and the consequent is the outcome that follows [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-428","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/posts\/428","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/comments?post=428"}],"version-history":[{"count":2,"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/posts\/428\/revisions"}],"predecessor-version":[{"id":473,"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/posts\/428\/revisions\/473"}],"wp:attachment":[{"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/media?parent=428"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/categories?post=428"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/oliver-bogatinov.eu\/home\/wp-json\/wp\/v2\/tags?post=428"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}