Индукцию принято подразделять на полную и неполную; последняя в свою очередь распадается еще на две разновидности. Кроме того, имеется также научная индукция.
Тема №15. Умозаключение.
Сложная деструктивная дилемма имеет такую же первую посылку, как и сложная конструктивная. Но во второй посылке отрицаются следствия. Поэтому в целом умозаключение отрицает оба основания в первой посылке
a => b, c => d.
-b /\ -d .
a /\ c.
Если случается пожар, то вызывают пожарных, если случается
несчастный случай, то вызывают скорую помощь, но не было вызова
ни пожарных, ни "скорой". Значит, не было ни пожара, ни несчастного
случая.
1. В условно-разделительных умозаключениях вывод можно делать либо от наличия основания к наличию следствия, либо от отсутствия следствия к отсутствию основания.
2. Во второй посылке, которая является разделительным суждением, должны быть полностью перечислены все альтернативы.
3. Разделительная посылка обязательно должна быть выделяющей (иметь смысл строгой дизъюнкции).
Разделение дилемм на конструктивные и деструктивные зависит от того, утвердительное или отрицательное суждение получается в ее заключении. Но надо помнить, что мы излагали теорию, которая создается для случая утвердительных суждений в посылках. На деле они могут быть и отрицательными тоже. Поэтому, как и в условно-категорических и разделительных умозаключениях, деление выводов на отрицательные или утвердительные тоже производится только относительно силлогизма: они утверждают (или отрицают) то, что содержится в посылках. И когда такая посылка выражается отрицательным суждением, то, попадая в заключение, она и его делает отрицательным, хотя бы даже дилемма была построена по конструктивной схеме.
В силу того, что в условно-разделительных силлогизмах соединяются условные и разделительные посылки, то для получения с их помощью истинных выводов надо придерживаться тех же правил, что разработаны для условно- и разделительно-категорических силлогизмов.
Имеются и более сложные условно-разделительные силлогизмы. Они получаются тогда, когда принимается во внимание больше альтернатив, чем две. В таком случае умозаключения называют трилеммами, тетралеммами и т.д.Мы приведем для примера лишь простую конструктивную тетралемму.
Если на собрании выступит Иванов, то он не поддержит предложение, Петров и Сидоров тоже, но выступят только или Иванов, или Петров, или Сидоров. Следовательно, предложение не будет поддержано.
Другие виды трилемм и тетралемм могут быть построены аналогично. Вообще могут быть и другие сочетания условных и разделительных суждений в умозаключениях. Более того, даже приведенные здесь дилеммы могут быть немного изменены по структуре. И в разных учебниках они, особенно деструктивные, задаются каждый раз с какими-нибудь отклонениями. Но в принципе и те, и другие, и третьи одинаково соответствуют законам мышления. Просто все их перебрать очень трудно и вряд ли нужно.
План:
15. 1. Индуктивные умозаключения.
15. 2. Полная индукция.
15. 3. Неполная индукция.
15. 1. Индуктивные умозаключения
Дедуктивное умозаключение переносит общие положения на какие-нибудь частные случаи. Они поэтому предполагают заранее известными те исходные суждения, которые играют роль общих посылок. Индукция же, наоборот, отправляясь от наблюдения отдельных предметов, от изучения единичных фактов, анализа разрозненных явлений, приводит к установлению общих положений. Короче, в индукции мысль движется от частностей к общим закономерностям.
Индукция - это умозаключение, в результате которого на основе знания об отдельных предметах какого-либо класса делается вывод обо всем классе этих предметов.
Наблюдение природных явлений и обобщение полученных результатов представляют собой один из самых распространенных методов постижения окружающего мира. Факты наталкивают человека на общие закономерности, наводят на них. Поэтому Аристотель называл этот вид умозаключения наведением (индукция - латинский перевод этого слова). Через индукцию люди выявили очень много полезных качеств у вещей. Например, уже в очень отдаленные времена они определили целительные свойства различных веществ. У многих народов имеются выверенные веками приметы о погодных явлениях в своей местности, накоплены знания о повадках животных, об особенностях растений и о многом другом. Результаты такого первичного изучения порой просто поражают глубиной своего проникновения в суть вещей. Древние египтяне, например, додумались, что курица высиживает яйца теплом своего тела, и сделали отсюда обобщающий вывод о том, что эту функцию может выполнять тепло любой другой природы; вдобавок, не имея термометров, они умудрились все-таки зафиксировать нужную им температуру с помощью специальной жировой смеси и сделали, таким образом, первые инкубаторы.
Научное познание использует индукцию, опираясь на специальные методики и процедуры. На основе правильно построенных дедуктивных умозаключений получено много общих научных положений и законов. Длительное наблюдение и тщательный анализ теплоты в самых разных ее проявлениях привели ученых к фундаментальному выводу: теплота есть вид движения материи. Следующим шагом наука сделала еще более широкий вывод о переходе всех форм движения друг в друга, сформулировав закон сохранения и превращения энергии.
По структуре индукция выглядит как простой перебор предметов определенного рода:
Ворона насиживает яйца.
Сорока насиживает яйца.
Галка насиживает яйца.
Грач насиживает яйца.
Сойка насиживает яйца.
Все перечисленные птицы относятся к семейству вороновых.
Вывод: все вороновые насиживают яйца.
Заключение, таким образом, приписывает всем особям данного рода признак, который отмечен у его отдельных представителей. В этом месте может возникнуть вопрос: вправе ли мы делать вывод обо всех вороновых, если перечислили только какую-то часть их? Утвердительный ответ тут, разумеется, более чем сомнителен. Строго говоря, для того чтобы на него отважиться, надо было бы опираться на гораздо более широкую базу данных или же, в противном случае, ограничить наше утверждение только каким-то одним видом вороновых. Вывод в таких умозаключениях, как правило, вероятностный. Тем не менее, нам очень часто приходится делать обобщения обо всей совокупности, опираясь на знание лишь части ее. Объясняется это отчасти тем, что индуктивные выводы могут быть и достоверными. Отчасти же дело в том, что в любом случае индукция вскрывает преобладающую черту у предметов данного рода. И полученный нами вывод является как раз именно таким, ибо кукушки с их гнездовым паразитизмом тоже относятся к вороновым. Из-за этого общее правило для этих птиц иногда нарушается, хотя все равно его нельзя считать полностью неверным.
Самой простой разновидностью индуктивного процесса является полная индукция. В этом случае перечисляются все без исключения предметы данного класса. Заключение суммирует итог. Так, вывод о том, что все планеты Солнечной системы светят отраженным светом, астрономы сделали на основе наблюдений. Поскольку при этом они перебрали все планеты, обращающиеся вокруг Солнца, то сделанный ими вывод, конечно, совершенно достоверен.
С полной индукцией весьма часто приходится сталкиваться в повседневной практической деятельности. Мы можем делать обобщающие выводы о цене на разнообразные товары такого-то предприятия, о морозных днях на прошлой неделе, об этажности зданий в данном квартале. В истинности таких обобщений не приходится сомневаться, если посылки верны и ничего не упущено. Наука тоже использует такие умозаключения.
Совершенно достоверные выводы получаются также с помощью так называемой математической индукции. Она применяется к математическим выражениям или к высказываниям, записанным в виде формул, разработанных в символической логике, причем к таким, в которые входит натуральное число n. Иногда можно показать, опираясь на математические методы, что выражения, содержащие n, сохраняют свою силу при замене n на (n+1). Когда это удается, то отсюда делают вывод, что, следовательно, выражение верно при любом числе на месте n. Обычно такой прием используется для формул, которые легко установить только при небольших числах n (скажем, возможное число сочетаний по два, по три). Затем по методу математической индукции распространяют формулу на все возможные комбинации вообще. Положение о связи выражений, содержащих n и (n+1), называют аксиомой математической индукции. С учетом роли этой аксиомы такую схему рассуждения следует скорее отнести к дедуктивным. Сходство ее с индукцией лишь внешнее.
