This paper presents Contextual Intensional Logic, a type-theoretic logic intended as a general foundation for reasoning about context. I motivate and illustrate the logical framework, and conclude by indicating extensions that may be desirable.