Analogies and theories formal models of reasoning = Formal models of reasoning - Gilboa, Itzhak (Lipsey lectures, 2015)