informal decision-making uses intuitive reasoning and is subject to cognitive biases, whereas formal decision-making uses effortful, logical reasoning.
Formal political theory is a mathematical theory of politics. It models political actions, outcomes, arrangements, and institutions as formal structures, or as a set of abstract concepts and propositions.