Introducing The History of Logical Reasoning