Logical Modalities from Aristotle to Carnap: The Story of Necessity