§ 1. ПРИМЕРЫ ПРОЦЕДУР ОБОСНОВАНИЯ
Научное познание - во многом разного рода доказательства и обоснования. Например, в процессе научной деятельности ученый может применять такие процедуры обоснования, как дедукция, индукция, определение понятия, измерение, защита диссертации. Далее вкратце представлена структура этих методов обоснования научного знания и научной деятельности.
Дедукция
Дедукцией называют различные умозаключения, выводы, которые построены в согласии с логическими законами. Дедуктивные умозаключения обычно предполагают построение некоторой логической теории со своим языком, выражениями, аксиомами и правилами логического вывода.
Например, классическим образцом дедуктивного умозаключения служит следующий вывод. Все люди смертны - Сократ - человек - Сократ смертен.
Первые два утверждения - «Все люди смертны» и «Сократ - человек» - служат посылками вывода. Последнее утверждение - «Сократ смертен» - заключением вывода.
Подобным же образом и в общем случае любая дедукция представляет переход от первоначальной группы утверждений (посылок) к другой группе (заключениям). Правильность дедукции обеспечена определенной логической формой суждений. Например, тот же вывод можно было бы представить с иным содержанием. Все преподаватели - зануды - Сидоров - преподаватель - Сидоров - зануда.
Очищая логическую форму от конкретного содержания, получают такую абстрактную форму вывода. Все Х обладают свойством Р → У - один из Х → У обладает свойством Р.
В логической форме дедуктивного умозаключения содержится особенность именно этого вывода, отличающего его от других выводов.
Например, еще одним распространенным случаем дедукции служит вывод такого вида. Если человек бежит, то сердцебиение у него учащается → Человек бежит → Сердцебиение у него учащается. Если у больного сахарный диабет, то уровень глюкозы в крови у него повышен → У больного сахарный диабет → Уровень глюкозы в крови у него повышен.