А.А.Ивин ЛОГИКА Учебное пособие Издание 2-еМоскваИздательство «Знание»1998 СОДЕРЖАНИЕ. 4ПРЕДИСЛОВИЕ. 9Глава 1. 10Кто мыслит логично. 10§ 1. Интуитивная логика. 10Принудительная сила речи. 10Мнимая убедительность. 12Слабость интуитивной логики. 13§ 2. Задачи логики. 15Из истории логики. 16Правильное рассуждение. 16Логика и творчество. 18Глава 2. 19Законы логики. 19§ 1. Закон противоречия. 19Формулировка закона противоречия. 20Мнимые противоречия. 20Противоречие «смерти подобно...». 22Неявные противоречия. 24Многообразные задачи протмворечия. 26§ 2. Закон исключенного третьего. 27Некоторые применения закона. 28Сомнения в универсальности закона. 29Критика закона Брауэром.. 31§ 3. Еще законы.. 32Закон тождества. 33Закон контрапозиции. 33Законы де Моргана. 34Модус поненс и модус толленс. 34Утверждающе-отрицающий и отрицающе-утверждающий модусы 36^ Конструктивная и деструктивная дилеммы.. 38Закон Клавия. 39§ 4. О так называемых «основных» законах логики. 40Трактовка логических законов в традиционной логике. 40Законы логики как элементы логической системы.. 57§ 5. Логические тавтологии. 66Ошибочные истолкования логических тавтологий. 79Глава 3. 121Неклассическая логика. 122§ 1. Классическое и неклассическое в логике. 123Из истории неклассической логики. 127§ 2. Интуиционистская и многозначная логика. 139Основные идеи интуиционизма. 142Многозначная логика. 152§ 3. Модальная логика. 171Модальные понятия. 177Абсолютные и сравнительные модальности. 186Единство модальной логики. 200§ 4. Логика оценок и логика норм.. 210Возможность научной этики. 214Законы логики оценок. 234Законы логики норм.. 246§ 5. Другие разделы неклассической логики. 253Логика квантовой механики. 276Паранепротиворечивая логика. 285Логика причинности. 297Логика изменения. 314Единство логики. 334Глава 4. 373Искусство определения. 374§ 1. Определение и его глубина. 375Задачи определения. 380§ 2. Неявные определения. 407Контекстуальные определения. 412Остенсивные определения. 439Аксиоматические определения. 451§ 3. Явные определения. 461Требования к явному определению.. 467§ 4. Реальные и номинальные определения. 491Определения-описания и определения-требования. 502§ 5. Споры об определениях. 507Границы эффективных определений. 522Ясность системы понятий. 544Глава 5. 573Искусство классификации. 574§ 1. Операция деления. 575Пример сумбурной классификации. 578Деление понятий. 584Требования к делению.. 617§ 2. Основание деления. 643Характерная ошибка. 646Дихотомическое деление. 670§ 3. Естественная классификация. 682Естественная и искусственная классификация. 687Человек как объект классификации. 703Еще примеры классификации. 728Ловушки классификации. 748Глава 6. 775Индуктивные рассуждения. 776§ 1.Дедукция и индукция. 777Определения дедукции и индукции. 783Обычные дедукции. 825Дедуктивная аргументация. 853Понятие доказательства. 861§ 2. Разновидности индукции. 886Неполная индукция. 888«Перевернутые законы логики». 934Косвенное подтверждение. 945Целевое обоснование. 967Факты как примеры.. 1001Факты как иллюстрации. 1017Образцы и оценки. 1026§ 3. Аналогия. 1040Схема умозаключения по аналогии. 1045Свернутые аналогий. 1074Аналогия свойств и аналогия отношений. 1104Аналогия как сходство несходного. 1127Вероятность выводов по аналогии. 1156Аналогия в искусстве. 1181Аналогия в науке и технике. 1248Аналогия в историческом исследовании. 1272Характерные ошибки. 1288Гадания и прорицания как аналогии. 1328Глава 7. 1377Софизмы.. 1378§ 1. Софизм — интеллектуальное мошенничество?. 1379Софизм как умышленный обман. 1388Недостатки стандартного истолкования софизмов. 1396§ 2. Апории Зенона. 1414«Ахиллес и черепаха», «Дихотомия». 1417Апория «Meдимн зерна». 1431«Неопредмеченное знание». 1444Софизмы и развитие знания. 1472§ 3. Софизмы и зарождение логики. 1489Софизмы и логический анализ языка. 1506Софизмы и противоречивое мышление. 1519Софизмы как особая форма постановки проблем.. 1538Глава 8. 1569Логические парадоксы.. 1570§ 1. "Король логических парадоксов". 1571Парадоксы и логика. 1575Варианты парадокса «Лжеца». 1585Язык и метаязык. 1602Другие решения парадокса. 1618§ 2. Парадокс Рассела. 1639Множество обычных множеств. 1649Другие варианты парадокса. 1657§ 3. Парадоксы Греллинга и Берри. 1675Аутологические и гетерологические слова. 1677§ 4. Неразрешимый спор. 1688Решения парадокса "Протагор и Еватл". 1696Правила, заводящие в тупик. 1711Парадокс «Крокодил и мать». 1722Парадокс Санчо Пансы.. 1738§ 5. Другие парадоксы.. 1748Парадоксы неточных понятий. 1752Парадоксы индуктивной логики. 1772§ 6. Что такое логический парадокс. 1781Своеобразие логических парадоксов. 1786Парадоксы и современная логика. 1806Устранение и объяснение парадоксов. 1824Логическая грамматика. 1834Будущее парадоксов. 1849§ 7. Несколько парадоксов, или то, что похоже на них. 1860^ Вместо заключения. 1948СОДЕРЖАНИЕ. 1953 СОДЕРЖАНИЕ Предисловие ...3. Глава 1 Кто мыслит логично ... 4—13. § 1. Интуитивная логика ... 4—9. Принудительная сила речи — 4. Мнимая убедительность — 6. § 2. Задачи логики ...9—13. Из истории логики — 10. Правильное рассуждение — 10. Логика и творчество — 12. Литература — 13. Контрольные вопросы — 13. Темы рефератов и докладов — 13. Глава 2 Законы логики ... 13—40. § 1. Законы противоречия ... 13—21. Формулировка закона противоречия — 14. Мнимые противоречия — 14. Противоречие «смерти подобно..» — 16. Неявные противоречия — 18. Многообразные задачи противоречия — 20. § 2. Закон исключительного третьего ... 21—26. Некоторые применения закона — 22. Сомнения и универсальности закона — 23. Критика закона Брауэром — 25. § 3. Еще законы ... 26—34. Закон тождества — 27. Закон контрапозиции — 27. Законы де Моргана — 28. Модус поненс и модус толленс — 28. Утверждаю-ще-отрицающий и отрицающе-утверждаю-щий модусы — 30. Конструктивная и деструктивная дилеммы — 32. Закон Кла-вия — 33. § 4. О так называемых «основных» законах логики ... 34—37. Трактовка логических законов в традиционной логике — 34. Законы логики как элементы логической системы — 36. § 5. Логические тавтологии ... 37—40. Ошибочные истолкования логических тавтологий — 38. Литература — 40. Контрольные вопросы — 40. Темы рефератов и докладов — 40. Глава 3 Неклассическая логика ... 41—68. § 1. Классическое и неклассическое в логике ... 41-43. Из истории неклассической логики — 41. § 2. Интуиционистская и многозначная логика ... 43—47. Основные идеи интуционизма — 43. Многозначная логика — 45. § 3. Модальная логика ... 47—51. Модальные понятия — 47. Абсолютные и сравнительные модальности — 48. Единство модальной логики — 50. § 4. Логика оценок и логика норм ... 51—57. Возможность научной этики — 52. Законы логики оценок — 54. Законы логики норм — 56. § 5. Другие разделы неклассической логики ... 57-68. Логика квантовой механики — 60. Паране-противоречивая логика — 61. Логика причинности — 62. Логика изменения — 64. Единство логики — 66. Литература — 67. Контрольные вопросы — 67. Темы рефератов и докладов — 68. Глава 4 Искусство определения ... 68—87. § 1. Определение и его глубина ... 68—71. Задачи определения — 69. § 2. Неявные определения ... 72—76. Контекстуальные определения — 72. Ос-тенсивные определения — 74. Аксиоматические определения — 75. § 3. Явные определения ... 76—79. Требования к явному определению — 77. § 4. Реальные и номиналыые определения... 80—81. Определения-описания и определения-требования — 81. § 5. Споры об определениях ... 81—87. Границы эффективных определений — 83. Ясность системы понятой — 86. Литература — 87. Контрольные вопросы — 87. Темы рефератов и докладов — 87. Глава 5 Искусство классификации ... 87—111. § 1. Операция деления ... 87—95. Пример сумбурной классификации — 88. Деление понятий — 88. Требования к делению — 91. § 2. Основание деления ... 95—100. Характерная ошибка — 95. Дихотомическое деление — 98. § 3. Естественная классификация ... 100—111. Естественная и искусственная классификации — 101. Человек как объект классификации — 103. Еще примеры классификации —107. Ловушки классификации — 110. Литература — 111. Контрольные вопросы — 111. Темы рефератов и докладов — 111. Глава 6 Индуктивные рассуждения ... 111—129. § 1. Дедукция и индукция ... 111—122. Определения дедукции и индукции — 112. Обычные дедукции — 115. Дедуктивная аргументация —117. Понятие доказательства — 118. § 2. Разновидности индукции ... 122—138. Неполная индукция — 122. «Перевернутые законы логики» — 126. Косвенное подтверждение — 126. Целевое обоснование — 129. Факты как примеры — 132. Факты как иллюстрации — 134. Образцы и оценки — 136. § 3. Аналогия ... 138—169. Схема умозаключения по аналогии — 139. Свернутые аналогии — 140. Аналогия свойств и аналогия отношений — 143. Аналогия как сходство несходного — 146. Вероятность выводов по аналогии — 149. Аналогия в искусстве — 152. Аналогия в науке и технике — 158. Аналогия в историческом исследовании — 161. Характерные ошибки — 163. Гадания и прорицания как аналогии — 166. Литература — 169. Контрольные вопросы — 169. Темы рефератов и докладов — 169. Глава 7 Софизмы ... 170—189. § 1. Софизм — интеллектуальное мошенничество? ... 170-174. Софизм как умьшленный обман — 171. Недостатки стандартного истолкования софизмов — 172. § 2. Апории Зенона ... 174—182. «Ахиллес и черепаха», «Дихотомия» — 174. Апория «Медимн зерна» — 176. «Нёопред-меченное знание» — 177. Софизмы и развитие знания — 180. § 3. Софизмы и зарождение логики ... 182—189. Софизмы и логический анализ языка — 183. Софизмы и противоречивое мышление — 185. Софизмы как особая форма постановки проблем — 186. Литература — 188. Контрольные вопросы — 189. Темы .рефератов и докладов — 189. Глава 8 Логические парадоксы ... 189—227. § 1. «Король логических парадоксов» ... 189—197. Парадоксы и логика — 190. Варианты парадокса «Лжеца» — 191. Язык и метаязык — 192. Другие решения парадокса — 194. § 2. Парадокс Рассела ... 197—201. Множество обычных множеств — 198. Другие варианты парадокса — 199. § 3. Парадоксы Греллинга и Берри ... 201—202. Аутологические и гетерологические слова - 201. § 4. Неразрешимый спор ... 202—208. Решения парадокса «Протагор и Еватл» — 203. Правила, заводящие в тупик — 205. Парадокс «Крокодил и мать» — 206. Парадокс Санчо Пансы — 207. § 5. Другое парадоксы... 208—212. Парадоксы неточных понятий — 209. Парадоксы индуктивной логики — 211. § б. Что такое логический парадокс... 212—221. Своеобразие логических парадоксов — 213. Парадоксы и современная логика — 215. Устранение и объяснение парадоксов — 216. Логическая грамматика — 218. Будущее парадоксов — 219. § 7. Несколько парадоксов или то, что похоже на них... 221-227. Литература — 227. Контрольные вопросы — 227. Темы рефератов и докладов — 227. Вместо заключения... 228 Александр Архипович ИВИН. ЛОГИКА Учебное пособие Издание 2-е Редактор Л.К.Кравцова Младший редактор М.А.Долннская Художественный редактор Л.С.Морозова Художник В.И.Пантелеев Технический редактор Т.ВЛуговская Корректоры С.П.Ткаченко, И.В.Богданова Лицензия № 030793 от 16.12.97 Подписано в печать 03.04.98. Формат 84x108 1/32. Бумага офс. № 2. Печать офсетная. Усл. печ. л. 12,60. Уч.-изд. л. 12,59. Тираж 10000 экз. Зак.3356. Издательство «Знание». 101835, ГСП, Москва, Центр, Лубянский проезд, 4. Отпечатано с оригинал-макета издательства «Знание» на ордена Трудового Красного Знамени Чеховском полиграфическом комбинате Комитета Российской Федерации по печати. 142300, г. Чехов Московской области. Издательство «Знание» продолжает выпускать учебные пособия по общественным наукам в помощь преподавателям, студентам, учителям и учащимся старших классов школ, гимназий, лицеев и колледжей. Пособия содержат материалы лекционных курсов и семинарских занятий, списки рекомендуемой по каждой теме литературы, тематику докладов и рефератов. В конце каждого раздела даются контрольные вопросы. Предлагаемые издания (см. на следующих страницах) написаны крупнейшими отечественными специалистами, преподавателями ведущих вузов страны. Книга можно купить в издательстве или получить по почте. Адрес издательства «Знание»: 101835, Москва, Лубянский проезд, д. 4, комн. 28. Контактный телефон: (095) 928-15-31, 236-97-07 Факс (095) 921-24-47 ББК 87.4 И25 ИВИН Александр Архипович, доктор философских наук, профессор, ведущий научный сотрудник Института философии РАН. Сфера научных интересов — логика и методология науки, теория аргументации, история теоретического мышления, философия истории. Автор книг: «Основания логики оценок» (М., 1970), «Логика норм» (М., 1973), «Логика оценок» (Берлин, 1975), «По законам логики» (М., 1983), «Искусство правильно мыслить» (М., 1986, 1990), «Строгий мир логики» (М., 1988), «Элементарная логика» (М., 1994), «Основы искусства аргументации» (М., 1996), «Введение в философию истории» (М, 1996) и др. Ивин А.А. И25 Логика. Учебное пособие. Издание 2-е. — М.: Знание, 1998. — 240 с. ISBN 5-07-002820-0 Книга доступно, ясно и вместе с тем строго и систематично излагает основы логики — науки о принципах правильного мышления. Главное внимание уделяется тому, чтобы дать общее представление о законах нашего мышления, показать логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной практике. Книга предназначена для преподавателей и учителей, студентов и учащихся старших классов школ, гимназий, лицеев и колледжей, для широкого круга читателей, интересующихся логикой и, в частности, для тех, кто в силу обстоятельств никогда не изучал эту науку. 0301060000-07 И —————— ББК 87.4073(02)-98 ISBN 5-07-002820-0 © Ивин А.A., 1998 г. ПРЕДИСЛОВИЕ Эта книга посвящена логике — науке о принципах правильного мышления. Всегда было принято считать, что знание логики обязательно для образованного человека. Сейчас, в условиях коренного изменения характера человеческого труда, ценность такого знания возрастает. Свидетельство тому — растущее значение компьютерной грамотности, одной из теоретических основ которой является логика. Логические операции — такие, как определение, классификация, доказательство, опровержение и т.п. — применяются каждым человеком в его мыслительной деятельности. Но применяются неосознанно и нередко с погрешностями, без отчетливого представления о всей глубине и сложности тех мыслительных действий, с которыми связан каждый, даже самый элементарный акт мышления. Проблематика современной логики сложна и многообразна. И потому многое осталось за пределами учебного пособия. Его задача в том, чтобы дать общее и доступное представление о законах нашего мышления и о науке, изучающей их, показать логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной жизни. Логическая теория своеобразна. Она высказывает об обычном — о человеческом мышлении — то, что может показаться на первый взгляд без необходимости усложненным. К тому же основное ее содержание формулируется на особом, созданном специально для своих целей искусственном языке. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся. Подобно тому как умение говорить существовало еще до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Подавляющее большинство людей и сейчас размышляют и рассуждают, не обращаясь за помощью к особой науке и не рассчитывая на эту помощь. Некоторые склонны даже считать собственное мышление естественным про-"цессом, требующим анализа и контроля не больше чем, скажем, дыхание или ходьба. Разумеется, это заблуждение. Знакомство уже с первыми разделами книги покажет необоснованность такого чрезмерного оптимизма в отношении наших стихийно сложившихся навыков правильного мышления. Примеры, используемые в книге, связаны, как правило, с обычной деятельностью мышления. Значительное их число построено на материале художественной литературы и истории науки. Эти примеры призваны не только оживить изложение, но и наглядно продемонстрировать, что логическое — это не только предмет специальных размышлений, но и то, с чем постоянно сталкивается каждый. Кроме того, примеры позволяют показать, что реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач важным оказывается, как правило, все: и последовательность, и интуиция, и эмоции, и образное видение мира и многое другое. 3 Глава 1 ^ Кто мыслит логично § 1. Интуитивная логика В рассказе Л.Толстого «Смерть Ивана Ильича» есть эпизод, имеющий прямое отношение к логике. Иван Ильич видел, что он умирает, и был в постоянном отчаянии. В мучительных поисках какого-нибудь просвета он ухватился даже за старую свою мысль, что правила логики, верные всегда и для всех, к нему самому не приложимы. «Тот пример силлогизма, которому он учился в логике Кизеветгера: Кай — человек, люди смертны, потому Кай смертен, казался ему во всю его жизнь правильным только по отношению к Каю, но никак не к нему. То был Кай — человек, вообще человек, и это было совершенно справедливо; но он был не Кай и не вообще человек, а он всегда был совсем, совсем особенное от всех других существо... И Кай точно смертен, и ему правильно умирать, но мне, Ване, Ивану Ильичу, со всеми моими чувствами, мыслями, — мне это другое дело. И не может быть, чтобы мне следовало умирать. Это было бы слишком ужасно». Ход мыслей Ивана Ильича продиктован, конечно, охватившим его отчаянием. Только оно способно заставить предположить, что верное всегда л для всех окажется вдруг неприложимым в конкретный момент к определенному человеку. В уме, не охваченном ужасом, такое предположение не может даже возникнуть. Как бы ни были нежелательны следствия наших рассуждений, они должны быть приняты, если приняты исходные посылки.^ Принудительная сила речи Рассуждение — это всегда принуждение. Размышляя, мы постоянно ощущаем давление и несвободу. От нашей воли зависит, на чем остановить свою мысль. В любое время мы можем прервать начатое размышление и перейти к другой теме. Но если мы решили провести его до конца, то мы сразу же попадем в сети необходимости, стоящей выше нашей воли и наших желаний. Согласившись с одними утверждениями, мы вынуждены принять и те, что из них вытекают, независимо от того нравятся они нам 4 или не нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы автоматически лишаем себя возможности утверждать другое, несовместимое с уже допущенным. Если мы убеждены, что все металлы проводят электрический ток, мы должны признать также, что вещества, не проводящие ток, не относятся к металлам. Уверив себя, что каждая птица летает, мы вынуждены не считать птицами курицу и страуса. Из того, что все люди смертны и Иван Ильич является человеком, мы обязаны заключить, что он смертен. В чем источник этого постоянного принуждения? Какова его природа? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Какие вообще принципы лежат в основе деятельности нашего мышления? Над этими вопросами человек задумался очень давно. Из этих раздумий выросла особая наука о мышлении — логика. Древнегреческий философ Платон настаивал на божественном происхождении человеческого разума. «Бог создал зрение, — писал он, — и вручил его нам, чтобы мы видели на небе движение Разума мира и использовали его для руководства движениями нашего собственного разума». Человеческий разум — это только воспроизведение той разумности, которая господствует в мире и которую мы улавливаем благодаря милости бога. Первый развернутый и обоснованный ответ на вопрос о природе и принципах человеческого мышления дал ученик Платона Аристотель. «Принудительную силу наших речей» он объяснил существованием особых законов — логических законов мышления. Именно они заставляют принимать одни утверждения вслед за другими и отбрасывать несовместимое с принятым. «К числу необходимого, — писал Аристотель, — принадлежит доказательство, так как если что-то безусловно доказано, то иначе уже не может быть; и причина этому — исходные посылки...» Подчеркивая безоговорочность логических законов и необходимость всегда следовать им, он замечал: «Мышление — это страдание», ибо «коль вещь необходима, в тягость она нам». С работ Аристотеля началось систематическое изучение логики и ее законов. Оно не прекращалось никогда, но в нашем веке были достигнуты особенно впечатляющие результаты. 5^ Мнимая убедительность В комедии Ж.-Б. Мольера «Лекарь поневоле» есть такой диалог: Сганарель. Мы, великие медики, с первого взгляда определяем заболевание. Невежа, конечно, стал бы в тупик и нагородил бы вам всякого вздору, но я немедленно проник в суть вещей и заявляю вам: ваша дочь нема. Ж е р о н т. Так-то оно так, но я хотел бы услышать, отчего это случилось? Сганарель. Сделайте одолжение. Оттого что она утратила дар речи. Ж е р о н т. Хорошо, но скажите мне, пожалуйста, причину, по которой она его утратила. Сганарель. Величайшие ученые скажут вам то же самое: оттого что у нее язык не ворочается. Жеронт. Ав чем вы усматриваете причину того, что он не ворочается? Сганарель. Аристотель сказал бы по этому поводу... много хорошего. Жеронт. Охотно верю. Сганарель. О, это был великий муж! Ж е р о н т. Не сомневаюсь. Сганарель. Подлинно великий! Вот настолько (показывает рукой) больше меня. Но продолжим наше рассуждение... Смешно, конечно, наблюдать, как мнимый специалист пытается убедить окружающих в своем высоком профессионализме. Ясно, что здесь налицо убедительность наизнанку. Но какие именно ошибки допускаются «лекарем поневоле»? Каждый ли из нас способен не только посмеяться над его неуклюжими рассуждениями, но и указать те конкретные нарушения правил аргументации, которые содержатся в них? Даже неспециалисту бросаются в глаза три грубые ошибки. Первая — двукратное использование тавтологии, т.е. повторение с небольшой модификацией одного и того же вместо указания действительной причины («ваша дочь нема... оттого что она утратила дар речи ... оттого что у нее язык не ворочается»). Этот прием довольно часто используется для придания иллюзии убедительности пустым, бессодержательным речам. Вторая ошибка — подмена предмета обсуждения: сначала разговор идет о болезни, а затем он вдруг переключается на Аристотеля. Такой уход от темы беседы или спора — обычная хитрость тех, кто избегает высказываться по существу дела. 6 И наконец, третья ошибка — употребление слова «великий» в двух совершенно разных смыслах, выдаваемых за один и тот же: «великий муж» — это вначале, «выдающийся муж», а затем — «высокий человек». Для обнаружения таких, лежащих на поверхности, ошибок, в общем-то, не нужны специальные знания. Вполне достаточно естественной логики, тех интуитивных представлений о правильности рассуждения, которые складываются у нас в процессе повседневной практики мышления.^ Слабость интуитивной логики. Однако далеко не всегда эта интуитивная логика успешно справляется со встающими перед ней задачами. Правильно ли рассуждает человек, когда говорит: «Если бы алюминий был металлом, он проводил бы электрический ток; алюминий проводит ток; значит, он металл? Чаще всего отвечают: правильно, алюминий металл, и он проводит ток. Этот ответ, однако, неверен. Логическая правильность, как гласит теория, это способ связи утверждений. Она не зависит от того, истинны используемые в выводе утверждения или нет. Хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: «Если есть первое, значит, есть второе; второе есть; значит, есть и первое». Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся. Другой пример: «Если бы шел дождь, земля была бы мокрой; но дождя нет; следовательно, земля не мокрая». Это рассуждение обычно интуитивно оценивается как правильное, но достаточно небольшого размышлс ния, чтобы убедиться, что это не так. Верно, что в дождь земля всегда мокрая; но из того, что дождя нет, вовсе не следует, что она сухая: земля может быть просто политой. Рассуждение опять идет по неправильной схеме. Эта схема может привести к ошибочному заключению. «Если у человека повышенная температура, он болен; у него нет повышенной температуры, значит, он не болен» — оба исходных утверждения верны, но вывод неверен: многие болезни протекают без повышенной температуры. Психологи занимаются проблемой связи мышления с культурой, предполагая, что люди разных эпох и соответствующих им культур. мыслят по-разному. Ни к 7 чему определенному эти исследования пока не привели, но они показали, сколь высок процент логических ошибок в рассуждениях, опирающихся на интуитивную логику. Во время исследования, проводившегося в Либерии и в США, предлагалась такая задача, представленная в форме сказки: «Два человека, которых звали Флюмо и Йакпало, захотели жениться. Они отправились на поиски невест, захватив с собой подарки: деньги и болезнь. Зайдя в дом, в котором жила красивая девушка, они сказали хозяину: «Если ты не выдашь свою дочь за одного из нас и не примешь его подарки, тебе придется плохо». Флюмо сказал: «Ты должен взять деньги и болезнь». Йакпало сказал: «Ты должен взять деньги или болезнь». За кого из них выдал хозяин свою дочь и почему?» Эту, казалось бы, несложную задачу многие испытуемые не сумели решить правильно. Причем процент неверных ответов был одинаковым в двух группах испытуемых, заметно различавшихся по уровню своего образования. Эти простые примеры показывают, что логика, усвоенная стихийно, даже в обычных ситуациях может оказаться ненадежной. Навык правильного мышления не предполагает каких-либо теоретических знаний, умения объяснить, почему что-то делается именно так, а не иначе. Интуитивная логика почти всегда недостаточна для критики неправильного рассуждения. К тому же сама она, как правило, беззащитна перед лицом критики. Одна пожарная команда все время опаздывала на пожары. После очередного опоздания брандмейстер издал приказ: «В связи с тем, что команда систематически опаздывает на пожар, приказываю со следующего дня выезжать всем за 15 минут до начала пожара». Понятно, что этот приказ по своей сути абсурден. Над ним можно посмеяться, но выполнить его нельзя. Какие же именно принципы логики им нарушены? Как убедительно показать, что приказ логически несостоятелен? Интуитивной логики для ответа на подобные вопросы явно недостаточно. Л.Н.Толстой сказал о первых годах своей жизни: «Разве не тогда я приобрел все то, чем я теперь живу, и приобрел так много, так быстро, что во всю остальную жизнь я не приобрел и сотой доли того? От пятилетнего ребенка до меня только шаг. А от новорожденного до пятилетнего страшное расстояние». 8 Среди ранних приобретений детского разума огромную ценность представляет язык, его словарный фонд и грамматика. Но не меньшую ценность имеет умение логически правильно мыслить. Незаметно и быстро оно усваивается в детстве. Ребенок может сказать: «У тебя большой шар, а у меня красный», «Принеси мне коробочку точно такой величины, но чтоб была побольше» и т.п. Но постепенно его мышление становится все более упорядоченным и последовательным. Слова складываются во фразы, фразы начинают связываться между собой так, что становится невозможным, приняв одни, не принять другие. Период детской логики заканчивается, ребенок начинает рассуждать как взрослый. Усвоение языка оказывается одновременно и усвоением общечеловеческой, не зависящей от конкретных языков логики. Без нее, как и без грамматики, нет, в сущности, владения языком. В дальнейшем стихийно сложившееся знание грамматики систематизируется и шлифуется в процессе школьного обучения. На логику же специального внимания не обращается, ее совершенствование остается стихийным процессом. Нет поэтому ничего странного в том, что, научившись на практике последовательно и доказательно рассуждать, человек затрудняется ответить, какими принципами он при этом руководствуется. Почувствовав сбой в рассуждении, он оказывается, как правило, не способным объяснить, какая логическая ошибка допущена. Это под силу только теории логики.^ § 2. Задачи логики Слово «логика» употребляется нами довольно часто, но в разных значениях. Нередко говорят о логике событий, логике характера и т.д. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков. «Быть может, он безумец, — говорит один из героев рассказа английского писателя Г.К.Честертона, — но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума». Здесь «логика» как раз означает наличие в мыслях определенной общей линии, от которой человек не в силах отойти. Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду его определенность, последовательность, доказательность и т.п. 9 Кроме того, логика — особая наука о мышлении. Она возникла еще в IV в. до н.э., основателем ее считается древнегреческий философ Аристотель. Позднее она стала называться формальной логикой.^ Из истории логики Историю логики можно разделить на два основных этапа: первый продолжался более двух тысяч лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла на учная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказа тельств. Она представляет собой современную теорию правильного рассуждения, «логику по предмету и ма тематику по методу», как охарактеризовал ее известный русский логик П.С.Порецкий. Сфера конкретных интересов логики существенно менялась на протяжении ее истории, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления. Вот несколько примеров логических, или формальных, требований к мышлению: — независимо от того, о чем идет речь, нельзя что-либо одновременно и утверждать и отрицать; — нельзя принимать некоторые утверждения, не принимая вместе с тем все то, что вытекает из них; — невозможное не является возможным, доказанное — сомнительным, обязательное — запрещенным и т.п. Эти и подобные им требования не зависят, конечно, от конкретного содержания наших мыслей, от того, что именно утверждается или отрицается, что считается возможным, а что — невозможным.^ Правильное рассуждение Задача логического исследования — обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы, лежащие в ос- 10 нове логически правильного мышления. Рассуждать логично — значит рассуждать в соответствии с законами логики. Отсюда понятна важность данных законов. Об их природе, источнике их обязательности высказывались разные точки зрения. Очевидно, что логические законы независимы от воли и сознания человека. Их принудительная сила для человеческого мышления объясняется тем, что они являются в конечном счете отображением в голове человека наиболее общих отношений самого реального мира, практики его познания и преобразования человеком. Французский дипломат Талейран заметил однажды, что реалист не может долго оставаться реалистом, если он не идеалист, и идеалист не может долго оставаться идеалистом, если он не реалист. Применительно к нашей теме эту мысль можно истолковать как указание на две основные опасности, всегда подстерегающие логическое исследование. С одной стороны, логика отталкивается от реального мышления, но она дает абстрактную его модель. С другой стороны, прибегая к абстракциям высокого уровня, логика не должна отрываться от конкретных, данных в опыте, процессов рассуждения. Как и математика, логика не является эмпирической, опытной наукой. Но стимулы к развитию она черпает из практики реального мышления. А Изменение последней так или иначе ведет к изменению самой логики. В общем и целом развитие логики всегда было связано с теоретическим мышлением своего времени и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логическим законом, формой мысли и т.д. Теории логической правильности оказываются в итоге очищением, систематизацией и обобщением практики мышления. Современная логика с особой наглядностью подтверждает это. Она активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в теории науки. Сейчас логическое исследование научного знания активно ведется в целом ряде как давно освоенных, так и новых областей. Можно выделить четыре основных направления этого исследования: анализ логического и математического знания, применение логического анализа к опытному знанию, применение логического анализа к оценоч- 11 но-нормативному знанию, применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности. Логика не только используется в исследовании научного познания, но и сама получает мощные импульсы для развития в результате воздействия своих научных приложений. Имеет место именно взаимодействие логики и науки, а не простое применение готового аппарата логики к некоторому внешнему для него материалу.^ Логика и творчество Иногда можно услышать мнение, будто логика препятствует творчеству. Последнее опирается на интуицию, требует внутренней свободы, раскрепощенного, раскованного полета мысли. Логика же связывает мышление своими жесткими схемами, анатомирует его, предписывая контролировать каждый его шаг. Нет веры к вымыслам чудесным, Рассудок все опустошил И, покорив законам тесным И воздух, и моря, и сушу, Как пленников их обнажил...^ Ф.И. Тютчев