As requested by Johan van Benthem, this is a brief introduction to the logical formalism for context being explored by John McCarthy and Sasa Buvac at Stanford University. It is motivated by the need to use contexts as first order objects for artificial intelligence. I hope the description is suitable for comparison with other approaches to context that often have other motivations.