<<
>>

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

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

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

Однако систематическая разработка ее проблем относится к гораздо более позднему времени.

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

Идеи Лейбница получили некоторую разработку в ХУПІ в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математи-ке возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815—1864) в своих работах применял математику к логике. Он дал математи-ческий анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»^ Немецкий логик и математик Г.

Фреге (1848—-1925) применял логику для исследования матема-тики, ее оснований. Посредством расширенного исчисления пре-дикатов он построил формализованную систему арифметики. Английский философ, логик и математик Б. Рассел (1872—1970) совместно с А. Уайтхедом (1861—1947) в трехтомном фундамен-тальном труде «Принципы математики» в целях ее логического эбоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики!

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

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

Значение символических языков в логике трудно переоценить. Г. Фреге сравнивал это значение со значением телескопа и микроскопа. А немецкий философ Г. Клаус (1912—1974) считал, что создание формализованного языка имело для техники логического вывода такое же значение, какое в сфере производства имел переход от ручного труда к машинному. рЗЬзникая на основе традиционной формальной логики, симво-лическая логика, с одной стороны, уточняет, углубляет и обоб-щает прежние представления о логических законах и формах, особенно в теории выводов, а с другой — все более знат чительно расширяет и обогащает логическую проблематику. (Современная логика — сложнейшая и высокоразвитая система знаний. Она включает в себя множество направлений, отдельных, относительно самостоятельных «логик», все более полно выражающих запросы практики и в конечном счете отражающих многообразие и сложность окружающего мира.

!

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

Специально отметим, что достижения современной логики используются и в правовой сфере. Так, в криминалистике на разных этапах исследования производится логико-математическая обработка собранной информации.

Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

! Остается сказать,1^то в разработку систем символической логики внесли важный вклад русские ученые. Среди них особенно выделяется П. Порецкий (1846—1907). Так, он первым в России начал чтение лекций по математической логике. Его собственные труды в этой области не только были на уровне ¦трудов современных ему западноевропейских ученых, но и в ряде случаев превосходили их-J

<< | >>
Источник: Е. А. Иванов. Логика. 1998

Еще по теме 2. Создание символической логики: