Методы теоретического исследования

1. Формализация — отображение содержательного знания в знаково-символическом виде. Формализация базируется на различении естественных и искусственных языков. Естественные языки как средство общения характеризуются многозначностью, многогранностью, гибкостью, неточностью, образностью и др.

Дальнейшее углубление формализации связано с построением искусственных (формализованных) языков, предназначенных для более точного и строгого выражения знания, чем естественный язык, с целью исключить возможность неоднозначного понимания — что характерно для естественного языка (язык математики, логики, химии и др.).

Язык формул искусственного языка становится инструментом познания.

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

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

При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками (формулами). Отношения знаков заменяют собой высказывания о свойствах и отношениях предметов.

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

2. Гипотетико-дедуктивный метод. Его сущность заключается в создании системы дедуктивно связанных между собой гипотез, из которых в конечном счете выводятся утверждения об эмпирических фактах.

Этот метод тем самым основан на выведении (дедукции) заключений из гипотез и других посылок, истинное значение которых неизвестно. Поэтому заключения тут носят вероятностный характер_, т.к в формировании гипотезы участвует и догадка, и интуиция, и воображение, и индуктивное обобщение.

Исходные понятия: гипотеза (предположение) — положение, выдвигаемое в начале предварительного условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления.

Дедукция (выведение): а) в самом общем смысле — это переход в процессе познания от общего к частному (единичному), выведение последнего из первого; б) в специальном смысле — процесс логического вывода, т. е. перехода по определенным правилам логики от некоторых данных предположений (посылок) к их следствиям (заключениям).

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