Наиболее распространенные способы создания искусственных языков теории — это, во-первых, терминологизация слов естественного языка, во-вторых, калькирование терминов иноязычного происхождения, в-третьих, формализация языка. Однако доступ к реальности на основе знаковой системы, на основе понимания культуры как гипертекста рождает проблему «непереводимости» языков. Язык не всегда располагает адекватными средствами воспроизведения альтернативного опыта, в базовой лексике языка могут отсутствовать те или иные символические фрагменты. Поэтому для философии науки принципиально важными остаются изучение специфики языка как эффективного средства репрезентации, кодирования базовой информации, взаимосвязь языковых и внеязыковых механизмов построения теории.
Как знаковая система язык создан или создается (в случае возникновения новой дисциплинарной области, с учетом потребностей данной дисциплинарной области), он служит эффективным средством мышления. Говоря о языке науки, подразумевают специфический понятийный аппарат научной теории и приемлемые в ней средства доказательства. При этом остается проблема более точного исследования выразительных возможностей языка, а также достаточно четкое осознание, какие предпосылки, идеализации и гипотезы допускаются учеными, которые принимают тот или иной язык. Сам процесс продвижения к истинной теории есть также и своеобразная успешность «выразительных возможностей языка».
По мнению многих ученых, развитие науки непосредственно связано с развитием языковых средств, с выработкой более совершенного языка и с переводом знаний с прежнего языка на новый. Существуют эмпирический и теоретический языки, язык наблюдений и описаний, количественный язык, язык, используемый в ходе эксперимента (экспериментальный). В науке четко проявляется тенденция перехода от использования языка наблюдений и описания к языку идеализированной предметности.
Убедительным примером является язык современной физики, содержащий термины, обозначающие явления и свойства, существование которых было установлено в ходе проведения различных экспериментов.
В философии и методологии науки обращалось особое внимание на то, что язык науки ответствен за логическое упорядочивание и сжатое описание фактов. Вместе с тем, очевидно, что упорядочивание и логическая концентрация, сжатое описание] фактического материала ведет к значительной смысловой трансформации, к определенному пересмотру самого события или цепочки событий. Когда описательные языки выходят за пределы описания и указывают на закономерности, объединяющие данные факты, их статус меняется, возникает номологический (в пер. с греч. nomos — закон) язык.
Наличие многообразных типов языков вызвало проблему классификации языков научной теории. Одним из ее решений было заключение об их классификации на основе внутренней структуры научной теории, т.е. на основе того, в какой подсистеме теории они преимущественно используются. В связи с этим выделяются следующие виды языков:
• ассерторический — с его помощью формулируются основные утверждения данной теории. Ассерторические языки делятся на формализованные (любые формальные логические языки) и неформализованные (фрагменты естественных языков, содержащих утвердительные предположения, дополненные научными терминами); 3
• модельный — служащий для построения моделей и других 1 элементов модельно-репрезентативной подсистемы. Эти языки имеют развитые средства описания и также разделяются на формализованные (основанные на использовании i средств математической символики) и неформализованные;
• процедурный — занимающий подчиненный ранг в классификации и служащий для описания измерительных, экспериментальных процедур, а также правил преобразования языковых выражений, процессов постановки и решения задач, особенностью процедурных языков является однозначность предписаний;
• аксиологический — создающий возможность описания различных оценок элементов теории, располагающий средствами сравнения процессов и процедур в структуре самой научной теории;
• эротетический — ответственный за формулировку вопросов, проблем, задач или заданий;
• эвристический — описывающий эвристическую часть теории, т.е. исследовательский поиск в условиях неопределенности. Именно с помощью эвристических языков производится столь важная процедура, как постановка проблемы. Такая развитая классификация подтверждает тенденцию усложнения языка развитой научной теории. Анализ языка науки показывает, что важными составляющими научной теории являются знак, значение и смысл.
Знак определяется как материальный предмет (явление, событие), являющийся представителем некоего другого предмета и используемый для приобретения, хранения, переработки и передачи информации. Языковой знак квалифицируют как материально-идеальное образование, репрезентирующее предмет, свойство или отношение действительности. Совокупность знаков, особым образом организованная знаковая система и образует язык.
В науке под значением понимается наличие системы определенных смыслообразующих единиц, обеспечивающих относительное постоянство структуры речевой деятельности. В логике или семиотике под значением языкового выражения понимают тот предмет или класс предметов, который называется или обозначается этим выражением, а под смыслом выражения — его мыслительное содержание. Поэтому значение можно выразить предметно, смысл только идеально.
Современный этап построения теории характеризуется остротой проблемы соотношения формальных языковых конструкций и действительности, аналитичности и синтетичности высказываний. Представление об универсальной репрезентативности формализованных языков, об их идеальности изобилует парадоксами. Оно вызывает к жизни альтернативную концепцию репрезентации (представления предметности), указывающую на то, что отношение языковых структур к внешнему миру не сводится лишь к формальному обозначению, указанию, кодированию. Языком науки занимается аналитическая философия, которую представляют Б. Рассел, Л. Витгенштейн, Г. Фреге, У. Куайн и другие ученые, считающие, что язык логического анализа составляет сущность философии науки. Человечество обязано логике наличием универсальных и стандартных форм мышления. Проблемой аналитической философии является отношение между словами и жизнью. Язык повседневной жизни считается недостаточным, он упускает из виду проблему обоснования знания. Для Рассела очевидна дистанция между знанием и объектом, сложность способов воссоздания объектов средствами языка в ходе научного исследования. Необходимо сконструировать (воссоздать в познании) внешний мир и в то же время представить его как существующий объективно.
К важнейшим логическим открытиям относят теорию описаний (дескрипций) и теорию логических типов. Главный предмет теории описаний — обозначающие выражения, обеспечивающие информативность сообщений и связь языка с реальностью. Рассел приходит к выводу, что трудности процесса познания порождаются нашей склонностью за каждым грамматически правильным обозначающим выражением усматривать соответствующий объект. Такая установка проистекала из закрепившегося в философии представления о тождестве мышления и бытия. Аналитическая традиция поставила ее под сомнение.
Несуществующая сущность также может быть объектом высказывания — примечательно, что Фреге вслед за Кантором ввел мир «нереальных объективных сущностей». Далее, отрицание существования чего-либо всегда самопротиворечиво — ведь утверждая, что нечто не существует, мы приписываем несуществование чему-то, т.е. предметом нашего суждения выступает нечто, а не ничто. Согласно теории описания знакомство есть непосредственное указание на именуемый предмет, его наглядное, чувственное предъявление.
Описание — это словесная характеристика предмета по его признакам. Описание может быть определенным, относящимся к индивидуальному конкретному предмету, и неопределенным, относящимся к классу предметов. Следует различать имена и описания, а также разграничивать собственные имена и определенные описания. Высказывания в целом являются переменными, смысл которых зависит от значения входящих в них выражений, т.е. высказывание толкуется как пропозициональная функция.
Важное место в сфере анализа языка науки принадлежит анализу парадоксов, который стал основой теории типов Б. Рассела. В известном парадоксе «Лжец» Эпименид-критянин утверждает, что все критяне лгут. Так как он сам критянин, следовательно, он лжет, утверждая, что все критяне говорят неправду. Значит, критяне говорят правду. Другой вариант этого парадокса: «все, что я говорю, — ложь. Но когда я говорю, что лгу, я говорю правду, а если я говорю правду, я лгу».
В парадоксе «Крокодил» рассказывается о том, что крокодил утащил ребенка у женщины, а она стала плакать и молить крокодила вернуть ей ребенка. Крокодил сказал: «Если ты угадаешь, что я сделаю, то я верну ребенка. Если не угадаешь — не верну». Женщина сказала: «Ты не вернешь мне ребенка». Крокодил стал думать: если он вернет ребенка, значит, женщина не угадала, и он не должен его возвращать, а если он не вернет, значит, женщина угадала, и по договору он должен его вернуть. Рассел попытался найти решения парадоксов, разграничивая классы понятий по степени общности: то, что включает всю совокупность чего-либо, не должно включать себя.
С этой точки зрения понятен общий вывод: каждая философская проблема есть проблема, предполагающая уточнение научного языка, устранение его логической нечеткости. Важно также соответствие языка логики и языка содержательной науки, в силу чего логический анализ оказывается единственно продуктивным способом решения философских проблем. Это вооружало современную философию науки логической техникой исследования, которая обеспечивает новое знание о мире.