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