| Line 35: |
Line 35: |
| | Before the discovery of Australia the premise was true someone following inductive logic would have reached the conclusion. Given the existence of black swans in Australia, however, that conclusion is false. [[David Hume]]'s 18th-century critique of induction remains a very pressing problem for disciplines like [[science]] which are commonly held to rely on inductive reasoning. | | Before the discovery of Australia the premise was true someone following inductive logic would have reached the conclusion. Given the existence of black swans in Australia, however, that conclusion is false. [[David Hume]]'s 18th-century critique of induction remains a very pressing problem for disciplines like [[science]] which are commonly held to rely on inductive reasoning. |
| | | | |
| − | Another example of faulty logic would be when it comes to atheism. Atheists typically use many logical fallacies in an effort to convert people to their religion. {{citation needed}} | + | Another example of faulty logic would be when it comes to atheism. Atheists typically use many logical fallacies in an effort to convert people to their religion. |
| | | | |
| | :'''Premise:''' There is no emperical evidence for something. | | :'''Premise:''' There is no emperical evidence for something. |
| Line 47: |
Line 47: |
| | In [[computer science]], logic dictates how a machine will follow a set of instructions, including how to test its "world," evaluate it, and act according to that evaluation. Every computer language includes its own version of the language of symbolic logic, except that instead of establishing propositions, a computer following a program is usually choosing between and among different commands to execute. | | In [[computer science]], logic dictates how a machine will follow a set of instructions, including how to test its "world," evaluate it, and act according to that evaluation. Every computer language includes its own version of the language of symbolic logic, except that instead of establishing propositions, a computer following a program is usually choosing between and among different commands to execute. |
| | | | |
| − | Logic is also used extensively in [[theology]], and especially the study of the [[Bible]], which, due to its divine inspiration, is very logical. {{citation needed}} | + | Logic is also used extensively in [[theology]], and especially the study of the [[Bible]], which, due to its divine inspiration, is very logical. |
| | | | |
| | Logic, and especially formal logic, inform the discipline of [[critical thinking]]--which, by no coincidence, takes its name from the Greek word for a judge. Indeed, judges and juries in courts of [[law]] must apply logic, both formal and informal, to arrive at their decisions. Formal logic will usually serve to state what obedience to a given body of law requires; informal logic must usually serve a trier of fact charged with deciding whether a given person was in obedience or in violation. The latter principle holds primarily because plaintiff and defendant in a court of law quite often ''do not'' agree on matters of fact. | | Logic, and especially formal logic, inform the discipline of [[critical thinking]]--which, by no coincidence, takes its name from the Greek word for a judge. Indeed, judges and juries in courts of [[law]] must apply logic, both formal and informal, to arrive at their decisions. Formal logic will usually serve to state what obedience to a given body of law requires; informal logic must usually serve a trier of fact charged with deciding whether a given person was in obedience or in violation. The latter principle holds primarily because plaintiff and defendant in a court of law quite often ''do not'' agree on matters of fact. |