A philosopher explains: How to know when putting down a pet is the right thing to do