повсеместно. Каждый человек в своей жизни независимо от профессии строил умозаключения и получал следствия из этих заключений. И здесь встает вопрос истинности таких следствий. Человек, который не знаком с логикой, пользуется ею обывательским уровнем. То есть судит о вещах, строит умозаключения, делает выводы, исходя из того, что накопил в процессе жизни.
Несмотря на то что практически каждый человек проходит обучение основам логики в школе, учится у родителей, обывательский уровень знания нельзя считать достаточным. Конечно, в большинстве ситуаций достаточно и этого уровня, но есть процент случаев, когда логической подготовки просто не хватает, хотя именно в таких ситуациях она больше всего нужна. Как известно, существует такой вид преступлений, как мошенничество. Чаще всего мошенники пользуются простыми и проверенными схемами, однако некоторый процент их занимается высококвалифицированным обманом. Такие преступники знают логику едва ли не в совершенстве и, кроме того, обладают способностями в области психологии. Поэтому им зачастую ничего не стоит обмануть человека, который не подготовлен. Все это говорит о необходимости изучения логики как науки.
Выведение следствия – очень распространенная логическая операция. По общему правилу, для получения истинного суждения необходимо, чтобы и посылки были истинны. Однако данное правило не относится к доказательству от обратного. В этом случае намеренно берутся заведомо ложные посылки, которые необходимы, чтобы через отрицание их определить необходимый объект. Другими словами, ложные посылки в процессе выведения следствия отбрасываются.
2. Дедуктивные умозаключения
Как и многое в классической логике, теория дедукции обязана своим появлением древнегреческому философу Аристотелю. Он разработал большую часть вопросов, связанных с этим видом умозаключений.
Согласно работам Аристотеля дедукция – это переход в процессе умозаключения от общего к частному. Другими словами, дедукцией является постепенная конкретизация более абстрактного понятия. Она проходит через несколько ступеней, каждый раз выводя следствие из нескольких посылок.
Необходимо сказать, что в процессе дедуктивного умозаключения должно получаться истинное знание. Такой цели можно добиться только при соблюдении необходимых условий, правил. Правила вывода бывают двух видов: правила прямого и правила косвенного вывода. Прямой вывод означает получение из двух посылок заключения, которое будет истинным при условии соблюдения правил прямого вывода.
Так, должны быть истинны посылки и соблюдены правила получения следствий. При соблюдении этих правил можно говорить о правильности мышления относительно взятого предмета. Это означает, что для получения истинного суждения, нового знания не обязательно иметь всю информацию. Часть сведений может быть воссоздана логическим путем и закреплена. Закрепление необходимо, так как без него сам процесс получения новой информации становится бессмысленным. Ни передать такую информацию, ни как- либо иначе использовать ее не представляется возможным. Естественно, что такое закрепление происходит посредством языка (разговорный, письменный, язык программирования и т. д.). Закрепление в логике происходит прежде всего при помощи символов. Например, это могут быть символы конъюнкции, дизъюнкции, импликации, буквенные выражения, скобки и др.
Дедуктивными являются следующие типы умозаключений: выводы логических связей и субъектно-предикатные выводы.
Также дедуктивные умозаключения бывают непосредственными.
Они делаются из одной посылки и называются превращением, обращением и противопоставлением предикату, отдельно рассматриваются умозаключения по логическому квадрату. Выводятся такие умозаключения из категорических суждений.
Рассмотрим эти умозаключения. Превращение имеет схему:
S есть Р
S не есть не-Р.
По этой схеме видно, что посылка только одна. Это категорическое суждение. Превращение характеризуется тем, что при изменении качества посылки в процессе вывода не происходит изменения ее количества, а предикат следствия отрицает предикат посылки. Есть два способа превращения – двойное отрицание и замена отрицания в предикате отрицанием в связке. Первый случай отражен на схеме, приведенной выше. Во втором превращение отражается на схеме как S есть не-Р – S не есть Р.
В зависимости от типа суждения превращение можно выразить следующим образом.
Все S есть Р – Ни одно S не есть не-Р. Ни одно S не есть Р – Все S есть не-Р. Некоторые S есть Р – Некоторые S не есть не-Р. Некоторые S не есть Р – Некоторые S есть не-Р. Обращение – это умозаключение, в котором при перемене мест субъекта и предиката качество посылки не меняется.
То есть в процессе вывода субъект встает на место предиката, а предикат – на место субъекта. Соответственно, схему обращения можно изобразить как S есть Р – Р есть S.
Обращение бывает с ограничением и без ограничения (его еще называют простое или чистое). Это разделение основывается на количественном показателе суждения (имеется в виду равенство или неравенство объемов S и Р). Это выражается в том, изменилось ли кванторное слово или нет и распределены ли субъект и предикат. Если такое изменение происходит, то имеет место обращение с ограничением. В обратном случае можно говорить о чистом обращении. Напомним, что кванторное слово – это слово – показатель количества. Так, слова «все», «некоторые», «ни один» и другие являются кванторными словами.
Противопоставление предикату характеризуется тем, что связка в следствии меняется на противоположную, субъект противоречит предикату посылки, а предикат эквивалентен субъекту посылки.
Необходимо сказать, что непосредственное умозаключение с противопоставлением предикату невозможно вывести из частноутвердительных суждений.
Приведем схемы противопоставления в зависимости от типов суждений.
Некоторые S не есть Р – Некоторые не-Р есть S. Ни одно S не есть Р – Некоторые не-Р есть S. Все S есть Р – Ни одно Р не есть S.
Объединяя сказанное, можно рассматривать противопоставление предикату как продукт сразу двух непосредственных умозаключений. Первым из них производится превращение. Его результат подвергается обращению.
3. Условные и разделительные умозаключения
Говоря о дедуктивных умозаключениях, нельзя не обратить внимания на условные и разделительные умозаключения.
Условные умозаключения называются так потому, что в качестве посылок в них используются условные суждения (если а, то b). Условные умозаключения можно отразить в виде следующей схемы.
Если а, то b. Если b, то с. Если а, то с.
Выше указана схема умозаключений, являющихся видом условных. Для таких умозаключений характерно, что все их посылки являются условными.
Другим видом условных умозаключений являются условно-категорические суждения. Соответственно названию в этом умозаключении не обе посылки являются условными суждениями, одна из них – простое категорическое суждение.
Необходимо также упомянуть о модусах – разновидностях умозаключений. Существуют: утверждающий модус, отрицающий модус и два вероятностных модуса (первый и второй).
Утверждающий модус имеет самое широкое распространение в мышлении. Это связано с тем, что он дает достоверное заключение. Поэтому правила различных учебных дисциплин строятся в основном на основе утверждающего модуса. Можно отобразить утверждающий модус в виде схемы.
Если а, то b.
а.
