In general, your internal type-checker should reject any and all mixing of descriptive and normative claims. It doesn’t matter if the domain is politics or chess.
In general, your internal type-checker should reject any and all mixing of descriptive and normative claims. It doesn’t matter if the domain is politics or chess.