Logical thinking is needed in the many fields.
But Behavioral Economics studies the cases that failures with logical thinking.
Logic has a long history. It is used as theory of Cause and Effect Analysis , Programming and Artificial Intelligence .
Formal logic is made by language. It is studied from ancient times.
Symbolic logic uses symbols for formal logic. Logic is studied simplely and systematically by simbols.
Classical logic is for clear relationship, for example, "If A, then B".
Moderan logic is for ambiguous and complex relationship.