Рассматриваемое, однако, как логическое деление, устройство Канта кажется мне очень малополезным. Ибо для таких логических целей, с которыми мы сейчас имеем дело, оно действительно, кажется, сводится к двухчастному делению. Различие между аподиктическим и ассерторическим будет признано, я полагаю, даже теми, кто принимает метафизическую или психологическую теорию, на которой оно основывается, как различие, которое касается не количества веры, с которой принимаются суждения, а скорее насилия, которое пришлось бы совершить над умом попыткой опровергнуть их. Каждому полностью верят, но одно может быть опровергнуто, а другое — нет. Вера, с которой принимается ассерторическое суждение, есть полная вера, иначе оно не отличалось бы от проблематического; и поэтому в отношении количества веры, в отличие от качества или характера ее, нет никакой разницы между ним и аподиктическим. Это как если бы, чтобы предложить иллюстрацию, индекс был уже перемещен к верхней части шкалы в ассерторическом суждении, и все, что было сделано, чтобы превратить это в аподиктическое, — это закрепить его там. Единственная логическая разница, которая тогда остается, — это разница между проблематическим и ассерторическим, первое охватывает все суждения, относительно истинности которых у нас есть какая-либо степень сомнения, а второе — те, относительно которых у нас нет сомнения. Весь диапазон первого, следовательно, с которым уместно занята вероятность, брошен неразделенным в один отсек. Мы едва ли можем говорить о «делении», где один класс включает все до граничной линии, а другой ограничен этой граничной линией. Практически, следовательно, с этой точки зрения, модальность, как математический студент вероятности ожидал бы ее найти, исчезает так же полностью, как если бы предполагалось отвергнуть ее.
§ 19. Менее последовательными и систематическими мыслителями, а также теми, у кого изобретательность была чрезмерно выраженной чертой, был принят или предложен ряд других устройств. Существует, конечно, некоторое оправдание для таких попыток в похвальном желании привести наши логические формы в лучшее согласие с обычным мышлением и языком. На практике, как было указано в более ранней главе, каждый признает большое разнообразие модальных форм, таких как «вероятно», «очень вероятно», «почти наверняка» и так далее, почти без ограничений в каждом направлении. Несомненно, предполагалось, что, пренебрегая использованием технических эквивалентов для некоторых из этих форм, мы потеряем наш логический контроль над некоторыми возможными видами вывода и, таким образом, не дотянем даже до точности обычного мышления.
Что касается таких дополнительных форм, мне кажется, что все те, которые были введены авторами, не находившимися под влиянием теории вероятностей, сделали мало что иное, как создали дополнительную путаницу, поскольку такие авторы не пытаются выстроить свои термины по порядку или установить их взаимные отношения. Опуская, конечно, формы, очевидно, материальной модальности, мы уже упоминали истинное и ложное; вероятное, предполагаемое и достоверное. Эти подразделения, по-видимому, достигли своей кульминации на очень ранней стадии у Оккама (Prantl, III. 380), который считал, что суждение может быть модально затронуто, будучи «vera, scita, falsa, ignota, scripta, prolata, concepta, credita, opinata, dubitata».
§ 20. С момента развития науки о вероятности логики имели лучшие возможности знать, к чему они должны стремиться; и, хотя нельзя сказать, что их попытки были действительно успешными, они, по крайней мере, являются решительным улучшением по сравнению с попытками их предшественников. Д-р Томсон, например, дает девятичастное деление. Он говорит, что, располагая степени модальности в восходящей шкале, мы обнаруживаем, что суждение может быть либо возможным, сомнительным, вероятным, морально достоверным для самого мыслителя, морально достоверным для класса или школы, морально достоверным для всех, физически достоверным с ограничением, физически достоверным без ограничения и математически достоверным. Многие другие деления, несомненно, могли бы быть упомянуты, но, как признает каждый математик, попытка добиться какого-либо общего согласия в таком вопросе устройства совершенно безнадежна. Именно здесь следует с благодарностью признать благотворное влияние математической теории вероятности. Как только это стали изучать, должно было быть осознано, что, пытаясь четко разграничить друг от друга определенные градации веры, мы будем искать разрывы в непрерывной величине. В продвижении от легкой презумпции к сильной презумпции и от нее к моральной достоверности мы совершаем постепенный подъем, в ходе которого нет естественных остановок. Доказательство этой непрерывности не нужно приводить здесь, ибо материалы для него будут собраны почти из каждой главы этой работы. Читателю нужно лишь напомнить, что основания нашей веры, во всех случаях, которые допускают число и измерение, ясно видны как таковые; и что, следовательно, если только сама вера не должна быть отделена от оснований, на которых она покоится, то, что таким образом справедливо в отношении их характеристик, должно быть справедливо и в отношении ее собственной.
Следовательно, из этого следует, что модальность в старом смысле слова, в котором предпринималась попытка получить определенные естественные деления в шкале убеждения, должна быть окончательно отброшена. Все, что она пыталась сделать, теперь может быть сделано несравненно лучше теорией вероятности с ее числовой шкалой, которая допускает неопределенное подразделение. Ни одна из старых систем деления не может рассматриваться как действительно естественная; те, которые допускают лишь немногие деления, оказываются оставляющими весь диапазон вероятного в одном неразделенном классе, а те, которые принимают много делений, впадают в неизбежную расплывчатость и неопределенность.
§ 21. Соответствующим различию между чистыми и модальными суждениями, но еще более сложным и неудовлетворительным в своей трактовке, было различие между чистыми и модальными силлогизмами. То, что обсуждалось в случае последних, было, конечно, эффект, производимый на заключение в отношении модальности модальной аффекцией одной или обеих посылок. Только когда мы доходим до таких соображений, мы вообще выходим на почву, подходящую для вероятности; но очевидно, что очень мало можно было сделать с такими грубыми материалами, и присущая неуклюжесть и сложность всей модальной системы очень ясно проявляются здесь. Именно в связи с этой сложностью, вероятно, были произнесены некоторые из горьких высказываний схоластов и других, которые были записаны.
Аристотель дал запутанное исследование этого предмета, и его последователи естественно были приведены на аналогичный путь. Было бы совершенно чуждо моей цели в этом кратком очерке в этой главе пытаться дать какое-либо описание этих исследований, даже если бы я был компетентен сделать это; ибо, как было указано, связь между аристотелевскими модальностями и современным взглядом на природу вероятности, хотя и реальна, чрезвычайно слаба. Нужно лишь заметить, что то, что было достаточно сложным с четырьмя модальностями, чтобы быть принятым во внимание, становится запутанным сверх всякой меры, когда такие, как «вероятное», «истинное» и «ложное», также должны занять место в списке. Следующие примеры покажут вид дискуссий, которыми логики упражняли себя. «Может ли при одной достоверной посылке и другой вероятной быть выведено достоверное заключение»: «Может ли из невозможного быть выведено необходимое»; «Может ли при одной необходимой посылке и другой de inesse заключение быть необходимым», и так далее, бесконечно.
§ 22. При кантианском взгляде на модальность обсуждение таких видов силлогизмов становится сразу решительно более простым (ибо здесь признаются только три модуса), а также несколько более тесно связанным со строгой вероятностью (ибо модусы ближе к природе градаций убеждения). Но, с другой стороны, меньше оправдания для их введения, так как от логиков действительно можно было бы ожидать знания того, что то, чего они стремятся достичь своими неуклюжими приспособлениями, — это именно то, что вероятность может выполнить с высочайшей желаемой степенью точности. Прежние методы столь же грубы и неточны по сравнению с последними, как были грубейшие измерения вавилонских ночных наблюдателей по сравнению с утонченными расчетами современного астронома. Действительно, только некоторые из общих приверженцев кантианской логики вступают в какие-либо подобные соображения; некоторые, такие как Гамильтон и Мансел, полностью отвергают их, как мы видели. Теми, кто все же трактует этот предмет, устанавливаются такие заключения, как следующие: что когда обе посылки аподиктические, заключение будет таким же; так же, когда обе ассерторические или проблематические. Если одна аподиктическая, а другая ассерторическая, то последняя, или «более слабая», — это все, что должно быть допущено для заключения; и так далее. Английский читатель найдет некоторое описание этих правил в «Логике» Убервега.
§ 23. Но хотя эти модальности, рассматриваемые как инструменты точного мышления, были таким образом вытеснены точными арифметическими выражениями вероятности, вопрос остается, нельзя ли улучшить то, что можно назвать нашими популярными модальными выражениями, и адаптировать их к более точному использованию. Правда, попытка отделить их друг от друга какими-либо фундаментальными различиями тщетна, ибо величина, которую они осознают, является, как мы заметили, непрерывной; но, учитывая огромное значение точной терминологии и признания числовых различий везде, где это возможно, было бы реальным прогрессом, если бы можно было достичь какого-либо согласия относительно использования модальных выражений. Мы уже заметили (гл. II, § 16) некоторые предложения г-на Гальтона относительно возможности естественной системы классификации, основанной на регулярности, с которой большинство видов величин стремятся группироваться вокруг среднего значения. Можно было бы предложить, например, чтобы мы согласились применять термин «хороший» к первой четверти, измеряя от лучшего вниз; «безразличный» — к средней половине, и «плохой» — к последней четверти. Нет причин, почему аналогично улучшенная терминология не могла бы когда-нибудь быть введена в обычный модальный язык повседневной жизни. Можно было бы договориться, например, что «очень маловероятно» должно, насколько это возможно, ограничиваться теми событиями, которые имели шансы (скажем) более 99 к 1 против них; и так далее, с другими подобными выражениями. Несомненно, на пути возникли бы трудности, ибо во всех применениях классификации мы должны преодолевать двойные препятствия, которые лежат на пути, во-первых (используя выражение Канта), способности составлять правила, и во-вторых — способности подведения под правила. То есть, даже если бы мы договорились о наших классах, все равно оставалось бы много сомнений и споров в случае вещей, которые не легко поддаются подсчету или измерению, относительно того, были ли шансы больше или меньше назначенной величины.
Правда, когда мы знаем шансы за или против события, мы всегда можем заявить их эксплицитно без необходимости сначала договариваться об использовании терминов, которые будут подразумевать их. Но при этом часто были бы многословие и педантизм, и пока модальные термины находятся в практическом использовании, казалось бы, не могло бы быть никакого вреда, и могло бы быть большое благо, в достижении некоторого согласия относительно степени вероятности, которую они должны, как правило, пониматься указывать. Бентам, как хорошо известно, в отчаянии от получения чего-либо точного из языка повседневной жизни по этому предмету, был сторонником прямого обращения к числовому стандарту. Он предложил использование в судебных процессах инструмента, градуированного от 0 до 10, по шкале которого свидетеля просили указать степень его веры в факты, которые он подтверждал: аналогично судья мог выразить силу, с которой он держался своего заключения. Использование такой числовой шкалы, однако, должно было быть только опциональным, а не обязательным, так как Бентам признавал, что многие люди могли чувствовать себя в затруднении таким образом измерять степень своей веры. (Rationale of Judicial Evidence, кн. I, гл. VI.)
§ 24. На протяжении всей этой главы мы рассматривали модальности как ближайший аналог современной вероятности, который был предоставлен старыми системами логики. Причина такого рассмотрения их заключается в том, что они представляли собой некоторую слабую попытку, грубую, как она была, распознать и измерить определенные градации в степени нашего убеждения и изучить влияние таких соображений на наши логические выводы.
Но хотя именно среди модальностей следует искать зачатки методов вероятности; истинный предмет нашей науки, то есть классы объектов, с которыми она наиболее уместно связана, скорее представлены другой частью схоластической логики. Это была ветвь, обычно называемая диалектикой, в старом смысле этого термина. Диалектика, согласно Аристотелю, по-видимому, была своего рода сестринским искусством риторики. Она была связана с силлогизмами, ничем не отличающимися от демонстративных силлогизмов, за исключением того, что их посылки были вероятными, а не достоверными. Посылки такого рода он называл топиками, а силлогизмы, которые имели с ними дело, — энтимемами. Говорили, что они исходят из «знаков и вероятностей», а не из аксиом.
§ 25. Термины, в которых такие рассуждения обычно описываются, звучат очень похоже на те, которые применимы к вероятности, как мы понимаем ее сейчас. Когда мы слышим о вероятности и о вероятных силлогизмах, наше первое впечатление могло бы быть таким, что вовлеченные выводы будут аналогичного характера. Это, однако, было бы ошибочно. Во-первых, область этой диалектики была слишком широкой, ибо она охватывала в дополнение всю область того, что мы сейчас назвали бы научной или материальной индукцией. Отличительной характеристикой диалектических посылок было их отсутствие достоверности, и из таких неопределенных посылок вероятность (как я часто настаивал) принимает во внимание только один класс, индукция же занимается другим классом. Опять же, не было сделано ни малейшей попытки вступить в исследование: насколько неопределенны посылки? Только когда это предпринимается, можно считать, что мы вступаем в область вероятности, и именно потому, что, грубым образом, модальности пытались справиться с этой проблемой, мы рассматривали их как в какой-то мере занятые нашим специальным предметом.
§ 26. Среди старых логик, с которыми я познакомился, логика Краканторпа дает наиболее полное обсуждение по этому предмету. Он делит свою трактовку силлогизма на две части, занятые соответственно «демонстративным» и «вероятным» силлогизмом. Последнему посвящена целая книга. В ней исследуются природа и следствия тринадцати различных «loci», хотя не очень ясно, в каком смысле каждый из них может рассматриваться как «вероятный».
Несомненно верно, что если бы старые логики обладали такими посылками, с которыми имеет дело современная вероятность, и придерживались бы своего собственного способа их обработки, им пришлось бы поместить их среди таких loci и, таким образом, сделать их рассмотрение частью своей диалектики. Но поскольку не похоже, чтобы с их стороны была сделана хоть малейшая попытка сделать здесь больше, чем признать факт вероятности посылок; то есть, поскольку не предпринималось попытки измерить их вероятность и вероятность заключения, я не могу не рассматривать эту часть логики как имеющую лишь самую слабую связь с вероятностью, как она понимается сейчас. Мне это кажется немногим более чем одним из способов (описанных в начале этой главы), которыми проблема модальности не то чтобы отвергается, но практически обходится.
§ 27. Поскольку логика — не единственная наука, которая прямо и заметно занята вопросами о вере и доказательствах, трудности, возникшие там, были отнюдь не неизвестны в других местах. В отношении модальностей это, по-видимому, было явно так в юриспруденции. Некоторые замечания, поэтому, могут быть удобно сделаны здесь по поводу этого применения предмета, хотя, конечно, с краткостью, подобающей мирянину, которому приходится касаться профессиональных тем.
Вспомните на мгновение, что является существенным для модальности. Это, как я понимаю, попытка разграничить друг от друга, без какого-либо прибегания к числовой нотации, варьирующиеся степени убеждения или веры, и определить последующий эффект посылок, таким образом затронутых, на наши заключения. Более того, поскольку мы не можем построить или сохранить шкалу любого рода без использования стандарта, от и по которому измерять ее, достижение и признание стандарта достоверности, или одного из других степеней убеждения, почти неразрывно вовлечено в то же исследование. В этом смысле термина модальные трудности, безусловно, проявились в области права. Здесь были подобные попытки, встреченные подобными трудностями, прийти к некоторому определенному согласию относительно шкалы устройства степеней нашего согласия. Конечно, гораздо более практично обеспечить такое согласие в случае специальной науки, ограниченной более или менее экспертами, чем в предметах, в которые все классы посторонних имеют почти равное право входа. Область применения при первых обстоятельствах уже, и профессиональные эксперты приобрели привычки и традиции, с помощью которых стандарты могут сохраняться в значительной целостности. Не похоже, однако, согласно всем отчетам, чтобы какой-либо очень поразительный успех был достигнут в этом направлении юристами.
§ 28. Трудность в ее научной, или строго юриспруденческой форме, по-видимому, проявилась главным образом в попытке организовать юридические доказательства в классы в отношении степени их убедительности. Это, как я понимаю, было так в римском праве и в некоторых континентальных системах юриспруденции, которые возникли из римского права. «Прямое свидетельство стольких-то свидетелей было plena probatio. Затем шло minus plena probatio, затем semiplenâ major и semiplenâ minor; и путем сложения вместе определенного числа полудоказательств — например, путем предъявления торговых бухгалтерских книг плюс их дополнительная присяга — могло быть составлено полное доказательство. Именно на этом принципе пытка использовалась для получения признания. Признание было доказательством, дополняющим обстоятельства, которые считались оправдывающими его применение».