Схемы умозаключений в логике примеры. Дедуктивные умозаключения (логика высказываний). Исследование форм мышления




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

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

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

Иногда человеческий ум определяют как способность строить умозаключения, делать выводы. Может быть, ум состоит не только в этом, но, несомненно, способность строить умозаключения и извлекать выводы из имеющейся информации – одна из важнейших его сторон. Вы смотрите утром на градусник, висящий за окном, и видите, что ртуть в нем опустилась до –70°C. Вот все, что у вас есть. Но отсюда вы делаете вывод, что на улице мороз. Вы еще не были на улице, не ощутили своей кожей укусов ветра, но уже знаете – там холодно. Откуда у вас это знание? Его вам дало умозаключение. Вы можете сделать еще один вывод: выходя на улицу, нужно одеться потеплее. Вы предвидите, какое воздействие окажет на вас мороз. Предвидение – это тоже умозаключение. Умный человек – тот, кто способен извлечь из имеющегося знания максимум новой информации, предвидеть ход событий и последствия своих действий. Шерлок Холмс и его друг доктор Ватсон часто ходят вместе, видят и слышат одно и то же, однако Холмс умеет извлечь из этого гораздо больше, чем Ватсон, поэтому и кажется нам умнее и проницательнее своего друга.

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

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

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

1) Вдоль стен квадратного бастиона комендант разместил 16 часовых, по 5 человек с каждой стороны, так, как показано на рисунке:

Через некоторое время пришел полковник, выразил недовольство расстановкой часовых и переставил их так, что с каждой стороны оказалось по 6 человек. Однако после этого появился генерал. Он также выразил недовольство и переставил часовых таким образом, что с каждой стороны их оказалось по 7.

Как расположил часовых полковник? Как их расставил генерал? Общее число часовых остается одним и тем же.

Непосредственные умозаключения

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

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

Все S есть P

Ни одно S не есть не-P

Например, суждение «Все металлы электропроводны» превращается в суждение «Ни один металл не является неэлектропроводным».

Если в качестве посылки взять общеотрицательное суждение, то превращение будет выглядеть так:

Ни одно S не есть P

Bce S есть не-P

Например, суждение «Ни один мошенник не является честным человеком» превращается в суждение «Все мошенники являются нечестными людьми». Когда здесь мы вставляем «не» перед связкой, то перед ней получаются два «не». Мы устраняем их, опираясь на принцип: двойное отрицание эквивалентно утверждению.

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

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

Например, из суждения «Птицы есть позвоночные» мы путем обращения получаем вывод «Позвоночные есть птицы». Для того чтобы реально осуществить обращение, мы должны не просто поменять местами субъект и предикат, а сделать объект, отображаемый предикатом посылки, предметом нашей мысли, т.е. превратить его в субъект нового суждения. Иногда, например, производят обращение так: из суждения «Все рыбы дышат жабрами» получают вывод «Дышат жабрами все рыбы». Здесь нет логической операции обращения! Мы просто поменяли местами подлежащее и сказуемое. Чтобы получить обращение первоначального суждения, мы должны сделать предметом нашей мысли «дышащих жабрами» и говорить о них: «Дышащие жабрами есть рыбы».

В посылке перед субъектом стоит слово (квантор): «все» или «некоторые». Возникает вопрос: что мы должны поставить перед предикатом посылки, когда делаем его субъектом вывода, – «все» или «некоторые»? «Все дышащие жабрами» или только «некоторые дышащие жабрами» есть рыбы? Пытаясь ответить на этот вопрос, мы начинаем вдумываться в содержание понятия «дышащие жабрами», вспоминаем, а кто еще, помимо рыб, мог бы дышать жабрами, быть может, лягушки или какие-нибудь тритоны? Не нужно всего этого! Логика – наука формальная и вовсе не обязана знать, чем занимаются лягушки или рыбы, как математика, складывая 2 и 3, вовсе не интересуется тем, что вы считаете – рубли, доллары или кирпичи. Логика задает формальные правила, не зависящие от содержания наших понятий и суждений. В данном случае правило таково: если посылкой является утвердительное суждение, то при обращении перед предикатом ставят слово «некоторые»; если же посылка является отрицательным суждением, то перед предикатом ставят слово «все». Наша посылка «Все рыбы дышат жабрами» является утвердительным суждением, значит, из нее можно сделать вывод «Некоторые дышащие жабрами есть рыбы». А вот из отрицательной посылки «Ни один слон не живет в Арктике» можно сделать общий вывод «Всякий живущий в Арктике не есть слон».

2) Три путешественника забрели на постоялый двор, хорошо покушали, заплатили хозяйке 30 руб. и пошли дальше. Через некоторое время после их ухода хозяйка обнаружила, что взяла с путешественников лишнее. Будучи женщиной честной, она оставила себе 25 руб., а 5 руб. дала мальчику, наказав ему догнать путешественников и отдать им эти деньги. Мальчик бегал быстро и скоро догнал путешественников. Как им разделить 5 руб. на троих? Каждый из них взял по 1 руб., а 2 руб. оставили мальчику в награду за быстроногость.

Таким образом, они заплатили за обед по 10руб., но по 1 руб. получили обратно, следовательно, они заплатили: 9х3 = 27руб. Да 2 руб. осталось у мальчика: 27 + 2 = 29 руб. Но вначале-то было 30 руб.! Куда делся 1 руб.?

3) Жили-были два пастуха, Иван да Петр, пасли они овец. И вот как-то Иван говорит: «Слушай, отдай мне одну овцу, тогда у меня овец будет в 3 раза больше, чем у тебя!». «Нет, – отвечает Петр, – лучше ты мне отдай одну овцу, тогда у нас их станет поровну!»

Сколько овец было у Ивана и сколько у Петра?

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

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

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

Сократ смертен.

Здесь мы видим уже две посылки: «Все люди смертны» и «Сократ – человек». Из этих двух суждений мы выводим новое суждение «Сократ смертей». Если вы обратите внимание на свои рассуждения, то очень скоро обнаружите, что часто используете такой способ вывода.

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

Меньшим термином силлогизма называется субъект вывода. Он обозначается буквой «S», как субъект в структуре простого суждения. Но здесь эта буква обозначает меньший термин, который в посылке может встретиться и на месте предиката. В нашем примере меньшим термином будет понятие «Сократ».

Большим термином силлогизма называется предикат вывода. Он обозначается буквой «P», как предикат в структуре простого суждения, но здесь эта буква обозначает больший термин, который в посылке может стоять и на месте субъекта. В нашем примере большим термином будет понятие «смертны».

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

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

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

Например, в силлогизме должно быть только три термина. Если появляется четвертый термин, силлогизм разрушается: мы не можем найти среднего термина и сделать вывод. Даны вам, скажем, такие посылки:

Все артисты самолюбивы.

Олег Табаков талантлив.

Здесь четыре термина. Какой из них считать средним? Какой меньшим или большим? Это просто два никак не связанных между собой суждения, из которых никакого нового знания извлечь нельзя. Ошибка, связанная с нарушением указанного правила, так и называется – «учетверение терминов». Кажется, что эту ошибку трудно совершить. Однако она встречается довольно часто и обусловлена многозначностью слов нашего повседневного языка. Одно и то же слово в одной посылке может употребляться в одном смысле, а в другой посылке – в ином смысле и выражать, таким образом, два разных понятия. Получается четыре термина, хотя слов-то всего три. Например:

Движение вечно.

Хождение в институт – движение.

Хождение в институт вечно.

Здесь слово «движение» в одной посылке употребляется для выражения философского понятия движения как универсального свойства материального мира, а в другой посылке оно выражает бытовое, обыденное понятие движения. Поэтому и получается нелепый вывод.

Шуба греет.

«Шуба» – русское слово.

Некоторые русские слова греют.

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

Еще одно правило гласит: из двух отрицательных посылок нельзя сделать никакого вывода. Например:

Ярко-красные цветы не имеют запаха.

Этот цветок не имеет запаха.

Можно ли сделать вывод о том, что этот цветок ярко-красный? Нет, он может быть любого цвета.

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

Все рыбы плавают.

Щуки являются рыбами.

Щуки плавают.

Всякий человек имеет две ноги.

Буратино имеет две ноги.

Буратино – человек.

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


Подставляя вместо букв «S», «P» и «M» различные понятия, мы будем получать рассуждения, имеющие вид одной из фигур силлогизма.

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

– Ну и чем же закончилась вчера твоя ссора с женой?

– О, я заставил ее встать передо мной на колени.

– Вот как! И что же она сказала?

– Вылезай из-под кровати, подлый трус!

Вот так мы сокращаем и наши силлогизмы, не высказывая в явном виде все его посылки или вывод в надежде на то, что собеседник сам домыслит недостающее звено и поймет нас. Это вполне естественно. Тяжело-разговаривать с человеком, который стремится произнести вслух даже самые очевидные вещи. Он напоминает полковника Фридриха Крауса фон Циллергута из романа Я. Гашека «Похождения бравого солдата Швейка», любившего все пояснять и объяснять и заслужившего вследствие этого славу величайшего осла и зануды. Вряд ли вы долго выдержите такие, например, рассуждения: «Дорога, по обеим сторонам которой тянутся канавы, называется шоссе. Да-с, господа. Знаете ли вы, что такое канава? Канава – это выкопанное значительным числом рабочих углубление. Да-с. Копают канавы при помощи кирок. Известно ли вам, что такое кирка?»

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

«Этот человек глуп, так как он не знает логики!» Это энтимема.

Восстановим подразумеваемую посылку и запишем полный силлогизм:

Всякий человек, не знающий логики, глуп.

Этот человек не знает логики.

Этот человек глуп.

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

4) Произошла кража, и были задержаны трое подозреваемых. Один из них вор, который постоянно лжет; другой является соучастником и лжет лишь иногда; третий – честный человек, который никогда не лжет. Дознание началось с вопросов о профессии каждого из задержанных. Следователь получил такие ответы.

Щукин: я маляр, Карасев – настройщик роялей, а Окунев – дизайнер.

Карасев: я врач, Окунев – страховой агент. Что же касается Щукина, то, если вы его спросите, он ответит, что он маляр.

Окунев: Карасев – настройщик роялей, Щукин – дизайнер, а я – страховой агент.

По этим ответам следователь догадался, кто есть кто. Догадайтесь и вы!

Если вы учились в школе, то, по-видимому, помните простую схему рассуждения, имеющую вид: «Если а, то в; если в, то с; следовательно, если а, то с». Скажем, в арифметике это рассуждение представлено принципом: если две величины порознь равны третьей, то они равны между собой. Такого рода рассуждения называются условными силлогизмами: здесь и посылки и вывод являются условными суждениями. Вот пример условного силлогизма, взятый из рассказа В. Билибина, русского писателя начала XX в.:

«Если бы на свете не существовало Солнца, то пришлось бы постоянно жечь свечи и керосин.

Если бы пришлось постоянно жечь свечи и керосин, то чиновникам не хватало бы их жалованья и они брали бы взятки. Следовательно, чиновники не берут взяток потому, что на свете существует Солнце».

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

Если у человека повышена температура, то человек болен.

У данного человека повышена температура. Следовательно, данный человек болен. Представим наше рассуждение в символической форме. Обозначим суждение «У человека повышена температура» буквой A, суждение «Человек болен» – буквой B. Тогда наше рассуждение получит вид:

(стрелка «->» читается как «если… то»). Мы помним, что первая часть условной посылки называется основанием, вторая – следствием. Вторая посылка нашего рассуждения утверждает, что основание имеет место, отсюда мы делаем вывод, что и следствие должно иметь место. Рассуждение, имеющее такой вид, называется утверждающим модусом условно-категорического силлогизма (или modus ponens, если воспользоваться латынью): здесь мы от утверждения основания переходим к утверждению следствия условной посылки.

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

При той же условной посылке можно двигаться к выводу, утверждая или отрицая ее следствие. Таким образом, условно-категорический силлогизм имеет всего четыре модуса:


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

Повышенной температуры у вас не обнаружили, но каждый из нас знает, что это вовсе не означает, что вы не больны: многие болезни не сопровождаются повышением температуры. Поэтому вывод о том, что человек не болен, может оказаться ошибочным. В третьем модусе из того, что человек болен, мы делаем вывод о том, что у него должна быть повышена температура. По тем же самым причинам этот вывод может оказаться ошибочным. Наконец, четвертый модус говорит нам, что если человек не болен, то у него нет температуры. Этот вывод вполне достоверен: если вы здоровы, то температура у вас нормальная.

Таким образом, если вы свое рассуждение строите по первому и последнему модусу – вы рассуждаете правильно; если же свое рассуждение вы строите по второму или третьему модусу – вы рискуете совершить ошибку.

5) «Идите сюда, – сказал я как-то трем студентам. – Вот у меня здесь 5 шапок: 3 белые и 2 черные. Закройте глаза, и я надену на каждого из вас шапку. Когда вы откроете глаза, то сможете увидеть, какого цвета шапки на ваших товарищах. Свою собственную шапку вы увидеть не сможете и не увидите, какие шапки остались у меня. Тот, кто догадается, какого цвета на нем шапка, сразу же получит зачет по логике».

Через некоторое время, не обменявшись ни единым словом, студенты закричали: «На мне белая шапка!» Пришлось мне всем троим поставить зачет. А вы бы догадались?

Например, просыпаетесь вы утром и, еще лежа в постели, начинаете рассуждать: «Сегодня днем я могу пойти на свидание или на занятия. Пойду-ка я на свидание. Следовательно, на занятия я не пойду». Здесь первая посылка вашего рассуждения представляет собой разделительное суждение «Я могу пойти на свидание (A) или пойти на занятия (B)», символически: A v B. Вторая посылка утверждает одну из возможностей, указанных в разделительной посылке: «Я пойду на свидание» (A). Вывод отрицает вторую возможность: «Следовательно, я не пойду на занятия» (Не-B). Ясно, что вы можете рассуждать и несколько иначе: «Нет, на свидание я не пойду. Следовательно, я пойду на занятия». Символически эти два способа рассуждения можно представить следующим образом:


Они называются модусами разделительно-категорического силлогизма. Первый модус называется утверждающе-отрицающим, второй – отрицающе-утверждающим. Оба модуса могут приводить как к верным, так и к ошибочным заключениям. Для того чтобы не совершать ошибок при рассуждениях, имеющих вид разделительно-категорического силлогизма, нужно выполнить требование к разделительной посылке. При утверждающе-отрицающем модусе разделительная посылка должна быть строго разделительной, т.е. альтернативы должны исключать друг друга. Если это требование не соблюдено, вывод может оказаться ошибочным. Например, встречаете вы знакомого, идущего с дамой, и думаете: «Эта дама ему мать или жена». Выясняется, что дама приходится ему женой. «Ага, – делаете вы вывод, – значит, она ему не мать». Это – утверждающе-отрицающий модус, и его разделительная посылка является строго разделительной. Вывод вполне достоверен.

Но вот другой случай. Вы видите вашего знакомого, с изможденным видом бредущего по улице. «Он болен или беден», – думаете вы. Выясняется, что ваш знакомый давно и неизлечимо болен. «Значит, он не беден», – делаете вы вывод. Увы, разделительная посылка не является строго разделительной: болезнь и бедность отнюдь не исключают друг друга, особенно в наше время. Вывод может оказаться ошибочным.

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

Логическая структура именно этого модуса часто лежит в основе многих детективных сюжетов и реальной следственной практики. Совершено преступление, и следователь очерчивает круг возможных участников преступления. Дальнейшая его работа или развитие сюжета заключаются в том, что он проверяет подозреваемых и по одному отсеивает их: этот был болен, тот сидел в тюрьме в момент совершения преступления, того видели несколько человек в другом месте и т.д. Кто останется – тот и преступник. Это и есть отрицающе-утверждающий модус: преступление мог совершить A или B; A не мог совершить преступления, следовательно, его совершил B.

Хорошо, если в разделительной посылке перечислены все возможные участники преступления. А если нет? Осуждают B, а через некоторое время выясняется, что следствие упустило из виду некоего C, который и является подлинным преступником: в разделительной посылке рассуждения были учтены не все возможности. Ошибся следователь, мог ошибиться и суд. Поэтому сначала нужно доказать, что разделительная посылка является исчерпывающей, и только потом делать вывод. Тогда он будет вполне достоверным.

Конечно, в повседневной жизни и в профессиональной деятельности мы не ограничиваемся теми простыми выводами, с которыми познакомились. Мы можем соединять и комбинировать их самыми разнообразными способами, например, в одном рассуждении можно соединить условно-категорический и разделительно-категорический силлогизмы, тогда мы получим то, что называют дилеммой:

Если пойдешь направо, коня потеряешь. Если пойдешь налево, голову потеряешь. Но нужно идти направо или налево. Придется потерять коня или голову.

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

6) Зашли как-то три крестьянина на постоялый двор. Попросили они хозяйку сварить им чугунок картофеля, а сами повалились спать. Хозяйка сварила картофель и поставила чугунок на стол.

Проснулся один крестьянин, посчитал количество картофелин и съел ровно 1/3 часть. После этого он опять улегся спать. Проснулся другой крестьянин, посчитал картофелины и, думая, что никто еще не ел, съел ровно 1/3 часть. И тоже лег досыпать. Наконец, проснулся третий крестьянин, посчитал количество картофелин и, думая, что никто еще не ел, съел ровно 1/3 часть. Тут проснулись и его товарищи. Заглянули в чугунок, а там осталось всего 8 картофелин.

Спрашивается: сколько всего картофелин сварила хозяйка? Сколько штук съел каждый крестьянин? Сколько еще должен съесть каждый крестьянин, чтобы всем досталось поровну?

7) Жил-был один дехканин, и было у него 17 основ и 3 сына. Умирая, он завещал поделить ослов между сыновьями таким образом: 1/2 – старшему сыну; 1/3 – среднему и 1/9 – младшему. Кинулись братья делить наследство, да что-то никак не получается: не рубить же осла на части! Позвали судью на помощь, но и тот ничего не смог придумать. Кто-то посоветовал братьям обратиться за помощью к одному мудрому старцу, живущему в соседней деревне. Тот приехал, разделил ослов между братьями так, как завещал отец, и уехал, провожаемый благодарностями.

Как сумел мудрец выполнить завещание отца?

Индукция

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

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

В повседневной жизни мы на каждом шагу делаем такие выводы. Когда вы приходите в некое государственное учреждение и даете взятку сначала одному чиновнику, затем другому, вы думаете про себя: «Все чиновники здесь – взяточники!» Или девушка, встретив одного молодого человека и разочаровавшись в нем, затем встретив другого, быть может, уже не столь молодого человека, и вновь испытав разочарование, порой приходит к выводу:

«Все мужчины – подлецы!»

Различают популярную и научную индукцию. При популярной индукции мы спешим сделать обобщение, опираясь на первые попавшиеся частные случаи. Наши примеры как раз демонстрируют индукцию такого рода. Достоверность вывода при популярной индукции весьма невысока, здесь очень легко совершить ошибку, что мы обычно и делаем.

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

Однако следует помнить о том, что и при соблюдении указанных правил мы можем приходить к ошибочным заключениям. Частые ошибки тех же социологов это наглядно демонстрируют. Но вот пример, придуманный физиками, иллюстрирующий, как обстоит дело в естествознании: «Употреблять в пищу огурцы опасно – с ними связаны все телесные недуги и вообще людские несчастья. Практически все люди, страдающие хроническими заболеваниями, ели огурцы. 99,9% всех людей, умерших от рака, при жизни ели огурцы. 99,7% всех лиц, ставших жертвами авто- и авиакатастроф, употребляли в пищу огурцы в течение двух недель, предшествовавших фатальному несчастному случаю. 93,1% всех несовершеннолетних преступников происходят из семей, где огурцы потребляли постоянно». Этот пример показывает, как легко оснастить ошибочную гипотезу статистическими данными и выдать глупость за научную истину.

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

1) Эта задача решается просто: нужно переставлять часовых из середины бастиона на его углы, как показано на следующих рисунках:


2) К сожалению, здесь простой и наглый обман. Путешественники действительно заплатили 27 руб. Но это и все, никаких 30 руб. уже нет! Из этих 27 руб. хозяйка взяла себе 25 руб. и 2 руб. осталось у мальчика. На каком основании к этим 27 руб. я добавляю еще 2 руб.? Откуда я их взял? Где они? И деньги хозяйки, и деньги мальчика уже посчитаны – они в уплаченных 27 руб. Я выдумал эти 2 руб., чтобы ввести вас в заблуждение.

3) Для решения этой задачи достаточно несложных арифметических действий. Если Иван отдаст 1 овцу Петру, то овец у них станет поровну. Это позволяет нам составить равенство: овцы Петра + 1 = овцы Ивана – 1. Отсюда мы легко заключаем, что у Ивана на 2 овцы больше. Дальнейшее в том же духе. Ответ: у Петра было 3 овцы, у Ивана – 5.

4) Не знаешь, с чего начать. Но есть одна зацепка, помогающая размотать клубок. Карасев сказал: «Если вы спросите у Щукина о его профессии, он ответит, что он маляр». И Щукин действительно сказал, что он маляр! Значит, Карасев хотя бы одну правду сказал, следовательно, он не может быть вором, который всегда лжет. Может быть, Карасев – соучастник, который иногда говорит правду, а иногда лжет? Тогда вором и честным человеком должны быть Щукин и Окунев, и их ответы должны полностью отличаться один от другого, так как один из них всегда говорит правду, а другой постоянно лжет. Нет, такого не получается: ответы Щукина и Окунева в одном пункте совпадают. Следовательно, только Карасев может быть честным человеком и все, что он сказал, – правда. Ответы Окунева в одном пункте совпадают с ответами Карасева, следовательно, Окунев – соучастник преступления. И естественно, Щукин не может быть никем иным, как вором.

5) Обозначим студентов буквами A, B, C и поставим себя на место A. Он рассуждает так: «Я вижу перед собой две белые шапки. Значит, на мне белая или черная шапка. Если на мне черная шапка, то B видит перед собой черную и белую шапки. Но B ведь тоже рассуждает: „Если бы на мне была черная шапка, то C видел бы перед собой две черные шапки и сразу же догадался бы, что на нем самом белая шапка. Но C молчит, значит, на мне – белая шапка“. Таким образом, – продолжает рассуждать A, – если бы на мне была черная шапка, то B уже догадался бы, что на нем самом должна быть белая шапка. Но B молчит. Значит, он не видит на мне черной шапки. Следовательно, на мне – белая шапка!» Так рассуждал каждый из них, а поскольку все студенты соображали одинаково быстро, они одновременно решили задачу.

6) Здесь важна логика рассуждения, приводящего к решению. Нужно двигаться с конца к началу. В конце осталось 8 картофелин, что равно 2/3 того количества, которое обнаружил в чугунке третий крестьянин. Значит, всего он обнаружил 12 штук. Но это равно 2/3 того количества, которое нашел второй крестьянин. Значит, там было 18 штук. Опять-таки, это равно 2/3 того количества картофеля, которое обнаружил первый крестьянин. Следовательно, первый нашел в чугунке 27 картофелин. Столько картофелин сварила хозяйка. Первый съел 9 штук и больше ни на что претендовать не может. Второй съел 6 штук, и ему еще полагается 3 картофелины. Третий съел всего 4 штуки и должен получить еще 5 картофелин.

7) Эта задача сложная, боюсь, не все с ней справились. Действительно, 17 не делится ни пополам, ни на три части, ни на девять частей. Но вы помните: мудрец приехал, он приехал на осле! Добавив своего осла к ослам братьев, он получил 18 ослов. Половину, т.е. 9 ослов, он отдал старшему брату; третью часть, 6 ослов, он отдал среднему брату и девятую часть – двух ослов – передал младшему. Итак: 9 + 6 + 2 = 17. После этого он сел на своего осла и уехал.

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


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


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


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


Доказать теорему А В - это значит установить логическим путем, что всегда, когда выполняется свойство А , будет выполняться свойство В.


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


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


В качестве примера рассмотрим рассуждение школьника, которому надо установить отношение «меньше» между числами 7 и 8. Учащийся говорит: «7 < 8, потому что при счете 7 называют раньше, чем 8».


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


Таких фактов два: Первый: если число а при счете называют раньше числа b , то a < b . Второй: 7 при счете называют раньше, чем 8.


Первое предложение носит общий характер, так как содержит квантор общности - его называют общей посылкой. Второе предложение касается конкретных чисел 7 и 8 - его называют частной посылкой. Из двух посылок получен новый факт: 7 < 8, его называют заключением.


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


Рассуждение, между посылками и заключением которого имеет место отношение следования, называют дедуктивным.


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


Умозаключение - это способ получения нового знания на основе некоторого имеющегося.


Умозаключение состоит из посылок и заключения.


Посылки - это , содержащие исходное знание.


Заключение - это высказывание, содержащее новое знание, полученное из исходного.


Как правило, заключение отделяется от посылок с помощью слов «следовательно», «значит». Умозаключение с посылками р 1, р 2, …, рn и заключением Р будем записывать в виде: или 1, р 2, …, рn) Р.


Примеры умозаключений: а) Число а = b. Число b = с . Следовательно, число а = с.


b) Если в дроби числитель меньше знаменателя, то дробь правильная. В дроби числитель меньше знаменателя (5<6) . Следовательно, дробь - правильная.


с) Если идет дождь, то на небе есть тучи. На небе есть тучи, следовательно, идет дождь.


Умозаключения могут быть правильными и неправильными.


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


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


1) формализуют все посылки и заключение;


2) записывают формулу, представляющую конъюнкцию посылок, соединенную знаком импликации с заключением;


3) составляют таблицу истинности для данной формулы;


4) если формула тождественно-истинна, то умозаключение правильное, если нет - то умозаключение неправильное.


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


Правил много, но наиболее часто используются следующие:


1. - правило заключения;


2. - правило отрицания;


3. - правило силлогизма.


Приведем пример умозаключения, выполненного по правилу заключения: «Если запись числа х оканчивается цифрой 5, то число х делится на 15. Запись числа 135 оканчивается цифрой 5 . Следовательно, число 135 делится на 5 ».


В качестве общей посылки в этом умозаключении выступает утверждение «если А(х), то В(х) », где А(х) - это «запись числа х оканчивается цифрой 5 », а В(х) - «число х делится на 5 ». Частная посылка представляет собой высказывание, которое получилось из условия общей посылки при
х = 135 (т.е. А(135) ). Заключение является высказыванием, полученным из В(х) при х = 135 (т.е. В(135) ).


Приведем примерумозаключения, выполненного по правилу отрицания: «Если запись числа х оканчивается цифрой 5, то число х делится на 5 . Число 177 не делится на 5 . Следовательно, оно не оканчивается цифрой 5 ».


Видим, что в этом умозаключении общая посылка такая же как и в предыдущем, а частная представляет собой отрицание высказывания «число 177 делится на 5 » (т.е. ). Заключение - это отрицание предложения «Запись числа 177 оканчивается цифрой 5 » (т.е. ).


И наконец, рассмотрим пример умозаключения, построенного по правилу силлогизма : «Если число х кратно 12, то оно кратно 6. Если число х кратно 6 , то оно кратно 3 . Следовательно, если число х кратно 12, то оно кратно 3 ».


В этом умозаключении две посылки: «если А(х), то В(х) » и «если В(х), то С(х) », где А(х) - «число х кратно 12 », В(х) - «число х кратно 6 » и С(х) - «число х кратно 3 ». Заключение представляет собой высказывание «если А(х), то С(х) ».


Проверим, правильны ли следующие умозаключения:


1) Если четырехугольник - ромб, то его диагонали взаимно перпендикулярны. АВС D - ромб. Следовательно, его диагонали взаимно перпендикулярны.


2) Если число делится на 4 , то оно делится на 2 . Число 22 делится на 2 . Следовательно, оно делится на 4.


3) Все деревья являются растениями. Сосна - дерево. Значит, сосна - растение.


4) Все учащиеся данного класса ходили в театр. Петя не был в театре. Следовательно, Петя - учащийся не данного класса.


5) Если числитель дроби меньше знаменателя, то дробь правильная. Если дробь правильная, то она меньше 1. Следовательно, если числитель дроби меньше знаменателя, то дробь меньше 1.


Решение: 1) Для решения вопроса о правильности умозаключения выявим его логическую форму. Введем обозначения: С(х) - «четырехугольник х - ромб», В(х) - «в четырехугольнике х диагонали взаимно перпендикулярны». Тогда первую посылку можно записать в виде:
С(х) В(х), вторую - С(а), а заключение В(а).


Таким образом, форма данного умозаключения такова: . Оно построено по правилу заключения. Следовательно, данное рассуждение правильное.


2) Введем обозначения: А(х) - «число х делится на 4 », В(х) - «число х делится на 2 ». Тогда первую посылку запишем: А(х) В(х), вторую В(а), а заключение - А(а). Умозаключение примет форму: .


Такой логической формы среди известных нет. Легко заметить, что обе посылки истинны, а заключение ложно.


Значит, что данное рассуждение неправильное.


3) Введем обозначения. Пусть А(х) - «если х дерево», В(х) - «х растение». Тогда посылки примут вид: А(х) В(х), А(а), а заключение В(а). Наше умозаключение построено по форме: - правила заключения.


Значит, наше рассуждение построено верно.


4) Пусть А(х) - «х - учащиеся нашего класса», В(х) - «учащиеся х ходили в театр». Тогда посылки будут следующими: А(х) В(х), , а заключение .


Данное умозаключение построено по правилу отрицания:


- значит оно верное.


5) Выявим логическую форму умозаключения. Пусть А(х) - «числитель дроби х меньше знаменателя». В(х) - «дробь х - правильная». С(х) - «дробь х меньше 1 ». Тогда посылки примут вид: А(х) В(х), В(х) С(х), а заключение А(х) С(х).


Наше умозаключение будет следующей логической формы: - правило силлогизма.


Значит, данное умозаключение верно.


В логике рассматривают различные способы проверки правильности умозаключений, среди которых анализ правильности умозаключений с помощью кругов Эйлера. Его проводят следующим образом: записывают умозаключение на теоретико-множественном языке; изображают посылки на кругах Эйлера, считая их истинными; смотрят, всегда ли при этом истинно заключение. Если да, то говорят, что умозаключение построено правильно. Если же возможен рисунок, из которого видно, что заключение ложно, то говорят, что умозаключение неправильно.


Таблица 9


























Словесная формулировка предложения



Запись на теоретико- множественном языке



Изображение на кругах Эйлера



Всякое А есть В










Некоторые А есть В


Некоторые А не есть В



























Ни одно А не есть В


























а есть А












а не есть А












Покажем, что умозаключение, выполненное по правилу заключения, является дедуктивным. Сначала запишем это правило на теоретико-множественном языке.


Посылка А(х) В(х) может быть записана в виде ТА ТВ , где ТА и ТВ - множества истинности высказывательных форм А(х) и В(х).


Частная посылка А(а) означает, что а ТА, а заключение В(а) показывает, что а ТВ.


Все умозаключение, построенное по правилу заключения, запишется на теоретико-множественном языке так: .



































Изобразив на кругах Эйлера множества ТА и ТВ и обозначив элемент а ТА, мы увидим, что а ТВ (рис. 58). Значит, а Т аТ .










Рис. 58.


Примеры.


1. Правильно ли умозаключение «Если запись числа оканчивается цифрой 5, то число делится на 5. Число 125 делится на 5. Следовательно, запись числа 125 оканчивается цифрой 5 »?


Решение: Это умозаключение выполнено по схеме , что соответствует . Такой схемы среди известных нам нет. Выясним, является ли она правилом дедуктивного умозаключения?


Воспользуемся кругами Эйлера. На теоретико-множественном языке


полученное правило можно записать так:


. Изобразим на кругах Эйлера множества ТА и ТВ и обозначим элемент а из множества ТВ.


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


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


























Рис. 59.


б) Все глаголы отвечают на вопрос «что делать?» или «что сделать?». Слово «василек» не отвечает ни на один из этих вопросов. Следовательно, «василек» не является глаголом.


Решение: а) Запишем данное умозаключение на теоретико-множественном языке. Обозначим через А - множество студентов педагогического факультета, через В - множество студентов, являющихся учителями, через С - множество студентов, старше 20 лет.


Тогда умозаключение примет вид: .


Если изобразить данные множества на кругах, то возможно 2 случая:


1) множества А, В, С пересекаются;


2) множество В пересекается с множеством С и А, а множество А пересекается с В , но не пересекается с С.

б) Обозначим через А множество глаголов, а через В множество слов, отвечающих на вопрос «что делать?» или «что сделать?».


Тогда умозаключение можно записать в следующем виде:







Рассмотрим несколько примеров.


Пример 1. Ученику предлагается объяснить, почему число 23 можно представить в виде суммы 20 + 3. Он рассуждает: «Число 23 - двузначное. Любое двузначное число можно представить в виде суммы разрядных слагаемых. Следовательно, 23 = 20 + 3».


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


Умозаключения, которые обычно используются при доказательствах теорем, основаны на понятии логического следования. При этом из определения логического следования вытекает, что при всех значениях высказывательных переменных, при которых истинны исходные высказывания (посылки), истинно и заключение теоремы. Такие умозаключения дедуктивные.


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


Пример 2. Один из приемов ознакомления младших школьников с переместительным свойством умножения заключается в следующем. Используя различные средства наглядности, школьники вместе с учителем устанавливают, что, например, 6 3 = 36, 52 = 25. Затем на основе полученных равенств делают вывод: для всех натуральных чисел a и b верно равенство ab = ba.


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


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

т.е. для некоторых натуральных чисел можно утверждать, что сумма меньше их произведения. Значит, на основании, что некоторые числа обладают данным свойством, можно сделать вывод, что этим свойством обладают все натуральные числа:


Данный пример - это пример рассуждения по аналогии.


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


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

УМОЗАКЛЮЧЕНИЕ - ТРЕТЬЯ ФОРМА МЫШЛЕНИЯ

Что такое умозаключение?

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

В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой:

Все живые организмы питаются влагой.

Все растения - это живые организмы.

Все растения питаются влагой.

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

Если хотя бы одна из посылок ложна, то и вывод ложен:

Все птицы - это млекопитающие животные.

Все воробьи - это птицы.

Все воробьи - это млекопитающие животные.

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

Например, из следующих двух посылок никакого вывода не следует:

Все планеты - это небесные тела.

Все сосны являются деревьями.

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

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

Например :

Все цветы являются растениями.

Некоторые растения являются цветами.

Еще пример:

Верно, что все цветы являются растениями.

Неверно, что некоторые цветы не являются растениями.

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

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

Например :

Все рыбы - это живые существа.

Все караси - это рыбы.

Все караси - это живые существа.

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

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


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

Например :

Все звезды излучают энергию.

Солнце - это звезда.

Солнце излучает энергию.

Как видим, первая посылка представляет собой общее правило, из которого (при помощи второй посылки) вытекает частный случай в виде вывода: если все звезды излучают энергию, значит, Солнце тоже ее излучает, потому что оно является звездой. В дедукции рассуждение идет от общего к частному, от большего к меньшему, знание сужается, в силу чего дедуктивные выводы достоверны, т.е. точны, обязательны, необходимы и т.п. Посмотрим еще раз на приведенный выше пример. Мог бы из двух данных посылок следовать иной вывод, кроме того, который из них вытекает? Не мог! Вытекающий вывод - единственно возможный в этом случае. Изобразим отношения между понятиями, из которых состояло наше умозаключение, кругами Эйлера . Объемы трех понятии: звезды ; тела , излучающие энергию ; Солнце схематично расположатся следующим образом.

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

Несомненное достоинство дедукции, конечно же, заключается в достоверности ее выводов. Вспомним, известный литературный герой Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений. Это значит, что он строил свои рассуждения таким образом, чтобы из общего выводить частное. В одном произведении, объясняя доктору Уотсону сущность своего дедуктивного метода, он приводит такой пример. Около убитого полковника Морена сыщики Скотланд-Ярда обнаружили выкуренную сигару и решили, что полковник выкурил ее перед смертью.

Однако он (Шерлок Холмс) неопровержимо доказывает, что полковник Морен не мог выкурить эту сигару, потому что он носил большие, пышные усы, а сигара выкурена до конца, т.е. если бы ее курил Морен, то он непременно подпалил бы свои усы. Следовательно, сигару выкурил другой человек. В этом рассуждении вывод выглядит убедительно именно потому, что он дедуктивный: из общего правила (Любой человек с большими, пышными усами не может выкурить сигару до конца ) выводится частный случай (Полковник Морен не мог выкурить сигару до конца, потому что носил такие усы ).

Индуктивные умозаключения , или индукция - это умозаключения, в которых из нескольких частных случаев выводится общее правило (несколько частных случаев как наводят на общее правило).

Например :

Юпитер движется.

Марс движется.

Венера движется.

Юпитер, Марс, Венера - это планеты.

Все планеты движутся.

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

Умозаключения по аналогии, или аналогия - это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках делается вывод об их сходстве и в других признаках.

Например :

Планета Земля расположена в Солнечной системе , на ней есть атмосфера , вода и жизнь.

Планета Марс расположена в Солнечной системе, на ней есть атмосфера и вода.

Вероятно, на Марсе есть жизнь.

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

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

Умозаключение - это непосредственный переход от одного или нескольких высказываний А 1 , А 2 , …, А n к высказыванию В. А 1 , А 2 , …, А n называют посылками. Посылка может быть одна, их может быть две, три, четыре, в принципе - сколько угодно. В посылках содержится известная нам информация. В - это заключение. В заключении находится уже новая информация, которую мы извлекли из посылок с помощью специальных процедур. Эта новая информация уже содержалась в посылках, но в скрытом виде. Так вот задача умозаключения сделать это скрытое явным. Кроме того, иногда посылки называют аргументами, а заключение - тезисом, а само умозаключение в этом случае называют обоснованием. Разница между умозаключением и обоснованием состоит в том, что в первом случае, мы не знаем, к какому заключению мы придём, а во втором - тезис нам уже известен, мы просто хотим установить его связь с посылками-аргументами.

В качестве иллюстрации умозаключения можно взять рассуждения Эркюля Пуаро из «Убийства в восточном экспрессе» Агаты Кристи:

Но я почувствовал, что он перестроился на ходу. Предположим, он хотел сказать: «А разве ее не сожгли?» Следовательно, Маккуин знал и о записке, и о том, что ее сожгли, или, говоря другими словами, он был убийцей или пособником убийцы.

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

Критерии истинности умозаключений

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

Второй аспект - это правильность самого умозаключения с точки зрения его логической формы. Дело в том, что истинность посылок - это важное, но недостаточное условие для того, чтобы заключение было правильным. Нередки ситуации, когда посылки истинны, но заключение неверно. В качестве примера неправильного умозаключения при истинности посылок можно привести умозаключение голубки из «Алисы в стране чудес» Кэрролла. Голубка обвиняет Алису, в том, что она не змея. Вот как она приходит к этому выводу:

Змеи едят яйца.
Девочки едят яйца.
Значит, девочки - это змеи.

Хотя посылки правильные, заключение абсурдно. Умозаключение в целом сделано неверно. Чтобы избежать подобных ошибок, логики выявили такие умозаключения, логические формы которых при истинности посылок гарантируют истинность заключения. Их принято называть правильными умозаключениями. Таким образом, чтобы умозаключение было сделано верно, нужно следить за истинностью посылок и за правильностью самой формы умозаключения.

Мы рассмотрим различные формы правильных умозаключений на примере силлогистики. В этом уроке мы разберём самые простые однопосылочные заключения. В следующем уроке - более сложные заключения: силлогизмы, энтимемы, многопосылочные заключения .

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

Начнём с отношений подчинения . Мы уже сталкивались с ними в четвёртом уроке, когда рассматривали условия истинности для частно-утвердительных и частно-отрицательных высказываний. Мы говорили, что из высказывания «Все S есть P» будет логичным вывести высказывание «Некоторые S есть P», а из высказывания «Ни один S не есть P» - «Некоторые S не есть P». Таким образом, возможны следующие типы умозаключений:

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

Кроме того, по правилу контрапозиции из отношений подчинения можно вывести ещё два правильных умозаключения. Правило контрапозиции - это логический закон, который гласит: если из высказывания А следует высказывание В, то из высказывания «неверно, что В» будет следовать высказывание «неверно, что А». Вы можете попробовать проверить этот закон с помощью таблицы истинности. Итак, будут верны и следующие умозаключения по контрапозиции:

  • Неверно, что все S есть P
  • Неверно, что некоторые автомобили не имеют колёс. Поэтому неверно, что все автомобили не имеют колёс.
  • Неверно, что все S не есть P
  • Неверно, что некоторые вина не являются спиртными напитками. Таким образом, неверно, что все вина не являются спиртными напитками.

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

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

  • Все S есть P
  • Все яблоки - это фрукты. Следовательно, неверно, что ни одно яблоко не является фруктом.
  • Ни один S не есть P
  • Неверно, что все S есть P
  • Ни один кит не умеет летать. Поэтому неверно, что все киты умеют летать.

Отношения субконтрарности (подпротивоположности) означают, что высказывания типа «Некоторые S есть P» и «Некоторые S не есть P» не могут быть одновременно ложными, хотя могут быть одновременно истинными. На этом основании может быть сформулирован закон субконтрарного исключённого третьего: Некоторые S не есть P или Некоторые S есть P.

  • Согласно этому закону правильными будут следующие умозаключения:
  • Неверно, что некоторые S есть P
  • Некоторые S не есть P
  • Неверно, что некоторые продукты полезны для здоровья. Поэтому некоторые продукты не полезны для здоровья.
  • Неверно, что некоторые S не есть P
  • Некоторые S есть P
  • Неверно, что некоторые ученики из нашего класса не являются двоечниками. Таким образом, некоторые ученики из нашего класса являются двоечниками.

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

На этих законах строятся умозаключения следующих видов:

  • Все S есть P
  • Неверно, что некоторые S не есть P
  • Все дети нуждаются в заботе. Следовательно, неверно, что некоторые дети не нуждаются в заботе.
  • Некоторые S не есть P
  • Неверно, что все S есть P
  • Некоторые книги не являются скучными. Поэтому, неверно, что все книги являются скучными.
  • Неверно, что все S есть P
  • Некоторые S не есть P
  • Неверно, что все сотрудники нашей фирмы усердно работают. Таким образом, некоторые сотрудники нашей фирмы не работают усердно.
  • Неверно, что некоторые S не есть P
  • Все S есть P
  • Неверно, что некоторые зебры не имеют полосок на коже. Следовательно, все зебры имеют полоски на коже.
  • Ни один S не есть P
  • Неверно, что некоторые S есть P
  • Ни одна картина в этом зале не относится к XX веку. Поэтому неверно, что некоторые картины в этом зале относятся к XX веку.
  • Некоторые S есть P
  • Неверно, что ни один S не есть P
  • Некоторые студенты занимаются спортом. Таким образом, неверно, что ни один студент не занимается спортом.
  • Неверно, что ни один S не есть P
  • Некоторые S есть P
  • Неверно, что ни один учёный не интересуется искусством. Следовательно, некоторые учёные интересуются искусством.
  • Неверно, что некоторые S есть P
  • Ни один S не есть P
  • Неверно, что некоторые коты курят сигары. Таким образом, ни один кот не курит сигары.

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

Ещё одним видом однопосылочных умозаключений является обращение. Это такой тип умозаключений, при которых субъект посылки совпадает с предикатом заключения, а субъект заключения совпадает с предикатом посылки. Грубо говоря, в заключении S и P просто меняются местами.

Прежде чем перейти к умозаключениям через обращение, построим таблицу истинности для высказываний, в которых P встанет на место субъекта, а S - на место предиката.

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

Итак, существует два вида обращения: чистое и с ограничением. Чистое обращение происходит тогда, когда количественная характеристика не изменяется, то есть если в посылке было слово «все», то и в заключении тоже будет слова «все»/«ни один», если в посылке слово «некоторые», то и в заключении «некоторые. Соответственно, при обращении с ограничением количественная характеристика меняется: были «все», а стали «некоторые». Для высказываний типа «Ни один S не есть P» и «Некоторые S есть P» правильным будет следующее чистое обращение:

  • Ни один S не есть P
  • Ни один P не есть S
  • Ни один человек не может выжить без воздуха. Следовательно, ни одно живое существо, способное выжить без воздуха, не является человеком.
  • Некоторые S есть P
  • Некоторые P есть S
  • Некоторые змеи ядовиты. Поэтому, некоторые ядовитые существа - это змеи.
  • Для высказываний типа «Все S есть P» и «Ни один S не есть P» верно обращение с ограничением:
  • Все S есть P
  • Некоторые P есть S
  • Все пингвины - это птицы. Таким образом, некоторые птицы - это пингвины.
  • Ни один S не есть P
  • Некоторый P не есть S
  • Ни один крокодил не ест зефир. Следовательно, некоторые существа, едящие зефир, не являются крокодилами.
  • Высказывания типа «Некоторые S не есть P» вообще не обращаются.

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

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

Упражнение «Подберите ключ»

В этой игре вам нужно создать ключ правильной формы. Для этого установите засечки нужной длины (от 1 до 3, 0 – быть не может), а затем нажмите кнопку «Попробовать». Вам будут даны 2 суждения, сколько засечек выбранной длины присутствуют в ключе (для простоты значение «наличие»), и сколько из выбранных находятся на своём месте (для простоты значение «на месте»). Скорректируйте своё решение и пробуйте, пока не подберёте ключ.

Упражнения

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

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

Сделайте обращения с теми, высказываниями, с которыми это возможно:

  • Никто ещё не построил машину времени.
  • Некоторые официанты очень назойливы.
  • Все профессионалы опытны в своём деле.
  • Некоторые книги не имеют твёрдой обложки.

Проверьте, правильно ли сделаны следующие умозаключения:

  • Некоторые кролики не носят белые перчатки. Следовательно, некоторые кролики носят белые перчатки.
  • Неверно, что никто не был на Луне. Таким образом, некоторые люди были на Луне.
  • Все люди смертны. Поэтому все смертные - это люди.
  • Некоторые птицы не умеют летать. Следовательно, некоторые существа, не умеющие летать, это птицы.
  • Ни один ягнёнок не имеет пристрастия к виски. Следовательно, ни одно существо, имеющее пристрастие к виски, не является ягнёнком.
  • Некоторые морские животные млекопитающие. Таким образом, неверно, что ни одно морское животное не является млекопитающим.

Проверьте свои знания

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

Логика. Учебное пособие Гусев Дмитрий Алексеевич

3.2. Виды умозаключений

3.2. Виды умозаключений

Умозаключения, или опосредованные умозаключения делятся на три вида. Они бывают дедуктивными, индуктивными и умозаключениями по аналогии .

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

Например:

Все звезды излучают энергию.

Солнце – это звезда.

Солнце излучает энергию.

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

Посмотрим еще раз на приведенный выше пример. Мог бы из двух данных посылок вытекать иной вывод, кроме того, который из них вытекает? Не мог! Вытекающий вывод – единственно возможный в этом случае. Изобразим отношения между понятиями, из которых состояло наше умозаключение, кругами Эйлера. Объемы трех понятий: звезды; тела, излучающие энергию; Солнце схематично расположатся следующим образом:

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

Несомненное достоинство дедукции, конечно же, заключается в достоверности ее выводов. Вспомним, известный литературный герой Шерлок Холмс пользовался дедуктивным методом при раскрытии преступлений. Это значит, что он строил свои рассуждения таким образом, чтобы из общего выводить частное. В одном произведении, объясняя доктору Уотсону сущность своего дедуктивного метода, он приводит такой пример. Около убитого полковника Морена сыщики Скотлэнд-Ярда обнаружили выкуренную сигару и решили, что полковник выкурил ее перед смертью. Однако, он (Шерлок Холмс) неопровержимо доказывает, что полковник Морен не мог выкурить эту сигару, потому что он носил большие, пышные усы, а сигара выкурена до конца, т. е., если бы ее курил Морен, то он непременно подпалил бы свои усы. Следовательно, сигару выкурил другой человек. В этом рассуждении вывод выглядит убедительно именно потому, что он дедуктивный: из общего правила (Любой человек с большими, пышными усами не может выкурить сигару до конца ) выводится частный случай (Полковник Морен не мог выкурить сигару до конца, потому что носил такие усы ). Приведем рассмотренное рассуждение к принятой в логике стандартной форме записи умозаключений в виде посылок и вывода:

Любой человек с большими, пышными усами не может выкурить сигару до конца.

Полковник Морен носил большие, пышные усы.

Полковник Морен не мог выкурить сигару до конца.

Индуктивные умозаключения или индукция (от лат. inductio – наведение) – это умозаключения, в которых из нескольких частных случаев выводится общее правило (несколько частных случаев как бы наводят на общее правило). Например:

Юпитер движется.

Марс движется.

Венера движется.

Юпитер, Марс, Венера – это планеты.

Все планеты движутся.

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

Умозаключения по аналогии или просто аналогия (от греч. analogia – соответствие) – это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. Например:

Планета Земля расположена в солнечной системе, на ней есть атмосфера, вода и жизнь.

Планета Марс расположена в солнечной системе, на ней есть атмосфера и вода.

Вероятно, на Марсе есть жизнь.

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

Данный текст является ознакомительным фрагментом.

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

3.11. Правила умозаключений с союзом «если… то» 1. Утверждать можно только от основания к следствию, т. е. во второй посылке утверждающего модуса должно утверждаться основание импликации (первой посылки), а в выводе – ее следствие. В противном случае из двух истинных

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

§ 4. ВИДЫ ПОНЯТИЙ Понятия (классы) делятся на пустые и непустые. О них шла речь в предыдущем параграфе. Рассмотрим виды непустых понятий. По объему они делятся на: 1) единичные и общие, (последние - на регистрирующие и нерегистрирующие); по типу обобщаемых предметов - на 2)

§ 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ В процессе познания мы приобретаем новые знания. Некоторые из них - непосредственно, в результате воздействия предметов внешнего мира на органы чувств. Но большую часть знаний - путем выведения новых знаний из

§ 2. ВИДЫ АНАЛОГИИ По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений.(1) Аналогия предметов - умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком -

§ 2. ВИДЫ ВОПРОСОВ Рассмотрим основные виды вопросов с учетом: 1) отношения к обсуждаемой теме, 2) семантики, 3) функций, 4) структуры.1. Отношение к обсуждаемой теме.В процессе обсуждения спорных проблем в науке, политике, судопроизводстве или деловых беседах важно различать

§ 3. ВИДЫ ОТВЕТОВ Познавательная функция вопроса реализуется в форме вновь полученного суждения - ответа на поставленный вопрос. При этом по содержанию и структуре ответ должен строиться в соответствии с поставленным вопросом. Лишь в этом случае он расценивается как

§ 2. ВИДЫ ГИПОТЕЗ В процессе развития знаний гипотезы различаются по своим познавательным функциям и по объекту исследования.1. По функциям в познавательном процессе различают гипотезы (1) описательные и (2) объяснительные.(1) Описательная гипотеза - это предположение о

§ 4. ВИДЫ ПОНЯТИЙ Понятия делятся на виды по: (1) количественным характеристикам объемов понятий; (2) типу обобщаемых предметов; (3) характеру признаков, на основе которых обобщаются и выделяются предметы. Большей частью эта классификация относится к простым понятиям

3. Типология умозаключений Выступая в качестве более сложной, чем понятие и суждение, формы мышления, умозаключение представляет собой в то же время более богатую по своим проявлениям форму. И в этом есть определенная закономерность.Обозревая практику мышления, можно

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

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

ЛЕКЦИЯ № 15 Умозаключение. Общая характеристика дедуктивных умозаключений 1. Понятие умозаключения Умозаключение - это форма абстрактного мышления, посредством которой из ранее имевшейся информации выводится новая. При этом не задействуются органы чувств, т. е. весь

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

Как проводили биологическую эволюцию: виды-инкубаторы и виды-выводки Материалистическая наука полагает, что всё на свете происходит без сверхъестественных вмешательств. В частности, совершенно естественно происходит и биологическая эволюция, причём новые