  From  McCarthy &amp; Hayes 1969,  it is clear that McCarthy thought of his methodology for AI as overlapping to a large extent with traditional philosophy, but adding to it the need to inform the design of programs capable of manifesting general intelligence. This idea is not uncongenial to some philosophers (see, for instance,  Carnap 1956 (pp. 244–247) and  Pollock 1995).  In practice, the actual theories that have emerged from McCarthy’s methodology are influenced most strongly by work in philosophical logic, and the research tradition in logical AI represents a more or less direct development of this work, with some changes in emphasis. This review will concentrate on logical AI in relation to philosophical logic, without further comment on relations to philosophy in general or to the feasibility of developing human-level intelligent systems.