Основоположения арифметики. Логико-математическое исследование о понятии числа

К середине XIX века усилиями ряда мыслителей стал, наконец, проясняться характер связи математики и логики, единство которых было предугадано ещё Г.Лейбницем. Осознание тесной связи пришло со стороны математиков. Первый шаг на этом пути был сделан трудами англичан А. де Моргана и Дж. Булля. Предложив алгебраическую интерпретацию логических отношений, они создали предпосылки для создания математизированной логики, которая нашла своё окончательное выражение в трудах немецкого математика Э. Шредера. Рассматриваемая как раздел алгебры логика предстала здесь как совокупность вычислительных процедур, распространённых с отношений между переменными величинами на отношения между переменными содержаниями. Однако, несмотря на зримые достижения, такой подход таил одно парадоксальное следствие. С одной стороны, логика представлялась разделом математики; с другой стороны, понимаемая как наука об универсальных законах мышления, логика должна была оправдать, в том числе и математические рассуждения. Выход из ситуации был найден великим немецким логиком Г. Фреге, который взамен математизированной логики предложил логизированную математику.