Formalization still leaves open questions
Do dogs have to wear shoes?
What are “shoes”? What are “dogs”? What does it mean to wear shoes?
Why do the formalizations say “dogs are carried” and “shoes are worn” while the signs say “must be”?
As Jackson will say in the video (with a different example)
- The formalizations are in the indicative mood: statements of fact
- The signs are in the optative mood: statements of desire
- This kind of “mood mixing” increases confusion