- •1.1. Определение предмета логики
- •1.2. Истинность и правильность
- •1.3. Мышление и язык
- •1.4. Этапы развития логики
- •1.5. Значение логики
- •2. Эта задача имеет почтенный возраст.
- •II. 1. Что такое понятие
- •II.2. Объем и содержание понятия
- •II.4. Отношения между понятиями
- •11,3. Закон обратного отношения между объемом и содержанием понятия
- •Сейчас я докажу вам, что 3 раза по 2 будет не 6, как вы думаете, а 4. Следите за моими рассуждениями:
- •Что такое понятие?
- •III. 1. Обобщение и ограничение понятий
- •1. Расстояние между двумя городами а и в равно 30 км. Однажды утром из этих городов навстречу друг другу вышли два пешехода со скоростью 5 км. В час каждый.
- •III.4. Приемы, сходные с определением
- •Что значит обобщить или ограничить понятие?
- •Что такое деление понятий? Какие правила нужно соблюдать при делении? Чем отличается деление понятий от мысленного расчленения предмета на части?
- •Что такое определение понятий? Каким требованиям должно удовлетворять определение через род и видовор отличие?
- •Здесь нужно осознать одну простую мысль: пароходы способны двигаться не только вперед, но и назад, и тогда все становится легко.
- •IV. 1. Общая характеристика суждения
- •IV.2. Структура простого суждения
- •IV.3. Классификация суждений по количеству и качеству
- •IV.4. Логический квадрат
- •V.L. Логические связки
- •V.2. Таблицы истинности
- •2) Суждение «а & ь* ложно, а суждение а истинно. Каково истинностное значение ь?
- •V.3. Отношения между сложными высказываниями
- •V.4. Другие виды высказываний
- •VI. 1. Законы традиционной логики
- •VI. 1.3. Закон исключенного третьего: из
- •1) Является ли первое из двух приведенных ниже суждений достаточным основанием для второго суждения?
- •VI.2. Понимание законов мышления в математической логике
- •VII. 1. Общая характеристика умозаключения. Дедукция и индукция
- •1. Вдоль стен квадратного бастиона его комендант разместил 16 часовых по 5 человек с каждой стороны — так, как показано на рисунке:
- •VII.2. Превращение
- •VII.3. Обращение
- •Vtii.1. Общая характеристика силлогизма
- •Что такое умозаключение? Каков его состав?
- •Какие умозаключения называются «дедуктивными»?
- •Что такое превращение? обращение? противопоставление предикату?
- •VIII.3. Фигуры и модусы силлогизма
- •Большая посылка должны быть общим суждением.
- •1 Фигура 2 фигура 3 фигура 4 фигура
- •Большая посылка должны быть общим суждением.
- •Меньшая посылка должны быть утвердительным суждением.
- •Вывод должен быть частным суждением.
- •Если обе посылки являются утвердительными, то меньшая посылка должна быть общим суждением, а заключение — частным.
- •Если одна из посылок — отрицательное суждение, то большая посылка должна быть общим суждением.
- •Ты не есть человек
- •Вся жизнь — дзюдо
- •3. Николай и Павел иногда лгут. Однажды Николай говорит Павлу: «Когда я не лгу, ты тоже не лжешь». Павел ответил: «а когда я лгу, ты тоже лжешь».
- •4. Произошла кража, и было задержано трое подозреваемых.
- •Отрицать следствие;
- •Отрицать основание;
- •Утверждать следствие.
- •Если у человека есть совесть, он признает свои ошибки. Данный человек не признает своих ошибок. Следовательно...
- •Если дерево полить керосином, то оно засохнет. Это дерево не поливали керосином. Следовательно...
- •Если вода нагревается, то она испаряется. Вода нагревается. Следовательно...
- •Если хорошо обработать поле, то посевы не будут страдать от засухи. Это поле хорошо обработано. Следовательно...
- •Если на поле стоит пугало, то сторож спит спокойно. Сторож спит спокойно. Следовательно...
- •IX.2. Разделительно-категорический силлогизм
- •6) Линии бывают или прямые, или кривые, иди ломаные Данная линия не кривая и не ломаная
- •7) Позвоночные животные есть или млекопитающие, или птицы, или пресмыкающиеся, или рыбы
- •5) Если человек скуп, то он копит деньги Если человек бережлив, то он тратит умеренно Этот человек не копит и не тратит умеренно
- •6) Если бы мы захотели помочь этому бедняку, то мы должны были бы или дать ему денег, или найти подходящую работу Но мы не даем ему ни денег, ни подходящей работы
- •2. В авиационном подразделении служат Утко-носенко, Крокодиладзе, Гиппопотамян, Змеюкин и Муравьедский. Их специальности: пилот, штурман, бортмеханик, радист и синоптик.
- •Что такое индукция? Чем индуктивный вывод отличается от дедуктивного?
- •Виды индукции.
- •Методы установления причинных связей:
- •XI. 1. Общая характеристика доказательства
- •1. Похожую задачу вы уже решали. Основная идея решения состоит в том, что бутылки из средних отделений нужно перекладывать в угловые. Давайте совершим первую кражу.
- •2. Начинаем с того, о ком приведено больше всего данных. Это — Крокодиладзе. Он не пилот; не радист; не синоптик; не бортмеханик. Остается одно: Крокодиладзе — штурман.
- •XI.2. Опровержение
- •Тезис должен нуждаться в доказательстве.
- •Тезис должен быть ясным и точным.
- •Совокупность аргументов должна быть непротиворечива.
- •Совокупность аргументов должны быть достаточной для вывода тезиса.
- •XII. 1. Общее представление о споре
- •XII.2. Разновидности споров
- •217 Нелояльные приемы спора
в
нашем силлогизме меньшая посылка
утвердительным суждением? - Нет,
суждение «Ты не есть я» отрицательное.
Нарушено правило 1-й фигуры. Силлогизм
неправилен, вывод из данных посылок не
следует.
Вот
и все. Тому, кто подъедет к вам с таким
рассуждением, вы можете теперь сказать:
«Дорогой мой! Ваше рассуждение
представляет собой простой
категорический силлогизм 1-й фигуры.
Но оно ошибочно, т. к. нарушает одно из
правил 1-й фигуры. Вывод из посылок
не следует. Если вы ошиблись по незнанию,
то вы — невежда. Если же вы допустили
ошибку сознательно, вы — демагог. И то,
и другое неприлично. Поэтому отойдите
от меня, от вас курицей пахнет!»
Еще
один пример:
Вся
жизнь — борьба
Дзюдо
— борьба
— Здесь
посылки и вывод уже выделены. Находим,
что понятие «жизнь» является меньшим
термином, понятие «дзюдо» — большим
термином, понятие «борьба» — средним
термином нашего силлогизма. Оценивая
это рассуждение с точки зрения общих
правил, замечаем, что понятие «борьба»
в одной посылке используется в широком
смысле — как преодоление трудностей
вообще, а в другой посылке это понятие
имеет более узкий смысл — как спортивное
состязание. Значит, здесь допущена
ошибка учетверения терминов. Кроме
того, легко видеть, что данный силлогизм
построен по 2-й фигуре. Правила 2-й фигуры
требуют, чтобы одна из посылок была
отрицательным суждением. Здесь обе они
утвердительные. Еще одна ошибка. Вывод
не следует.
Анализ
силлогизмов — занятие нетрудное, порой
даже забавное. А теперь давайте немного
подумаем!
Может
ли быть, чтобы во время этого краткого
разговора один из них солгал, а другой
сказал правду?
Один
из них вор, который постоянно лжет;
другой является соучастником и лжет
лишь иногда; третий — честный человек,
который никогда не лжет. Дознание
началось с вопросов о профессии каждого
из задержанных. Следователь получил
такие ответы.
Щукин:
я — маляр, Карасев — настройщик роялей,
а Окунев — дизайнер.
Карасев:
я — врач, Окунев — страховой агент. Что
же касается Щукина, то если вы его
спросите, то он ответит, что он — маляр.
Окунев:
Карасев настройщик роялей, Щукин —
дизайнер, а я — страховой агент.
По
этим ответам следователь догадался,
кто есть кто. Догадайтесь и вы!
VIII.5.
Энтимема
Язык
наш — великий лентяй! Он почти никогда
не выговаривает полностью всего того,
что мы хотим сказать (хотя порой
выбалтывает такое, о чем лучше бы
умолчать). Обратите внимание на свою
речь, на речь ваших друзей и знакомых,
и вы сразу же заметите, сколь многое
нами не договаривается, подразумевается,
как легко ошибиться при домысливании
речи другого человека. Посмотрите на
следующие диалоги.
Жертву
дорожного происшествия доставили в
больницу. В приемном отделении,
записывая данные пострадавшего, сестра
спрашивает: —Женаты?
—Нет,
нет, — вздрагивает он, — я просто попал
под автомобиль. Беседуют два приятеля:
—Ну,
и чем же закончилась вчера твоя ссора
с женой? —О, я заставил ее встать передо
мной на колени. —Вот как! И что же она
сказала? —Вылезай из-под кровати, подлый
трус!
Точно
так же и силлогизмом в полном и развернутом
виде мы практически никогда не пользуемся.
Мы его сокращаем, не высказы-
Вся жизнь — дзюдо
3. Николай и Павел иногда лгут. Однажды Николай говорит Павлу: «Когда я не лгу, ты тоже не лжешь». Павел ответил: «а когда я лгу, ты тоже лжешь».
4. Произошла кража, и было задержано трое подозреваемых.
ваем
в явном виде всех его посылок или вывода,
надеясь, что собеседник сам домыслит
недостающее звено и поймет нас. Тяжело
разговаривать с человеком, который
стремится произнести вслух даже самые
очевидные вещи. Такой человек напоминает
нам полковника Фридриха Крауса фон
Циллергута из романа Я. Гашека «Похождения
бравого солдата Швейка», любившего
все пояснять и объяснять и заслужившего,
вследствие этого, славу величайшего
осла и зануды. Вряд ли вы долго выдержите
такие, например, рассуждения: «Дорога,
по обеим сторонам которой тянутся
канавы, называется шоссе. Да-с, господа.
Знаете ли вы, что такое канава? Канава
— это выкопанное значительным числом
рабочих углубление. Да-с. Копают канавы
при помощи кирок. Известно ли вам,
что такое кирка?»
Силлогизм,
в котором опущена и лишь подразумевается
одна из частей — посылка или вывод —
называется энтимемой.
В
повседневной жизни мы пользуемся
сокращенными силлогизмами — энтиме-мами.
Это вполне естественно, но это также
служит причиной значительного
количества ошибок в наших рассуждениях.
Когда силлогизм представлен в полном
виде, ошибку легко заметить. Но если
какая-то его часть опущена, подразумевается,
то именно в ней-то и может скрываться
ошибка — либо подразумеваемая часть
ложна, либо образует неправильный
силлогизм. Допустим, я высокомерно
заявляю: «Этот человек глуп, так как он
не знает логики!» — Это энтимема.
Восстановим
подразумеваемую посылку и запишем
полный силлогизм:
Всякий
человек, не знающий логики, глуп Этот
человек не знает логики
Сначала
нужно понять: что нам дано в энтимеме
— две посылки или одна посылка и вывод?
Слова «потому что» намекают на то, что
первое предложение нашей энтимемы
является выводом, а второе — посылкой,
из которой он следует. Запишем их как
посылку и вывод силлогизма:
Земля
вращается вокруг Солнца
Земля
— планета
Вывод
у нас есть. По выводу мы определяем, что
меньшим термином силлогизма является
понятие «Земля», а большим — понятие
«планета». Мы видим, далее, что в нашу
посылку входит меньший термин «Земля»,
следовательно, нам дана меньшая посылка.
Опущена и подразумевается большая
посылка. Еще одно понятие, входящее в
нашу посылку, — «вращается вокруг
Солнца» — должно быть средним
термином силлогизма. Таким образом, у
нас имеется средний термин и больший
термин — все, что требуется для
восстановления опущенной большей
посылки. Однако ее можно сформулировать
двояким образом: «М-Р» или «Р—М».
Ну
что же, сформулируем два силлогизма:
Все
планеты вращаются вокруг Солнца
Земля
вращается вокруг Солнца
Земля
— планета
Некоторые
тела, вращающиеся вокруг Солнца,
есть планеты
Земля
вращается вокруг Солнца
Земля
— планета
Теперь
эти силлогизмы можно проанализировать
обычным образом. Легко видеть, что
первый силлогизм построен по 2-й фигуре,
для которой требуется, чтобы одна из
посылок была отрицательной. В этом
силлогизме нет отрицательной посылки,
поэтому вывод не следует. Второй
силлогизм, как можно заметить, построен
по 1-й фигуре. Но и здесь нарушено правило
фигуры. От силлогизма 1-й фигуры требуется,
чтобы большая посылка в нем была общим
суждением, но истинным будет только
частное суждение. Если бы мы попытались
сформулировать общую посылку: «Все
тела,
вращающиеся вокруг Солнца, являются
планетами», она оказалась бы ложной,
т. к. вокруг Солнца вращается много
всякой всячины — кометы, астероиды,
пы-
Этот
человек глуп
Здесь
сразу же становится видно, что
подразумеваемая и восстановленная
посылка ложна: далеко не каждый человек,
не знающий логики, глуп. Есть много
людей, никогда не изучавших логики, но
обладающих, тем не менее, острым и
проницательным умом. И наоборот,
некоторые люди всю жизнь занимаются
логикой, оставаясь при этом весьма
недалекими личностями. Логика помогает
нашему разуму, но все-таки разум
нужно иметь — как нужно иметь ноги,
чтобы тебе помогли костыли.
Да,
но как же восстанавливать энтимему в
полный силлогизм? Здесь могут встретиться
некоторые трудности. Давайте возьмем
пример попроще: «Земля планета,
потому что она вращается вокруг Солнца».
— Это энтимема. Верна ли она?
философии.
Но принципом, т. е. некоторой исходной,
фундаментальной истиной, может быть
только суждение. Мы же истолковали его
как умозаключение! А умозаключение
вовсе не может быть никаким принципом.
Поэтому некоторые логики усматривают
в
«Cogito»
Декарта
условное суждение: «Если я мыслю, то я
существую», которое, по-видимому,
истинно.
Все
это я говорю для того, чтобы вам стало
ясно, как трудно придать мысли точную
логическую форму и какое количество
различных вариантов возникает при
попытках сделать это
Итак,
мы рассмотрели простой категорический
силлогизм и его сокращенную форму —
энтимему. В наших реальных рассуждениях
мы, конечно, не ограничиваемся этими
простыми формами. Силлогизмы можно
соединять в цепи, делая вывод одного
силлогизма посылкой другого, а вывод
второго — посылкой третьего и т. д.
Такие цепи силлогизмов называются
полисиллогизмами.
Часто
для краткости и компактности рассуждений
мы опускаем в полисиллогизме отдельные
посылки — такой сокращенный полисиллогизм
называется соритом.
Иногда
мы конструируем силлогизм, посылками
которого являются не простые
категорические суждения, а энтимемы.
Такая конструкция называется
эпихейремой.
Короче
говоря, в повседневных рассуждениях
мы можем самыми разнообразными способами
комбинировать силлогизмы и энтимемы.
Однако в основе всех этих комбинаций
лежит та фундаментальная формы мысли,
которую мы с вами подробно рассмотрели
— простой категорический силлогизм.
Ниже
приводятся силлогизмы и энтимемы.
Попробуйте проанализировать их
корректность: сделайте вывод из посылок,
восстановите энтимему в полный силлогизм,
найдите термины, проверьте выполнение
общих правил, определите фигуру
силлогизма и посмотрите, выполняет ли
он правила соответствующей фигуры.
Сделайте хотя бы 5—7—10 примеров. Может
быть, это занятие покажется вам
скучноватым. Но, к сожалению, только
таким путем можно развить в себе
способность делать выводы. Поверьте,
я встречал молодых людей в возрасте 20
лет, не способных сказать, какой вывод
вытекает из таких, например, посылок:
«Все люди смертны, Сократ человек,
следовательно...» Иногда после долгого
и напряженного молчания они говорили:
«А я люблю сникерс». Причем здесь
сникерс! Ну, а вы, когда смотрите по
телевизору рекламу и какая-нибудь
престарелая девица с фальшивой улыбкой
убеждает вас: «Купите накладные волосы
и вы будете счастливы!», — умеете ли вы
распознать здесь энтимему?
А
это энтимема, и как только вы восстановите
невысказанную посылку: «Каждый
купивший накладные волосы счастлив»,
— вы сразу же увидите, что она ложна.
левые
облака и т. п. Таким образом, данная нам
энтимема неверна: вывод не вытекает из
посылок.
Может
быть, кто-то выразит удивление: разве
Земля не планета? Да, Земля планета и
вывод здесь является истинным суждением.
Но дело в том, что он не
вытекает из данных посылок. Это
бывает часто: когда выводное суждение
представляется истинным, то кажется,
что и умозаключение должно быть
правильным. Однако это далеко не так.
Суждение может быть истинным, но его
обоснование с помощью умозаключения
может оказаться ошибочным.
В
связи с энтимемой я позволю себе сделать
небольшое отступление. Если вы уже
знакомились с философией, то, возможно,
помните знаменитого французского
философа Рене Декарта (1596—1650 гг.).
Подобно своему старшему современнику
Ф. Бэкону, Декарт боролся за научное
изучение природы и освобождение познания
от пут религиозной догматики. Все
следует подвергнуть сомнению, полагал
он, и Священное Писание, и труды древних
авторов, и писания отцов церкви, ибо во
всем этом содержится намело очевидных
глупостей и заблуждений. Наше сознание
представляет собой конгломерат
устаревших верований, внушенных нам
в детстве стереотипов мышления, элементов
чужого и собственного опыта. Чувства
нас тоже часто обманывают, показывая
вещи вовсе не такими, каковы они есть.
Все сомнительно, даже существование
мира вокруг нас. Но есть ли в нашем
сознание что-то несомненное, достоверное,
способное послужить прочной основой
нашего познания? «Да, есть, — отвечал
Декарт. — Во всем можно сомневаться,
но нельзя усомниться в наличии самого
сомнения. Оно безусловно существует!
Но сомнение — это моя мысль, и если моя
мысль существует, то значит, я и сам
существую». Вот так Декарт приходит к
исходному принципу своей философии:
«Cogito
ergo
sum»
(«Я
мыслю, следовательно, я существую»).
Взгляните
на него — ведь это же энтимема! Здесь
дана одна посылка и вывод. Восстановим
эту энтимему в полный силлогизм:
Всякое
мыслящее существует Я мыслю
Я
существую
— Кажется,
вполне корректный силлогизм, достроенный
по первой фигуре.
Однако,
Бог с ним, с Декартом. Этот разговор я
затеял вовсе не для того, чтобы обсуждать
здесь философию Декарта. Для нас важно
другое. Выше я назвал
«Cog/to»
Декарта исходным принципом его
Позитрон
имеет положительный электрический
заряд. Позитрон — элементарная
частица. Следовательно, элементарные
частицы имеют положительный
электрический заряд.
Все
планеты — небесные тела. Луна не
является планетой. Следовательно...
Всякий
справедливый человек благороден.
Некоторые повара справедливы.
Следовательно...
Все
металлы — проводники электричества.
Медь есть металл. Следовательно...
Ни
один человек не может предсказать
будущего. Гадалки являются людьми.
Следовательно...
Петров
отличник, так как он усердно
готовится к экзаменам.
Это
животное не позвоночное, так как
оно не является млекопитающим.
Все,
дающее жизненный опыт, полезно.
Некоторые ошибки дают жизненный
опыт. Следовательно...
Ни
один взяточник не честен. Некоторые
чиновники являются взяточниками.
Следовательно...
Все
газы упруги. Некоторые вещества
не упруги. Следовательно... .
Ни
один мужественный не боязлив.
Всякий суеверный боязлив.
Следовательно...
Каждый
честный человек прилежно занимается
своим делом. Этот человек прилежно
занимается своим делом.
Следовательно...
Все
птицы кладут яйца. Все птицы есть
позвоночные. Следовательно...
Некоторые
огорчения полезны. Все огорчения
неприятны. Следовательно...
ВОПРОСЫ
Что
такое простой категорический
силлогизм?
Из
каких терминов состоят посылки и
вывод силлогизма? Как их найти?
Общие
требования к терминам и посылкам
силлогизма.
Чем
отличаются одна от другой фигуры
силлогизма? Сколько их?
Правила
фигур.
Как
установить правильность силлогизма?
Что
такое энтимема и как установить
ее корректность?
Ответы
к задачам
К
сожалению, здесь простой и наглый
обман. Путешественники действительно
заплатили 27 руб. Но это и все,
никаких 30 руб. уже нет! Из этих 27
руб. хозяйка взяла себе 25 руб. и 2
руб. осталось у мальчика. На каком
основании к этим 27 руб. я добавил
еще 2 руб.? Откуда я их взял? Где
они? — И деньги хозяйки, и деньги
мальчика уже посчитаны — они в
уплаченных 27 руб. Я выдумал
эти
2 руб., чтобы ввести вас в заблуждение.
Здесь
достаточно несложных арифметических
действий. Если Иван отдаст 1
овцу Петру, то овец у них станет
поровну. Это позволяет нам составить
равенство: овцы Петра+1 = овцы Ивана
—
1.
Отсюда мы легко заключаем, что
у Ивана на 2 овцы больше.. Дальнейшее
в том же духе. Ответ: у Петра
было 3 овцы, у Ивана их было 5.
Вооружайте
свой ум против демагогии и софистики,
делайте упражнения!
Ни
одно млекопитающее не дышит
жабрами, акула же дышит жабрами,
значит, акула нсявляется
млекопитающим.
Все
люди погрешимы, а все короли —
люди, следовательно...
Хулиганство
— наказуемое деяние, так как все
преступления — нака-зумые деяния,
а хулиганство — преступление.
Платина
есть металл, а все металлы соединяются
с кислородом, следовательно...
Некоторые
люди обладают способностью к
быстрому счету. Некоторые люди —
математики. Следовательно, все
математики обладают способностью
к быстрому счету.
Готтентоты
способны к воспитанию, потому что
все готтентоты люди.
Ни
одна рыба не кормит своих детенышей
молоком, поэтому кит не рыба.
Некоторые
земноводные животные есть
млекопитающие. Все млекопитающие
есть позвоночные. Следовательно...
Все
тела при нагревании расширяются.
Это тело расширилось. Следовательно...
Все
металлы являются веществами. Все
металлы — химические элементы.
Следовательно, все вещества
являются химическими элементами.
Все
планеты есть небесные тела. Ни
одна планета не есть самосветящееся
тело. Следовательно...
Ртуть
— жидкость, хотя она и является
металлом. Значит, некоторые металлы
являются жидкостями.
Ярко-красные
цветы не имеют запаха. Этот цветок
не имеет запаха. Следовательно...
Все
люди — двуногие существа. Буратино
не есть человек. Следовательно...
Все
слова служат для выражения мысли.
Все жесты служат для выражения
мысли. Следовательно...
Некоторые
человеческие действия заслуживают
ненависти. Ложь есть человеческое
действие. Следовательно...
Волки
едят ягнят. Это животное есть
ягнят. Следовательно...
Все
негры имеют курчавые волосы.
Этот человек имеет курчавые волосы.
Следовательно...
Ни
одно неорганическое тело не растет.
Кристаллы есть
неорганические
тела. Следовательно...
20)
Некоторые негры являются христианами.
Некоторые негры являются людоедами.
Следовательно...
Но
знакомство с системами современной
символической логики требует определенной
подготовки. Мы же ограничимся
рассмотрением более простых, но
весьма распространенных форм
умозаключений, знание которых способно
принести пользу именно в обыденных,
естественных рассуждениях.
В
состав простого категорического
силлогизма входят только простые
суждения. Но мы с вами уже знакомы и со
сложными суждениями. Если в качестве
посылок при выводе используются сложные
суждения, то мы получаем новые виды
умозаключений.
IX.
1. Условно-категорический
силлогизм
Если
вы учились в школе, то по-видимому
помните простую схему рассуждения,
имеющую вид: «Если а,
то
Ь;
если
Ь,
то
с;
следовательно,
если а,
то
с».
Скажем,
в арифметике это рассуждение представлено
принципом: если две величины порознь
равны третьей, то они равны между
собой. Такого рода рассуждения называются
чисто
условным силлогизмом: здесь
обе посылки и вывод являются условными
суждениями. Вот два примера чисто
условных силлогизмов, взятых из рассказов
В. Билибина, русского писателя начала
нашего века.
«Если
бы на свете не существовало Солнца, то
пришлось бы постоянно жечь свечи и
керосин.
Если
бы пришлось постоянно жечь свечи и
керосин, то чиновникам не хватало бы
их жалованья и они брали бы взятки.
Следовательно,
чиновники не берут взяток потому, что
на свете существует Солнце».
«Если
бы быки и куры ходили зажаренными, то
не нужно было бы разводить плиты и,
значит, было бы меньше пожаров.
Давайте
обозначим суждение «Павел лжет»
буквой «а»; суждение «Николай
лжет» — буквой «А». Теперь запишем
то, что они оба сказали, в символической
форме. И первое, и второе суждение
очевидно представляют собой
импликацию. Первая импликация
соединяет два отрицательных
суждения:
«-i
b
->
-i
а»;
вторая импликация соединяет два
утвердительных суждения: «а ->
6». Смотрим в законы логики и
обнаруживаем, что выражение: <м
->
b
& -,
b
—>
-i
а*,
является
законом контрапозиции. Эти два
высказывания эквиваленты!
Следовательно, либо оба они лгут,
либо оба говорят правду. Не может
быть так, что один лжет, а другой
говорит правду.
Не
знаешь, с чего начать. Но есть одна
зацепка, помогающая размотать
клубок. Карасев сказал: «Если вы
спросите у Щукина о его профессии,
он ответит, что он — маляр». И Щукин
действительно сказал, что он маляр!
Значит, Карасев хотя бы одну правду
сказал, следовательно, он не может
быть вором, который всегда лжет.
Может
быть, Карасев — соучастник, который
иногда говорит правду, а иногда лжет?
— Тогда вором и честным человеком
должны быть Щукин и Окунев, и их ответы
должны полностью отличаться один от
другого, т. к. один из них всегда говорит
правду, а другой постоянно лжет. Нет,
такого не получается, т. к. ответы Щукина
и Окунева в одном пункте совпадают.
Следовательно, только Карасев может
быть честным человеком и все, что- он
сказал, — правда. Ответы Окунева в
одном пункте совпадают с ответами
Кара-сева, следовательно, Окунев —
соучастник преступления. И, естественно,
Щукин не может быть никем иным, как
вором.
ЛЕКЦИЯ
IX. ДРУГОЕ ВИДЫ ДЕДУКТИВНЫХ УМОЗАКЛЮЧЕНИЙ
Конечно,
непосредственными умозаключениями и
простым категорическим силлогизмом
далеко еще не исчерпываются те виды
умозаключений, которыми мы с вами
пользуемся в наших рассуждениях. Это
— лишь очень небольшая их часть.
Важнейшей задачей логики всегда была
задача открытия и схематического
описания новых форм рассуждений. И
многое ей удалось сделать за две с
лишним тысячи лет своего существования.
Значительные успехи в этом отношении
были достигнуты в нашем, XX веке. Были
созданы логические системы, описывающие
свойства многозначных высказываний,
т. е. высказываний, которые могут
оцениваться не только как истинные или
ложные,- но и как неопределенные, и
выводы из таких высказываний. Возник
целый куст модальных логик, реконструирующих
выводы из высказываний, содержащих
операторы «необходимо», «возможно».
Были описаны выводы с операторами
«раньше», «позже», «разрешено»,
«запрещено» и т. п. Появились эпистемические
логики, изучающие дедуктивные свойства
высказываний, содержащих слова «знает»,
«полагает», «верит» и т. п. А также
многое, многое другое.
