Workshop on Foundations of Intensional Logic and Natural Language Semantics: Introduction (draft)