but words like “honesty” are too loose; one person may think honesty is never lying, for someone else honesty means “speaking from a place of authenticity at all times”, for someone else it’s something about epistemic humility.
Hence the need for a tighter type system than just strings, if we want to structurally reason over these.
but words like “honesty” are too loose; one person may think honesty is never lying, for someone else honesty means “speaking from a place of authenticity at all times”, for someone else it’s something about epistemic humility.
Hence the need for a tighter type system than just strings, if we want to structurally reason over these.