3. In "The World and the Machine (Links to an external site.)", Jackson lists "four kinds of denial"---reasons why software engineers are inclined to pay more attention to the machine than the world.

3. In "The World and the Machine (Links to an external site.)", Jackson lists "four kinds of denial"---reasons why software engineers are inclined to pay more attention to the machine than the world. Do modern requirements elicitation approaches (see Requirements Elicitation: A Survey of Techniques, Approaches, and Tools) or formalization (see: Deriving Specifications from Requirements: an Example) address these kinds of denial? Are RAMP requirements about the world or the machine? How does this relate to software engineering paying more attention to the machine than the world?