Подтверждение и опровержение гипотез.

Способы подтверждения гипотез. Самым действенным способом подтверждения гипотезы является обнаружение предполагаемого объекта, явления или свойства, которое является причиной рассматриваемого явления Примерами могут служить открытие планеты Нептун, обнаружение ряда островов в Северном Ледовитом океане, открытие явления искусственно радиоактивности и т.д.

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

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

 

СХЕМА.

Явление А могло быть вызвано либо В, либо С, либо Д.

Явление А не вызвано ни В, ни С.

_________________________________________________

Явление А вызвано Д.

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

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

Структура опровержения гипотезы такова:

Если имела место причина (гипотеза) Н, то должны быть следствия:

С1, и С2, и С3, и...., и С(.

Следствия С1, или С2, или С3,...., или С(отсутствуют.

___________________________________________________________

Причина Н не имела места.

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

 

51.Понятие доказательство. Доказательство и убеждение. Структура доказательства.

Доказательство - это совокупность логических приемов обоснования истинности тезиса. Док-во связано с убеждением, но не тождественно ему: док-ва должны основываться на на данных науки, убеждения же могут быть основаны, например, на религиозной вере, на предрассудках, поэтому убедить, это еще не значит доказать. Структура доказательства - тезис - это суждение, истинность которого надо доказать. Форма доказательства (демонстрация) - это способ логической связи между тезисом и аргументами. Аргументы - это те истинные суждения, которыми пользуются при доказательстве тезиса. Аргументы бывают: 1. Удостоверенные единичные факты (фактический материал - подписи лица на документе, статистические данные, свидетельские показания и т.п .). 2. Определения (определения понятий, например научные). 3. Аксиомы и постулаты (это суждения, которые принимаются в качестве аргументов и без доказательств). 4. Ранее доказанные законы науки и теоремы - (напр. Юридические законы являются аргументами в ходе судебного доказательства). Убеждение - форма отношений, при которых взгляды и убеждения человека изменяются без насилия. Каждый человек имеет свои убеждения устойчивые сознательные конструкции в разных областях жизни, которые служат ориентиром для оценки личностью ситуации и выбора способа действия. Убеждения складываются на основе общественного сознания, общественной практики, воспитания, образования и окружающей среды.

 

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

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

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

Прямое и косвенное, на четыре вида: два прогрессивных и два регрессивных. Прогрессивным он называет Д., идущее от основания к следствию, при чем доказываемое положение является в виде следствия из аксиомы, или же Д. идет от доказываемого положения, истинность которого предполагается, к его следствиям; таким образом получаются четыре вида прогрессивных Д. — два прямых и два косвенных. Регрессивным называет Д., которое исходит из следствия, получаются четыре вида Д.: два регрессивных прямых и два регрессивных косвенных. Д., основанное на аналогии, Лоце справедливо отвергает, ибо аналогия содержит в себе указание на возможную связь явлений между собой, а не объяснение этой связи, тем менее Д. ее. Второе прямое регрессивное Д. представляет собой пример так называемой полной индукции; первое косвенное прогрессивное совпадает с доказательством путем исключения. Основных элементов в суждении два: субъект и предикат; поэтому при выводе может быть речь о перенесении предиката из одного суждения в другое на основании отношения между субъектами или же о перенесении субъекта на основании отношения между предикатами. Получаются, т. обр., два основных вида выводов: 1) выводы, делаемые на основании сличения субъектов — выводы положительные; 2) выводы, делаемые на основании сличения предикатов — выводы отрицательные и гипотетические. Само перенесение одного элемента суждения на другое суждение делается на основании закона тожества. Положительные выводы Каринский делит на выводы: а) от предметов к предметам, на основании их реального или логического тожества; b) от отдельных предметов к группе предметов (сюда относятся заключения по так называемой полной индукции, по неполной индукции и т. д.) и от отдельных предметов к агрегату (т. е. от части к целому, а не от частного к общему). К положительным выводам относятся и 3) заключения от группы предметов к отдельным предметам. Гораздо важнее, чем знание форм Д., умение находить доводы для Д. — но научить этому логика не может.