When is a heap of sand not a heap of sand? How vagueness works as a problem of logic, and why it matters in everyday life