13) Опосредованные дедуктивные умозаключения.

В опосредованных умозаключениях вывод следует из двух или нескольких суждений, логически связанных между собой.Различают несколько видов опосредованных умозаключений: а) силлогизмы; б) условные умозаключения; в) разделительные умозаключения.Силлогизмы характеризуются тем, что в их состав входят суждения, имеющие субьектно-предикатное строение. Таковыми являются все атрибутивные суждения. Они относятся также к категорическим суждениям, потому что мысль, выраженная в них, высказывается без всяких условий, вполне определенно. Она просто утверждается или отрицается. В зависимости от количества и особенностей суждений, используемых в посылках, различают простой и сложный категорический силлогизм. Рассмотрим наиболее распространенный из них - простой категорический силлогизм.

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

14) Условные умозаключения.

Чисто условным умозаключением называется такое опосредст­вованное умозаключение, в котором обе посылки являются услов­ными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b”.

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

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

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

Разделительное умозаключение существует в двух модусах: modus ponendo tolens — положительно-отрицательный, modus tollendo ponens — отрицательно-положительный.Modus ponendo tolens представляет собой умозаключение, большая посылка которого является разделительным суждением, меньшая — утвердительным суждением, а вывод — отрицательным суждением.

16) Условно-разделительным (леммой) называется умозаключение, в котором одна посылка — разделительное суждение, а другие посылки, число которых равно числу членов деления, являются условными суждениями.По числу членов деления оно называется дилеммой, трилеммой. Условно-разделительные умозаключения существуют в простом и сложном модусах.Простой modus ponens (конструктивный) представляет собой условно-разделительное умозаключение, посылки и вывод которого являются положительными суждениями

17) Индуктивные умозаключения. Индуктивным называется умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом.Общее в природе и обществе не существует самостоятельно, до и вне единичного, а единичное не существует без общего; общее существует в единичном, через единичное, т.е. проявляется в конкретных предметах.Абсолютизация общего или частного знания в процессе рассуждения приводит к ложности или неясности мысли. Для примера обратимся к эпизоду о некоем медике, которому пришлось однажды лечить портного от горячки. Так как больной очень просил ветчины, то медик, видя, что спасти больного уже нельзя, дает ему ветчины. Больной съел ветчину и - выздоровел. Врач тщательно занес в свою записную книжку следующее опытное наблюдение: «Ветчина - успешное средство от горячки». Через несколько дней тот же врач лечил от горячки сапожника.

Опираясь на свой опыт, врач предписал больному ветчину. Больной умер. Врач, на основании правила записи фактов, как они есть, не примешивая никаких умствований, прибавил к прежнему наблюдению следующее: «Ветчина - средство полезное для портных, но не для сапожников».Для того, чтобы не попасть в положение, подобное положению врача, важно соблюдать требования, которые определяют правильность и объективную обоснованность индуктивного вывода. Эти требования следующие.Во-первых, индуктивное обобщение прочно лишь тогда, когда оно ведется по существенным признакам. Известной общностью иногда обладают и несущественные признаки. Однако, если брать случайные свойства, то они не обладают повторяемостью и поэтому не могут стать предметом обобщения. Проблема индуктивного исследования заключается в установлении существенных, необходимых, устойчивых признаков изучаемых явлений.Во-вторых, индуктивное обобщение распространяется только на объективно сходные предметы. Поэтому важной задачей является точное определение принадлежности исследуемых явлений к единому классу, признание их однородности или однотипности. От этого зависит обоснованность обобщения признаков, которые выражены в частных посылках. Обобщение по случайным признакам единичных предметов, равно как и обобщение по общим признакам, но без обстоятельного уяснения их необходимости, является доминирующей причиной ошибок в индуктивном умозаключении, вплоть до различного вида предрассудков и заблуждений.

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

18)

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

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

20) Способы доказательства гипотезы

Доказательство гипотезы осуществляется:

1. Обнаружением предполагаемого ею явления;

2. Выведением и проверкой следствий;

3. Опровержением всех иных гипотез объясняющих те же явления;

4. Дедуктивным обоснованием;

5. Логическим доказательством.

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

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

Дедуктивное обоснование абсолютно бесспорно, но где гарантия что, ни одна из посылок не является ложной?

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

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

Основными путями логического доказательства гипотезы являются:

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

- дедуктивное - выведение гипотезы из других, более общих и уже доказанных положений;

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

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

Логическое доказательство (опровержение) в зависимости от способа обоснования может протекать в форме прямого и косвенного доказательства.

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

Логический процесс выведения следствий из выдвинутого предположения и обоснование истинности или ложности гипотезы протекает очень часто в форме условно-категорического умозаключения. Из предполагаемой причины А выводят следствие В. Логически это выражается в таком суждении: "Если есть А, то есть В". Затем следствие В проверяют на практике, действительно ли оно существует. Если следствие В в действительности не существует и существовать не может, то по правилам условно-категорического умозаключения от отсутствия следствия приходят к выводу о том, что и предполагаемая причина А также не существует, т.е. приходят к достоверному заключению о ложности выдвинутой гипотезы. Помимо условно-категорических умозаключений используются также категорический силлогизм и другие логические формы.

Другим видом логического доказательства гипотезы является косвенное доказательство. Оно используется тогда, когда существуют несколько гипотез, объясняющих одно и то же явление.

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

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

ГИПОТЕЗА

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

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

Г. выдвигается в науке для решения некоторой конкретной проблемы: объяснения новых фактических данных, устранения противоречия теории с отрицательными результатами экспериментов и т.п.

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

Наиболее важным (первым) способом обоснования Г. является ее согласование с фактическим материалом, на базе которого и для объяснения которого она выдвинута; Г. должна соответствовать также установившимся в науке законам, теориям и т.п. Это т.н. условие непротиворечивости. Являясь принципиально важным, оно не означает, однако, что от Г. нужно требовать полного, пассивного приспособления к тому, что в момент ее выдвижения считается фактом. Факты — не только исходный момент конструирования Г., но и руководство к действию — к возможной корректировке как выдвигаемого предположения, так и самих фактов. В определенных условиях правомерна даже Г., противоречащая хорошо установленным фактам: вырывая факты из привычного теоретического контекста, она заставляет посмотреть на них с новой т.зр. и повышает вероятность обнаружить в них то, что ранее проходило незамеченным.

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

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

Третьим способом теоретического обоснования Г. является проверка ее на принципиальную приложимость к широкому классу исследуемых объектов: она должна охватывать не только явления, для объяснения которых специально предложена, но и возможно более обширный круг родственных им явлений. Хорошим примером здесь могут служить Г. квантов М. Планка: выдвинутая вначале для объяснения сравнительно частного явления (излучения абсолютно черного тела), она в короткое время распространилась на целый ряд областей и объяснила из одного основания чрезвычайно широкое поле физических явлений. Если Г., выдвинутая для одной области, ведет к новым результатам не только в исходной, но и в смежных областях, ее объективная значимость существенно возрастает.