Название науки происходит от греческого слова Logos речь, мысль, разум, слово
Вид материала | Закон |
- Теоретический курс: Что означает термин «логика» Каковы объект и предмет логики, 632.78kb.
- Закон исключения третьего и закон достаточного основания, 204.59kb.
- План характеристика основных этапов технологического процесса Технологические операции, 234.25kb.
- Современное название древнейшей монотеистической религии мира, 345.41kb.
- Слово "логика" происходит от древнегреческого "логос", имеющего значения: слово, наука,, 280.22kb.
- Социология как наука. Объект и предмет социологии. Место социологии в системе, 67.7kb.
- Роль формальной логики в формировании логической культуры юриста, 182.06kb.
- Сикорская Галина Петровна, 61.78kb.
- Слово «существование» («экзистенция») происходит от латинского слова буквально означающего, 365.95kb.
- Г. П. Сикорская доктор педагогических наук, профессор, 55.88kb.
Деление по видообразующему признаку заключается в том, что родовое понятие расчленяется на видовые по различным критериям основания. Так, объём понятия «война» подвергается в науке различным делениям: по критерию политико-моральной и правовой оценки - на справедливые и несправедливые; по масштабу - на мировые и локальные; по продолжительности - на скоротечные и затяжные; по характеру применяемого оружия - на обычные и с применением ОМП; по количеству участников на двусторонние и коалиционные и т.д.
При отсутствии установленного основания деления пользуются приёмом дихотомии (деление надвое), т.е. расчленение родового понятия на два противоречащих видовых. Например: государство (федеративное -не федеративное); рефлексы (условные - безусловные); мир (справедливый - несправедливый); специалисты(инженеры – не инженеры) и т.д.
Особой разновидностью деление является классификация, т.е. распределение предметов по группам и подгруппам, классам и подклассам; система и подсистема. Например, в зоологии и ботанике члены деления животного и растительного мира закреплены на постоянные места в качестве типа – класса – отрада – семейства – рода – вида. В зависимости от источника энергии электростанции делят на ГЭС, гелиоэлектростанции, геотермальные и ветровые ТЭС (к разновидностям ТЭС относят АЭС).
Построенная на научной основе классификация имеет большое познавательное и практическое значение, служит средством для обнаружения закономерностей развития различных областей объективной реальности. Научно обоснованная классификация может сыграть важную роль в обогащении наших знаний, помочь предвидеть зарождение новых научных направлений и, тем самым, осознанно управлять процессом отражения действительности.
Логическое деление понятий предполагает соблюдение необходимых правил.
1. Деление должно быть соразмерным, т.е. общий объём членов деления должен равняться объёму делимого родового понятия. Это правило гарантирует от двух возможных ошибок: неполного (с остатком) или обширного (с избытком) деления. Например, деление понятия «движение» на механическое, физическое, химическое, биологическое будет не полным остатком; деления же понятия «химические элементы» на металлы, не металлы и сплавы будет с избытком. Здесь лишняя часть - «сплавы», а сумма объёмов понятий «металл» и «не металл» исчерпывает объём понятия «химический элемент».
2. В каждом акте деления необходимо применять только одно основание. Лишь переходя к следующей ступени деления надлежит менять основание, по которому оно осуществляется. При нарушении этого правила теряется стройность деления, возникает путаница вроде того, что транспорт делится на наземный, водный, воздушный, транспорт общего пользования, транспорт личного пользования, ибо неизменна ошибка «подмена основания», т.е. деление произведено не по одному основанию.
3. Члены деления должны исключать друг друга. Согласно этому правилу члены деления должны быть соподчиненными понятиями, их объёмы не должны перекрещиваться. Соблюдение данного правила обеспечивает основательность деления и, соответственно, его нарушение приводит к потере основания деления. Примером подобного нарушения явилось бы деление дробей на десятичные, правильные, неправильные, или деление литературы на популярную, научную и передовую.
4. Деление должно быть последовательным, т.е. делимое понятие должно представлять ближайший род для членов деления, а члены деления должны быть непосредственными видами делимого понятия. Примером нарушения этого правила будет деление самолетов на транспортные, спортивные, санитарные, истребители, бомбардировщики, разведчики. При таком делении выпало промежуточное звено - гражданские и военные самолеты, непосредственными видами которых являются выше указанные классы.
Все эти правила имеют своё основание в объективной действительности - в материальном единстве, качественном многообразии и диалектически противоречивой взаимосвязи окружающих нас предметов и явлений. Поэтому нарушение логических отношений между понятиями ведет к несоответствию наших мыслей, объективному ходу вещей.
2.2. Суждение
Процесс мышления - это рассуждение. Познавая какую - либо вещь или рассказывая о ней, мы характеризуем эту вещь с различных сторон, что - то утверждаем или отрицаем в ней. Мысля, мы рассуждаем, т.е. высказываемся о вещах суждения.
Суждение есть мысль, в которой что - либо утверждается или отрицается в данном предмете, его связях, свойствах и отношениях. Например, советские альпинисты осуществили восхождение на Эверест; некоторые деревья не являются лиственными.
В каждом суждении различают понятие о предмете мысли, которое называется субъектом (subiectum) и обозначается латинской буквой S , и понятие б свойствах и отношениях, наличие которых утверждают или отрицают в суждении. Такое понятие называется предикатом (ргеdicatum) и обозначается буквой Р. Субъект и предикат называются терминами суждения. Отношение между предметом мысли и его свойствами выражается связкой «есть» - «не есть», «является» - « не является», «бывает» - « не бывает», «представляет» - «не представляет» и т.д.
Связка, характеризует взаимосвязь субъекта и предиката, является отражением реальных отношений между предметами и свойствами материальной действительности. Именно связка придаёт суждению его логическую характеристику утверждения или отрицания.
Перед субъектом суждения иногда стоит кванторное слово: «все» или «ни один» , или «некоторые», кванторное слово показывает, относится ли суждение ко всему объёму понятия, выражающего субъекта, или его части. Таким образом, каждое суждение состоит из трёх элементов: субъекта, предиката и связки. У некоторых суждений имеется четвёртый элемент квантор. Состав суждения можно выразить формулой: «S есть Р» или «S нe есть Р» . Любое суждение сводится к этой формуле например: «принципы внешней политики РФ, принятые на заседании гос. Думы РФ, вызвали огромный международный резонанс»; «В современной обстановке пока еще не исчезли источники внешней агрессии и войн».
Суждение в безличном предложении может быть выражено одним словом, например: «светает», «бомбят», «моросит». В таких предложениях наличествует только сказуемое, а понятие о предмете мысли подразумевается, оно не выражено специальным словом. Предикат же обязательно находит выражение в особом слове или группе слов. Если оставить не выраженным предикат, тогда не будет суждения, а только отдельные понятия.
Суждение, как и понятие, находит свое материальное воплощение в словах, в устной или письменной речи. Выраженное словами, оно составляет грамматическое предложение. Предложение - это грамматическая форма суждения, а суждение - логическое содержание предложения.
Однако логический строй мысли и грамматическая форма речи могут не соответствовать друг другу. Подлежащее в предложении должно состоять в именительном падеже, а для выражения субъекта суждения это не обязательно. Предложение включает так называемые второстепенные члены, а все элементы суждения входят в состав субъекта и предиката. Например: «Воинская служба в рядах Вооруженных Сил РФ является почетной обязанностью гражданина РФ». Грамматическое выражение его будет состоять из подлежащего (служба), сказуемого (является) и ряда поясняющих слов предложения. С точки зрения логического состава, понятием о предмете мысли в этом суждении будет «воинская служба в рядах Вооруженных Сил РФ», а предикатом – «почетной обязанностью Российских граждан».
Многие побудительные предложения, например, строевые команды, призывы, не являются суждениями: «встать!», «смирно!», «в атаку!», «ни шагу назад!». Не являются суждениями также вопросительные предложения так как они не поддаются логическому анализу. Можно говорить лишь о правильно или неправильно сформулированных вопросах. Например: «Кто водрузил Знамя победы над Рейхстагом в мае 1945 года?». Здесь нет предикатов, хотя вопрос по существу сформулирован правильно (кто-то водрузил Знамя победы над Рейхстагом). Напротив, вопрос: «кто создал вечный двигатель?» - поставлен неправильно, так как оно предполагает ложное суждение «кто-то создал вечный двигатель»; в то время как вечный двигатель принципиально не возможен.
Как видим, наши высказывания разнообразны по своему содержанию. Их не представляется возможным охватить единой формой мышления, хотя бы и такой общей, как суждение, Под него не подходят полностью все оттенки структурных особенностей человеческой мысли.
В зависимости от того, что утверждается или отрицается в предмете, суждения бывают трех видов.
Атрибутивные суждения (от лат. Attributum - признак) – утверждают или отрицают наличие признака например: «РФ многонациональное государство».
Суждения отношений утверждают или отрицают наличие определенных отношений. Например: «Киев южнее Москвы», «пять больше трех».
Суждения существования утверждают или отрицают факт наличия предметов. Например: «отцы старше своих детей», «Бога как объекта материальной действительности нет».
Элементарная логика рассматривает преимущественно атрибутивные суждения.
Они являются наиболее употребительными во всех логических операциях. По различным критериям выделяют следующие виды атрибутивных суждений.
По качеству связки: утвердительные и отрицательные. Утвердительные суждения отражают наличие какого-либо признака у предмета: S есть Р. Например: «Мир находится в непрерывном движении».
Отрицательные суждения отражают отсутствие какого либо признака у предмета: S не есть Р. Например: «угроза развязывания войны ультраправыми, реакционными силами еще не перестала быть реальностью сегодняшнего дня.
По качеству отображаемых предметов: единичные, частные, общие. В единичном суждении что-либо утверждается или отрицается о каком-то одном отдельном предмете, имеющем собственное имя, или о классе предметов, рассматриваемых как единое целое. Например: «Эверест – высочайшая вершина мира», «Суворов - великий полководец».
В общих суждениях что-либо утверждается или отрицаются обо всем классе предметов все S есть Р; ни одно S не есть Р. Например: «все граждане РФ имеют право на свободу совести», «ни один прогрессивный человек не стремится к войне».
По суммарному критерию качества связки и количества отражаемых предметов суждения бывают: общеутвердительные (все студенты нашей группы отличники); частноутвердительные («некоторые студенты являются спортсменами первого класса); общеотрицательные (ни один студент нашей группы вчера не ходил в кино»);
В частных суждениях что-либо утверждается или отрицается о части предметов данного класса: некоторые S есть (не есть) Р. Часть может быть определенной или не определенной. Соответственно частные суждения бывают определенные: некоторые S есть Р. Например: «некоторые приговоры суда являются обвинительными». Неопределенные: по крайней мере некоторые S есть Р. Например: «некоторые выпускники университета будут руководителями производств».
частноотрицательные («некоторые критические выступление делегатов на Заседании Государственному Думы РФ не являются конструктивными по своему содержанию»).
В логике принято обозначать общеутвердительные суждения лат. буквой «А», а частноутвердительные - буквой «И» (от лат. Affirmo утверждаю). Соответственно, общеотрицательные суждения обозначаются буквой «Е», а частноотрицательные - «О» (от лат. Nego - отрицаю).
По характеру логических отношение суждения подразделяются на категорические, условные, разделительные.
Категорическое суждение - такое, в котором выражено значение о принадлежности или отсутствии признака предмета без учета конкретных условий: S есть (не есть) Р. Например: «РФ занимает 1/6 часть суши», «атом делим».
Условное суждение - такое, в котором наличие или отсутствие признака выражено в зависимости от конкретных условий. Это сложное суждение, состоящее из нескольких субъектов и предикатов, связанных логическим союзом «если ... то». При этом одно из суждений является логическим основанием, а другое - логическим следствием. Формула суждения выглядит следующим образом: «если S есть Р, то S1 есть Р1».
К условным суждениям мы прибегаем тогда когда раскрываем зависимость явлений от условий существования, когда знание об одном факте служит для доказательства истинности другого факта. Например: «если поставщики во время поставят детали, то производство выйдет из кризиса» «новое политическое мышление - условие оздоровления современной международной обстановки», «если студент сдал все экзамены и практику на отлично, то он получает диплом с отличием».
Разделительное суждение - такое, в котором утверждение или отрицание признака того или иного предмета носит альтернативный характер: S есть или Р, или P1 или Р2. При этом выделяют соединительно - разделительные суждения : (это преступление совершил или К, или М, или К) и исключительно - разделительные суждения (цель оказалась не уничтоженной по причине низкого технического состояния комплекса, или слабой обученности личного состава, или недостатков в управлении). Такие суждения применяются в науке при выдвижении гипотезы, в следственной практике - при выдвижении версии, в военном деле - при оценке обстановки, когда высказываются предположения о возможных вариантах действий противника.
Суждения подразделяется также по модальности (от лат. modus- образ действия, наклонения, мера; от лат. Modus vivendi - образ жизни, образ взаимных отношений), т.е. в зависимости от характера знаний, которые отражены в суждении: истинных или ложных, достоверных или вероятных.
В рассмотренных выше случаях речь шла об отношениях между терминами в одном суждении. Но в логике анализируются также отношения между различными суждениями. В связи с этим выделяют совместимые и несовместимые суждения.
Совместимые суждения подразделяются по видам отношений на отношения равнозначности и подчинения.
Отношения равнозначности характеризуют связь суждений, выражающих одну и ту же мысль в различной форме. К такому приёму мы час
то прибегаем в тех случаях, когда надо более глубоко, убедительно, всесторонне раскрыть содержание мысли. Например: «Создание диалектического и исторического материализма есть революционный переворот, со
вершенный К. Марксом, Ф. Энгельсом, В. И. Лениным в философии», «Марксистская философия - это качественно новая ступень в развитии философии».
Отношения подчинения характеризуют связь общеутвердительных и часто утвердительных, а также общеотрицательных и частноотрицательных суждений, из которых одно является подчиненным, а другое - подчиняющим. При этом, в зависимости от различного характера этих связей, подчиненные суждения могут быть истинными или ложными. Соотношение истинности или ложности подчиненных суждений определяется следующими правилами.
Истинность общего суждения определяет истинность подчиненного частного суждения, но ложность общего оставляет частное суждение неопределенным. Например: «все агрессоры — преступники» (истинно), «Некоторые агрессоры - преступники» (истинно); но «Все войны справедливы» (ложно), «Некоторые войны справедливы» (истинно), «Ни одна война ни есть справедливая» (ложно).
Ложность частного суждения обуславливает ложность подчиняющего общего суждения, но истинность частного оставляет общее суждение неопределенным. Например: «Некоторые животные организмы могут существовать без обмена веществ» (ложно).
Ложность частного суждения обуславливает ложность подчиняющего общего суждения , но истинность частного оставляет общее суждение неопределенным. Например: «Некоторые животные организмы могут существовать без обмена веществ» (ложно); «все животные организмы могут существовать без обмена веществ» (ложно); но «Некоторые граждане капиталистических государств - милитаристы» (истинно), «все граждане капиталистических государства – милитаристы (ложно); «некоторые противники мира - реакционеры» (истинно), «все противники мира - реакционеры» (истинно).
Несовместимые суждения подразделяются по видам отношений на отношения контрарности (противоположности), подконтрарности (противоположности), контрадикторности (противоречия).
Отношения контрарности характеризуют связь между общеутвердительными и общеотрицательными суждениями. Контрарные суждения не могут быть одновременно истинными, но они могут быть одновременно ложными. Например: «все начальники производства – инженеры » (истинно), «ни один начальник производства не инженер» (ложно); но «все свидетели говорят правду» (ложно), «ни один свидетель не говорит правду» (ложно).
Отношения подконтрарности характеризуют взаимосвязь частноутвердительных и частноотрицательных суждений. В отличии от контрарных суждений они могут быть одновременно истинными, но не могут быть одновременно ложными . Например: «Некоторые реактивные снаряды управляемые» (истинно), «Некоторые реактивные снаряды неуправляемые» (истинно); но «некоторые формы движения материи неспособны к взаимопревращениям» (ложно), _«некоторые формы движения материи способны к взаимопревращениям» (истинно).
Отношения контрадикторности характеризуют связь между общеутвердительными и часто отрицательными , а также между частноутвердительными и общеотрицательными суждениями. Суждения в отношении противоречивости не могут быть одновременно истинными или ложными. Например: «все преступления - действия, влекущие применение уголовного права» (истинно), «некоторые преступления не являются действиями, влекущими применение уголовного права» (ложно). Часто в диалоге для того , чтобы показать неверность какого либо утверждения, пытаются выдвинуть положения прямо противоположные. Допустим, кто-то утверждает, что ни одно преступление не является умышленным. Для опровержения этой мысли не следует выдвигать противоположное суждение: все преступления являются умышленными. Как уже было сказано, общеутвердительные и общеотрицательные суждения могут быть одновременно ложными. Так оно и является в данном случае, ибо истина в том, что некоторые преступления являются умышленными, а некоторые не являются таковыми. Поэтому предпочтительнее поставить суждения отношения контродикторности. В приведенном примере достаточно доказать, что некоторые преступления являются умышленными и тем самым опровергнуть исходный тезис, будто ни одно преступление не является умышленным. Ведь в отношении контродикторности частноутвердительные и общеотрицательные суждения не могут быть одновременно истинными. Противоречащее суждение в диалоге, споре дает более сильную позицию, чем противоположные суждения.
Все виды отношений между сравнимыми суждениями (кроме равнозначащих) можно выразить единой схемой, которая в логике принято называть «логическим квадратом», (рис.9)
контрарность
А
O
Е
I O
подконтрарность
Рис. 9
Здесь наглядно представлено всё разнообразие логических отношении между основными видами суждений, символы которых (А,Е,О,I) расположены по углам квадрата. Сопоставляя последовательно все эти отношения с их графической моделью, можно более четко усвоить соотношение истинности и ложности совместимых и
несовместимых суждений.
2.3. Умозаключения
Знания людей по своему происхождению делятся на непосредственные, почерпнутые из опыта, и опосредствованные, выводные. В процессе отражения действительности огромную роль играет именно выводное знание, в котором особенно ярко раскрывается активность человеческого разума. Основной логической формой опосредствованного мышления служит умозаключение.
Умозаключение - такая форма мышления, посредством которой из одного или нескольких суждений с необходимостью выводится новое знание о предметах реального мира. Логический акт умозаключения состоит в движении мысли от одних суждений и понятий к другим, от известного к неизвестному. Возможность правильного вывода из достоверных суждений обусловлена объективными отношениями между предметами и явлениями. Признав, например, что все металлы электропроводны и что ртуть является металлом, мы с необходимостью должны признать, что ртуть также электропроводна.
Во всяком умозаключении различаются три составных элемента: 1) исходное знание (посылки); 2) обосновывающее знание (логическое основание вывода); 3) вывод (заключение). Истинность вывода зависит от истинности посылок и логической правильности их связи. «Если наши предпосылки верны и если мы правильно применяем к ним законы мышления, - писал Ф. Энгельс, - то результат должен соответствовать действительности …» /1, с. 629/.
По степени общности посылок и вывода, умозаключения делятся на три группы: дедуктивные, индуктивные и традуктивные (по аналогии).
Дедукция - такое умозаключение, в котором мысль идет от большей к меньшей общности знаний. Посылками дедуктивного умозаключения могут быть суждения всех типов логических союзов - категорические, разделительные, условные суждения или разнообразное их сочетание, определяющее характер вывода. В соответствии с этим дедуктивные умозаключения бывают: категорические, разделительно-категорические, условно-категорические и условно-разделительные.
Наиболее распространенной разновидностью дедуктивных умозаключений является категорический силлогизм (от греч. Syllogismos - сосчитывание).
Силлогизм - это дедуктивное умозаключение, в котором из двух категорических суждений-посылок, связанных общим термином, получается третье суждение - вывод. Например: «Все планеты светят отраженным светом. Земля - планета. Следовательно, Земля светит отраженным светом». Вывод этого силлогизма представляет собой простое категорическое суждение, в котором объем предиката (тела, способные отражать свет) шире объема субъекта (Земля). В силу этого предикат вывода называется большим термином, а субъект вывода - меньшим термином. Соответственно этому посылка, в которую входит предикат вывода, т.е. больший термин, называется большей посылкой, а посылка с меньшим термином, субъектом вывода, называется меньшей посылкой силлогизма.
Третье понятие «планета», посредством которого устанавливается связь между большим и меньшим терминами, называется средним термином силлогизма и обозначается символом М (medium - посредник). Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина - быть связующим звеном между крайними терминами, между субъектом и предикатом вывода. Общая схема силлогизма выглядит следующим образом:
или S—M—P
S-Р S-Р
Знать этот путь движения мысли в силлогизме необходимо, но не достаточно. Для получения правильных выводов чрезвычайно важно учитывать соотношение объёмов терминов Р., М., S. Истинность выводов в силлогизме основана, прежде всего, на объективном соотношении рода и вида. Если это требование не соблюдается , то вывод ложен . Например ; из двух посылок «мораль есть форма собственного сознания» и «право не есть мораль» напрашивается вывод , что «право не есть форма собственного сознания». Хотя в этом силлогизме движение мысли формально логически осуществляется правильно, но вывод, тем не менее, получается ложный. Причина заключается в том, что во второй посылке объём понятия «мораль» шире, чем объём понятия «право», ибо последнее не ограничивается только юридическими нормами, а основывается также на принципах морали.
Аналогичную ситуацию можно проследить на примере другого силлогизма: «Все капиталисты - эксплуататоры. Помещики - не капиталисты». Напрашивается вывод: «помещики - не эксплуататоры». Но этот вывод также ложен , потому что первой посылке «все капиталисты эксплуататоры» не соблюдено соотношение объёмов. Понятие «эксплуататоры» значительно шире по объёму, чем понятие» «капиталисты»
Из сказанного можно сформулировать следующую аксиому силлогизма: всё, что утверждается относительно всего класса предметов, распространяется на любой предмет этого класса. Что верно относительно рода, то верно и относительно всех предметов или видов этого рода. И наоборот, что не присуще роду, то не присуще и видам, входящим в этот род.
Получение нового знания на основе категорического силлогизма подчиняется определённым правилам, которые в самом общем виде можно подразделить на две группы: правила терминов и правила посылок.
Правила терминов заключается в следующем.
1) В каждом силлогизме должно быть только три термина: больший, меньший и средний. Причем средний термин должен быть однозначен в обеих посылках. Если он теряет свою однозначность, то правильного вывода получить не возможно. Например: «Труд основа жизни». Ученье - труд. Следовательно, ученье - основа жизни». Этот абсурдный вывод обусловлен тем, что понятие «труд» в каждой посылке употребляется неоднозначно: один раз как социологическая категория, а другой - как частое проявление целесообразной общественно полезной деятельности людей.
2) Средний термин должен быть распределен, т.е. взят в полном объёме, хотя бы в одной из посылок. Для этого он должен быть или субъектом общего суждения, или предикатом отрицательного суждения. Если же средний термин взят в полном объеме в обеих посылках, то он не сможет выполнить свою роль связующего звена, вследствие этого правильного вывода не получится. Например, в посылках «некоторые растения» белые грибы- растения средний термин нераспределен ни в одной из посылок. Поэтому сделать вывод, есть ли ядовитые белые грибы не представляется возможным.
3) Термин, не распределенный в посылках, не может быть распределен в заключении. Из общих суждений - посылок: «все гаубицы стреляют навесным огнем» и «все гаубицы - артиллерийские орудия» нельзя получить в качестве вывода общее суждение. Меньший термин во второй посылке «артиллерийские орудия» не распределен. Следовательно, в выводе его нужно брать в полном объёме: « некоторые артиллерийские орудия стреляют навесным огнём».
Правила посылок заключаются в следующем:
1) Из двух частных посылок невозможно сделать вывод. В этом случае нельзя установить объёмные отношения между терминами силлогизма, вследствие чего определенный вывод не получится. Например, из ПОСЫЛОК: «некоторые животные пресмыкающиеся» и «некоторые организмы – животные» ни какой определенный вывод не следует.
2) Если одна посылка частная, то вывод будет частный. Из посылок: «все спекулянты подлежат наказанию» и «некоторые люди спекулянты», следует лишь частное заключение «некоторые люди подлежат наказанию».
3) Из двух отрицательных посылок нельзя сделать вывод. В этом случае все термины исключают друг друга, устраняя всякую объемную взаимосвязь между ними. Из посылок: "Ни одна планета не светит собственным "светом" и "Искусственный спутник не есть планета" - никакого вывода не следует.
4) Если одна посылка отрицательная, то и вывод будет отрицательный. Например: "Всякое подлинно народное движение - прогрессивно. Национализм - не есть прогрессивное движение. Следовательно, национализм не есть подлинно народное движение".
Таковы общие правила, которыми нужно руководствоваться при оперировании категорическими дедуктивными умозаключениями. Но истинность или ложность вывода зависят не только от соблюдения указанных правил. На возможность и характер вывода влияет также положение терминов в схеме силлогизма, а, следовательно, и путь движения мысли от посылок к выводу. В зависимости от положения среднего термина, а также от количественной и качественной характеристики посылок, существует различные фигуры и модусы силлогизма. Но в данном учебном пособии они не рассматриваются. Ознакомление с ними и более глубокое их изучение слушатели могут осуществить самостоятельно в соответствии с личной заинтересованностью и планом индивидуального обучения.
В повседневной речи нередко высказывают силлогизм не в развернутом виде, а сокращенно, опуская одну из посылок или заключение. Такой сокращенный силлогизм называется энтимема (в уме). Например; "Великая Отечественная война советского народа была освободительная и поэтому справедлива" (опущена большая посылка "все освободительные войны - справедливы"). Аналогичный характер носило известное выражение: "Наше дело правое – мы победим".
Разновидностью категорического дедуктивного умозаключения является сложный силлогизм (полисиллогизм), т.е. сцепление ряда силлогизмов, когда заключение одного становится посылкой другого силлогизма и т.д. Общая формула полисиллогизма выглядит сведущим образом: М-Р; С - М; S-С ; С – Р; следовательно, S - Р. Например: "Все, люди сильной воли не боятся трудностей. Все смелые люди обладают сильной волей. Все смелые люди не боятся трудностей. Все участники боевых действий в Афганистане - смелые люди. Все участники боевых действий в Афганистане не боятся трудностей". Всякое научное мышление в развернутой или скрытой форме представляет собой полисиллогизм, вытекающий из целой системы умозаключений.
Отличают особый вид сложного силлогизма - сорит, состояли из сокращенных силлогизмов. В сорите приводится только последнее заключение, а все промежуточные опускаются. Общая формула сорита такова: А-В, В-С, С-Д; следовательно, А-Д. Например, вывод о том, что борьба за независимость Родины порождает массовый героизм, вытекает из ряда предшествующих ему и опушенных умозаключении: "Борьба за независимость Родины - справедливая борьба; справедливая борьба ставит воз возвышенные цели; возвышенные цели вызывают самоотверженность; самоотверженность порождает массовый героизм" и далее следует приведенный выше вывод.
Сложносокращенный силлогизм, в котором посылками служат энтимема, называется эпихейрема. Например: "Все социальные, революционные изменения - прогрессивны, ибо они отвечает назревшим потребностям общественного развития; НТР носит революционный характер. Следовательно, НТР - прогрессивна". Здесь находят обоснование не только вывод, но и каждая посылка. Эпихейрема сближает умозаключение с доказательством.
Другие разновидности дедуктивных умозаключений, а именно разделительно - категорические, условно - категорические и условно-разделительные также предлагается студентам, проявляющим интерес к логике, изучить самостоятельно.
Дедукция играет большую роль в нашей познавательной и практической деятельности. Рассуждения всегда принимают форму дедуктивного умозаключения, когда частное явление подводится под общее правило или из общего положения делается вывод относительно свойств отдельного предмета. Отражая объективную связь общего и отдельного, дедукция служит методом получения нового знания о предмете посредством нахождения его ближайшего рода и применения общего закона к данному предмету. Перенесение общих закономерностей на отдельные предметы углубляет познание конкретного, раскрывает его новые свойства и
отношения, обогащает наше представление о всеобщей связи явлений объективного мира.
Индукция (наведение) - это группа суждений, приемов, посредством которых от знаний отдельных фактов приходят к общим положениям, это выводное знание обо всем классе предметов в результате исследования отдельных предметов или явлений данного класса.
Основанием для индуктивных умозаключений служит наличие устойчивых связей и повторяемости явлений окружающего мира. Это дает возможность на основании отражения существенных признаков у единичных предметов делать умозаключение о наличия таких же признаков у всех остальных предметов данного рода. Например: "Карась дышит жабрами», «Щука дышит жабрами», «Окунь дышит жабрами»… Следовательно, «все рыбы дышат жабрами».
Схема мыслительного процесса в индуктивном умозаключении выглядит следующим образом: предметы А,В,С,Д имеют существенный признак Р; предметы А,В,С,Д принадлежат к одному классу S ; следовательно», все S есть Р.
Правильность и объективная обоснованность индуктивного вывода зависит от соблюдения двух основных требований.
I) Индуктивное обобщение прочно лишь тогда, когда оно ведется по существенным признакам, известной общностью иногда обладает и несущественные признаки, но если брать случайные свойства, то они не обладают повторяемостью и поэтому не могут стать предметом обобщения. Индуктивное умозаключение применимо и имеет познавательную ценность лишь тогда, когда установлены существенные, необходимые, повторяющееся признаки изучаемых явлений.
2) Индуктивное обобщение распространяется только на объективно сходные предметы. Поэтому важной задачей является точное определение принадлежности исследуемых явлений к единому классу, признание их однородности или однотипности. От этого зависит обоснованность обобщения признаков, выраженных в частных посылках.
Обобщение по случайным признакам единичных предметов, равно как и обобщение по общим признакам, но без тщательного уяснения их необходимости, служит главной причиной ошибок в индуктивном умозаключении, вплоть до всякого рода заблуждений, поверий, предрассудков.
Логический ход мысли и характер вывода в дедуктивном и индуктивном умозаключениях отличаются друг от друга.
В дедукции заключают от признаков рода к признакам вида и отдельных предметов этого рода (на основе объемных отношений между терминами). В индуктивном умозаключении - от признаков отдельных предметов к признакам всего рода или класса предметов (к объему этого признака). Отсюда вытекает ряд частных различий между индуктивными и дедуктивными умозаключениями: а) индуктивный вывод строится на множестве посылок; б) заключение возможно при всех отрицательные посылках; в) все посылки индуктивного умозаключения - единичные или частные суждения. В дедукции истинные посылки приводят к достоверным выводам, а в индуктивном умозаключении даже из верных посылок вывод получается вероятный, ибо истинность частного не определяет однозначно истинности общего. Дальнейшее исследование предметов может нарушить общее значение прежних индуктивных выводов. "Самая простая истина, - писал В.И. Ленин; - самым простым, индуктивным путем получения, всегда неполна, ибо опыт всегда незакончен" /2, с. 162/.
Тем не менее, индукция имеет большое познавательное значение. На основе изучения отдельных предметов и явлений, их свойств и причинно-следственных отношений делаются
теоретические обобщения, устанавливаются закономерности развития природы и общественной жизни.
По своему составу и характеру вывода индуктивные умозаключения делятся на полную и неполную индукцию.
Полной индукцией называется такое умозаключение, в котором общий вывод делается в результате, изучения всех предметов данного рода. Например: « В группе 15 студентов. Иванов – отличник, Сидоров - отличник, Попов - отличник, …Яковлев – отличник. Следовательно, группа – отличная.
В полной индукция признаки, обнаруженные в каждом явлении, переносятся на всю группу или класс предметов. Однако такой перенос правомерен только в том случае, если исследованы все явления данного класса. В противном случае нет достаточного основания для обобщения, и вывод может оказаться ложным.
Такая ошибка была обнаружена в индуктивном выводе о том, то все металлы тонут в воде, когда был выделен калий е его удельным весом, меньшим удельного веса воды.
Дедуктивные и индуктивные умозаключения являются логическим выражением диалектически противоречивых взаимосвязей между объектами материальной действительности. И, хотя дедукция и индукция противоположны по направлению движения мысли, однако между ними есть сходство. Полная индукция, более чем другие виды умозаключений, сходна с силлогизмом.
Во-первых, полная индукция, как и силлогизм, дает вполне достоверный вывод. Во-вторых, посылки и вывод полной индукции обычно являются атрибутивными суждениями принадлежности (предмета - классу, или одного класса - другому классу предметов) поэтому между ними существуют схемные отношения. В-третьих, полная индукция базируется на аксиоме дедукции, только взятой в перевернутом виде: все, что утверждается о каждом предмете данного класса, относится ко всему классу предметов. Несмотря на это, неправомерно смешивать силлогизм с полкой индукцией. Если в дедукции исходным является общее знание, то в индукции движение мысли идет в обратном направлении - от частного к общему. Неполной индукцией называется такое умозаключение, в котором общий вывод о признаках всего класса предметов делается в результате исследования лишь части предметов данного класса.
Чаще всего в жизни мы прибегаем именно к такому методу обобщения. К неполной индукции мы прибегаем в тех случаях, когда, во-первых, не можем рассмотреть все элементы, интересующего нас класса явлений; во-вторых, если число объектов либо конечно, но достаточно велико, либо бесконечно; в-третьих, рассмотрение уничтожает объект (например, «Все деревья имеют корни»). Тогда мы рассматриваем не все случаи изучаемого явления, а заключение делаем для всех. Сколько предметов охвачено исследованием и каков характер вывода должен быть - это важный теоретический и практический вопрос. В связи с этим выделяют два вида неполной индукции: популярную (через простое перечисление) и научную (через отбор).
Популярная индукция - такое умозаключение, в котором, исходя из повторяемости известного признака у однородных предметов и отсутствия противоречащего случая, делается общий вывод о принадлежности этого признака всем предметам того же рода.
Основанием для признания истинности вывода служит отсутствие противоречащего случая. Но как только такой случай появится - вывод окажется ложным. Например, до открытия Австралии. (начало XIX века) считалось общепризнанным, что все лебеди белого цвета, а все млекопитающие – живородящие. В Австралии же был найден лебедь черного цвета и млекопитающие - утконос и ехидна, кладущие яйца.
Индукция через простое перечисление - это ненадежный вид умозаключений. Здесь мы только констатируем некоторое наличие признаков и их повторяемость, но не можем объяснить причины этого постоянства, которое нередко оказывается весьма относительным.
Популярная индукция широко распространена в быту и нередко служит источником всякого рода примет, суеверий и предрассудков. Многие из них основаны на поверхностном наблюдении отдельных фактов, но взятых случайно, стихийно, без всякого методического отбора и без анализа объективных, причинно-обусловленных отношений. Противоречащие этим фактам случаи обычно выпадают из памяти, игнорируются, а совпадающие факты фиксируются, увеличивая количество "доводов" в пользу какого-либо предрассудка. Выводы индукции через простое перечисление, в котором не встречается противоречащих случаев, раскрывает отдельные связи явлений, но они нуждаются в последующем теоретическом обосновании и доказательстве.
Научная индукция - такое умозаключение, в котором на основе познания внутренней обусловленности известных признаков у части предметов делается общий вывод обо всех предметах того же класса. Это умозаключение через отбор, исключающий случайность обобщения. Здесь предметы исследования берутся не случайно, стихийно, как попались под руку, а методически отбираются таким образом, чтобы в результате самого отбора исключить случайность обобщения и получить вполне надежный вывод.
Широкое применение этот вид индуктивных умозаключений находит в области военного дела, например, при обобщении по определенной методике результатов испытания отдельных образцов оружия, результатов учений; в боевой обстановке при обработке данных разведки для уяснения состояния войск и замысла противника.
Характер вывода в научной индукции зависит от выполнения ряда требований, к числу которых относятся: 1) планомерный и методический отбор предметов для исследования; 2) установление их существенных признаков; 3) раскрытие внутренней обусловленности этих существенных признаков; 4) сопоставление полученного вывода с другими однотипными положениями науки с данной области знания.
Для выполнения этих требований нельзя ограничиваться простым наблюдением изучаемых явлений, а нужно активно вмешиваться в их ход, т.е. применять эксперимент. Эксперимент позволяет: произвольно увеличивать и расширять круг интересующих нас явлений; многократно и планомерно повторять исследование одного и того же явления; целенаправленно изменять условия, в которых протекает исследуемое явление; в известных пределах изолировать это явление, чтобы наблюдать его в "чистом виде"; расчленять сложное явление на составные части, на отдельные этапы, чтобы установить причинные отношения и генетическую связь; сравнивать полученные результаты, делать соответствующие выводы и снова экспериментально их проверять.
Для установления причинной связи явлений в индуктивной логике чаще всего применяют методы: сходства, различия, сопутствующих изменений, остатков. Метод сходства применяется, в тех случаях, когда интересующее нас явление, причину которого нужно установить, возникает в самых различных условиях, но при наличии одного общего для всех обстоятельства. В связи с этим основное положение метода сходства можно сформулировать так; если несколько случаев исследуемого явления возникают в различных условиях, но при наличии одного общего обстоятельства, то это обстоятельство и есть причина данного явления.
Метод сходства выражается следующей схемой:
1. При условиях ABC возникает явление а.
2. При условиях АДМ возникает явление а.
3. При условиях АКР возникает явление а.
Следовательно, обстоятельство А есть причина явления а. Например, в различных исторических условиях антагонистические классы существуют при наличии одного общего обстоятельства - частной собственности на средства производства. Следовательно, характер собственности является основным клаcсообразующим признаком.
Но следует иметь в виду, что при слабо выраженном различии условий, в которых протекает исследуемый процесс, трудно сделать вывод о единственном обстоятельстве как причине. Кроме того, метод сходства применяется обычно при изучении таких явлений, которые можно наблюдать только в естественных условиях, но нельзя вызвать экспериментально. Все это обусловливает ограниченность метода сходства и характеризует его выводы как вероятные.
Метод различия состоит в сопоставлении случая, когда интересующее нас явление наступает, со случаем, когда оно отсутствует. При этом оба случая подбираются с учетом одинаковых условий, кроме одного обстоятельства. Так как одинаковое не может быть причиной различного, то можно заключить, что это обстоятельство, наличием или отсутствием которого различаются оба случая, и есть причина данного явления.
Основное положение метода различия состоит в следующем: если при одних и тех же условиях наличие какого-либо обстоятельства вызывает, а его отсутствие устраняет исследуемое явление, то это обстоятельство и есть причина данного явления.
Метод различия выражается следующей схемой:
1. При условиях ABC возникает явление а.
2. При условиях ВС отсутствует явление а.
Следовательно, обстоятельство А есть причина явления а.
Методом различия, наряду с другими приемами, широко пользуются при экспериментальных испытаниях свойств конкретных образцов техники. Например, меняя калибр, длину ствола орудия или его наклон в каждом отдельном испытании и сохраняя одинаковыми другие условия (мощность заряда и проч.), устанавливают причину дальности полета снаряда, его рассеивание, прочность ствола к другие свойства орудия.
Метод различия, по сравнению с методом сходства позволяет получать более вероятное, а, часто и вполне достоверное заключение.
Чтобы повысить вероятность вывода, нередко применяют одновременно методы сходства и различия или, говоря другими словами, соединенный метод сходства и различия. Для этого подбирают ряд случаев возникновения интересующего явления в резко различных условиях и выделяют сходное обстоятельство в качестве предполагаемой причины данного явления. Затем подбирают второй ряд случаев, близких по условиям к первому, но в котором исследуемое явление отсутствует. Если окажется, что все случаи второго ряда сходны только в том, что в них отсутствует обстоятельство, общее для случаев первого ряда, то оно и есть причина этого явления.
Соединенный метод сходства и различия можно выразить следующей схемой:
АВСД – а
сходство
АКМР – а
различие
ВСД … -
сходство
КМР … -
Метод сопутствующих изменений применяют, когда вывод о причине какого-либо явления делается путем сравнения случаев, в каждом из которых наблюдается одно и то же явление, но не в одинаковой степени, а переменно. При этом все условия в каждом случае совершенно сходны, за исключением одного переменного обстоятельства. Так как постоянные условия не могут вызывать переменное явление, то, следовательно, причиной его будет только переменное обстоятельство.
Основное положение этого метода таково: всякое явление, изменяющееся определенным образом, в случае изменения предшествующего ему обстоятельства, есть либо следствие его, либо находится с ним в причинном отношении.
Метод сопутствующих изменений выражается следующей схемой:
1. При условиях АВС возникает явление а.
2. При условиях А1ВС возникает явление а1.
3. При условиях A2ВC возникает явление а2.