Подготовлено Арно Питерсом, Дэвидом Мойниханом, Чарльзом Фрэнксом
и командой Online Distributed Proofreading Team.
[Примечание корректора: в этом текстовом представлении .'. означает «следовательно», [alpha], [beta], …, [Alpha], [Beta], … — греческие символы]
ДЕДУКТИВНАЯ ЛОГИКА
АВТОР: СЕНТ-ДЖОРДЖ СТОК, магистр искусств ПЕМБРУК-КОЛЛЕДЖ, ОКСФОРД ПРЕДИСЛОВИЕ.
Один критик, который любезно согласился ознакомиться с рукописью этой книги, порекомендовал мне отказаться от идеи ее публикации на том основании, что моя логика слишком похожа на все остальные; другой предложил мне сократить значительный объем нового материала. Последнему совету я последовал; первый же вселил в меня надежду, что меня не сочтут виновным в необоснованных нововведениях. Те немногие новшества, которые я рискнул сохранить, я надеюсь, будут расценены как законное расширение принятых направлений преподавания.
Моей целью было создание работы, которая была бы столь же всесторонне репрезентативной для современного состояния логики в Оксфордских школах, как и любой из учебников прошлого. Качествами, к которым я стремился прежде всех остальных, были ясность и последовательность. В отношении задачи, которую я взял на себя, я могу претендовать на одну квалификацию — опыт; поскольку прошло уже более семнадцати лет с тех пор, как я взял своего первого ученика по логике для подготовки к экзаменам Honour School of Moderations, и в течение этого времени я был практически непрерывно занят изучением и преподаванием этого предмета.
Признавая свои обязательства перед предыдущими авторами, я должен начать с архиепископа Уэйтли, чьи труды впервые пробудили во мне интерес к этому предмету. Работы Милля и Гамильтона, разумеется, широко использовались. Я не следовал ни одному из этих двух великих авторов исключительно, но стремился ассимилировать то, что казалось лучшим в обоих. Профессору Фаулеру я обязан особо. У меня не было привилегии обучаться у него логике лично — как это было в некоторых других предметах; но его книга попала мне в руки на раннем этапе моего интеллектуального развития и была изучена настолько тщательно, что стала постоянной частью моего умственного багажа. Почти то же самое можно сказать о моем отношении к «Элементарным урокам логики» покойного профессора Джевонса. Две другие книги, которые я считаю своим долгом отметить с особым акцентом, — это издание Олдрича, подготовленное Хэнселом, и «Законы дискурсивного мышления» Маккоша. Если к вышеперечисленному добавить «Логику» Уоттса, «Очерки законов мышления» Томсона, «Дедуктивную логику» Бэна, «Исследования по дедуктивной логике» и «Принципы науки» Джевонса, «Принципы логики» Брэдли, «Элементы логики» Эббота, издание Мюррея, подготовленное Уокером, «Учебник дедуктивной логики» Рэя и «Основы логики» Уэзерли, я думаю, список современных работ, из которых я сознательно заимствовал, будет исчерпан. Но, не забывая о солнце, благодаря производителей ламп и свечей, я должен добавить, что изучал труды Аристотеля в меру своего времени и способностей.
Эта работа имела большое преимущество — она была отредактирована еще в рукописи мистером Альфредом Робинсоном, членом колледжа Нью-колледж, перед которым я не могу выразить свою признательность в полной мере. Я в полной мере воспользовался серией критических замечаний, которые он любезно прислал мне. Поскольку с тех пор были внесены некоторые дополнения, он ни в коем случае не может нести ответственность за недостатки, которые могут обнаружить менее доброжелательные критики.
За примеры в конце я в основном обязан другим, и в значительной степени моему изобретательному другу, преподобному У. Дж. Присту из Мертон-колледжа.
Моя благодарность также принадлежит моему другу и бывшему ученику, мистеру Гилберту Гриндлу, стипендиату колледжа Корпус-Кристи, который взял на себя труд составить указатель и вычитать корректурные оттиски по мере их прохождения через печать.
И последнее, но не менее важное: я должен зафиксировать свою благодарность коммандеру Р. А. Стоку, Королевский военно-морской флот, одному из рыцарей Виндзора Ее Величества, без чьей братской помощи эта работа, возможно, никогда не была бы написана и, безусловно, не приняла бы именно тот вид, который имеет сейчас.
ОКСФОРД, 22 октября 1888 г.
СОДЕРЖАНИЕ.
ПРЕДИСЛОВИЕ. ВВЕДЕНИЕ, §§ 1-56. ЧАСТЬ I. О терминах, §§ 57-171. ГЛ. I. О термине как отличном от других слов, §§ 57-76.
II. О делении вещей, §§ 77-85.
III. О делениях терминов, §§ 86-165.
IV. О законе обратного отношения объема и содержания, §§ 166-171.
ЧАСТЬ II. О суждениях, §§ 172-185. ГЛ. I. О суждении как отличном от других предложений, §§ 172-185.
II. О связке, §§ 186-201.
III. О делениях суждений, §§ 202-273.
IV. О распределенности терминов, §§ 274-294.
V. О квантификации предиката, §§ 295-312.
VI. О видах предикабилий, §§ 313-346.
VII. Об определении, §§ 347-384.
VIII. О делении, §§ 385-425.
ЧАСТЬ III. Об умозаключениях, §§ 426-884. ГЛ. I. Об умозаключениях в целом, §§ 426-441.
II. О дедуктивных умозаключениях, §§ 442-448.
III. Об оппозиции, §§ 449-478.
IV. О превращении, §§ 479-495.
V. О перестановке, §§ 496-502.
VI. О сложных формах непосредственного умозаключения, §§ 503-532.
VII. О других формах непосредственного умозаключения, §§ 533-539.
VIII. О опосредованных умозаключениях или силлогизмах, §§ 540-557.
IX. О модусе и фигуре, §§ 558-568.
X. О каноне рассуждения, §§ 569-581.
XI. Об общих правилах силлогизма, §§ 582-598.
XII. Об определении законных модусов силлогизма, §§ 599-605.
XIII. О специальных правилах четырех фигур, §§ 606-620.
XIV. Об определении модусов, которые являются правильными в четырех фигурах, §§ 621-632.
XV. О специальных канонах четырех фигур, §§ 633-647.
XVI. О специальном использовании четырех фигур, §§ 648-655.
XVII. О силлогизме с тремя фигурами, §§ 656-666.
XVIII. О приведении, §§ 667-700.
XIX. О непосредственном умозаключении применительно к сложным суждениям, §§ 701-730.
XX. О сложных силлогизмах, §§ 731-743.
XXI. О приведении частично конъюнктивного силлогизма, §§ 744-752.
XXII. О частично конъюнктивном силлогизме, рассматриваемом как непосредственное умозаключение, §§ 753-759.
XXIII. О дизъюнктивном силлогизме, §§ 760-765.
XXIV. О приведении дизъюнктивного силлогизма, §§ 766-769.
XXV. О дизъюнктивном силлогизме, рассматриваемом как непосредственное умозаключение, §§ 770-777.
XXVI. О смешанной форме сложного силлогизма, §§ 778-795.
XXVII. О приведении дилеммы, §§ 796-797.
XXVIII. О дилемме, рассматриваемой как непосредственное умозаключение, §§ 798, 799.
XXIX. О цепях рассуждений, §§ 800-826.
XXX. О логических ошибках, §§ 827-884.
УПРАЖНЕНИЯ. УКАЗАТЕЛЬ. ВВЕДЕНИЕ.
§ 1. Логика делится на две ветви, а именно:
(1) Индуктивную,
(2) Дедуктивную.
§ 2. Задача индуктивной логики — определить фактическую истинность или ложность суждений; задача дедуктивной логики — определить их относительную истинность или ложность, то есть, если такие-то суждения истинны, какие другие будут следовать из них.
§ 3. Следовательно, в естественном порядке рассмотрения индуктивная логика предшествует дедуктивной, поскольку именно индукция снабжает нас общими истинами, из которых мы исходим в наших дедуктивных умозаключениях.
§ 4. Однако нас здесь интересует не логика в целом, а только дедуктивная логика, которую можно определить как науку о формальных законах мышления.
§ 5. Чтобы полностью понять это определение, мы должны точно знать, что подразумевается под «мышлением», под «законом мышления», под термином «формальный» и под «наукой».
§ 6. Мышление, как оно здесь используется, ограничено способностью к сравнению. Всякое мышление предполагает сравнение, то есть распознавание сходства или различия.
§ 7. Законы мышления — это условия правильного мышления. Термин «закон», однако, настолько двусмыслен, что будет полезно точнее определить, в каком смысле он здесь используется.
§ 8. Мы говорим о «законах страны» и о «законах природы», и очевидно, что под этими выражениями мы подразумеваем совершенно разные вещи. Под законом в политическом смысле понимается приказ, наложенный высшим лицом на низшее и подкрепленный наказанием за неповиновение. Но под «законами природы» подразумеваются лишь определенные единообразия среди природных явлений; например, «закон тяготения» означает, что каждая частица материи неизменно притягивает каждую другую частицу материи во Вселенной.
§ 9. Слово «закон» переносится метафорически из одного из этих смыслов в другой. Эффект такого приказа, как описано выше, заключается в создании определенной степени единообразия в поведении людей, и поэтому, когда мы наблюдаем единообразие в природе, мы предполагаем, что оно является результатом такого приказа, тогда как единственное, что нам действительно известно, — это сам факт единообразия.
§ 10. Итак, в каком из этих двух смыслов мы используем термин «законы мышления»? Законы страны, очевидно, часто нарушаются, тогда как законы природы никогда не могут быть нарушены [Примечание: существует смысл, в котором люди часто говорят о нарушении законов природы, например, когда говорят, что невоздержанность или безбрачие — это нарушение законов природы, но здесь под «природой» подразумевается идеальное совершенство условий существования.]. Могут ли законы мышления нарушаться подобно законам страны? Или они нерушимы, как законы природы?
§ 11. По видимости они могут быть и, очевидно, часто нарушаются — иначе как была бы возможна ошибка? Но в действительности они не могут быть нарушены. Ни один человек никогда не принимает противоречие, когда оно предстает перед умом как таковое; но когда рассуждение хоть сколько-нибудь усложнено, то, что действительно содержит противоречие, не видится таковым; и этот вид ошибки дополнительно усугубляется бесконечными трудностями языка.
§ 12. Таким образом, законы мышления в своем конечном выражении — это определенные единообразия, которые неизменно соблюдаются среди ментальных явлений, и в этом они напоминают законы природы; но в своих сложных применениях они могут быть нарушены из-за ошибки, подобно тому как законы страны могут быть нарушены преступлением.
§ 13. Теперь мы должны определить значение выражения «формальные законы мышления».
§ 14. Различие между формой и материей пронизывает всю природу. Мы знакомы с ним на примере конкретных вещей. Чашка, например, с точно такой же формой может состоять из очень разной материи — золота, серебра, олова, рога или чего-то еще.
§ 15. Точно так же в каждом акте мышления мы можем выделить две вещи:
(1) объект, о котором мышление,
(2) способ, которым ум мыслит о нем.
Первое называется материей; второе — формой мышления.
§ 16. Итак, формальная логика, которая является другим названием дедуктивной логики, занимается только тем, как мыслит ум, и не имеет ничего общего с конкретными объектами, о которых идет мышление.
§ 17. Поскольку форма может быть одинаковой, в то время как материя различна, мы можем сказать, что формальная логика занимается существенными и необходимыми элементами мышления в противоположность тем, которые являются случайными и контингентными. Под «контингентным» подразумевается то, что верно в одних случаях, но не в других. Например, в частном случае равносторонних треугольников верно сказать не только то, что «все равносторонние треугольники равноугольны», но и то, что «все равноугольные треугольники равносторонни». Но доказательства этих двух суждений независимы. Одно не является формальным следствием другого. Если бы это было так, мы могли бы применить то же самое умозаключение ко всей материи и утверждать в общем, что если всякое А есть Б, то всякое Б есть А, чего, как известно, мы сделать не можем.
§ 18. Теперь для полного разъяснения нашего определения остается определить, что подразумевается под «наукой».
§ 19. Часто обсуждался вопрос, является ли логика наукой или искусством. Ответ на него должен зависеть от значения, которое мы придаем этим терминам.
§ 20. В широком смысле существует такое же различие между наукой и искусством, как между знанием и действием.
Наука — это систематизированное знание; искусство — это систематизированное действие. Наука приобретается изучением; искусство приобретается практикой.
§ 21. Логика явно является отраслью знания и не обязательно дает какие-либо практические навыки. Только правильное использование ее правил в мышлении может заставить людей мыслить лучше. Поэтому, в широком смысле этих терминов, она является полностью наукой, а не искусством.
§ 22. Но это слово «искусство», как и большинство других, двусмысленно и часто используется не для навыка, проявляемого на практике, а для знаний, необходимых для этого. Это значение лучше передается термином «прикладная наука».
§ 23. Наука бывает либо умозрительной, либо прикладной. В первом случае мы изучаем только для того, чтобы знать; во втором — чтобы действовать.
Анатомия — это умозрительная наука; хирургия — это прикладная наука.
В первом случае мы изучаем человеческое тело, чтобы понять его структуру; во втором — чтобы помочь его нуждам. Является ли логика умозрительной или прикладной наукой, зависит исключительно от того, как она рассматривается. Если мы изучаем законы мышления только для того, чтобы знать, что они собой представляют, мы делаем ее умозрительной наукой; если мы изучаем те же законы с целью выведения правил для руководства мышлением, мы делаем ее прикладной наукой.
§ 24. Следовательно, логику можно объявить как наукой, так и искусством мышления. Это искусство мышления в том же смысле, в каком грамматика — это искусство речи. Грамматика сама по себе не является правильным использованием слов, но знание ее позволяет людям использовать слова правильно. Точно так же знание логики позволяет людям мыслить правильно или, по крайней мере, избегать неправильных мыслей. Как искусство логику можно назвать навигацией в море мысли.
§ 25. Законы мышления сводятся к трем следующим аксиомам, которые известны как три фундаментальных закона мышления.
(1) Закон тождества —
Все, что есть, есть;
или, в более точной форме,
Всякое А есть А.
(2) Закон противоречия —
Ничто не может одновременно быть и не быть; ничто не может быть А и не-А.
(3) Закон исключенного третьего —
Все должно либо быть, либо не быть; все есть либо А, либо не-А.
§ 26. Каждый из этих принципов независим и самоочевиден.
§ 27. Если бы закон тождества можно было нарушить, нарушение закона противоречия не обязательно последовало бы за этим: ибо вещь могла бы тогда быть чем-то другим, не будучи собой в то же время, что последнее и есть то, против чего выступает закон противоречия. Закон исключенного третьего также не был бы нарушен. Ибо, согласно предположению, вещь была бы чем-то другим, тогда как все, что требует закон исключенного третьего, — это чтобы она была либо собой, либо нет. А в этом случае приняло бы альтернативу быть не-А.
§ 28. Опять же, нарушение закона противоречия не влечет за собой никакого нарушения закона тождества: ибо вещь могла бы в этом случае оставаться собой, так что закон тождества соблюдался бы, даже если бы, из-за несоблюдения закона противоречия, она не была собой в то же время. Закон исключенного третьего также не был бы нарушен. Ибо вещь, согласно предположению, была бы и собой, и не собой, что является полной противоположностью тому, чтобы не быть ни тем, ни другим.
§ 29. Наконец, закон исключенного третьего мог бы быть нарушен без нарушения закона противоречия: ибо тогда у нас была бы вещь, которая не была ни А, ни не-А, но не вещь, которая была бы и тем, и другим в то же время. Закон тождества также не был бы нарушен. Ибо в этом случае у нас была бы вещь, которая не была и не не была, так что условия закона тождества не могли бы существовать, чтобы быть нарушенными. Этот закон постулирует, что все, что есть, есть: здесь же у нас есть вещь, которой изначально никогда не было.
§ 30. Эти принципы настолько просты, что обсуждение их склонны считать ребячеством. Особенно это касается закона тождества. Этот принцип, по сути, является одной из тех вещей, которые чаще нарушаются, чем соблюдаются. Представьте на мгновение, что этот закон не соблюдается — тогда что стало бы со всеми нашими рассуждениями? В чем был бы смысл установления выводов о вещах, если бы они могли ускользнуть от нас из-за протееподобного изменения тождества?
§ 31. Остальные два закона дополняют друг друга следующим образом. Закон противоречия позволяет нам утверждать о двух исчерпывающих и взаимоисключающих альтернативах, что невозможно, чтобы обе были истинными; закон исключенного третьего дает нам право добавить, что столь же невозможно, чтобы обе были ложными. Или, выражая то же самое в другой форме, закон противоречия устанавливает, что одна из двух таких альтернатив должна быть ложной; закон исключенного третьего добавляет, что одна должна быть истинной.
§ 32. Существует три процесса мышления:
(1) Концепция.
(2) Суждение.
(3) Умозаключение или рассуждение.
§ 33. Концепция, которая иначе известна как простое схватывание, — это акт формирования в уме идеи чего-либо, например, когда мы формируем в уме идею чашки, мы выполняем процесс концепции.
§ 34. Суждение, в том смысле, в котором оно здесь используется [Примечание: иногда термин «суждение» распространяется на сравнение безымянных чувственных впечатлений, которое лежит в основе формирования понятий. Но это равносильно отождествлению суждения с мышлением в целом.], может быть сведено к соединению двух идей в уме и вынесению суждения об их согласии или несогласии, например, у нас в уме есть идея чашки и идея вещи, сделанной из фарфора, и мы объединяем их в суждении — «Эта чашка сделана из фарфора».
§ 35. Умозаключение, или рассуждение, — это переход ума от одного или нескольких суждений к другому, например, из двух суждений «Все, что сделано из фарфора, хрупко» и «Эта чашка сделана из фарфора» мы выводим третье суждение: «Эта чашка хрупкая».
§ 36. Этим трем процессам соответствуют три продукта мышления, а именно:
(1) Понятие.
(2) Суждение.
(3) Умозаключение.
§ 37. Поскольку наш язык имеет тенденцию путать различие между процессами и продуктами [Примечание: например, мы вынуждены говорить без разбора об ощущении, воображении, рефлексии, зрении, мышлении, делении, определении и так далее, независимо от того, имеем ли мы в виду процесс или продукт.], тем более необходимо сохранять их различие в мышлении. Строго говоря, мы должны говорить о концептуализации, суждении и умозаключении, с одной стороны, и, с другой стороны, о понятии, суждении и умозаключении.