  The new insights and theories that have emerged from AI are of great potential value in informing and constraining many areas of philosophical inquiry. The special case of philosophical logic that forms the theme of this article may provide support for the more general point. Although logic in AI grew out of philosophical logic, in its new setting it has produced new theories and ambitious programs that would not have been possible outside of a community devoted to building full-scale computational models of rational agency.