Шпаргалка по "Логике"

13. Каков механизм операций ограничения и обобщения понятий?

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

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

1) уменьшение объема понятия  путем исключения признака, стоящего  через союз «или». Например, ограничивая понятие «основной» или «дополнительный вопрос», можно исключить признак «дополнительный» и прийти к понятию «основной вопрос»;

2) уточнение содержания  понятия путем замены менее  определенного признака более  определенным. Например, переходя от  понятия «некоторые термины»  к понятию «математические термины».

Операция ограничения  понятий может продолжаться достаточно долго. Пределом ограничения является единичное понятие, т. е. понятие  с одноэлементным объемом.

Обобщение понятия – это  логическая операция перехода от понятия  с меньшим объемом к понятию  с большим объемом путем исключения из содержания видового понятия. В формальной логике под обобщением понимается переход  от видового понятия к родовому. Так, если из понятия «научно—фантастический роман» исключить признак «научно—фантастический», то получится понятие с более широким объемом «роман». При операции обобщения также возможно использование еще двух методов, противоположных способам ограничения:

1) присоединения информативно  непустого признака через «или»;

2) замени более конкретного  (информативного) признака на менее  конкретный.

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

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

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

14. Что такое деление понятия?  Каковы основные правила и  виды деления понятий?

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

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

Существуют два типа деления: дихотомическое и по видоизменению.

Сущность дихотомического  деления состоит в выделении  двух противоречащих друг другу членов деления, объемы которых исчерпывают  весь объем делимого понятия. Например, книги могут быть научными и ненаучными. Дихотомическое деление обладает рядом  преимуществ: оно всегда соразмерно; члены деления всегда исключают  друг друга; деление производится только по одному основанию.

Однако, помимо этого, дихотомическое деление имеет один недостаток, а  именно неопределенность части понятия  с частицей «не».

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

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

Во—вторых, деление должно быть соразмерным, т. е. сумма объемов членов деления должна быть равна объему делимого понятия. При нарушении этого правила возникают такие ошибки, как неполное деление или деление с излишними членами. Неполное деление – это ошибка, связанная с указанием неполного ряда членов деления. Например, деление собственности на частную и государственную будет неполным, так как существуют и другие виды собственности. Деление с излишними членами – это ошибка, связанная с указанием членов деления, которые не соответствуют основанию. Например, деление животных на домашних, диких и хищников будет неверным, так как понятие «хищники» является лишним.

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

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

15. Каковы основные разновидности  деления понятия? Классификация  и  ее виды.

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

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

Существуют два типа деления: дихотомическое и по видоизменению.

Сущность дихотомического  деления состоит в выделении  двух противоречащих друг другу членов деления, объемы которых исчерпывают  весь объем делимого понятия. Например, книги могут быть научными и ненаучными. Дихотомическое деление обладает рядом  преимуществ: оно всегда соразмерно; члены деления всегда исключают  друг друга; деление производится только по одному основанию.

Однако, помимо этого, дихотомическое деление имеет один недостаток, а  именно неопределенность части понятия  с частицей «не».

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

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

Во—вторых, деление должно быть соразмерным, т. е. сумма объемов членов деления должна быть равна объему делимого понятия. При нарушении этого правила возникают такие ошибки, как неполное деление или деление с излишними членами. Неполное деление – это ошибка, связанная с указанием неполного ряда членов деления. Например, деление собственности на частную и государственную будет неполным, так как существуют и другие виды собственности. Деление с излишними членами – это ошибка, связанная с указанием членов деления, которые не соответствуют основанию. Например, деление животных на домашних, диких и хищников будет неверным, так как понятие «хищники» является лишним.

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

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

16. Что такое определение понятия?  В каких случаях требуется  эта операция? Чем отличается  реальное определение от номинального?

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

Определяемая часть (определяемое) – это понятие, содержание которого необходимо раскрыть, определяющая часть (определяющее) – это понятие, раскрывающее содержание определяемого.

Определения делятся на некоторые  виды. В зависимости от того, что  определяется (сам предмет или  его имя) выделяются номинальные  и реальные определения.

Номинальное определение  – это определение, посредством  которого взамен описания какого—либо  предмета вводится новый термин (имя), объясняется его значение, происхождение  и т. д. Номинальные определения  отвечают на вопрос, что обозначает то или иное слово (словосочетание).

Реальное определение  – это определение, раскрывающее существенные признаки предмета. Реальное определение отвечает на вопрос, что  представляет собой конкретный предмет  или явление.

В зависимости от формы  высказываний, в которой выражены определения, они делятся на явные и неявные.

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

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

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

Во—первых, определение должно быть соразмерным, т. е. объемы определяемого и определяющего понятий должны совпадать.

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

В—третьих, определение должно быть четким и явным.

В—четвертых, определение  не должно быть отрицательным.

17.Что такое суждение и его  логическое значение? В чем отличие  простого суждения от сложного?

Суждение – это форма  мышления, в которой отрицается или  утверждается что—либо о существовании  предметов и явлений, их свойствах  и взаимосвязях, а также отношениях между ними. Чаще всего суждение выражается повествовательным предложением, хотя иногда суждения содержатся в  риторических вопросах и восклицаниях. К числу суждений не относятся  мысли, которые не могут быть охарактеризованы с точки зрения истины или лжи (например, приказания, просьбы). Связь  суждения и предложения можно  выразить следующим образом: предложение  – форма суждения, суждение –  смысловое содержание предложения. Суждение обладает способностью выражать либо истину, либо ложь, в зависимости  от чего различаются истинные и ложные суждения.

Суждение истинно, если оно  отражает действительные свойства и  отношения предметов. Например, «Нил – самая большая река в мире».

Суждение ложно, если оно  искажает объективные свойства и  отношения предметов. Например, «Территория  Франции больше территории России».

Необходимо знать, что  суждение имеет четкую внутреннюю структуру, которая состоит из четырех компонентов: субъекта, предиката, связки и квантора.

Субъект – это предмет  суждения, о котором что—либо утверждается или обозначается. Субъект обозначается буквой S.

Предикат – это та информация, которая утверждается или отрицается о предмете суждения. Предикат обозначается буквой P. Субъект и предикат называются терминами суждения.

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

Связка – это выражение  отношения между субъектом и  предикатом. Связка обозначается тире либо словами «есть», «суть», «имеются»  и т. д.

Квантор – элемент, обозначающий, к какой части объема субъекта относится признак, выраженный в  предикате. Квантор обозначается словами  «все», «некоторые», «ни один» и  т. д.

Основными элементами суждения являются субъект, предикат и связка, так как они содержатся в любом  суждении. Таким образом, каждое суждение можно представить в виде следующей  формулы: S есть (не есть) P.

В силу сложности своей  внутренней структуры суждения делятся  на две большие группы: простые  и сложные суждения.

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

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

Так, например, сложное суждение «Кенгуру и коалы живут в Австралии» состоит из двух простых «Кенгуру живут в Австралии» и «Коалы живут  в Австралии».

18. Каковы виды простых суждений  и их состав? Какова роль вопроса  в процессе преобразования суждения  об отношении в атрибутивное  суждение?

Простые суждения классифицируются по трем основаниям: объему субъекта, качеству связки и содержанию предиката.

1. По объему субъекта  простые суждения делятся на  три группы: единичные, частные  и общие.

Единичные суждения содержат утверждение или отрицание об одном предмете субъекта мысли: «Это S есть Р».

Частные суждения содержат утверждение  или отрицание о части предметов  некоторого класса: «Некоторые S есть Р».

Общие суждения содержат утверждение  или отрицание о каждом предмете данного класса: «Все S есть Р».

2. По характеру (качеству) связки суждения делятся на утвердительные и отрицательные.

Утвердительные суждения выражают принадлежность предмету некоторого признака: «S есть Р».

Отрицательные суждения выражают отсутствие у предмета некоторого признака: «S не есть Р».

3. По содержанию предиката  суждения делятся на следующие  виды: атрибутивные, реляционные, экзистенциальные.

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

Реляционные суждения утверждают или отрицают отношения между  предметами.

Экзистенциальные суждения отражают существование или несуществование какого—то предмета или класса в действительности.

Поскольку каждое суждение либо утвердительно, либо отрицательно, а  также либо общее, либо частное, то в  логике существует классификация суждений по количеству и качеству. Согласно данной классификации выделяются четыре вида суждений: общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные.

Общеутвердительные суждения (обозначаются буквой Л) являются общими по объему и утвердительными по связке: «Все S есть Р». Общеутвердительные суждения дают информацию обо всем объеме субъекта, но лишь о части объема предиката.

Частноутвердительные суждения (обозначаются буквой I) являются частными по объему и утвердительными по связке: «Некоторые S есть P». Частноутвердительные суждения дают информацию лишь о части объемов своих субъекта и предиката.

Общеотрицательные суждения (обозначаются буквой E) являются общими по объему и отрицательными по связке: «Ни одно S не есть Р». Общеотрицательные суждения дают информацию обо всем объеме субъекта и предиката.

Частноотрицательные суждения (обозначаются буквой O) являются частными по объему и отрицательными по связке: «Некоторые S не есть Р». Частноотрицательные суждения дают информацию о части объема субъекта и обо всем объеме предиката.

22. Каковы виды сложных суждений и в каких случаях они будут истинны?

Сложные суждения так же, как и простые, могут быть истинными  или ложными в зависимости  от истинности или ложности составляющих простых суждений. Основными структурообразующими элементами сложных суждений выступают  простые суждения, связь между  которыми осуществляется с помощью  логических союзов «и», «или», «либо» и  т. д. Эти типы связей в сложных  суждениях и являются основанием для их классификации. Можно выделить четыре основных вида сложных суждений: соединительные, разделительные, условные и эквивалентные.

Соединительные суждения (конъюнктивные) образуются из нескольких простых суждений, связанных логическим союзом «и». Например, «Никто не забыт, и ничто не забыто» (A – никто  не забыт, B – ничто не забыто, A&B – члены конъюнкции).

Разделительные суждения (дизъюнктивные) образуются из нескольких простых суждений, связанных логическим союзом «или». Например, «Истец вправе увеличить или уменьшить размер исковых требований» (Л – истец  может увеличить размер исковых  требований, B – истец может увеличить  объем исковых требований, A v B – члены дизъюнкции). В свою очередь, разделительные суждения также делятся на две группы: как то сильная дизъюнкция и слабая дизъюнкция.

Слабая (нестрогая) дизъюнкция имеет место, когда союз «или»  имеет соединительное значение.

Сильная (строгая) дизъюнкция возникает, когда логический союз «или»  употребляется в исключающе—разделяющем смысле, т. е. составляющие простые суждения исключают друг друга.

Условные суждения (импликативные)

образуются из двух простых  суждений посредством союза «если […], то». Например, «Если соревнования состоятся, то участие в них будет добровольным» (Л – соревнования состоятся, B – участие в них будет добровольным, A D B – члены импликации). В условных суждениях выделяют две составляющих: основание (начинающееся словом «если») и следствие (начинающее словом «то»). В условных суждениях прежде всего отражаются причинно—следственные связи между предметами и явлениями.

Эквивалентные суждения образуются из двух простых суждений, связанных  союзом «если и только если […], то». Например, «Если и только если человек достиг пенсионного возраста, то он имеет право на получение пенсии по возрасту» (Л – человек достиг пенсионного возраста, B – он имеет право на получение пенсии по возрасту, A = B – члены эквивалентного суждения).

Часто сложные суждения имеют  не один, а несколько логических союзов, например «Суд не принимает  отказа истца от иска, признание  иска ответчиком и не утверждает мирового соглашения сторон, если эти действия противоречат закону и нарушают чьи—либо права и охраняемые законом интересы».

23. Что такое умозаключение и каковы важнейшие элементы структуры этой формы мышления? Каковы виды умозаключений и в чем их различие?

Умозаключение – это форма  мышления, в которой осуществляется переход от имеющегося знания к новому. Такой переход всегда совершается  в соответствии с правилами мышления. Таким образом, в структуре умозаключения  можно выделить три составляющих элемента: посылки – одно или  несколько суждений, содержащих исходное знание, следствие (заключение) – выводы из этих посылок и логическая связь  между посылками и следствием. Выделение в умозаключении его  посылки и следствия, т. е. установление его структуры, называется логическим анализом умозаключения. Например, умозаключением будут являться следующие суждения:

«Все перелетные птицы  улетают осенью на юг».

«Грачи улетают осенью на юг».

«Грачи – перелетные птицы».

Основная логическая характеристика умозаключения – правильность. Всякое правильное умозаключение должно удовлетворять  условию: если его посылки истинны, то должно быть истинным и заключение. Это условие выполняется в  случае, когда в ходе умозаключения  не нарушаются основные законы логики и правила вывода. Таким образом, правильность умозаключения обусловливается  соблюдением объективных законов  мышления. С понятием правильности тесно связано понятие истинности умозаключения. Любое умозаключение  связано с получением новой истины из ранее известной. Следовательно, если известно, что посылки умозаключения истинны, то и его следствие также будет истинным. Однако эта зависимость осуществляется только при соблюдении законов логики, Т. е. правильность умозаключения во многом обусловливает его истинность. Отсюда следует и то, что предпосылкой умозаключения желательно делать такое суждение, истинность которого устанавливается путем наблюдения и очевидности. Например, «Вчера прошел дождь».

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

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

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

Все люди смертны.

Сократ – человек.

Следовательно, Сократ смертен.

Индукция (от лат. inductio – наведение) – умозаключение от менее общего знания к более общему. Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: “Все планеты движутся с Запада на Восток”.

Традукция (от лат. traductio – перевод, перемещение, перенос) – умозаключение, в котором посылки и заключение – одной и той же степени общности (умозаключение по аналогии).

Пример: “На Земле, где  есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, смена времен года. Возможно, что на Марсе тоже есть жизнь” (вывод, как будет показано в соответствующей главе, не подтвердился).

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

24. Что такое умозаключение и каковы важнейшие элементы структуры этой формы мышления? Каковы виды умозаключений и в чем их различие?

Умозаключение – это форма  мышления, в которой осуществляется переход от имеющегося знания к новому. Такой переход всегда совершается  в соответствии с правилами мышления. Таким образом, в структуре умозаключения  можно выделить три составляющих элемента: посылки – одно или  несколько суждений, содержащих исходное знание, следствие (заключение) – выводы из этих посылок и логическая связь  между посылками и следствием. Выделение в умозаключении его  посылки и следствия, т. е. установление его структуры, называется логическим анализом умозаключения. Например, умозаключением будут являться следующие суждения:

«Все перелетные птицы  улетают осенью на юг».

«Грачи улетают осенью на юг».

«Грачи – перелетные птицы».

Основная логическая характеристика умозаключения – правильность. Всякое правильное умозаключение должно удовлетворять  условию: если его посылки истинны, то должно быть истинным и заключение. Это условие выполняется в  случае, когда в ходе умозаключения  не нарушаются основные законы логики и правила вывода. Таким образом, правильность умозаключения обусловливается  соблюдением объективных законов  мышления. С понятием правильности тесно связано понятие истинности умозаключения. Любое умозаключение  связано с получением новой истины из ранее известной. Следовательно, если известно, что посылки умозаключения истинны, то и его следствие также будет истинным. Однако эта зависимость осуществляется только при соблюдении законов логики, Т. е. правильность умозаключения во многом обусловливает его истинность. Отсюда следует и то, что предпосылкой умозаключения желательно делать такое суждение, истинность которого устанавливается путем наблюдения и очевидности. Например, «Вчера прошел дождь».

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

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

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

Все люди смертны.

Сократ – человек.

Следовательно, Сократ смертен.

Индукция (от лат. inductio – наведение) – умозаключение от менее общего знания к более общему. Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: “Все планеты движутся с Запада на Восток”.

Традукция (от лат. traductio – перевод, перемещение, перенос) – умозаключение, в котором посылки и заключение – одной и той же степени общности (умозаключение по аналогии).

Пример: “На Земле, где  есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, смена времен года. Возможно, что на Марсе тоже есть жизнь” (вывод, как будет показано в соответствующей главе, не подтвердился).

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

25. Что такое непосредственное умозаключение  и каковы его разновидности?

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

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

Дедуктивное умозаключение – это такая форма абстрактного мышления, в которой мысль развивается от знаний большей степени общности к знаниям меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер. В дедуктивных умозаключениях связи между посылками и заключением представляют собой формально—логические законы, в силу чего при истинных посылках заключение всегда оказывается истинным. Правильным является такое дедуктивное умозаключение, которое не добавляет информации в заключение и таким образом обеспечивает получение истинного заключения из истинных посылок. В правильном дедуктивном умозаключении между посылками и заключением имеется отношение логического следования: между суждениями A. … A n (посылками) и суждением B (заключением), имеет место отношение логического следования в том и только в том случае, если при совместимой истинности A. … A n не может быть ложным B. Объективной основой дедуктивных умозаключений является единство общего и единичного в реальных процессах, предметах окружающего мира.

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

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

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

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

1) путем двойного отрицания,  которое ставится перед связкой  и перед предикатом. Этот способ  имеет следующий вид: S есть P = > S не есть не – P. Заключение здесь опирается на правило вывода: двойное отрицание равносильно утверждению;

2) путем перевода отрицания  из предиката в связку. Схематически  это можно представить как S есть не – P => S не есть P.

Обращение – это перестановка субъекта и предиката при соблюдении правила, что термин, не распределенный в посылке, не может быть распределен в заключении.

Ограничение может  проходить двумя способами:

1) чисто, без изменения  количества суждения, так обращаются  частноутвердительные и общеотрицательные суждения:

некоторые S суть P = Некоторые P суть S; ни одно S не есть P = > Ни одно P не есть S.

2) с ограничением, уменьшением  количества суждения, так обращаются  общеутвердительные суждения. Все  S суть P = Некоторые P суть S. Для частноутвердительных суждений обращение вообще невозможно.

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

1) превращая исходное суждение  «S есть P», устанавливаем отношение  S к не – P;

2) суждение, полученное путем  превращения, обращается. В результате  устанавливаем отношение не –  P | S.

В зависимости от качества и количества исходного суждения вид непосредственного умозаключения  будет следующим:

1) общеутвердительные суждения. Все S

есть P Ю Ни одно не – P не есть S;

2) общеотрицательные суждения. Ни одно S не есть P Ю Некоторые не – P есть S;

3) частноотрицательные суждения. Некоторые S не есть P Ю Некоторые не – P есть S;

4) частноутвердительные суждения этим способом не преобразуются.

Умозаключение по логическому  квадрату – это такой вид непосредственных умозаключений, который позволяет  получать вывод, учитывая свойства отношений  между категорическими суждениями A, E, I, O. При таком типе непосредственного  умозаключения истинность или ложность одного суждения влечет определенное истинностное значение другого.