Структура гипотетико-дедуктивного метода:

1) выдвижение гипотезы о причинах и закономерностях данных явлений с помощью разнообразных логических приемов;

2) оценка основательности гипотез и выбор из их множества наиболее вероятной;

3) выведение из гипотезы дедуктивным путем следствий с уточнением ее содержания;

4) экспериментальная проверка выведенных из гипотезы следствий.Тут гипотеза или получает экспериментальное подтверждение или опровергается. Однако подтверждение отдельных следствий не гарантирует ее истинности или ложности в целом. Лучшая по результатам проверки гипотеза переходит в теорию.

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

Метод исторического и логического анализа. Исторический метод требует описания фактической истории объекта во всем разнообразии его существования. Логический метод – это мысленная реконструкция истории объекта, очищенная от всего случайного, несущественного и сосредоточенная на выявлении сущности. Единство логического и исторического анализа.

Логические процедуры обоснования научных знаний

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

Обоснование – логическая процедура, связанная с оценкой некоторого продукта познания в качестве компонента системы научного знания с точки зрения его соответствия функциям, целям и задачам этой системы.

Основные виды обоснования:

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

Структура доказательства:

- тезис (выражение, истинность, которого устанавливается);

- доводы, аргументы (высказывания, с помощью которых устанавливается истинность тезиса);

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

- демонстрация (логическая форма данной процедуры).

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

Виды доказательств:

- прямое (тезис непосредственно вытекает из доводов);

- косвенное (тезис доказывается косвенным путем):

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

- разделительное (истинность тезиса устанавливается путем исключения всех противостоящих ему альтернатив).

С доказательством тесно связана такая логическая процедура как опровержение.

Опровержение – логическая процедура, устанавливающая ложность тезиса логического высказывания.