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