The Many Worlds of Logic: A Philosophical Introduction