But we’re not done

• The formalization still leaves unanswered questions

  • Do dogs have to wear shoes?
  • What are shoes? 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”?
    • The formalizations are in indicative mood
    • The signs are in optative mood

Previous slide

Next slide

Back to first slide

View graphic version