An examination of how formal models are used in different disciplines. Examples will be taken from economics, mathematics, physics and philosophy, among other fields.