The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.

In this paper I examine following Jerry Fodor a distinction between Standard Realism about psychological States and intentional or content realism. I try to assess whether Standard Realism and Intentional Realism can satisfy the following two conditions: condition a The content of psychological states can satisfy a type-token distinction. condition b. The content of psychological states is causally relevant to action.