COGS 100 Lecture Notes - Lecture 14: George Boole, Abductive Reasoning, Deductive Reasoning
30 Oct 2017
School
Department
Course
Professor
Document Summary
Human beings are mostly rational that is, human behaviour can be explained by reasoning based on belief and/or logic. Rationality implies that there was some sort of reason behind a behaviour or thought which may not have firm truth value but it can be explained. Despite the ticket prices were high, we traveled during christmas because our friends were going at that time. Logic is firm and conclusions are made based on premises that have definite truth value. If you travel during christmas air ticket prices will be high. Plan for travel after christmas - logical decision. Logic is used in problem solving and decision making. To stimulate cognitive processes of problem solving and decision making, we need to represent logic in computer programs. Deduction, induction and abduction operations are used with logic to validate hypotheses. George boole (1815 - 1864), irish mathematician, showed logic is a part of mathematics.
