Give me a set of formal languages over which you can say the phrase “for any formal language”, and the truth predicate for the union of the set won’t be in any language in the set. I’m still trying to understand how to deal with this inside AI, but I’m not sure that blaming it on second-order logical induction is putting the blame in the right place.
Again, I’m not sure what you mean by “blame” here. If you’re saying that Tarski’s result represents a problem that affects more than just attempts to generalize Solomonoff induction, then I agree.
BTW, while I have your attention, what’s your evaluation of Paul Christiano’s FAI design idea, which sort of tries to punt as many philosophical problems as possible (including this one)? I noticed that you didn’t comment in that discussion.
Give me a set of formal languages over which you can say the phrase “for any formal language”, and the truth predicate for the union of the set won’t be in any language in the set. I’m still trying to understand how to deal with this inside AI, but I’m not sure that blaming it on second-order logical induction is putting the blame in the right place.
Again, I’m not sure what you mean by “blame” here. If you’re saying that Tarski’s result represents a problem that affects more than just attempts to generalize Solomonoff induction, then I agree.
BTW, while I have your attention, what’s your evaluation of Paul Christiano’s FAI design idea, which sort of tries to punt as many philosophical problems as possible (including this one)? I noticed that you didn’t comment in that discussion.