...there's a dog in front of you, on a rug. You say, "The dog is on the rug".

  • What you said is true.
  • The truth of what you said is related to the meanings of your words.

  • It seems we should be able to say something useful about what meaning and truth are, which would explain these facts.
  • It turns out this is a hard thing to do.

The project developed here attempts to do this hard thing.