- how do we represent meanings of words and sentences
- how do we derive the meanigs of words?
- how do we evaluate whether a sentence is true in a situation?
- how do we evaluate whether a sentence follows from another sentence?
- relationships to computational syntax