You've probably read Scott Aaronson's Why Philosophers Should Care About Computational Complexity? . This seems like the perfect area to apply a lot of the questions he brings up. That's what I was looking for as I skimmed through the paper. Maybe that's what idlewords was talking about as well.