<<
>>

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

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

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

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

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

Идеи Лейбница получили некоторую разработку уже в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук дос­тигла особенно значительного прогресса, а в самой математике воз­никли новые фундаментальные проблемы ее обоснования.

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

труде «Principia Mathematical» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-акси­оматическое построение логики.

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

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

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

Особенно рельефно это обнаружилось в создании так называе­мых «неклассических логик»: интуиционистской, модальной, веро­ятностной и других.

И этот процесс продолжается до сих пор.

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

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

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

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

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

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

3.

<< | >>
Источник: Логика: учеб, для студентов юрид. вузов и фак./ Е.А. Иванов. — Изд. 3-е, перераб. и доп. — М.,2007. — 416 с.. 2007

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

- Авторское право - Аграрное право - Адвокатура - Административное право - Административный процесс - Антимонопольно-конкурентное право - Арбитражный (хозяйственный) процесс - Аудит - Банковская система - Банковское право - Бизнес - Бухгалтерский учет - Вещное право - Государственное право и управление - Гражданское право и процесс - Денежное обращение, финансы и кредит - Деньги - Дипломатическое и консульское право - Договорное право - Жилищное право - Земельное право - Избирательное право - Инвестиционное право - Информационное право - Исполнительное производство - История - История государства и права - История политических и правовых учений - Конкурсное право - Конституционное право - Корпоративное право - Криминалистика - Криминология - Маркетинг - Медицинское право - Международное право - Менеджмент - Муниципальное право - Налоговое право - Наследственное право - Нотариат - Обязательственное право - Оперативно-розыскная деятельность - Права человека - Право зарубежных стран - Право социального обеспечения - Правоведение - Правоохранительная деятельность - Предпринимательское право - Семейное право - Страховое право - Судопроизводство - Таможенное право - Теория государства и права - Трудовое право - Уголовно-исполнительное право - Уголовное право - Уголовный процесс - Философия - Финансовое право - Хозяйственное право - Хозяйственный процесс - Экологическое право - Экономика - Ювенальное право - Юридическая деятельность - Юридическая техника - Юридические лица -