“But once the scale changes, it is doubtful that we could encode the resulting complexity in such formalizations.”
“Understanding these formalizations is not crucial for understanding the basic idea behind a Kratzerian semantics for 'ought' or the objections I ultimately raise against it.”