это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справляется со своими многообразными функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму.
Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче – выявлению логических связей наших мыслей, но решаться она должна эффективно.
В формализованном языке логики слова обычного языка заменяются различными специальными символами. В нем четко разграничены синтаксическая и семантическая части, разделение которых в обычном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность, которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация.
Построение языка отличается тщательностью, с какой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений. Разделение синтаксиса и семантики позволяет определить понятие вывода логического чисто формально, не обращаясь к содержанию конструируемых и преобразуемых выражений. Вывод оказывается подчиненным простым предписаниям, подобным правилам сложения и вычитания. Исчезают неясность и двусмысленность, всегда присутствующие при обращении с такой трудно уловимой вещью, как «смысл выражения». Место обычного в процессе рассуждения оперирования идеальными смыслами занимает манипулирование материальными вещами – цепочками знаков. Выведение одних идей из других превращается в «вычисление» по простым правилам.
Все процессы, происходящие в неклассической науке, напрямую отражаются на системе образования, её языке и логике языка. Существует направление – неклассическая логика, представляющая собой совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики. Если, например, классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (принцип двузначности), то в 20-е годы XX века были построены многозначные логики, допускающие более двух истинностных значений. Также были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности. К этому же времени относится первая попытка Э. Гуссерля развить логику оценок. В 30-е годы Д. фон Нейманом и Г. Биркгофом была опубликована первая работа по логике квантовой механики. После второй мировой войны С. Яськовским была построена «логика дискуссии», явившаяся прототипом паранепротиворечивой логики, на возможность которой еще раньше указывали учёные.
