The Objective Conception of Context and Its Logic Academic Article uri icon

abstract

  • In this paper, an 'objective' conception of contexts based loosely upon situation theory is developed and formalized. Unlike 'subjective' conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate 'ist' that expresses the relation that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a 'global' classical predicate calculus, a 'local' logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing 'ist' to be nonbivalent in problematic cases. An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example.

published proceedings

  • Minds and Machines

author list (cited authors)

  • Menzel, C.

citation count

  • 5

complete list of authors

  • Menzel, Christopher

publication date

  • February 1999