22. Понятие и структура умозаключения по аналогии.

Одной из наиболее распространенных форм правдоподобных выводов являются выводы по аналогии. Аналогия - это недедуктивное умозаключение, в котором суждение о принадлежности признака некоторому объекту выводится на основании его сходства с другим объектом. Аналогия представляет собой переход к знанию той же степени общности, то есть от единичных суждений к единичным, от частных - к частным, от общих - к общим. Основанием умозаключений по аналогии служит сходство (аналогия) предметов, их свойств и отношений. Сходство предметов определяется двумя факторами: 1) числом признаков, общих для этих предметов; 2) степенью существенности этих признаков. Пример. Предметы «стул» и «письменный стол» имеют много общих признаков: это предметы мебели, они могут быть изготовлены из одного материала, могут иметь четыре ножки, всегда имеют плоскую горизонтальную поверхность и т.д. Однако все эти признаки, кроме признака «быть предметом мебели», являются несущественными. Зато стул и письменный стол отличаются своими существенными признаками: стул предназначен для сидения, стол – для письма; стул имеет спинку, стол не имеет и т.д. Таким образом, стол и стул похожи, по преимуществу, в несущественных признаках и различаются существенными. Следовательно, нельзя говорить о таком их сходстве, которое могло бы служить основанием выводов по аналогии. Заключения аналогии не являются достоверно истинными при истинности посылок, а только вероятно истинными. Вероятность истинности заключений выводов по аналогии низка даже по сравнению с популярной индукцией. Поэтому в науке аналогия редко используется как средство обоснования или доказательства суждений. Но умозаключения по аналогии играют важную эвристическую роль в научном познании. Аналогия – один из основных способов формирования научных гипотез, источник догадок и предположений, которые затем проходят проверку более строгими дедуктивными и индуктивными методами. На первых этапах исследования незнакомых явлений ученый ищет среди уже известных ему явлений какие-то аналогии для нового. Помимо этого, умозаключения по аналогии - одна из составляющих метода моделирования. В силу использования умозаключений по аналогии результаты моделирования всегда носят вероятностный характер. В умозаключениях по аналогии используются следующие понятия: - образец аналогии - объект, признак которого переносится на другой объект; - субъект аналогии - объект, на который переносится признак; - термины аналогии - это образец и субъект аналогии; - переносимый признак - признак, который переносится с образца на субъект; - основание аналогии - признак, одновременно присущий обоим терминам аналогии и служащий основанием для переноса интересующего нас признака. Переносимый признак обычно является простым, а основание аналогии - сложным признаком.

В структуру аналогии входят следующие суждения: 1) суждение о наличии основания аналогии у образца; 2) суждение о наличии основания аналогии у субъекта; 3) суждение о наличии переносимого признака у образца; 4) суждение о наличии переносимого признака у субъекта./ Первые три суждения являются посылками умозаключения по аналогии, а четвертое - его заключением. В зависимости от характера признака, переносимого с одного предмета на другой, различают аналогию свойств и аналогию отношений. Аналогия свойств - это умозаключение по аналогии, в котором роль переносимого признака играет признак-свойство. Фигуральная аналогия - это умозаключение, основывающееся на сходстве отношений между предметами из качественно отличных областей действительности, связь которых имеет только символическое значение. Причины ошибок выводов по аналогии: 1) несущественность признаков, служащих основанием аналогии; 2) отсутствие связи между признаками, служащими основанием аналогии, и переносимым признаком.

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

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

2) признаки, служащие основанием аналогии, должны быть существенными для сравниваемых предметов; 3) общие признаки должны охватывать различные стороны сравниваемых предметов; 4) переносимый признак должен принадлежать к тому же типу, что и признаки, составляющие основание аналогии, и быть связанным с ними; 5) необходимо учитывать, наряду со сходством предметов, их различие. Нередки случаи, когда одно какое-либо различие указывает на неправомерность аналогии, несмотря на все множество сходств. Вывод по аналогии без учета хотя бы уже известных различий между соответствующими предметами нельзя даже считать логически корректным.

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

23. Структура и виды доказательства.

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

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

Основу доказательства составляют следующие положения: Тезис — утверждение, истинность которого надо доказать

Аргументы и факты — это те истинные суждения, которыми пользуются при доказательстве тезиса

Демонстрация (форма доказательства) — способ обоснованной логической связи между утверждаемым тезисом и аргументами

Виды доказательства[править | править вики-текст]

Доказательства по форме делятся на прямые и (косвенные). Прямое доказательство идет от рассмотрения аргументов к доказательству утверждаемого тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях. Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм: Если тезис обозначить буквой а , то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением; Антитезисом для тезиса а в суждении а...в...с служат суждения в и с .

В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.