Николай Александрович Васильев (1880—1940)
Шрифт:
4. Закон противоречия имеет два различных смысла: одно и то же суждение не может быть одновременно истинным и ложным; если отказаться от этого закона, то логика становится невозможной потому, что мы не способны отличить истину от лжи.
5. Но этот закон обладает и иным смыслом. Обычно он формулируется как невозможность одновременного утверждения и отрицания.
Вещь не может быть одновременно белой и не белой. Тело не может одновременно находиться в покое и не в покое. Если придать закону противоречия этот второй смысл, то он относится не к суждениям, но к вещам или фактам, и, таким образом, нетрудно разглядеть эмпирический базис данного второго значения закона противоречия.
5. (Именно так в оригинальном
I. Обычное утвердительное: S есть Р (А).
II. Обычное отрицательное: S есть не Р (Е).
III. Комбинацию утвердительного и отрицательного (индифферентное суждение: S суть Р и не-Р (1п).
6. Очевидно, что новая логика богаче па числу модусов различных фигур. Например, можно показать, что к четырем модусам первой фигуры (Barbara, Даrii, Celarent, Ferio) в новой логике добавляется два индифферентных модуса Mindalin и Kindirimp. Также можно показать, что в новой логике пропадает вторая фигура силлогизма, а третья фигура новой логики опять-таки богаче, чем третья фигура нашей логики (9 модусов, а не 6).
7. Новая логика постоянно нарушает второе значение закона противоречия, постоянно говорит об одновременном утверждении и отрицании, т. е. постоянно нарушает эмпирические законы нашего мира, но вместе с тем никогда не переступает через второй смысл этого закона, никогда не считает одно и то же суждение зараз истинным и ложным, т. е. никогда не нарушает закон мысли. Следовательно, новая логика является связанной и гармоничной (согласованной) системой мысли, которая нарушает законы окружающей реальности, но никогда не нарушает законов мышления.
8. Логика зависит от свойств окружающей реальности или наших ощущений. Все наши ощущения положительны (утвердительны).
Ощущения от отрицательных причин (например, ощущение черного цвета) также положительны; если же допустить, что мы могли бы иметь отрицательные ощущения, то наша логика должна была бы быть неаристотелевой.
9. Вследствие существования трех видов (форм) суждешш в неаристотелевой логике действует закон исключенного четвертого.
10. Однако тот же самый закон исключенного четвертого существует и в нашей логике: если мы возьмем некоторое понятие (Begriff) S и некоторый предикат Р, то возможны следующие отношения.
1. S всегда имеет предикат Р.
2. S никогда не имеет предикат Р.
3. S имеет и не имеет этот предикат Р, предикат Р случаен (например, с понятием человек совместим предикат старый и предикат нестарый).
Каждый предикат может быть либо необходим, либо невозможен, либо возможен; треугольник обязательно замкнутая фигура, он не может быть добродетельным (virtuous), но может быть равносторонним. Таким образом, вне этих трех возможностей четвертой не существует. Наряду с этим в нашей логике действует закон исключенного четвертого (principium exclusi quart i).
11. Воображаемая логика позволяет нам глубже проникнуть в природу нашей логики, разделить в ней эмпирические (устранимые) элементы от неэмпирических, которые устранить нельзя. Все неэмпирические элементы и отношения в логике составляют металогику. Она является аналогом метафизики. Метафизика есть знание о вещах вне условий опыта. Металогика есть учение о мышлении, не связанном с опытом. Закон противоречия в первом значении — это закон металогики.
Н. Л. Васильев (Казанский университет)
Работы Н. А. Васильева по логике имеют большое значение в отношении исследования принципов
Оценивая кратко положение современной математики, должно сказать следующее.
В последнее время в связи с пересмотром основ математики пришлось отказаться от привычных взглядов на бесконечность {3}, и в частности пришлось потребовать для нее особой логики, существенно отличающейся от логики конечных вещей {4}. Более точно: пришлось в связи с парадоксами, начавшими загромождать математику, отказаться от применения к бесконечным предметам (каковы: пространство, время, множество, число) закона исключенного третьего и заняться таким образом строительством новой логики, существенно отличной от аристотелевой, именно: логики без закона исключенного третьего{5}. Таким строительством занят в настоящее время (1924—1926) знаменитый математик Brower {6} и еще более прославленный геттингенский математик и мыслитель Hilbert {7} (1922—1926).
К ним же примыкает по направлению известный математик и теоретик-физик Weyl {8} (—/ 1922). Тех же приблизительно взглядов придерживается знаменитый французский математик Borel {9}.
Таким образом, в настоящее время дело идет о создании для математики новой логики, такой, где закон исключенного третьего уже не входит как непременно долженствующий соблюдаться. Работы Н. А. Васильева посвящены созданию такой точно логики {10}.
Задолго, еще в 1910 г., когда и речи не могло быть о пересмотре математической логики и о тех недовольствах ею, которыми пропитаны современные математические исследования, Н. А. Васильев начал систематическое построение своей «воображаемой логики», ставшей теперь такою реальностью в последние годы 1924—1926. Таким образом, идеи Н. А. Васильева удивительным образом совпадают с новейшими усилиями, к которым должны теперь прибегнуть математики силою вещей. История науки знает много примеров таких совпадений идей. Эти совпадения наилучшим образом выявляют объективную ценность совпавших мыслителей.
Таким образом, работа по логике Н. А. Васильева представляет поразительное совпадение с современными исследованиями, имеет самую высокую важность и интерес.
Можно лишь горячо желать, ввиду их актуального значения и интереса, синтетического их издания и распространения и еще более желать, чтобы их автору было дано продолжить свои важные изыскания {11}.
Профессор 1-го Гос. Моек, университета Член-корреспондент Академии наук Николай Лузин
4 января 1927 г. Москва.
1. Оригинал «Отзыва» хранится в ЛАА. К «Отзыву» Н. Н. Лузина прилагается список работ Н. А. Васильева, который содержит работы [11, 12, 14, 26], а также литературные труды ученого.
2. Под новыми течениями в математике Н. Н. Лузин понимает интуиционизм, который ставил своей целью перестройку математики в свете отказа от абстракции актуальной бесконечности, закона исключенного третьего и метода доказательства от противного [52], а также эффективизм, выступавший за пересмотр основных теоретико-множественных понятий и принципов с позиций их возможной «эффективной» осуществимости. Н. Н. Лузин являлся ярким представителем эффективизма — направления, в каком-то смысле близкого к интуиционизму по техническим решениям (а позже — и к конструктивизму), но в отличие от последних не отказывающемуся от классической математики вообще, а лишь настаивающему на переосмыслении ее концептуального содержания на базе соответствующих «приемлемых» принципов» [77].