by noah Mon Feb 21, 2011 5:51 pm
Tricky question to pick apart deeply. I'm actually - if it's OK - going to sidestep most of this discussion, as you can approach this much more simply, and that's going to be much more effective for you.
Let's take it from the top: It's a necessary assumption question. So, we know it'll address a gap in the argument, and if we negate the answer choice, it should destroy the argument's validity.
The simplified core of this argument is:
to explore Mars, we'll need to know about the human limits of living in a spacecraft --> building a space station is essential
("--->" means therefore).
So, this is the core of the argument. The gap is hard to spot, which is sometimes the case with necessary assumption questions. So, probably you'd work pretty purely from wrong-to-right. The gap that came to mind for me was "who is to say that the mission to Mars is essential?" Turns out that's not the issue at play. Looking at the answer choices, when we negate (A) - the exploration of Mars will not be carried out by people instead of robots (i.e., it'll be carried out by robots) - the argument doesn't make sense. Why would the information be needed?
The takeaway: when you're down to two answers for a necessary assumption question, negate them and see which one destroys the argument.
The more formal reason this happens is that the argument is structured like this:
(med. knwldg re: humans in space --> future missions to Mars) --> essential to build a space station.
(A) destroys the first first relationship, and thus that sufficient condition, so we can't necessarily conclude the final conclusion.
As for the wrong answers:
(B) contains a detail creep. Nowhere do we learn that anything will involve normal humans.
(C) is tempting, but why would an unforeseen medical problem be an issue? In fact, isn't that what the point of the test run is?
(D) is too broad - we're not interested in future missions, just the one to Mars.
(E) is strange. Why is it necessary that the problems be insurmountable? Would it be a problem if we negate (E) and say that the problems are surmountable? No, that's fine. So, (E) is not necessary.
Does that clear things up?
You're right that it's a bit strange that the assumption is lodged within the premise, but if you apply the negation test, the answer is easy to spot. As for the formal logic, if A --> B, and you say ~ A, then you can't conclude B (nor can you conclude ~ B) - it's unknown. So, if the argument is (C --> D) --> E, and you're no longer sure that (C --> D) is true, then you can't infer E. I wouldn't worry much about this as the negation test is much cleaner than this sort of thinking, and much better under pressure.