  The relations between AI and philosophical logic are part of a larger story. It is hard to find a major philosophical theme that doesn’t become entangled with issues having to do with reasoning. Implicatures, for instance, have to correspond to inferences that can be carried out by a rational interpreter of discourse. Whatever causality is, causal relations should be inferrable in everyday common sense settings. Whatever belief is, it should be possible for rational agents to make plausible inferences about the beliefs of other agents. The goals and standing constraints that inform a rational agent’s behavior must permit the formation of reasonable plans.