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