"Measuring how good people are at guessing final conclusions in reality - whether, when they say 'I assign 90% probability this triangle is large', the triangle is actually large 9 times out of 10 - sure is a metric of how much Law people contain and are using correctly!  But there's more than one kind of Law you need to build an agent, and the piece of Law we're trying to isolate is the one that's about using necessary truths correctly.  One way of looking at that part is that it's about which conclusions follow from which premises.  To demonstrate -"

Keltham has seen one or two fragments of algebra in his reading, enough that he has some idea of what Chelish algebra conventions look like.  Though it's a bit weird that they teach algebra without, like, teaching people what algebra means.  Hopefully it's not a piece of knowledge that's infohazardous here but not in dath ilan.

He sketches a series of equations:

"Measuring how good people are at guessing final conclusions in reality - whether, when they say 'I assign 90% probability this triangle is large', the triangle is actually large 9 times out of 10 - sure is a metric of how much Law people contain and are using correctly!  But there's more than one kind of Law you need to build an agent, and the piece of Law we're trying to isolate is the one that's about using necessary truths correctly.  One way of looking at that part is that it's about which conclusions follow from which premises.  To demonstrate -"

Keltham has seen one or two fragments of algebra in his reading, enough that he has some idea of what Chelish algebra conventions look like.  Though it's a bit weird that they teach algebra without, like, teaching people what algebra means.  Hopefully it's not a piece of knowledge that's infohazardous here but not in dath ilan.

He sketches a series of equations:

"Measuring how good people are at guessing final conclusions in reality - whether, when they say 'I assign 90% probability this triangle is large', the triangle is actually large 9 times out of 10 - sure is a metric of how much Law people contain and are using correctly!  But there's more than one kind of Law you need to build an agent, and the piece of Law we're trying to isolate is the one that's about using necessary truths correctly.  One way of looking at that part is that it's about which conclusions follow from which premises.  To demonstrate -"

Keltham has seen one or two fragments of algebra in his reading, enough that he has some idea of what Chelish algebra conventions look like.  Though it's a bit weird that they teach algebra without, like, teaching people what algebra means.  Hopefully it's not a piece of knowledge that's infohazardous here but not in dath ilan.

He sketches a series of equations:

"Measuring how good people are at guessing final conclusions in reality - whether, when they say 'I assign 90% probability this triangle is large', the triangle is actually large 9 times out of 10 - sure is a metric of how much Law people contain and are using correctly!  But there's more than one kind of Law you need to build an agent, and the piece of Law we're trying to isolate is the one that's about using necessary truths correctly.  One way of looking at that part is that it's about which conclusions follow from which premises.  To demonstrate -"

Keltham has seen one or two fragments of algebra in his reading, enough that he has some idea of what Chelish algebra conventions look like.  Though it's a bit weird that they teach algebra without, like, teaching people what algebra means.  Hopefully it's not a piece of knowledge that's infohazardous here but not in dath ilan.

He sketches a series of equations:

"Measuring how good people are at guessing final conclusions in reality - whether, when they say 'I assign 90% probability this triangle is large', the triangle is actually large 9 times out of 10 - sure is a metric of how much Law people contain and are using correctly!  But there's more than one kind of Law you need to build an agent, and the piece of Law we're trying to isolate is the one that's about using necessary truths correctly.  One way of looking at that part is that it's about which conclusions follow from which premises.  To demonstrate -"

Keltham has seen one or two fragments of algebra in his reading, enough that he has some idea of what Chelish algebra conventions look like.  Though it's a bit weird that they teach algebra without, like, teaching people what algebra means.  Hopefully it's not a piece of knowledge that's infohazardous here but not in dath ilan.

He sketches a series of equations: