44. Понятие дилеммы.

Диле́мма (греч. δί-λημμα двойная лемма) — полемический довод с двумя противоположными положениями, исключающими возможность третьего. Ошибочно считать дилемму проблемой.

Дилемма используется иногда в риторике и имеет вид «нужно принять либо A, либо B», где A и B предпосылки, ведущие к некоторому заключению. В таком случае это будет заблуждение, софизм, ложная дихотомия.

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

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

Что можно интерпретировать как «A или B (или оба) должны быть верны, но они оба ведут к C, поэтому независимо от их значения мы можем вывести C».

45. Индуктивное умозаключение. Полная и неполная индукция. Виды не полной индукции.

Индукция — это переход от частного к общему. То есть это постепенное обобщение более частного, конкретного понятия.

Индуктивное умозаключение — это такое умозаключение, в котором мысль развивается от знания меньшей степени общности к знанию большей степени общности^{9}. То есть частный предмет рассматривается и обобщается. Обобщение возможно до известных пределов.

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

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

1) индуктивное умозаключение включает множество посылок;

2) все посылки индуктивного умозаключения — единичные или частные суждения;

3) индуктивное умозаключение возможно при всех отрицательных посылках.

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

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

При этом такое умозаключение дает достоверное значение, так как все предметы, о которых делается заключение, перечислены в посылках. Вывод производится только относительно этих предметов.

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

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

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

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

Как видно из названия, популярная индукция очень распространена, особенно в ненаучной среде. Степень вероятности такой индукции невелика.

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

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

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

То есть в отличие от популярной индукции научная не ограничивается простой констатацией. Рассматриваемый предмет подвергается глубокому исследованию. В научной индукции очень важно соблюдать ряд требований:

1) предметы исследования должны отбираться планомерно и рационально;

2) необходимо как можно глубже познать природу рассматриваемых предметов;

3) уяснять характерные признаки предметов и их связей;

4) сравнивать результаты с закрепленными ранее научными сведениями.

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

46. Умозаключение по аналогии.

Умозаключение по аналогии — это вывод о принадлежности определенного признака исследуемому единичному объекту (пред­мету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объек­том.

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

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

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

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

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

1. Тезис.

2.Аргументы.

3.Демонстрация.

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

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

Различают несколько видов аргументов:

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

Как не совершенно крыло птицы, оно никогда не смогло бы поднять её в высь, не опираясь на воздух.

Факты - воздух ученого. Без них мы никогда не сможем взлететь. Без них наши теории - пустые потуги.

Но изучая, экспериментируя, наблюдая, старайтесь на оставаться на поверхности фактов. Не превращайтесь в архивариусов фактов. Пытайтесь проникнуть в тайну их возникновения. Настойчиво ищите законы ими управляющие. Ещё Мичурин сказал: “Мы не можем ждать милостей от природы; взять их у неё - наша задача”. Ценой десятков тысяч проведенных опытов, сбора научных фактов он создаёт свою стройную научную систему выведения новых сортов растений.

2.Определения как аргументы доказательства.

Определения понятий формулируются в каждой науке. Свои определения существуют в химии, математике, физике и так далее.

3.Аксиомы и постулаты.

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

4.Ранее доказанные законы науки и теоремы как аргументы доказательства.

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

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

Следует особо подчеркнуть, что критерием истинности является практика. Если практика подтвердила истинность суждения, то дальнейшее доказательство не нужно. Практика - критерий истинности всякой теории.

1. Прямое и косвенное доказательство

Доказательства по форме делятся на прямые и непрямые (косвенные).

Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Схема этого доказательства такова: из данных аргументов (a,b,c...) необходимо следуют истинные суждения (k,m,l...), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике, в сочинениях школьников, при изложении материала учителем. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях.

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

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

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

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

Как с иронией замечает американский математик Д. Пойа, «косвенное доказательство имеет некоторое сходство с надувательским приемом политикана, поддерживающего своего кандидата тем, что опорочивает репутацию кандидата другой партии».

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

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

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

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

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

Следствия противоречащие фактам

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

Друг изобретателя паровой машины Д. Уатта шотландский ученый Д. Блэк ввел понятие о скрытой теплоте плавления и испарения, важное для понимания работы такой машины. Блэк, наблюдая обычное явление — таяние снега в конце зимы, рассуждал так: если бы снег, скопившийся за зиму, таял сразу, как только температура воздуха стала выше нуля, то неизбежны были бы опустошительные наводнения, а раз этого не происходит, значит, на таяние снега должно быть затрачено определенное количество теплоты. Ее Блэк и назвал скрытой.

Это — косвенное доказательство. Следствие антитезиса, а значит, и он сам, опровергается ссылкой на очевидное обстоятельство: в конце зимы наводнений обычно нет, снег тает постепенно.

Внутренне противоречивые следствия

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

Например, положение «Квадрат — это окружность» ложно, поскольку из него выводится как то, что квадрат имеет углы, так и то, что у него нет углов.

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

Один из приемов косвенного доказательства — выведение из антитезиса логического противоречия. Если антитезис содержит противоречие, он явно ошибочен. Тогда его отрицание — тезис доказательства — верно.

Хорошим примером такого рассуждения служит известное доказательство Евклида, что ряд простых чисел бесконечен. Простые — это натуральные числа больше единицы, делящиеся только на себя и на единицу. Простые числа - это как бы «первичные элементы», на которые все целые числа (больше 1) могут быть разложены. Естественно предположить, что ряд простых чисел: 2, 3, 5, 7, 11,13,... — бесконечен. Для доказательства данного тезиса допустим, что это не так, и посмотрим, к чему ведет такое допущение. Если ряд простых чисел конечен, существует последнее простое число ряда — А. Образуем далее другое число: В = (2 • 3 • 5 •... • А) + 1. Число В больше А, поэтому В не может быть простым числом. Значит, В должно делиться на простое число. Но если В разделить на любое из чисел 2, 3, 5, .... А, то в остатке получится 1. Следовательно, В не делится ни на одно из указанных простых чисел и является, таким образом, простым. В итоге, исходя из предположения, что существует последнее простое число, мы пришли к противоречию: существует число одновременно и простое, и не являющееся простым. Это означает, что сделанное предположение ложно и правильно противоположное утверждение: ряд простых чисел бесконечен.

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

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

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

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

По такой схеме рассуждал еще Евклид в своей «Геометрии». Эту же схему использовал однажды древнегреческий философ Демокрит в споре с другим древнегреческим философом, софистом Протагором. Протагор утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора на самом деле истинно.