Привести пример индуктивного, дедуктивного рассуждений и рассуждения по аналогии. Пояснить, чем они отличаются друг от друга.
Решение:
Дедукция – это способ рассуждения, посредством которого из общих посылок с необходимостью следует заключение частного характера. В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы.
Пример дедуктивного рассуждения:
«Если много не знаешь(p), то приходится придумывать(q). Ребенок многого не знает (p). Следовательно, ребенку приходится придумывать (q)». Отметим пропозициональные переменные и зафиксируем символическую форму рассуждения: (p→q)˄p→q.
Данное дедуктивное рассуждение построено в форме условно-категорического силлогизма (по утверждающему модусу). Утверждение основания ведет к утверждению следствия.
Индукция — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления
Пример индуктивного рассуждения:
«Собаки, которые обучились чувству беспомощности (они не могли избежать удара электротоком), не проявляли инициативу в тех случаях, когда могли избежать наказания. Собаки, которые обучились контролировать ситуацию (они удачно увертывались от первых ударов током), легко адаптировались к новым условиям»
В данном рассуждении имеет место метод научной индукции называемый методом различия. Метод различия — это способ установления причинно-следственных связей. Метод различия – метод, основанный на сравнении двух случаев, в одном из которых исследуемое явление наступает, а в другом не наступает и при этом первый случай отличается от второго только одним обстоятельством; вероятно, именно это обстоятельство является причиной исследуемого явления.
При обстоятельствах А, В, С происходит явление d.
При обстоятельствах В, С не происходит явление d.
Вероятно, обстоятельство А является причиной d.
Пример неполной индукции:
Олово (S1) — твердое тело (P).
Медь (S2) — твердое тело (P).
Алюминий (S3) — твердое тело (P).
Олово, медь, алюминий . — металлы.
Все металлы — твердые тела.
Представлен пример неполной индукции. Если не исследован весь класс металлов, то достаточно найти хотя бы один элемент данного класса, который не является твердым телом, и весь вывод окажется неистинным. Поскольку мы не можем исследовать все возможные металлы и доказать, что они твердые тела, то заключение в данном выводе является вероятностным суждением.
Аналогия — это умозаключение о принадлежности предмету определенного признака (свойства, отношения) на основе его сходства в существенных признаках с другим предметом; это приписывание предмету свойства или перенос на него отношений, присущих другому предмету.
Пример рассуждения по аналогии:
По делу о хищении ценностей следователь обратил внимание на способ проникновения преступника в квартиру: запертая дверь отжималась ломиком, который оставлял на дереве отчетливые следы раздвоенного конца. Через некоторое время было совершенно преступление с похожими признаками. Сходство этих двух различных случаев хищения в таком признаке, как способ проникновения к месту хищения, а также использование преступниками одинакового орудия взлома натолкнуло следователя на мысль о том, что оба преступления совершены одной и той же группой лиц. Дальнейшая проверка подтвердила это предположение.
В приведенном примере вывод о новых признаках получен по аналогии, путем уподобления сходных явлений. Поскольку сходство в приведенных случаях могло быть чисто случайным, то и заключение здесь носит характер лишь вероятного знания, что всегда имеет место в выводах по форме простой аналогии. Несмотря на это, вывод по аналогии в приведенном примере помог выдвижению правильной версии, с помощью которых были изобличены действительные преступники.
Дедуктивные рассуждения построены на движении мысли от частного к общему. При истинности посылок и соблюдении правил логики, дедуктивное рассуждения всегда дает общезначимое истинное знание. Основой индукции является опыт, эксперимент и наблюдение, в ходе которых собираются отдельные факты. Затем изучая, анализирую факты, исследователь находит общие, повторяющиеся черты у объектов определенного класса. На этой основе он строит индуктивное умозаключение, в котором признак, выявленный у совокупности единичных объектов, приписывается всему классу.
Умозаключение по аналогии — это вывод о принадлежности определенного признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом. Умозаключению по аналогии всегда предшествует операция сравнения двух объектов, которая позволяет установить сходства и различия между ними. При этом для аналогии требуются не любые совпадения, а сходства в существенных признаках при несущественности различий. Именно такие сходства служат основой для уподобления двух материальных или идеальных объектов. Логический переход от известного к новому знанию регулируется в выводах по аналогии следующим правилом: если два единичных предмета сходны в определенных признаках, то они могут быть сходны и в других, обнаруженных в одном из сравниваемых предметов, признаках.
Источник
Дедуктивные и индуктивные умозаключения
На этом этапе весьма целесообразно рассмотреть вопрос о том, что представляют собой рассуждения, умозаключения, каковы их структура, виды и критерии правильности, какие умозаключения изучает логика и, в частности, математическая логика.
Умозаключение есть логическая (мыслительная) операция (процедура), состоящая в получении нового суждения (высказывания, утверждения) из одного или нескольких ранее известных суждений. Ранее известные суждения, входящие в состав умозаключения, называются его посылками, а новое суждение называется его следствием (или заключением). С содержательной точки зрения умозаключение есть переход от уже имеющегося (наличного) знания к новому знанию. С формальной точки зрения умозаключение есть переход от посылок к следствию. В логике умозаключение принято представлять в виде фигуры, в которой посылки записаны одна под другой и отделены горизонтальной чертой, под которой записано следствие. Рассуждение есть последовательность умозаключений, причем посылками последующих умозаключений служат следствия предыдущих умозаключений данной последовательности.
Умозаключения делятся на дедуктивные и индуктивные. Расхожим является мнение о том, что дедуктивные умозаключения — это «умозаключения от общего к частному», а индуктивные — «от частного к общему». Эти «определения» лишь в самых общих чертах характеризуют, в частности, дедуктивные умозаключения. Это одно приведенное свойство еще не является для них определяющим. Дедуктивное умозаключение , прежде всего, основано на анализе формальной (логической) структуры посылок и следствия, индуктивное умозаключение основано на анализе их содержания.
Рассмотрим и проанализируем следующие примеры.
В примерах 7.3 и 7.4 сделаем соответствующие выводы исходя из анализа формальной структуры посылок и следствия, фактически не обращая внимания на их содержание. Более того, с точки зрения логики эти умозаключения представляются одинаковыми, несмотря на то что не имеют между собой ничего общего по содержанию. Это типичные примеры дедуктивных умозаключений. В то же время, переходя от посылок к следствиям в умозаключениях примеров 7.5 и 7.6, мы не можем отвлечься от их содержания. И хотя эти умозаключения также имеют одинаковую структуру, анализ их содержания приводит нас к построению неверного умозаключения. Дело в том, что все посылки каждого из этих умозаключений истинны, но вывод истинен только в примере 7.6, а в примере 7.5 он ложен. Таким образом, умозаключения примеров 7.5 и 7.6 не носят дедуктивный характер, они не основаны на анализе формальной структуры умозаключения, на строгих законах формальной логики. Это — индуктивные умозаключения. Их изучение не входит в задачу формальной логики. Еще более ярким примером индуктивного умозаключения, в котором связь между посылками и следствием является связью не по логической форме, а по содержанию, является следующее умозаключение.
В нем связь между посылками и следствием носит и вовсе некий физический причинно-следственный характер.
Важнейшим методологическим вопросом, связанным с дедуктивными умозаключениями, является вопрос об определении правильности (верности) умозаключения. Распространенная ошибка здесь состоит в том, что правильность умозаключения отождествляется с истинностью получаемого на основании этого умозаключения вывода: умозаключение считается правильным, если «в результате мы приходим к истине». Это не так. Правильность дедуктивного умозаключения означает, что оно приводит к истинному выводу не всегда, но всякий раз, когда оно исходит из всех истинных посылок. Другими словами, умозаключение считается правильным, если мы, имея посылки и следствия данной структуры (как определено в умозаключении), при условии истинности всех посылок непременно будем получать истинность следствия. Таким образом, чтобы доказать неправильность умозаключения, нужно указать такую его конкретизацию (пример), в которой все посылки были бы истинными, а следствие было бы ложным. Такой пример называется опровергающим (или контрпримером).
Итак, в правильном дедуктивном умозаключении следствие должно быть истинным при условии истинности всех посылок. Отсюда не следует делать вывод, что если среди посылок имеются ложные, то следствие должно быть ложным, хотя и такая ситуация возможна. Следующий пример показывает, что даже при всех ложных посылках правильное умозаключение может дать истинное следствие.
Данное умозаключение правильное, так как основано на схеме: (правило 6.14 цепного заключения).
В случае когда среди посылок умозаключения имеются ложные, говорят о наличии в умозаключении фактической ошибки ; если же неправильным является само дедуктивное умозаключение, то говорят о логической ошибке .
В заключение обратим внимание на то, что в отличие от высказываний (суждений), которые делятся на истинные и ложные, умозаключения делятся на правильные и неправильные. Это терминологическое различие не является случайным. Дело в том, что каждое высказывание утверждает наличие или отсутствие у предметов или явлений тех или иных свойств или отношений между ними. Поэтому каждое высказывание имеет в качестве своего «прообраза» некоторые связи и отношения между предметами и явлениями реального мира и допускает, хотя бы в принципе, проверку на истинность. Именно это обстоятельство подчеркивают, говоря, что данное высказывание является истинным или ложным. В то же время в реальном мире не происходит никаких реальных процессов и явлений, которые можно было бы считать «прообразами» логической операции перехода от одних высказываний к другим. Эта логическая операция является чисто умственной, она происходит лишь в нашем сознании и даже в принципе не допускает «проверки на истинность». Выделение правильных умозаключений является одним из видов познавательной деятельности, который связан с другими видами познания и основан в конечном итоге на громадном практическом опыте человечества.
Правильные и неправильные дедуктивные умозаключения
Ранее была разработана теория, позволяющая давать ответ на вопрос, является ли та или иная формула логическим следствием данной совокупности формул или нет, а также находить все логические следствия из данных формул. Применим ее к рассуждениям, представляющим собой последовательности высказываний (суждений), для того чтобы определить, правильно рассуждение или нет, т.е. правильное или неправильное умозаключение сделано с помощью данного рассуждения из данных посылок.
Пример 7.9. Рассмотрим следующее рассуждение: «Если четырехугольник — параллелограмм, то его противоположные углы равны. Четырехугольник — параллелограмм. Следовательно, его противоположные углы равны». Чтобы ответить на вопрос, верно ли это рассуждение, нужно выяснить, будет ли формула алгебры высказываний, отражающая структуру заключения данного рассуждения, логическим следствием формул алгебры высказываний, отражающих структуры его посылок. Структура посылок выражается формулами , а структура заключения — формулой . (Легко убедиться в этом, если вместо пропозициональной переменной подставить в формулы высказывание «Четырехугольник — параллелограмм», а вместо — высказывание: «Противоположные углы четырехугольника равны».) Известно (см. правило 6.8), что формула является логическим следствием формул . Поэтому приведенное рассуждение является правильным, и сделанное заключение действительно следует из посылок.
Рассуждения такой формы нередки в математике. Приведем еще одно подобное рассуждение: «Если 10 делится на 3, то 100 делится на 3. 10 делится на 3. Следовательно, 100 делится на 3». Проведенное рассуждение правильно, но его заключение ложно. Это обстоятельство не должно нас смущать: ведь правильное рассуждение приводит к истинному утверждению при условии, что все посылки рассуждения были истинными. В данном случае из двух посылок одна не является истинной.
Пример 7.10. Рассмотрим следующее рассуждение: «Если курс математической логики неинтересен, то он полезен. Курс математической логики бесполезен или нетруден. Курс математической логики труден. Следовательно, этот курс интересен». Введем обозначения:
Тогда для ответа на вопрос, правильно ли приведенное рассуждение, нужно выяснить, справедливо ли следующее логическое следование:
Покажем, что оно справедливо. На основании равносильности из теоремы 4.4, у вторую посылку можно заменить на . Далее по правилу 6.14 имеем . Затем по правилу 6.13 . Последняя формула, на основании равносильности из теоремы 4.4, пункт а), равносильна формуле . Наконец, привлекая еще не использованную третью посылку , получаем на основании правила 6.8 . Учитывая свойство выводимости, установленное в теореме 6.5, пункт б), заключаем, что рассматриваемое логическое следование справедливо, и, таким образом, данное рассуждение правильно.
Обратим особое внимание на два типа наиболее часто встречающихся неправильных рассуждений. Первое рассуждение выглядит так. Мы исходим из некоторого предположения и, правильно рассуждая, приходим к правильному выводу. Отсюда делаем вывод, что сделанное предположение верно. С точки зрения математической логики схема этого рассуждения такова: из истинности утверждений и делается вывод об истинности утверждения . Чтобы ответить на вопрос о правильности такой схемы рассуждений, рассмотрим два примера рассуждений, основанных на этой схеме.
Пример 7.11. «Если число натуральное, то оно рациональное . Число 17 рациональное . Следовательно, число 17 натуральное «.
Пример 7.12. «Если число натуральное, то оно рациональное . Число рациональное . Следовательно, число натуральное «.
В каждом из этих рассуждений обе посылки являются истинными утверждениями. Но в первом случае мы приходим к истинному заключению (число 17 — натуральное), а во втором — к ложному (число не натуральное). Это означает, что неверной является сама схема построения умозаключения, примененная в этих примерах. Неверность, неправомочность схемы означает, что между посылками и заключением нет отношения логического следования. Здесь еще раз уместно подчеркнуть, что правильность умозаключения определяется формой умозаключения, а не истинностью входящих в него утверждений. Иначе говоря, анализируя правильность рассуждения, нужно помнить о том, что его правильность не совпадает с истинностью полученного заключения. Схема умозаключения — это и есть то, что изучает логика, а истинность утверждений, входящих в рассуждение, — это прерогатива той науки (или практики), откуда взяты эти утверждения. Развивая эту мысль, можно заметить, что и термин «следует» употребляется в разных смыслах. Важно понимать существенное различие между следованиями:
Первое — утверждение логики, т.е. логическое следование, второе — как свойство отношения порядка в каком-то числовом множестве, есть некое математическое следование (т. е. следование в рамках некоторой математической теории). Мы придем к подробному рассмотрению этой связи в гл. 6 при уточнении понятия доказательства.
Итак, неправильность рассмотренной схемы рассуждений приводит к тому, что относительно исходного предположения нельзя сделать вывод о его истинности: оно может быть как истинным, так и неистинным, причем его истинность или ложность никак не связаны с проведенным рассуждением. Этот же вывод подтверждает математическая логика: логическое следование несправедливо, потому что формула не является тавтологией (проверьте!).
Тем не менее рассуждения по указанной схеме нередко встречаются в школьной практике, особенно в алгебре и тригонометрии. Так, при доказательстве тождества рассуждения начинаются именно с этого тождества: обе его части преобразуют так, что оно превращается в некоторое очевидное тождество. После этого делается заключение о том, что исходное тождество верно. Узнаете рассмотренную схему? Например, при доказательстве тригонометрического тождества
можно встретить такие рассуждения. «Умножим обе его части на . Получим:
Сгруппируем слагаемые в правой части:
Продолжим группировку в правой части:
Поделим обе части на . Получим: — известное тождество. Отсюда делается вывод, что исходное тождество доказано».
В данном случае правильным доказательством будет проведение рассуждений в обратном направлении, от известного (очевидного) тождества к исходному, данному тождеству. Эти рассуждения-преобразования здесь проделать можно и тем самым действительно доказать данное тождество. Но нередко умозаключение по такой неверной схеме приводит к ошибкам, т.е. к ложным утверждениям. Такие рассуждения иногда относят к разряду занимательной математики, где они получили название «парадоксов» или «софизмов».
Пример 7.13. Рассмотрим пример софизма. Докажем, что . Из чисел 3 и 7 вычтем одно и то же число 5. Получим: . Возведем числа -2 и 2 в квадрат. В результате получим равные числа: и . Следовательно, должны быть равны и исходные числа: .
Ясно, что полученное заключение ложно. Проанализируем проведенное рассуждение, чтобы обнаружить допущенную ошибку. Рассуждение состоит из трех шагов. Выделим эти шаги более отчетливо.
Первый шаг (вычитание из целых чисел 3 и 7 целого числа 5). Первая посылка «Если и — целые числа, то их разность а — b существует и есть число целое». Вторая посылка «Числа 3 и 5 (а также 7 и 5) — целые». Заключение «Разности и существуют, и «.
Данное умозаключение сделано по правилу modus ponens : и потому является правильным.
Второй шаг (возведение чисел –2 и 2 в квадрат). Первая посылка «Если число а целое, то его квадрат существует и является неотрицательным целым числом». Вторая посылка «Число –2 (а также число 2) — целое». Заключение «Квадраты чисел –2 и 2 существуют, причем и «.
Умозаключение и здесь сделано по правилу modus ponens : , и потому и на этом шаге рассуждения ошибка не допущена.
Третий шаг (заключение о равенстве чисел 3 и 7). Первая посылка «Если целые числа равны, то равны и их квадраты». Вторая посылка «Квадраты целых чисел –2 и 2 равны: «. Заключение «Равны сами числа –2 и 2, т. е. , т. е. «.
На данном этапе рассуждения умозаключение сделано по схеме: , которая не является правильной. Следовательно, в этом умозаключении сделана логическая ошибка, которая и привела к ложному выводу, несмотря на то что исходили мы из всех истинных посылок.
Второй распространенный тип неправильных рассуждений выглядит так. Мы исходим из некоторого неверного предположения и, правильно рассуждая, приходим к некоторому выводу. Отсюда делаем заключение, что полученный вывод неверен. С точки зрения математической логики схема этого рассуждения такова: из истинности утверждений и делается вывод об истинности утверждения . Следующие два примера рассуждений, основанных на этой схеме, позволяют ответить на вопрос о ее правомочности.
Пример 7.14. «Если число натуральное, то оно рациональное . Число не натуральное . Следовательно, число не рациональное «.
Пример 7.15. «Если число натуральное, то оно рациональное . Число не натуральное . Следовательно, число не рациональное «.
В каждом из этих рассуждений обе посылки являются истинными утверждениями. Но в первом случае мы приходим к ложному заключению (число — рациональное), а во втором — к истинному (число нерациональное). Это снова означает, что неверной является сама схема построения умозаключения, примененная в этих примерах, т. е. эта схема при всех истинных посылках не обязательно дает истинное следствие. Вывод, основанный на примерах, подтверждается математической логикой: из формул и не следует формула , в чем нетрудно убедиться, проверив, что формула не является тавтологией.
Источник
