109. Rocks to Rules: Climbing a Rickety-But-Interoperable Semantic Ladder
DO NOT TAKE THIS SERIOUSLY YET. I PUBLISHED THIS WITH A LOT OF LLM INFILL TO HAVE IT VAGUELY COMPLETE AND REASONABLY CORRECT RATHER THAN EXTREMELY INCOMPLETE AND UGLY, AND TO BE ABLE TO POST 110. I WILL COME BACK TO THIS BY THE END OF THE MONTH; THIS IS JUST EXTREMELY OVERDUE ALREADY. ANYTHING NOT IN ARIAL SHOULD BE SUSPECT. THIS IS NOT IN FINAL FORM. (Epistemic status: A promising but weird research direction in agent foundations and philosophy of language. A half-built conceptual tower whose mortar and paint are both still wet: please excuse our mess while we innovate. Some of it, I'm confident in as pretty much right; some of it is merely suggestive; probably much of it is wrong or incomplete. Certainly it lacks the math it'd need to be truly correct. The prior art here is strange and thin: Gärdenfors, Tarski, and the later Mohists make for odd bedfellows, and I can't tell whether that's a warning sign or a moat I can easily clear. I gave the simplest parts of this ...