paper discusses how abstraction is used in science and economics, and uses the criteria proposed by Lawson (1989) for what … constitutes an appropriate abstraction. Based on this discussion, it concludes that the criticisms are weak, although the issues …

networks modeled by NGs may be huge. In formal verification, abstraction has proven to be an extremely effective technique for … reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning … about NGs. Our methodology is based on an abstraction function that maps the state space of an NG to a much smaller state …

economics. We develop a concept of approximate explanation based on the "method of decreasing abstraction", that is, the …

economics. We develop a concept of approximate explanation based on the "method of decreasing abstraction", that is, the …

instead of the functional distribution of income per se. The paper discusses how abstraction is used in science and economics …, and employs the criteria proposed by Lawson (1989) for what constitutes an appropriate abstraction. Based on this …