I’m curious to hear Nick Bostrom’s response to this.
Something like modal logic is needed to automate solutions to things like this: Blue-eyed Monks Though you might be right about the proliferation of modal logics.
You made some similar points here: Where Philosophy Meets Science And Robin Hanson followed up here: On Philosophers
Both times it was pointed out that Paul Graham has some similar complaints about philosophy here: How to Do Philosophy
I’m curious to hear Nick Bostrom’s response to this.
Something like modal logic is needed to automate solutions to things like this: Blue-eyed Monks Though you might be right about the proliferation of modal logics.
You made some similar points here: Where Philosophy Meets Science And Robin Hanson followed up here: On Philosophers
Both times it was pointed out that Paul Graham has some similar complaints about philosophy here: How to Do Philosophy