В формализованном языке различают объектный язык и метаязь

Объектный язык - язык, выражение которого относится к нек торой области объектов, их свойств и отношений. Метаязык с

жит средством описания и исследования свойств объектного языю Поэтому он является более богатым по своим выразительным аналитическим возможностям.

Для обработки, получения, применения и хранения знаний в не дедуктивных науках первостепенное значение имеет терминолога Терминология - совокупность слов или их сочетаний, каждое из кс

торых имеет одно единственное значение в данной области знания

Знаки искусственных языков вводятся в науку, так как они п<

зволяют выражать соответствующие понятия и суждения в сокр

щенной форме, имеют точное значение, создают условия хороши

обозримости теории, внутренних связей всех ее элементов и чаете

фиксируют такие понятия, для которых в обычном языке вооб:

нет соответствующих словесных выражений, и могут способе

вать образованию новых понятий, благоприятствуют развитию ровой науки, благодаря интернациональному их применению.

Идея создания специальных искусственных языков как знаков систем, в которых могла бы быть полностью представлена та иная наука, или логическая структура познания, или даже вся обла'

человеческого знания в целом, возникла лишь в Новое время, зародилась, с одной стороны, благодаря большим достоинствам с

циально вводившихся в науку условных знаков, прежде всего ма матических, с другой стороны, следствие значительных трудност

возникавших при применении в науке обычного языка из-за неточ» сти и многозначности, присущей подавляющей массе его знаков.

Знаковые системы обладают относительной самостоятельное и играют весьма существенную роль в научном творчестве. О являются средством формализации научного знания, имеющего

ромное значение для познания объективного мира, делаюп возмо: ной передачу формальных операций мышления и вообще многоо' разных действий по приему, хранению, преобразованию и выда

информации специальным техническим устройством. Все это св детельствует о важной роли знаковых систем в познании действ тельности и в практическом овладении ею. Поэтому разработка о¹ щей теории знаков и знаковых систем составляет одну из актуал ных задач современной науки.

2.7. Возможности и границы науки: гностицизм, агностицизм, скептицизм. Формы рефлексивного осмысления научного познания: логика, гносеология, методология

(А.И. Лойко)

В ХУШ-Х1Х ст. наука была вовлечена в методологическую дис­куссию о возможностях познания мира. Среди философов и ученых было большинство тех, кто не видел ограничений познавательного характера. Но были те, кто сомневался в познаваемости мира (Берк­ли, Кант). Особую линию представляли скептики (Юм). Успехи в познании науки в XX веке были настолько очевидными, что об этих дискуссиях практически все ученые забыли. Исключение составил только кризис в физике, произошедший в начале XX века и доста­точно обстоятельно проанализированный В.И. Лениной в работе «Материализм и эмпириокритицизм». В конце столетия возникла проблема не границ познаваемости, а моральных границ исследова­тельской деятельности в связи с применением оружия массового поражения и бурным развитием генной инженерии. В познании это­го вопроса задействованы логика, гносеология, методология.

Логика изучает специфику научного формализованного мышле­ния, часто не поддающегося правилам верификации, имеющего дело с виртуальными объектами. Выводы и рекомендации этого мышле­ния часто выходят в область принятия управленческих решений, проектирования систем управления.

Гносеология изучает статус ученого в исследовательском про­цессе и анализирует проблему не только достоверности результатов научной деятельности, но и моральной ответственности за научно-технические разработки.

Методология сконцентрирована на теории метода и описании, классификации применяемых в научных исследованиях методов.