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