logic, reason, science and art of reasoning