основоположения арифметики

Готлоб Фреге ОСНОВОПОЛОЖЕНИЯ АРИФМЕТИКИ ЛОГИКО-МАТЕМАТИЧЕСКОЕ ИССЛЕДОВАНИЕ О ПОНЯТИИ ЧИСЛА Перевод В.А. Суровцева Томск: Издательство «Водолей», 2000 2 ЛОГИЦИСТСКАЯ ПРОГРАММА Г.ФРЕГЕ К середине XIX века усилиями ряда мыслителей стал, наконец, проясняться характер связи математики и логики, единство которых было предугадано ещё Г.Лейбницем. Осознание тесной связи пришло со стороны математиков. Первый шаг на этом пути был сделан трудами англичан А. де Моргана и Дж. Булля. Предложив алгебраическую интерпретацию логических отношений, они создали предпосылки для создания математизированной логики, которая нашла своё окончательное выражение в трудах немецкого математика Э. Шредера. Рассматриваемая как раздел алгебры логика предстала здесь как совокупность вычислительных процедур, распространённых с отношений между переменными величинами на отношения между переменными содержаниями. Однако, несмотря на зримые достижения, такой подход таил одно парадоксальное следствие. С одной стороны, логика представлялась разделом математики; с другой стороны, понимаемая как наука об универсальных законах мышления, логика должна была оправдать, в том числе и математические рассуждения. Выход из ситуации был найден великим немецким логиком Г. Фреге, который взамен математизированной логики предложил логизированную математику. Несмотря на исключительную новизну предложенного решения, суть новаций не выходила за рамки внутренних интенций развития современной математики. Создание неколичественной алгебры, теории трансфинитных чисел и т.д. всё более зримо указывало на отсутствие связи между математическими положениями и эмпирическим исследованием. Наличие независимых друг от друга, но в равной степ