Kripke's Puzzle And The Practice Of Logical Appraisal