 determines its fragmentary aspects but is not in general
        determined by them.

To express the nature of this integration task in logical terms, it combines
aspects of both proof theory and model theory, interweaving these two themes:

1.  A phase that develops theories about the symbolic competence
    or &quot;knowledge&quot; of intelligent agents, using abstract formal
    systems to represent the theories and using phenomenological
    data to constrain them.

2.  A phase that seeks concrete and 