Quote:
Originally Posted by tame_deuces
You are experiencing what seems like a void. The absence of light means you perceive only blackness. In this void there is a possibility of undefined size (could be 0) that there might be a haystack. The definition of haystack is generally disagreed upon. In the haystack there is a possibility of undefined size (could be 0) that there might be a needle. The definition of needle is generally disagreed upon.
You will attempt to prove or disprove the existence of the needle in the haystack.
How do you proceed?
If it is true that N is possible, then it is necessarily true that N is possible.
But, N is possible iff H is possible.
So, it is contingently true that N is possible.
So, N is not possible.
Therefore, there is no needle in the haystack.
I’m not sure about that, but something sounds wrong with saying that one necessary truth is contingent on another necessary truth. Pretty sure that "if N is possible then it's necessary that N is possible" is a modal axiom, though.