The mathematization of economics has proceeded along Bourbakian and formalistic pathways. The methodological underpinnings have been provided by deductivism. Recent developments in logic, the foundations of mathematics, and the philosophy of science suggest new possibilities for the...