"verditeoretisk analyse" er et 22-bokstavers substantiv som brukes som synonym for "formalvitskapene". formalvitskapene betyr: Analyse av moralske verdier.