В ходе эволюции наши системы логического вывода сформировались как отклики на повторявшиеся в первобытных условиях задачи. Соответственно нам требуется: 1) реконструировать конкретные характеристики этих задач в тех условиях; 2) установить, какие вычислительные принципы могли применяться для решения этих задач, и, исходя из этого, спрогнозировать неочевидные конструктивные особенности; 3) выяснить, подтверждается ли существование соответствующей специализированной системы логического вывода независимыми экспериментальными или нейрофизиологическими данными, и 4) определить, как описанная психологами особая система могла развиться из других систем и давала ли она обладателям репродуктивное преимущество.