This course is designed to provide an introduction to deductive theory and formal modelling. Topics covered include elementary decision theory, game theory and theory of social choice, with no mathematical prerequisites assumed expect high school algebra.