§ 6. Определения влияют на убедительность аргументов многими способами, используем ли мы популярный или научный язык. Если определения наших терминов расплывчаты или плохо абстрагированы от обозначаемых фактов, все аргументы, вовлекающие эти термины, являются неубедительными. Не может быть уверенности в рассуждении с такими терминами; поскольку, если они расплывчаты, нет ничего, что защитило бы нас от двусмысленности; или, если их значение было плохо абстрагировано, мы можем быть приведены к абсурду — как если бы «наглость» была определена таким образом, чтобы смешать ее с честностью.
Опять же, именно с помощью определений мы можем лучше всего различать вербальные и реальные суждения. Предицируемый термин подразумевается в определении субъекта или добавляет что-то к его значению — это заслуживает нашего постоянного внимания. Мы часто убеждаем себя, что утверждения глубоки и важны, когда, на самом деле, они являются лишь вербальными суждениями. «Справедливо воздавать каждому человеку должное»; «большее благо должно быть предпочтено меньшему»; такие изречения звучат хорошо — действительно, слишком хорошо! Ибо «должное человека» не означает ничего иного, кроме того, что справедливо ему воздать; а «большее благо» может означать то, которое должно быть предпочтено: это, следовательно, трюизмы. Исследование определения может быть очень ценной услугой для мысли; но, однажды найденное, нет заслуги в его повторении. Выдвигать вербальные или аналитические суждения, или трюизмы, как информацию (кроме, конечно, объяснения терминов необученным), показывает, что мы не думаем о том, что говорим; ибо иначе мы должны осознать свою собственную пустоту. Каждый шаг вперед в знании выражается в реальном или синтетическом суждении; и только с помощью таких суждений информация может быть дана (кроме как о значении слов) или аргумент или ход рассуждения может сделать какой-либо прогресс.
Противоположностью трюизму является противоречие в терминах; то есть отрицание субъекта в чем-то, что он коннотирует (или что принадлежит к его определению), или утверждение о нем чего-то, отсутствие чего он коннотирует (или что исключено его определением). Вербальное суждение необходимо истинно, потому что оно тавтологично; противоречие в терминах необходимо ложно, потому что оно непоследовательно. Тем не менее, как риторический прием или фигура, оно может быть эффективным: что «раб не обязан подчиняться своему хозяину» может быть способом сказать, что не должно быть рабов; что «собственность — это кража» — это бескомпромиссное утверждение коммунистического идеала. Аналогично, трюизм может иметь риторическую ценность: что «негр — это человек» часто было своевременным напоминанием, или даже что «человек есть человек». Только когда мы впадаем в такое противоречие или тавтологию из-за провала мысли, из-за того, что не полностью понимаем свои собственные слова, это становится абсурдным.
Реальные суждения включают предикацию Propria и Accidentia. Accidentia, подразумевающие своего рода эмпирический закон, могут быть установлены только прямой индукцией. Но propria дедуцируются из (или, скорее, посредством) определения с помощью реальных суждений, и это то, что называется «аргументацией из определения». Так, если возрастающая способность к сотрудничеству является специфическим характером цивилизации, «великое богатство» может рассматриваться как proprium цивилизованных по сравнению с варварскими народами. Ибо сотрудничество делается наиболее эффективным разделением труда, и то, что это главное условие производства богатства, является реальным суждением. Такие аргументы из определений, касающиеся конкретных фактов и причинности, требуют верификации путем сравнения заключения с фактами. Верификация этого примера легка, если мы не позволим ввести себя в заблуждение при оценке богатства варваров показным «жемчугом и золотом» королей и знати, где 99 процентов людей живут в нищете и рабстве. Богатство цивилизации не только велико, но и распределено, и в его распределении его величие должно быть оценено.
Аргументировать из определения может быть процессом нескольких степеней сложности. Простейший случай — установление proprium как прямого следствия некоторого коннотируемого атрибута, как в приведенном выше примере. Если определение было правильно абстрагировано от частностей, частности имеют атрибуты, суммированные в определении; и, следовательно, они имеют все, что может быть показано как следующее из этих атрибутов. Но часто случается, что аргумент опирается частично на качества, коннотируемые именем класса, и частично на многие другие факты.
В геометрии доказательство теоремы зависит не только от определения фигуры или фигур, непосредственно вовлеченных, но также от одной или нескольких аксиом и от propria или конструкций, уже установленных. Так, в пятом предложении Евклида доказательство того, что углы при основании равнобедренного треугольника равны, зависит не только от равенства противоположных сторон, но от этого вместе с конструкцией, которая показывает, как из большей из двух линий может быть отрезана часть, равная меньшей, доказательство того, что треугольники, которые можно представить совпадающими, равны, и аксиома, что если равные отнимаются от равных, остатки равны. Аналогично, в биологии, если окраска, благоприятная для скрытности, является proprium плотоядных животных, она не дедуцируема просто из их хищного характера или любого другого атрибута, входящего в определение любого их вида, но из их хищного характера вместе с причинами, суммированными во фразе «Естественный отбор»; то есть конкуренция за средства к существованию и уничтожение тех, кто страдает от каких-либо недостатков, одним из которых была бы заметная окраска. Конкретная окраска любого данного вида, опять же, может быть дедуцирована только путем дальнейшего рассмотрения его среды обитания (пустыня, джунгли или снежное поле): обстоятельство, лежащее полностью вне определения вида.
Валидность аргумента, основанного частично или полностью на определении, зависит, в первую очередь, от существования вещей, соответствующих определению — то есть имеющих свойства, коннотируемые определяемым именем. Если нет таких вещей, как равнобедренные треугольники, пятое предложение Евклида истинно только формально, как теорема о четвертом измерении пространства: просто последовательно с его другими допущениями. Но если есть какие-либо треугольники, лишь приблизительно равнобедренные, доказательство применяется к ним, делая скидку на их конкретное несовершенство: чем ближе их стороны подходят к прямолинейности и равенству, тем более равными будут противоположные углы.
Опять же, что касается вещей, соответствующих определенным терминам, согласно д-ру Венну, их «существование» может быть понято в нескольких смыслах: (1) только для разума, как чистые роды и виды дерева Порфирия; единственным условием бытия которых является логическая последовательность: или (2) для воображения, как гиганты и маги романов, герои трагедии и феи популярного суеверия; свойства которых могут быть обсуждены и верифицированы обращением к правильным документам и авторитетам (поэмам и балладам): или (3) для восприятия, как растения, животные, камни и звезды. Только третий класс существует в собственном смысле слова. Но под конвенцией или гипотезой существования мы можем аргументировать из определения феи, или полубога, или дракона и дедуцировать различные следствия без абсурда, если мы довольствуемся поэтической последовательностью и авторитетом мифов и романов как критерием истины.
В области конкретных объектов, чьи свойства являются причинами и не являются ни просто фикциями, ни определениями пространства (как в геометрии), мы встречаем другое условие валидности любого аргумента, зависящего от определения: должны быть не только объекты, соответствующие определению, но не должно быть других причин, противодействующих тем качествам, на чье действие опирается наш аргумент. Так, хотя мы можем вывести из качества сотрудничества, коннотируемого цивилизацией, что цивилизованная страна будет богатой, это может не оказаться верным для такой страны, недавно опустошенной войной или другим бедствием. Ни сотрудничество не может всегда побеждать неблагоприятные обстоятельства. Скандинавия настолько бедна дарами природы, благоприятными для промышленности, что она не богата, несмотря на цивилизацию: все же она гораздо богаче, чем была бы в руках варварского народа. Короче говоря, аргументируя из определения, мы можем вывести только тенденцию любых причинных характеристик, включенных в него; безусловная реализация такой тенденции должна зависеть от отсутствия противодействующих причин. Как только мы покидаем область чистых концепций и делаем любую попытку приблизить наши умозрения к актуальным феноменам природы или человеческой жизни, верификация каждого вывода становится непрекращающимся обязательством.
ГЛАВА XXIV
ЛОГИЧЕСКИЕ ОШИБКИ
§ 1. Логическая ошибка — это любая неспособность выполнить условия доказательства. Если мы пренебрегаем или ошибаемся в условиях доказательства непреднамеренно, будь то в наших частных размышлениях или при обращении к другим, это паралогизм: но если мы стремимся выдать другим свидетельство или аргумент, которые мы знаем или подозреваем как несостоятельные, это софизм.
Логические ошибки, будь то паралогизмы или софизмы, могут быть разделены на два класса: (a) Формальные, или те, которые могут быть показаны как конфликтующие с одной или несколькими истинами логики, будь то дедуктивной или индуктивной; как если мы пытаемся доказать общеутвердительное суждение в Третьей фигуре; или аргументировать, что, поскольку среднее ожидание жизни для мужчин в возрасте 20 лет составляет 19½ лет, следовательно, Алкивиад, будучи 20 лет от роду, умрет, когда ему будет 39½; (b) Материальные, или те, которые не могут быть четко представлены как нарушения какого-либо логического принципа, но обусловлены поверхностным исследованием или запутанным рассуждением; как при принятии посылок на недостаточном основании или без исследования фактов; или при ошибочном определении пункта, который нужно доказать.
§ 2. Формальные ошибки дедукции и индукции — все они являются нарушениями правила «не выходить за пределы свидетельств». Поскольку подробный отчет о них был бы не чем иным, как повторением предыдущих глав, может быть достаточно напомнить некоторые места, в которых легче всего сбиться с пути.
(1) Нередко ошибочно принимают контрарий за противоречие, как — А не выше B, ∴ он ниже.
(2) Просто обращать A или O, как —
All Money is Wealth ∴ All Wealth is Money;
или — Некоторое Богатство не есть Деньги ∴ Некоторые Деньги не есть Богатство.
В обоих этих случаях Богатство, хотя и нераспределенное в конвертируемом суждении, распределено в обращенном.
(3) Пытаться построить силлогизм с двумя посылками, содержащими четыре термина, как
The Papuans are savages;
The Javanese are neighbours of the Papuans:
∴ The Javanese are savages.
Такой аргумент исключен определением Силлогизма и не представляет никакого формального свидетельства вообще. Мы должны естественно предположить, что любой человек, который выдвинул его, просто намеревался создать некоторую вероятность того, что «соседство является признаком общности идей и обычаев». Но, если так, он должен был быть более эксплицитным. Конечно, была бы та же неспособность связи, если бы четвертый термин был введен в заключение, вместо того чтобы быть в посылках.
(4) Распределять в заключении термин, который был нераспределенным в посылках (ошибка, по существу та же, что (2) выше), т. е. незаконный процесс большего или меньшего термина, как —
Every rational agent is accountable;
Brutes are not rational agents:
∴ Brutes are not accountable.
В этом примере (от Уэйтли), незаконный модус Фиг. I, больший термин, «ответственный», пострадал от незаконного процесса; поскольку, в посылке, он является предикатом утвердительного суждения и, следовательно, нераспределен; но, в заключении, он является предикатом отрицательного суждения и, следовательно, распределен. Тот факт, что почти каждый принял бы заключение как истинное, мог бы привести к тому, чтобы упустить из виду формальную неубедительность доказательства.
Опять же,
All men are two-handed;
All two-handed animals are cooking animals:
∴ All cooking animals are men.
Здесь мы имеем Bramantip, заключающий в A; и есть, формально, незаконный процесс меньшего; хотя заключение истинно; и свидетельство, такое, какое оно есть, материально адекватно. («Двурукий», будучи специфическим отличием, является ничтожным как средний термин и может быть вырезан из обеих посылок; в то время как «готовящий» — это proprium, свойственный виду Человек; так что эти термины могли бы быть связаны в U, Все люди суть все готовящие; откуда, путем обращения, Все готовящие суть люди.)
(5) Упустить распределение среднего термина в той или иной посылке, как —
All verbal propositions are self-evident;
All axioms are self-evident:
∴ All axioms are verbal propositions.
Это незаконный модус в Фиг. II; в котором, чтобы дать какое-либо заключение, одна посылка должна быть отрицательной. Это может служить формальной иллюстрацией Нераспределенного среднего; хотя, поскольку обе посылки являются вербальными суждениями, это (материально) вовсе не силлогистично, а ошибка классификации; смешение соподчиненных видов путем предположения их тождественности, потому что они имеют родовой атрибут в общем.
(6) Просто обращать гипотетическое суждение, как —
If trade is free, it prospers;
∴ If trade prospers, it is free.
Это похоже на простое обращение категорического A; поскольку оно принимает как должное, что антецедент коэкстенсивен с консеквентом, или (другими словами) что свобода торговли является единственным условием или (по крайней мере) неотделима от ее процветания.
То же самое допущение делается, если в гипотетическом силлогизме мы пытаемся обосновать вывод на утверждении консеквента или отрицании антецедента, как, например —
If trade is free it prospers:
It does prosper;
∴ It is free.
It is not free;
∴ It does not prosper.
Ни один из этих аргументов не является формально правильным; и, конечно, ни один из них не является материально истинным, если возможно, чтобы торговля процветала вопреки протекционистским тарифам.
Важным примером этой логической ошибки является распространенное мнение, что если заключение аргумента истинно, то посылки должны быть достоверными; или что если посылки ложны, то заключение должно быть ошибочным. Ибо, очевидно, что —
«Если посылки истинны, то заключение истинно» — это гипотетическое суждение; и мы справедливо рассуждаем —
The premises are true;
∴ The conclusion is true;
or, The conclusion is false;
∴ The premises are false (or one of them is).
Это справедливо для любого аргумента, который формально правилен; но то, что мы не можем доверять посылкам на основании заключения или отвергать заключение из-за абсурдности посылок, покажет следующий пример:
All who square the circle are great mathematicians;
Newton squared the circle:
∴ Newton was a great mathematician.
Заключение истинно; но посылки неприемлемы.
То, как принятие контрарных понятий за контрадикторные может исказить разделительные силлогизмы и дилеммы, было достаточно подробно объяснено в двенадцатой главе.
§ 3. Формальные логические ошибки индукции заключаются в предположении или выведении причинности без попытки доказать ее, или в попытке доказать ее без соблюдения канонов наблюдения и эксперимента: как, например —
(1) Приписывать причину чему-либо, что не является конкретным событием: как, например, почему две окружности могут касаться только в одной точке. Нам следует привести «основание»; ибо это выражение включает в себя, помимо свидетельства причинности, принципы формальной дедукции, логические и математические.
(2) Рассуждать, как будто на индуктивных основаниях, о причине Вселенной в целом. Это можно назвать логической ошибкой трансцендентного вывода: поскольку каноны применимы только к случаям событий, которые можно сравнить; они не могут иметь дело с тем, что по своей природе уникально.
(3) Принимать сосуществующие явления за причину и следствие: как когда человек, носящий амулет и избежавший кораблекрушения, считает амулет причиной своего спасения. Чтобы доказать свою точку зрения, он должен либо снова попасть в точно такие же обстоятельства без амулета и утонуть — согласно методу различия; либо, уклоняясь от единственного удовлетворительного критерия и довольствуясь простым согласием, он должен показать, (а) что все, кто потерпел кораблекрушение и спасся, носили амулеты, и (b) что их случаи ни в чем другом не совпадают; и (c), согласно соединенному методу, что все, кто потерпел кораблекрушение без амулетов, утонули. И даже если бы его доказательства, согласно методу согласия, казались удовлетворительными по всем этим пунктам, все равно было бы ошибочно полагаться на них как на доказательство прямой причинности; поскольку мы видели, что простого наблюдения никогда не бывает достаточно для этого: только путем эксперимента в подготовленных обстоятельствах мы можем уверенно проследить последовательность и передачу энергии.
Существует обратная ошибка — принимать причинную связь за независимое сосуществование: как если кто-то считает просто любопытным совпадением то, что великие реки обычно протекают мимо великих городов. В этом случае, однако, свидетельство связи зависит не только от прямой индукции.
(4) Post hoc, ergo propter hoc: принимать простую последовательность явлений, даже если она часто повторяется, за доказательство того, что явления являются причиной и следствием или связаны причинностью. Это очень естественная ошибка: ибо, хотя антецедентов у явления много и большинство из них не могут быть его причиной, именно среди них следует искать причину. Действительно, если нет ни времени, ни возможности для анализа, может показаться лучше принять любой антецедент в качестве причины (или, по крайней мере, в качестве знака) важного события, чем остаться без какого-либо ориентира. И, соответственно, обширное и сложное учение о предзнаменованиях, гаданиях, гороскопах и пророческих снах опирается на эту максиму; ибо каково бы ни было происхождение таких суеверий, единичное совпадение в их пользу триумфально подтверждает их. Это навязчивое заблуждение каждого, у кого есть желания или предрассудки; то есть всех нас в то или иное время; ибо тогда мы готовы верить без доказательств. Логическая ошибка состоит в суждении с ходу, без какой-либо попытки, будь то с помощью логики или здравого смысла, исключить нерелевантные антецеденты; которые могут включать в себя все самые поразительные и правдоподобные.