Аксиоматический метод

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

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

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

В этом методе преобладает индуктивное движение, связанное с повышением вероятности возможных истин в том случае,

если выведенные из них следствия получают подтверждение в опыте (шаг 5). Но и в этом методе есть элементы дедукции, например, в процедуре выведения следствий из гипотез (шаг 4) и снижения вероятности гипотез при неподтверждении в опыте полученных из них следствий (шаг 6). Следовательно, и гипотетико-дедуктивный метод есть единство индукции и дедукции, хотя и с преобладанием индуктивной составляющей.

Достоинство гипотетико-дедуктивного метода состоит в возможности расширения имеющегося знания. Ограниченность этого метода заключена в отсутствии задач организации имеющегося знания.

В целом можно заметить, что оба метода – аксиоматико-дедуктивный и гипотетико-дедуктивный – должны дополнять друг друга в процессе развития научного знания. Аксиоматико-дедуктивный метод преимущественно организует полученное знание, гипотетико-дедуктивный метод расширяет область достигнутого знания.

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

Верификация

(позднелат. verificatio — доказательство, подтверждение, от лат. verus — истинный и faCIO — делаю), понятие, употребляемое в логике и методологии науки для обозначения процесса установления истинности науч. утверждений в результате их эмпирич. проверки. Различают непосредств. В.— как прямую проверку утверждений, формулирующих данные наблюдения и эксперимента (или утверждений, фиксирующих зависимости между этими данными), и косвенную В.— как установление логич. отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Науч. положения, содержащие развитые теоретпч. понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует различать также В. как актуальный процесс проверки реальных утверждений и верифицируемость, т. е, возможность В., ее условия. Именно анализ условий и схем верифицируемости выступает в качестве предмета логико-методологич. - исследования.

Термин «В.» получил широкое распространение в связи с концепцией анализа языка науки в логическом позитивизме, который сформулировал т. и. принцип В., или верифицируемости. Согласно этому принципу, всякое научно осмысленное утверждение о мире должно быть сводимо к совокупности т. н. протокольных предположений, фиксирующих данные «чистого опыта». Т. о., гносеологич. основанием принципа В. явилась феноменалистская, узкоэмпирич. доктрина, согласно которой познание не может выйти за пределы чувств. опыта. Основой подобной сводимости для логич. позитивистов Венского кружка выступала выдвинутая Д. Витгенштейном в «Логико-филос. трактате» идея возможности представления каждого осмысленного утверждения о мире в качестве функции истинности элементарных утверждений, являвшаяся по существу абсолютизацией формализма исчисления высказываний математич. логики.

ФАЛЬСИФИКАЦИЯ (от лат. falsus - ложный и facio -делаю) — способ опровержения (установления ложности) научного утверждения посредством его эмпирической проверки В методологии науки процедура фальсификации рассматривается в рамках гипотетико-дедуктивного метода, когда логический вывод непосредственно эмпирически проверяемых следствий из предлагаемой гипотезы, всегда выходящей а пределы эмпирически данного, служит основанием для оправдания или опровержения этой гипотезы. Условием фаль-сификации выступает тогда известное умозаключение от лож-ности следствия к ложности основания. Выводимые из гипотезы эмпирически проверяемые следствия сопсклавляются при этом с утверждениями, фиксирующими эмпирическую данность. В случае возникновения между ними противоречия следует говорить о наличии т. и. контрпримеров по отношению к проверяемой гипотезе.