Юридическая
консультация:
+7 499 9384202 - МСК
+7 812 4674402 - СПб
+8 800 3508413 - доб.560
 <<
>>

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. Создание символической логики:

  1. ВОПРОСЫ ДЛЯ ЭКЗАМЕНОВ (ЗАЧЕТОВ) ПО ЛОГИКЕ
  2. СБСЕ И ПЕРСПЕКТИВЫ СОЗДАНИЯ СИСТЕМЫ КОЛЛЕКТИВНОЙ БЕЗОПАСНОСТИ В ЕВРАЗИИ
  3. ЛОГИКА МИФОПОЭТИЧЕСКОП мысли
  4. § 3. Мышление как объект логики
  5. ЛОГИКА ФОРМАЛЬНАЯ
  6. СИМВОЛИЧЕСКАЯ КУЛЬТУРОЛОГИЯ ПРАВА
  7. Математика, естествознание и логика (0:0 От Марк[с]а)
  8. Аргументация и логика
  9. § 1. Логический атомизм Б. Рассела
  10. Эволюция и основные характеристики аналитической философии
  11. 4.3.3 Интуитивный формализм и конструктивный номинализм
  12. 4.5.2 Модальные логики
  13. К читателю
  14. 1. Возникновение и этапы развития формальной логика
  15. 2. Создание символической логики
  16. Логика и страсть