Применение статистических методов и средств формализации в научном исследовании

Формализация играет главную роль в систематизации той суммы знаний, которая накоплена содержательной теорией, позволяет вычленить и уточнить логическую структуру теории, обеспечить стандартизацию используемого языка и понятийного аппарата, элиминировать несущественные ограничения в степени общности теории, уменьшитьколичество положений теории, которые принимаются за исходные теории.Вместе с тем формализация не лишь даёт точный язык, но и является определённым методом мышления, который позволяетполучитьновыеитоги. История математики, логики, лингвистики и ряда остальных наук свидетельствует, что формализация провоцируетперемещениезнания к новым результатам, раскрываетвероятность формулирования и постановки новых проблем, поиска их решения[5, с.123].Под формализацией понимается особенныйподход в научном познании, который содержится в применении специальной символики, позволяющей отвлечься от исследованияреальных объектов, от содержания описывающих их теоретических положений и делать вместо этого некоторымобилиемсимволов (знаков).Для построения любой формальной системы необходимо:а) задание алфавита, т. е. определенного комплектазнаков;б) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»;в) задание правил, по которым от одних слов, формул предоставленной системы, возможно, переходить к иным словам и формулам (так именуемыекритерии вывода)[7, с.157].В итогеформируется формальная знаковая система в облике определенного искусственного языка. Важным достоинством данной системы является вероятность проведения в ее рамках изучениякакого-нибудь объекта чисто формальным методом (оперирование знаками) без конкретного обращения к этому объекту.Другое достоинство формализации состоит в обеспечении краткости и четкости записи научной информации, что открывает огромныеспособности для оперирования ею.Математические описания разных объектов, процессов являются яркимобразцом формализации. При этом применяемая математическая символика не лишь помогает зафиксировать уже имеющиеся знания об исследуемых объектах, явлениях, но и выступает собственного рода инструментом в процессе предстоящего их знания.Возможность представить те или другиетеоретическиеположения науки в облике формализованной знаковой системы владеетогромным смыслом для познания. Но при этом следует иметь в виду, что формализация той или другой теории вероятналишь при учете ее содержательной стороны.Только в этом случае могут быть,верно,использованы те или другие формализмы. Голое математическое уравнение еще не представляет физической теории, чтобыполучить физическую концепциюнужно придать математическим символам конкретное эмпирическое содержание.Язык современной науки значительноотличается от естественногочеловеческого языка. Он охватываетнемалоособыхопределений, выражений, в нем обширно используются средства формализации, посредикоторых центральное место принадлежит математической формализации.Исходя из потребностей науки, формируютсяразные искусственные языки, которые предназначены для решения тех или других задач.Формализованные искусственные языки не обладают гибкостью и преимуществом естественного языка. Зато в них отсутствует многозначность определений (полисемия), характерная естественным языкам. Они характеризуются буквально построенным синтаксисом (устанавливающим критерии связи между знаками безотносительно их содержания) и однозначной семантикой (семантические критерии формализованного языка полностью,несомненно, определяют соотнесенность знаковой системы с определенной предметной областью)[4, с.134]. Таким образом, применение статистических методов и средств формализации в научном исследовании обладает свойством моносемичности. Все множество сделанных и создаваемых искусственных формализованных языков вступает в язык науки, образуя массивноесредство научного познания.Создание какого-то одного формализованного языка науки не представляется вероятным. Даже довольно богатые формализованные языки не удовлетворяют требованию полноты, т. е. некотороемножество верно сформулированных предложений такого языка (в том числе и истинных) не может быть выведено истинно формальным методом внутри этого языка. Данное состояниевыливается из результатов, приобретенных в начале 30-х годов XXвека австрийским логиком и математиком Куртом Геделем.Формализованные языки не могут быть единой формой языка современной науки, ибо стремление к максимальной адекватности проситприменять и неформализованные системы. Но в той мере, в какой адекватность немыслима без точности, тенденция к растущей формализации всех языков.Ивособенностиестественных наук является беспристрастной и прогрессивной.Список использованной литературы1. Абабилова, Л.С., Шлёкин, С.И. Проблема научного метода. – М., 2007. – 210 с. 2. Антонов, Е.А. Философский метод познания в контексте современной культуры. – Белгород, 2006. – 208 с.3. Бородастов, Г.В. Методологические основы и методологические средства инновационной деятельности // Ильенковские чтения. – М., 2002.-150 с. 4. Берков, В.Ф., Беркова, В.Ф. Философия и методология науки: Учеб. пособие. – М., 2004. – 336 с.5. Методология: вчера, сегодня, завтра: в 3-х тт. – М., 2005.- 472 с.6.Философия и методология науки. УМК для студентов магистратуры /под ред. А.И.Зеленкова. – Минск, 2004.- 108 с. 7. Философия и методология познания: учебник для магистров и аспирантов. – СПб., 2003.- 560 с.