Logic is the study of reasoning and argument. Formal logic has shown itself extremely useful in formalizing argumentation, philosophical reasoning, and mathematics. Babylonian reasoning and rationality developed beyond empirical observation. There are three types of logical reasoning. Intuition is the ability to acquire knowledge without recourse to conscious reasoning. Kohlberg's theory is generally considered to be incompatible with inconsistencies in moral reasoning. Currently there are a number of theories attempting to explain the reasoning behind this question. This section focuses on two theories that elucidate the mechanisms involved in motivated reasoning. This constituted the basic conception of Mohists practical reasoning and knowledge. It is one of the most famous tasks in the study of deductive reasoning. It is the discipline searching for a general understanding of reality, reasoning and values. Inductive reasoning is distinct from "deductive" reasoning. This constituted the basic conception of Mohist's practical reasoning and knowledge. NLP is to embody a full understanding of commonsense reasoning. Systems thinking is a style of thinking/reasoning and problem solving.