Eh. He didn’t really show they’re not valuable, just that they haven’t reduced the notions they work with to something other than black boxes. Modal operators can mean all sorts of things, aside from “possibility” and “necessity”, and black boxes are fine as long as they work properly—if you need to know what their internals look like, that’s just a project for some other formalism.
I agree with Eliezer’s critique of the value of modal logics: 1, 2.
Eh. He didn’t really show they’re not valuable, just that they haven’t reduced the notions they work with to something other than black boxes. Modal operators can mean all sorts of things, aside from “possibility” and “necessity”, and black boxes are fine as long as they work properly—if you need to know what their internals look like, that’s just a project for some other formalism.