Explain how modal logic can be used to clarify certain philosophical questions.