Абстрагирование – отбрасывание при исследовании объектов их несущественных признаков, выделение смысловой сущности вещей, объединение вещей в группы. Абстрагирование даёт нам возможность понимать вещи – разбивать их на смысловые элементы, находить их суть и взаимосвязь между ними и, исходя из неё, применять их для осуществления своих целей. Так, разложив на компоненты такую ситуацию как убийство мамонта, необходимое для пропитания, древние люди выделили из них два главных – сближение с животным и нарушение целостности его тела. Изучив доступные объекты, они абстрагировались от всех их свойств, кроме нужных: в рамках текущей задачи палка – это, в первую очередь, вещь, позволяющая передавать воздействие на расстоянии, а камень – острый предмет, способный пробить шкуру мамонта. Предки современного человека увидели, что объединив эти два объекта, они получат вещь, имеющую необходимые для успешной охоты свойства, – копьё. Именно по такому алгоритму происходит изобретение любой техники – способность, доступная только обладателям разума. В основе же её лежит умение абстрагировать.
Способность к установлению логических связей означает, что из верных посылок мы можем приходить к верным следствиям. К примеру, если верно, что Пётр – рабочий, и верно, что все рабочие получают зарплату, то это значит, что Пётр получает зарплату. Вновь обращаясь к примеру с древним человеком, мы можем предположить: то, что камень способен навредить мамонту, наш предок вывел, проследив логическую цепочку – камень может поранить меня, я в какой-то степени похож на мамонта (двигаюсь, ем, излучаю тепло и т. д.), значит, камень в какой-то степени может поранить мамонта. И он оказался прав. Способность к подобным выводам лежит в основе всех наук, в особенности – математики.
Принимая, что тело (мозг) – носитель разума, и учитывая, что все тела (по крайней мере, все мозги) людей почти одинаковы, можно считать, что законы логики одинаковы для всех разумов, чьим носителем является человеческий мозг. Пока что всё довольно очевидно. Но напомню, логика оперирует с верными посылками. А как убедиться в том, что они верные? И вот тут начинаются проблемы.