12 СИМВОЛИЧЕСКАЯ ЛОГИКА
В XIX в. была создана символическая логика. Растущие успехи в развитии математики выдвинули две фундаментальные проблемы: применение логики для разработки математических теорий и математизацию логики. Попытку решения этих проблем впервые предпринял Готфрид Лейбниц. Он придал новый импульс логическим исследованиям в 1666 г., применив аппарат алгебры.
В этом алгебраическом духе прогресс периодически возобновлялся, достигнув кульминационных точек в работах Дж. Буля, О. Моргана, Ч. С. Пирса и Э. Шредера в период 1847–1877 гг. Причем следует отметить, что при изучении проблемы взаимодействия логики и алгебры приоритет всегда отдав ался алгебре. Более того, указанные ученые стремились скорее не синтезировать эти науки, а полностью подчинить логику математике. И только Г. Фреге в 1879 г. отказался от алгебраических аналогий и разработал оригинальный символический и понятийный аппарат, пригодный для использования в универсальной и эффективной логической теории. Только отойдя от полного подражания алгебре, Г. Фреге выяснил истинную природу центрального понятия алгебры и логики – переменной. Обнаружилось родство между переменной и неопределенным местоимением.
Продолжением развития символической логики занимались Б. Рассел и А. Н. Уайтхед. Новая логика позволила с большой точностью описать формы суждений и отношения между ними. На целый ряд философских вопросов, в частности касавшихся природы математики, были сразу даны новые и четкие ответы, и стало казаться, что с помощью формальной логики можно будет найти окончательное решение философских проблем.
Например, очень интересен подход к разрешению вечного вопроса: «В чем смысл жизни?» Сам вопрос кажется простым, хотя и не имеющим простого ответа. Но при более внимательном рассмотрении оказывается, что он тоже нуждается в прояснении. Понимаем ли мы, что такое «смысл» и что такое «жизнь»? Верно ли, что существует только один смысл и что вся жизнь имеет этот смысл? Допущения, которые мы принимаем, крайне сомнительны, следовательно, сомнительна и сама формулировка вопроса. Вопрос о смысле жизни должен быть задан как—то иначе, чтобы не были безнадежными все попытки его решения.
В современной науке значение символической логики очень велико. Она находит приложение в кибернетике, нейрофизиологии, лингвистике.
Символическая логика является современным этапом в развитии формальной логики. Она изучает процессы рассуждения и доказательства посредством его отображения в логических системах (исчислениях). Таким образом, по своему предмету эта наука является логикой, а по методу – математикой.