Куб, который мы видим, — это как бы просто лоток, против которого покоится четырехмерная фигура. Его сечение на любом этапе — куб. Но переход в этом направлении, будучи поперечным ко всему нашему пространству, не представлен никаким пространственным движением. Мы можем показать последовательные этапы результата переноса куба в этом направлении, но не можем показать продукт переноса, как бы мал он ни был, в этом направлении.
Fig. 56.
Чтобы вернуться к исходному методу представления наших переменных, рассмотрим рис. 56. Эти четыре куба представляют четыре сечения фигуры, полученной из первого из них путем движения его в четвертом измерении. Первая часть движения, которая начинается с 1, прочерчивает более чем твердое тело, которое все в первой фигуре. Начало этого тела показано в 1. Следующая часть движения прочерчивает более чем твердое тело, все из которого во второй фигуре; начало этого тела показано в 2; 3 и 4 следуют подобным образом. Здесь, тогда, в одной четырехмерной фигуре мы имеем все комбинации четырех переменных: большая посылка, меньшая посылка, фигура, вывод, представленные, каждая переменная проходит через свои четыре разновидности. Нарисованные несвязанные кубы — это наше представление в пространстве посредством несвязанных сечений этого высшего тела.
В настоящее время истинными является лишь ограниченное число выводов — их истинность зависит от конкретных комбинаций посылок и фигур, которые они сопровождают. Общую фигуру, представленную таким образом, можно назвать универсумом мысли в отношении этих четырех составляющих, и из универсума всех возможных комбинаций логике надлежит выбирать те, которые соответствуют результатам наших мыслительных способностей.
Мы можем проанализировать каждую из посылок в каждом из модусов и выяснить, какой вывод логически следует из них. Однако это уже сделано в трудах по логике; наиболее просто и ясно, на мой взгляд, — в «Логике Джевонса». Поскольку нас интересует лишь формальное представление результатов, мы воспользуемся приведенными ниже мнемоническими строками, в которых слова, заключенные в скобки, относятся к фигурам и не несут смысловой нагрузки:
Barbara celarent Darii ferio [prioris].
Caesare Camestris Festino Baroko [secundae].
[Tertia] darapti disamis datisi felapton.
Bokardo ferisson habet [Quarta insuper addit].
Bramantip camenes dimaris ferapton fresison.
В этих строках каждое значимое слово содержит три гласные: первая гласная относится к большей посылке и указывает на ее модус (например, «a» означает, что большая посылка находится в модусе A). Вторая гласная относится к меньшей посылке и указывает на ее модус. Третья гласная относится к выводу и указывает на его модус. Так, для (prioris) — первой фигуры — первое мнемоническое слово «barbara» дает: большая посылка — модус A, меньшая посылка — модус A, вывод — модус A. Соответственно, в первом из наших четырех кубов мы отмечаем нижний левый передний куб. Возьмем другой пример из третьей фигуры «Tertia»: слово «ferisson» дает нам большую посылку в модусе E (например, «ни одно M не есть P»), меньшую посылку в модусе I («некоторое M есть S»), вывод в модусе O («некоторое S не есть P»). Область, которую нужно отметить в третьем репрезентативном кубе, — это область во второй стенке справа для большей посылки, в третьей стенке от передней части для меньшей посылки и в верхнем слое для вывода.
Легко заметить, что на диаграмме этот куб отмечен, как и все остальные правильные выводы. Области, отмеченные в общей совокупности, показывают, какие комбинации четырех переменных — большей посылки, меньшей посылки, фигуры и вывода — существуют.
Иными словами, мы объективируем все возможные выводы и выстраиваем идеальное многообразие, содержащее все возможные их комбинации с посылками, а затем исключаем из него все то, что не удовлетворяет законам логики. Остаток представляет собой силлогизм, рассматриваемый как канон рассуждения.
Если посмотреть на форму, представляющую совокупность правильных выводов, то она не обнаруживает какой-либо очевидной симметрии или легко характеризуемой природы. Однако поразительная конфигурация получается, если спроецировать полученную четырехмерную фигуру в трехмерную; то есть, если мы возьмем в базовом кубе все те кубы, которые имеют отмеченное пространство где-либо в ряду из четырех областей, начинающихся от этого куба.
Это соответствует абстрагированию от фигур, дающему все выводы, которые являются правильными независимо от того, какова фигура.
Fig. 57.
Действуя таким образом, мы получаем расположение отмеченных кубов, показанное на рис. 57. Мы видим, что правильные выводы расположены почти симметрично вокруг одного куба — того, что находится на вершине колонны, начинающейся с AAA. Однако в этой схеме есть один разрыв непрерывности. Один куб не отмечен, хотя, будь он отмечен, это обеспечило бы симметрию. Это куб, который обозначался бы буквами I, E, O в третьей стенке справа, второй стенке в глубине, верхнем слое. Но эта комбинация посылок в модусе IE с выводом в модусе O не упоминается ни в одной известной мне книге по логике. Давайте рассмотрим ее самостоятельно, поскольку кажется, что в связи с этим разрывом непрерывности в пойографе должно быть что-то любопытное.
Fig. 58.
Суждения I, E в различных фигурах выглядят следующим образом, как показано на прилагаемой схеме, рис. 58: Первая фигура: некоторое M есть P; ни одно S не есть M. Вторая фигура: некоторое P есть M; ни одно S не есть M. Третья фигура: некоторое M есть P; ни одно M не есть S. Четвертая фигура: некоторое P есть M; ни одно M не есть S.
Изучая эти фигуры, мы видим, взяв первую, что если некоторое M есть P и ни одно S не есть M, то мы не получаем вывода формы «S есть P» в различных модусах. Совершенно неопределенно, как круг, представляющий S, расположен по отношению к кругу, представляющему P. Он может лежать внутри, снаружи или частично внутри P. То же самое верно для других фигур 2 и 3. Но когда мы переходим к четвертой фигуре, поскольку M и S лежат полностью вне друг друга, та часть P, которая лежит внутри M, не может лежать внутри S. Теперь мы знаем из большей посылки, что некоторая часть P действительно лежит в M. Следовательно, S не может содержать P целиком. Иными словами: некоторое P есть M, ни одно M не есть S, следовательно, S не содержит P целиком. Если мы возьмем P в качестве субъекта, это даст нам вывод в модусе O относительно P: «некоторое P не есть S». Но это не дает нам вывода относительно S ни в одной из четырех форм, признанных в силлогизме и называемых его модусами. Таким образом, разрыв непрерывности в пойографе позволил нам обнаружить неполноту отношений, рассматриваемых в силлогизме.
Приведем пример: некоторые американцы (P) принадлежат к африканскому происхождению (M); ни один ариец (S) не принадлежит к африканскому происхождению (M); арийцы (S) не включают в себя всех американцев (P).
Чтобы сделать вывод относительно S, мы должны признать утверждение «S не содержит P целиком» в качестве правильной логической формы — это утверждение об S, которое может быть сделано. Логика, которая дает нам форму «некоторое P не есть S» и не позволяет нам дать точно эквивалентную и столь же первичную форму «S не содержит P целиком», является искусственной.
И я хочу отметить, что эта искусственность ведет к ошибке.
Если полагаться на приведенные выше мнемонические строки, можно было бы сделать вывод, что из утверждения «некоторое P есть M, ни одно M не есть S» нельзя сделать никакого логического вывода относительно S.
Но вывод сделать можно: S не содержит P целиком.
Дело не в том, что результат выражен в другой форме. Мнемонические строки отрицают, что из посылок в модусах I, E соответственно можно сделать какой-либо вывод.
Таким образом, простой четырехмерный пойограф позволил нам обнаружить ошибку в мнемонических строках, которые передавались без возражений со средневековых времен. Чтобы обсудить предмет этих строк более полно, логик, защищающий их, вероятно, сказал бы, что частное суждение не может быть большей посылкой, и тем самым отрицал бы существование четвертой фигуры в комбинации модусов.
Возьмем наш пример: некоторые американцы принадлежат к африканскому происхождению; ни один ариец не принадлежит к африканскому происхождению. Он сказал бы, что вывод — «некоторые американцы не являются арийцами» и что второе утверждение является большим. Он отказался бы сказать что-либо об арийцах, обрекая нас на вечное молчание о них, насколько это касается данных посылок! Но если существует утверждение, затрагивающее отношение двух классов, оно должно быть выразимо как утверждение о любом из них.
Запрет на вывод «арийцы не включают в себя всех американцев» — это чисто временная мера в пользу ложной классификации.
И аргумент, основанный на универсальности большей посылки, не может последовательно поддерживаться. Он исключил бы такие комбинации, как большая посылка O, меньшая A, вывод O — т. е. такие, как «некоторые горы (M) не являются постоянными (P); все горы (M) являются пейзажем (S); некоторый пейзаж (S) не является постоянным (P)».
Это допускается в «Логике Джевонса», и его упущение в обсуждении I, E, O в четвертой фигуре необъяснимо. Удовлетворительный пойограф логической схемы может быть создан путем допущения использования слов «некоторые», «никакие» или «все» как относительно предиката, так и относительно субъекта. Тогда мы сможем выразить утверждение «арийцы не включают в себя всех американцев» неуклюже, но, когда его неясность будет преодолена, корректно: «некоторые арийцы не являются всеми американцами». И этот метод называется «квантификацией предиката».
Законы формальной логики совпадают с выводами, которые можно сделать относительно областей пространства, перекрывающихся друг с другом различными возможными способами. Нетрудно сформулировать эти отношения или получить симметричный пойограф. Но углубляться в эту ветвь геометрии выходит за рамки нашей текущей цели, которая состоит в том, чтобы показать применение пойографа в конечной и ограниченной области без тех сложностей, которые сопровождают его использование в отношении природных объектов.
Если мы возьмем последние — например, растения — и, не предполагая фиксированных направлений в пространстве в качестве репрезентативных для определенных вариаций, расположим репрезентативные точки таким образом, чтобы они соответствовали сходствам объектов, мы получим конфигурацию исключительного интереса; и, возможно, таким образом, при создании форм форм, тел с опущенными телами, можно было бы получить некоторое представление о структуре видов и родов.
ГЛАВА IX ПРИМЕНЕНИЕ К ТЕОРИИ ОПЫТА КАНТА
Наблюдая за небесными телами, мы осознаем, что все они участвуют в одном универсальном движении — суточном вращении вокруг полярной оси.
В случае неподвижных звезд это верно в самой безусловной степени, но в случае Солнца, а также планет, можно различить единое движение вращения, модифицированное и слегка измененное другими, вторичными движениями.
Следовательно, универсальной характеристикой небесных тел является то, что они движутся по суточному кругу.
Но мы знаем, что этот один великий факт, верный для них всех, в действительности не имеет к ним никакого отношения. Суточное вращение, которое они совершают на наших глазах, является результатом состояния наблюдателя. Именно потому, что наблюдатель находится на вращающейся Земле, можно сделать универсальное утверждение обо всех небесных телах.
Универсальное утверждение, справедливое для каждого из небесных тел, — это то, которое вообще их не касается, а является лишь констатацией состояния наблюдателя.
Теперь существуют универсальные утверждения других видов, которые мы можем сделать. Мы можем сказать, что все объекты опыта находятся в пространстве и подчиняются законам геометрии.
Означает ли это, что пространство и все, что оно подразумевает, обусловлено состоянием наблюдателя?
Если универсальный закон в одном случае не означает ничего, затрагивающего сами объекты, а лишь состояние наблюдения, верно ли это в каждом случае? В астрономии нам показана vera causa для утверждения универсалии. Следует ли искать ту же причину повсюду?
Таково первое приближение к доктрине критики Канта.
Это постижение отношения, в которое с той и другой стороны входят совершенно определенные составляющие — человеческий наблюдатель и звезды, — и перенос этого отношения в область, в которой составляющие с обеих сторон совершенно неизвестны.
Если пространственность обусловлена состоянием наблюдателя, то наблюдатель не может быть этим нашим телесным «я» — тело, подобно окружающим его объектам, в равной степени находится в пространстве.
Эту концепцию Кант применил не только к созерцаниям чувств, но и к понятиям разума — везде, где делается универсальное утверждение, ему предоставляется возможность для применения своего принципа. Он построил систему, в которой трудно сказать, чему больше удивляться: архитектурному мастерству или сдержанности в отношении вещей в себе и наблюдателя в самом себе.
Его систему можно сравнить с садом, возможно, несколько формальным, но обладающим очарованием качества, выходящего за рамки интеллектуального, — besonnenheit, изысканной умеренностью во всем. И из почвы, которую он так тщательно подготовил, скрыв в ней то, что должно быть скрыто, расцветает наука и растет древо подлинного знания.
Критика — это сокровищница идей глубокого интереса. Та из них, о которой я дал частичное изложение, ведет, как мы увидим при ее детальном изучении, к теории математики, наводящей на размышления во многих направлениях.
Обоснование моего подхода можно найти, среди прочих отрывков, в той части трансцендентальной аналитики, где Кант говорит об объектах опыта, подчиненных формам чувственности, но не подчиненных понятиям разума.
Кант утверждает, что всякий раз, когда мы мыслим, мы мыслим об объектах в пространстве и времени, но он отрицает, что пространство и время существуют как независимые сущности. Он берется объяснить их и их универсальность не путем их допущения, как делают большинство других философов, а путем постулирования их отсутствия. Как же тогда получается, что мир для нас находится в пространстве и времени?
Кант занимает ту же позицию в отношении того, что мы называем природой — великой системы, подчиненной закону и порядку. «Как вы объясняете закон и порядок в природе?» — спрашиваем мы философов. Все, кроме Канта, отвечают, предполагая наличие закона и порядка где-то, а затем показывая, как мы можем их распознать.
Объясняя наши понятия, философы, стоящие на позициях, отличных от кантовских, предполагают, что понятия существуют вне нас, и тогда нетрудно показать, как они приходят к нам — либо через вдохновение, либо через наблюдение.
Мы спрашиваем: «Почему у нас есть идея закона в природе?» «Потому что природные процессы идут согласно закону, — отвечают нам, — и опыт, унаследованный или приобретенный, дает нам это понятие».
Но когда мы говорим о законе в природе, мы говорим о нашем собственном понятии. Так что все, что делают эти толкователи, — это объясняют наше понятие через его же допущение.
Кант совсем другой. Он ничего не предполагает. Опыт, подобный нашему, сильно отличается от опыта в абстракции. Представьте себе просто опыт, последовательность состояний сознания! Да ведь не было бы никакой связи между двумя из них, не было бы никакой личной идентичности, никакой памяти. Именно из общего опыта, подобного этому, который в отношении всего, что мы называем реальным, меньше, чем сон, Кант показывает генезис опыта, подобного нашему.
Кант берется за проблему объяснения пространства, времени, порядка и поэтому вполне логично не предполагает их заранее.
Но как, когда каждый акт мышления касается вещей в пространстве и времени и является упорядоченным, мы представим себе то совершенно неопределенное нечто, которое является необходимой гипотезой Канта — то, что не находится в пространстве или времени и не является упорядоченным? Это наша проблема: представить то, что Кант предполагает не подчиненным ни одной из наших форм мышления, а затем показать некую функцию, которая, воздействуя на это, превращает его в «природу», подчиненную закону и порядку, в пространстве и времени. Такую функцию Кант называет «единством апперцепции», т. е. то, что делает наше состояние сознания способным быть вплетенным в систему с «я», внешним миром, памятью, законом, причиной и порядком.
Трудность, с которой мы сталкиваемся при обсуждении гипотезы Канта, заключается в том, что все, о чем мы думаем, находится в пространстве и времени — как же тогда нам представить в пространстве существование, не находящееся в пространстве, и во времени существование, не находящееся во времени? Эта трудность еще более очевидна, когда мы переходим к построению пойографа, ибо пойограф — это по существу пространственная структура. Но именно потому, что трудность более очевидна, она ближе к решению. Если мы всегда мыслим в пространстве, т. е. используя пространственные понятия, то первое условие, необходимое для их адаптации к представлению непространственного существования, — это осознание ограниченности нашего мышления, чтобы иметь возможность предпринять надлежащие шаги для ее преодоления. Проблема, стоящая перед нами, таким образом, состоит в том, чтобы представить в пространстве существование, не находящееся в пространстве.
Решение простое. Оно обеспечивается концепцией альтернативности.
Чтобы прояснить наши идеи, давайте вернемся назад, за пределы различий между внутренним и внешним миром. И то, и другое, говорит Кант, есть продукты. Давайте возьмем просто состояния сознания и не будем задаваться вопросом, произведены ли они или привнесены — задавать такой вопрос означает зайти слишком далеко, предположить нечто, происхождение чего мы не проследили. Относительно этих состояний давайте просто скажем, что они происходят. Давайте теперь будем использовать слово «позит» для фазы сознания, сведенной к последней возможной стадии исчезновения; пусть позит будет той фазой сознания, о которой можно сказать лишь то, что она происходит.
Пусть a, b, c будут тремя такими позитами. Мы не можем представить их в пространстве, не поместив в определенном порядке, как a, b, c. Но Кант проводит различие между формами чувственности и понятиями разума. Сон, в котором все происходит наугад, был бы опытом, подчиненным форме чувственности и лишь частично подчиненным понятиям разума. Он частично подчинен понятиям разума, потому что, хотя нет порядка последовательности, все же в любой данный момент есть порядок. Восприятие вещи как находящейся в пространстве — это форма чувственности, восприятие порядка — это понятие разума.