it has applications in developing semantics, and I think it's about to get some new attention as a tool for LLMs. it's a system for defining consistent systems of rules about semantic relationships that you can write in a LISP, and I think Kripke's modal logics are about to have a resurgence in interest from AI alignment advocates for that reason.
regarding some of the less thoughtful comments on this thread, I'm sure those were the best they could do, but the original article was way more handwavy, and his appeals to the sophistication of math to elevate other ideas seem pretty consistent with my suspicions. why should anyone be surprised that some people operate on systems of belief as systems the way we do with games and software.
regarding some of the less thoughtful comments on this thread, I'm sure those were the best they could do, but the original article was way more handwavy, and his appeals to the sophistication of math to elevate other ideas seem pretty consistent with my suspicions. why should anyone be surprised that some people operate on systems of belief as systems the way we do with games and software.