I thought “extensional definition” referred to what “ostensive definition” refers to (which is how Eliezer is using it here), so I guess I already learned something new!
I thought “extensional definition” referred to what “ostensive definition” refers to (which is how Eliezer is using it here), so I guess I already learned something new!