Ebenso wie bei der Diskussion um die kognitive Funktion bildlicher Vorstellungen hat die Computertheorie des Geistes bei der Diskussion über die Formen des logischen Denkens dazu geführt, daß sich einige der wichtigsten Kontrahenten, namentlich Philip Johnson-Laird und Lance J. Rips, in eine unentscheidbare Debatte verrannt haben. Die Frage, ob menschliches logisches Denken semantisch (Johnson-Laird) oder syntaktisch (Rips) ist, läßt sich nicht sinnvoll empirisch auf der Grundlage der Computertheorie des Geistes beantworten. Dazu ist die Lösung der Computertheorie des Geistes für dieses Problem viel zu pauschal: Jedem semantischen Unterschied soll ein syntaktischer Unterschied korrespondieren. Für diese Unentscheidbarkeitsthese sprechen allein die notorischen Abgrenzungsprobleme, die in der aktuellen psychologischen Diskussion viel zu wenig berücksichtigt werden.