Логика: Учебник для студентов юридических вузов и факультетов

Известный вклад в развитие традиционной формальной логики внесли русские ученые. Так, уже в первых трактатах по логике начиная приблизительно с X в. предпринимались попытки самостоятельного комментирования трудов Аристотеля и других ученых. Оригинальные логические концепции в России разрабатывались в XVIII в. и были связаны прежде всего с именами М. Ломоносова (1711—1765) и А. Радищева (1749—1802). Расцвет логических исследований в нашей стране относится к концу XIX в. Так, М. Каринский (1840—1917) создал оригинальную общую теорию выводов — как дедуктивных, так и индуктивных. Труды его ученика Л. Рутковского (1859—1920) были посвящены прежде всего основным типам умозаключений, их дальнейшей разработке, и представляли собой, по сути, частный случай более общей теории логических отношений. С. Поварнин (1870—1952) стремился разработать общую теорию отношений в логике. Дальнейшее развитие традиционная логика получила в годы Советской власти. Она успешно разрабатывается и в наши дни.

2. Создание символической логики

Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила еще название символической и обозначила новый, современный этап в развитии логики.

Зачатки этой логики прослеживаются уже у Аристотеля, а также у его последователей, стоиков в виде элементов логики предикатов и теории модальных выводов, а также логики высказываний. Однако систематическая разработка ее проблем относится к гораздо более позднему времени.

Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой — математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646—1716). Тем самым он стал, по существу, зачинателем математической (символической) логики. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Новое знание, по его мнению, будет результатом логической калькуляции — исчисления.

Мечта Лейбница о создании такой логики «научного открытия» оказалась столь же несбыточной, как мечта Бэкона. Но он дал величайший толчок развитию человеческой мысли, значение которого можно вполне оценить только с высот современной науки.

Идеи Лейбница получили некоторую разработку уже в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815—1864) в своих работах прежде всего применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848—1925) применил логику для исследования математики, ее оснований. Английский философ, логик и математик Б. Рассел (1872—1970) совместно с А. Уайтхедом (1861 — 1947) в трехтомном фундаментальном труде «Principia Mathematica» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.

Так открылся новый, современный этап в развитии логических исследований. Пожалуй, наиболее важная и характерная особенность этого этапа состоит в разработке и использовании новых методов решения традиционных логических проблем. Это разработка и применение искусственного, так называемого формализованного языка — языка символов, т.е. буквенных и других знаков (отсюда и наиболее общее наименование современной логики — «символическая»).

Различают два вида логических исчислений: исчисление высказываний и исчисление предикатов. При первом допускается отвлечение от внутренней, понятийной структуры суждений, а при втором эта структура учитывается и соответственно символический язык обогащается, дополняется новыми знаками.