Alle cognitie is formeel en algoritmisch.

Formeel: onderscheid tussen formele operaties op symbolen en betekenisinhoud van symbolen. De formele operaties zijn blind voor de betekenis, zien alleen de vorm.

Algoritmisch: er wordt een eindig, herhaalbaar aantal formele regels uitgevoerd.