Logic and the Stars