(Expanded Notes)

**John McCarthy and Sasa Buvac**

These notes discuss formalizing contexts
as *first class objects*.
The basic
relations are

- meaning that the proposition
*p*is true in the context*c*, and -
designating the value of the term
*e*in the context*c*.

Introducing contexts as formal objects will permit axiomatizations in limited
contexts to be expanded to *transcend*
the original limitations. This seems
necessary to provide AI programs using logic with certain capabilities that
human fact representation and human reasoning possess. Fully implementing
transcendence seems to require further extensions to mathematical logic, i.e.
beyond the nonmonotonic inference
methods first invented in AI and now studied
as a new domain of logic.

- Introduction
- Relations among Contexts
- Entering and Exiting Contexts
- Lifting Axioms
- Natural Deduction via Context
- Integrating Databases
- Combining Planning Contexts
- Representing Discourse
- Transcending Contexts
- Relative Decontextualization
- Mental States as Outer Contexts
- Remarks
- Conclusion
- References
- About this document ...

Sun Jul 12 14:45:30 PDT 1998