ЕЩЕ НЕМНОГО МЕТЕОРОЛОГИИ.
Погодный альманах на 1838 год. П. Мерфи [703], эсквайра, члена никакого общества.
Под «членом никакого общества» подразумевается «член никакого общества». Этот альманах несет на титульном листе две рекомендации. Morning Post называет его «одной из самых важных-если-это-правда публикаций нашего поколения». The Times говорит: «Если основа его теории окажется здравой, а ее принципы будут подтверждены более широким опытом, не будет преувеличением сказать, что важность этого открытия равна важности определения долготы». Осторожный журналист! Сказать, что она в три раза важнее долготы, было бы слишком мало. Чтобы сухопутный житель мог предсказать погоду на весь год в его начале, Джек с радостью отказался бы от астрономической долготы — самой проблемы — совсем, и вернулся бы к хронометрам со старыми L: свинец (lead), широта (latitude) и наблюдение (look-out), применяемые к счислению пути. Мистер Мерфи попытался давать погоду день за днем: так, первые семь дней марта значились как: Переменная; Дождь; Дождь; Дождь-ветер; Переменная; Ясно; Переменная. Стремиться к такой точности, чтобы поместить ясный день между двумя переменными с помощью теории погоды, было хождением очень близко к ветру и погоде тоже. Мерфи открыл год холодом и морозом; и погода сделала то же самое. Но Мерфи, напротив субботы, 20 января, записал: «Ясно, вероятная низшая степень зимней температуры». Когда наступила эта суббота, она была не просто вероятно самой холодной в 1838 году, но, безусловно, самой холодной за многие последовательные годы. Не зная ничего о Мерфи, я счел благоразумным прикрыть нос перчаткой, когда шел по улице в восемь утра. Удача Альманаха была сделана. Никто не стал ждать, чтобы увидеть, опровергнет ли будущее пророчество: магазин был осажден таким образом, что потребовалась полиция для поддержания порядка; и говорили, что Альманах на 1838 год принес владельцам 5000 фунтов стерлингов прибыли. Очень скоро выяснилось, что это была лишь удачная догадка: погодный пророк имел умеренную репутацию в течение нескольких лет; и теперь о нем больше не слышно. Работа его вскоре появится в списке.
ВЕЛИКИЕ ПИРАМИДЫ.
Письмо из Александрии о доказательствах практического применения квадратуры круга в великих пирамидах Гизы. Г. К. Эгню [704], эсквайра. Лондон, 1838, 4-я доля листа.
Мистер Эгню обнаруживает пропорции, которые, по его мнению, были подсказаны пропорциями окружности и диаметра круга.
МАТЕМАТИКА ВЕРОУЧЕНИЯ.
Символ веры святого Афанасия, доказанный математической параллелью. Прежде чем порицать, осуждать или одобрять; прочитайте, изучите и поймите. Э. Б. Ревило [705]. Лондон, 1839, 8-я доля листа.
Этот автор действительно верил в себя и был искренен. Он не единственный человек, который писал чепуху, смешивая математическую бесконечность (количества) с тем, что спекулянты теперь более правильно выражают как безграничное, безусловное или абсолютное. Этот трактат стоит сохранить как крайний случай определенного рода. Ниже приведен образец. Бесконечность обозначается ∞, как обычно, а f, s, g — конечные целые числа, три Лица обозначаются ∞f, (m∞)s, ∞g, где конечная дробь m представляет человеческую природу, в отличие от ∞. Затем приводятся пункты Символа веры с их математическими параллелями. Я извлеку пару:
"But the Godhead of the Father, of the Son, and of the Holy Ghost, is all one: the glory equal, the Majesty co-eternal.
"It has been shown that ∞f, ∞g, and (m ∞)s, together, are but ∞, and that each is ∞, and any magnitude in existence represented by ∞ always was and always will be: for it cannot be made, or destroyed, and yet exists.
"Equal to the Father, as touching his Godhead: and inferior to the Father, touching his Manhood."
"(m ∞)s is equal to ∞f as touching ∞, but inferior to ∞f as touching m: because m is not infinite."
Я мог бы пропустить это как нечто, стоящее даже ниже моего нынешнего предмета, если бы не то, как я с этим познакомился. Книготорговец, не издатель, передал мне это через прилавок: тот, кто публиковал математические работы. Он сказал с видом важного сообщения: «Видели ли вы это, сэр!». В ответ я порекомендовал ему показать это моему другу мистеру ——, для которого он публиковал математику. Образованные люди, привыкшие к книгам и общению с учеными, смотрят с таинственным удивлением на такие произведения, как это: по этой причине я сделал цитату, которую многие сочтут лучше было бы опустить. Но было бы обманом публики, если бы я, опуская это и некоторые другие использования Библии и Книги общих молитв, притворился, что дал правдивую картину своей школы.
[С момента публикации вышеизложенного было заявлено, что автором является мистер Оливер Бирн, автор «Двойной арифметики», упомянутой далее: Э. Б. Ревило, по-видимому, является очевидной анаграммой.]
В ЛОГИКЕ НЕТ ПАРАДОКСАТОРОВ.
Старая и новая логика в сравнении: попытка разъяснить для обычного понимания, как лорд Бэкон избавил человеческий разум от его 2000-летнего порабощения Аристотелем. Джастин Бренан [706]. Лондон, 1839, 12-я доля листа.
Логика, хотя и является другой точной наукой, не имела таких противников, которые сгруппировались вокруг математики. Существует секта, которая оспаривает полезность логики, но нет особых пунктов, подобных квадратуре круга, которые вызывают споры среди тех, кто признает другие вещи. Старая история о том, что у Аристотеля была одна логика, чтобы сковать нас, а у Бэкона другая, чтобы освободить нас, — над которой всегда смеялись те, кто действительно знал Аристотеля или Бэкона, — теперь начинает пониматься большой частью образованного мира. Автор этого трактата связывает старую логику с непристойностями классических писателей, а новую — с моральной чистотой: он апеллирует к женщинам, которые, «когда они ясно увидят деморализующую тенденцию силлогистической логики, несомненно, окажут свое мощное влияние против нее и поддержат бэконовский метод». Это единственная работа против логики, которую я могу представить, но она редкая, я имею в виду по содержанию. Я цитирую представление автора о силлогизме:
«Основой этой системы является силлогизм. Это форма изложения сути вашего аргумента или исследования в одной короткой строке или предложении — затем подтверждение или поддержка его в другом, и вывод вашего заключения или доказательства в третьем».
На это определение он дает пример, как следует: «Всякий грех заслуживает смерти», суть «аргумента или исследования». Затем идет: «Всякое незаконное желание есть грех», которое «подтверждает или поддерживает» предыдущее: и, наконец, «следовательно, всякое незаконное желание заслуживает смерти», что является «заключением или доказательством». Мы также узнаем, что «иногда первое называется посылками (sic), а иногда первой посылкой»; как и то, что «первое иногда называется суждением, или субъектом, или утверждением, а следующее — предикатом, а иногда средним термином». К чему добавляется, с восклицательным знаком в конце: «но при анализе силлогизма есть средний термин, и предикат тоже, в каждой из строк!» Ясно, что Аристотель никогда не порабощал этот разум.
Я сказал, что в логике нет парадоксаторов, но я говорил о старых временах. Эта наука спала до наших дней: Гамильтон [707] говорит, что «со времен Аристотеля не было сделано никакого прогресса в общем развитии силлогизма; и что касается немногих частичных улучшений, профессиональные историки кажутся совершенно невежественными». Но в наше время парадоксатор, противник общего мнения, появился и в этой области. Я не имею в виду профессора Буля [708], который не парадоксатор, а первооткрыватель: его система не могла ни противостоять общему мнению, ни поддерживать его, ибо ее основания не были в концепции кого-либо. Я говорю особенно о двух других, которые сражались как кошка с собакой: один был догматичен, другой категоричен. Первым был сам Гамильтон — сэр Уильям Гамильтон из Эдинбурга, метафизик, а не сэр Уильям Роуэн Гамильтон [709] из Дублина, математик, сочетание особого гения с беспрецедентной ученостью, эрудированный во всем, что ему могло понадобиться, кроме математики, к которой у него не было склонности и в которой он не имел даже школьных знаний, благодаря Оксфорду его молодых лет. Другим был автор этой работы, так полно описанный в трудах Гамильтона, что нет необходимости описывать его здесь. Я попытаюсь сказать несколько слов на обычном языке о парадоксаторах.
Великим парадоксом Гамильтона была квантификация предиката; страшная фраза, легко объяснимая. Мы все знаем, что когда мы говорим «Люди — животные», форма, совершенно не квантифицированная по фразе, мы говорим обо всех людях, но не обо всех животных: это «некоторые или все», некоторые могут быть всеми, насколько говорит суждение. Это «некоторые-могут-быть-всеми-насколько-мы-говорим», или «не-ничто», есть «некоторые» логика. Можно было бы предположить, что «все люди — некоторые животные» было бы логической фразой во все времена: но предикат никогда не квантифицировался. Немногие, кто намекал на возможность такой вещи, находили причины не принимать ее, помимо великой причины, что Аристотель не принял ее. Ибо Аристотель никогда не правил в физике или метафизике в старые времена с такой абсолютной властью, как он правил в логике вплоть до наших дней. Логики знали, что в суждении «все люди — животные» «животное» не является универсальным, а партикулярным, однако никто не осмеливался сказать, что все люди — некоторые животные, и изобрести фразу «некоторые животные — все люди», пока Гамильтон не перепрыгнул через ров и не только завершил систему высказываний, но и применил ее к силлогизму.
Мой собственный случай так же своеобразен, как и его: я предложил ввести математическое мышление в логику до такой степени, что старые ворчуны кричат:
«Святой Аристотель! что за дикие идеи!
Вручите ему ne exeat regno [710]!»
Лет двадцать назад друг и противник, который занимает высокое положение в этих делах и который далеко не такой сектант Аристотеля и истеблишмента, как большинство, написал мне следующее: «Говорят, что после человека, который формирует вкус нации, величайшим гением является человек, который его портит. Поэтому я не имею в виду никакого неуважения, а совсем наоборот, когда говорю, что до сих пор всегда считал вас великим логическим ересиархом». Кольридж говорит, что, по его мнению, это был сэр Джошуа Рейнольдс, который сделал это замечание: что, копируя каламбур, который я однажды слышал, я не могу отрицать, потому что меня там не было, когда он это сказал. Мой друг не призывал меня к покаянию и примирению с церковью: я думаю, он догадывался, что я неисправимый грешник. Мои проступки в то время были невелики: я продолжал вращать системы силлогизмов, все чуждые общей логике, пока у меня их не стало шесть, начальные буквы которых, сложенные вместе, из имен, которые я дал до того, как увидел, что они составят, преграждают путь к покаянию словами
RUE NOT! (НЕ СОЖАЛЕЙ!)
оставляя последователям старой школы удобную возможность расставить буквы так:
TRUE? NO! (ПРАВДА? НЕТ!)
Следует, однако, сказать, что вопрос не об абсолютной истине или лжи. Никто не отрицает, что все, что я называю выводом, является выводом: они говорят, что мои изменения экстралогичны; что они материальны, а не формальны; и что логика — это формальная наука.
Различие между материальным и формальным легко сделать, когда не требуются обычные извращения. Форма — это пустая машина, такая как «Всякий X есть Y»; она может быть наполнена материей, как в «Всякий человек есть животное». Логики не хотят видеть, что их формальное суждение «Всякий X есть Y» материально в трех пунктах: степень утверждения, количество суждения и связка. Чисто формальное суждение — это «Существует вероятность α, что X находится в отношении L к Y». Придет время, когда будут сожалеть, что логика обходилась без парадоксаторов две тысячи лет: и когда многое из того, что было сказано о различии формы и материи, будет вызывать шутки.
Я привожу один пример одного модуса каждой из систем в порядке букв, впервые написанных выше.
Относительная. — В этой системе берется формальное отношение, то есть связка может быть любой. В качестве материального примера, в котором отношения являются отношениями кровного родства (подразумеваются люди), возьмите следующее: X есть брат Y; X не есть дядя Z; следовательно, Z не есть ребенок Y. Обсуждение отношения и возражений против расширения находится в Cambridge Transactions, том X, часть 2; корявый конгломерат.
Нерешенная. — В этой системе одна посылка и отсутствие власти над другой выводят отсутствие власти над заключением. Как «Некоторые люди не способны прослеживать последствия; мы не можем быть уверены, что существуют существа, ответственные за последствия, которые не способны прослеживать последствия; следовательно, мы не можем быть уверены, что все люди ответственны за последствия своих действий».
Примерная. — Это, спустя долгое время после того, как оно пришло мне в голову как средство исправления дефекта в системе Гамильтона, я увидел, что это сама система Аристотеля, хотя его последователи перешли к другой. Она делает свой субъект и предикат примерами, таким образом: Любой один человек есть животное; любое одно животное есть смертное; следовательно, любой один человек есть смертное.
Числовая. — Предположим, существует 100 Y: тогда если 70 X являются Y, а 40 Z являются Y, то следует, что 10 X (по крайней мере) являются Z. Гамильтон, чей разум не мог обобщать символы, увидел, что слово «большинство» подпадет под эту систему, и признал действительным такой силлогизм, как «большинство Y являются X; большинство Y являются Z; следовательно, некоторые X являются Z».
Ониматическая. — Это обычная система, значительно расширенная в формах суждений. Она подробно обсуждается в моем «Силлабусе логики».
Транспонированная. — В этом силлогизме количество в одной посылке транспонируется в другую. Как: некоторые X не являются Y; для каждого X есть Y, которое есть Z; следовательно, некоторые Z не являются X.
Сэр Уильям Гамильтон из Эдинбурга был одним из лучших друзей и союзников, которые у меня когда-либо были. Когда я впервые начал публиковать спекуляции на эту тему, он представил меня логическому миру как человека, который плагиатировал у него. Это привлекло их внимание: математик мог бы писать о логике в формах, которые имели нечто математическое на вид, задолго до того, как аристотелианцы побеспокоили бы себя им: как это делали Джон Бернулли [711], Джеймс Бернулли [712], Ламберт [713] и Жергонн [714]; которые, когда началась наша дискуссия, не были известны даже всезнающему Гамильтону. Он по-мужски взял назад свое обвинение в умышленной краже, когда нашел его несостоятельным; но в этом пункте он немного колебался и до конца был убежден, что я взял его принцип бессознательно. Он думал, что я сделал то же самое с Плукке [715] и Ламбертом. Его любимой идеей было то, что я не понимаю самых простых принципов логики, что я не всегда знаю разницу между средним термином силлогизма и его заключением. Ему было противно воображать, что математик может быть логиком. Пока он считал, что я езжу на своем собственном коньке, он смеялся до упаду: но когда он думал, что может доказать, что я сижу верхом позади Плукке или Ламберта, поток шел так: «Действительно, было бы почти чудом, если бы он, невежественный даже в общих принципах логики, был способен сам подняться до обобщения столь высокого и столь точного, как предполагается в специфических доктринах обоих соперничающих логиков, Ламберта и Плукке — как бы бесполезны они ни оказались на практике». Все это было достаточно обсуждено в другом месте: «но, господа, помните, что я осел».
Я знаю, что никогда не видел работу Ламберта до тех пор, пока все, что Гамильтон предполагал, что я взял, не было написано: он сам, который читал почти все, ничего не знал об этом, пока я не узнал. Я не могу доказать то, что говорю о своем знании Ламберта: но средства сделать это могут появиться. Ибо, случайно наткнувшись на старое письмо, я нашел средства оправдать себя в отношении Плукке. Гамильтон предположил, что (бессознательно) я взял у Плукке понятие логической нотации, в которой символ заключения виден в объединенных символах посылок. Например, на свой манер я записываю ( . ) ( . ), два символа посылок. По этим символам я вижу, что существует действительное заключение, и что оно может быть записано символом путем вычеркивания двух средних скобок, что дает ( . . ) и прочтения двух отрицательных точек как утвердительных. И так я вижу в ( . ) ( . ), что ( ) есть заключение. Это, в полном виде, есть восприятие того, что «все суть либо X, либо Y» и «все суть либо Y, либо Z» делает необходимым «некоторые X суть Z». Теперь в книге Плукке 1763 года найдено: «Deleatur in præmissis medius; id quod restat indicat conclusionem» [716]. В статье, в которой я объясняю свои символы — которые совершенно отличаются от символов Плукке — найдено: «Сотрите символы среднего термина; оставшиеся символы показывают вывод». Есть очень большое сходство: и я бы извинил Гамильтона за его мнение, если бы он честно дал ссылку на часть книги, в которой был найден его цитата. Ибо я показал в своей «Формальной логике», какую часть книги Плукке я использовал: и честный спорщик либо усилил бы свою точку зрения, показав, что я был в его части книги, либо предоставил бы мне преимущество того, что очевидно, что я не дал доказательств того, что видел ту часть книги. Мой добрый друг, хотя и честный человек, иногда не хотел предоставлять должное преимущество спорным противникам.
Но к моему пункту. Единственная работа Плукке, которую я когда-либо видел, была одолжена мне моим другом доктором Логаном [717], с которым я часто переписывался по логике и т. д. Мне довелось (в 1865 году) наткнуться на письмо, которое он прислал мне (12 сентября 1847 года) вместе с книгой. Часть его гласит так: «Поздравляю вас с успехом в ваших логических исследованиях [то есть, прося книгу, я описал некоторые результаты]. С момента прочтения вашей первой статьи я был удовлетворен возможностью изобретения логической нотации, в которой рациональное обоснование вывода содержится в символе, хотя я никогда не пытался проверить это [то, что я сообщил, тогда удовлетворило автора, что я сделал и сообщил то, что он, из моей предыдущей статьи, подозревал как осуществимое]. Я посылаю вам диссертацию Плукке...»