Поиск авторов по алфавиту

Автор:Флоренский Павел, священник

Флоренский П., свящ. Понятие тождества в математической логике

XIX.  —ПОНЯТИЕ ТОЖДЕСТВА В МАТЕМАТИЧЕСКОЙ

ЛОГИКЕ (к стр. 81).

Стремление исключить из сферы науки всякий разговор о нумерическом тождестве, как и должно было ждать, наиболее ярко выступает там, где научный метод вообще наиболее строг и точен, a именно в современной математической логике или, так называемой, логистике. Тут, в «исчислении классов», тождество индивидов определяется вполне строго, и определяется именно как совместная принадлежность их ко всякому классу, к какому каждый из них вообще только может принадлежать, т. е., другими словами, как возможность для любой комбинации признаков одного индивида подыскать соответственную ей и равную ей комбинацию признаков другого. Ясное дело, что здесь тождество нумерическое подменено тождеством специфическим. Рельефность этой подмены—тем определеннее, что в математической логике строго различается индивид от единичного или особого класса, ему соответствующего (класс с обемом в «один») и что, в «начислении отношений», полагается важная аксиома, согласно которой у каждой пары данных индивидов существует особое отношение, несуществующее между двумя другими какими-нибудь индивидами, т. е. отношение, этой паре исключительно свойственное. И все же, вот, несмотря

519

 

 

на эти тонкие различения, тождество индивидов целиком разлагается в современной науке на совокупность общих признаков, так что реальный характер индивида, как носителя своих признаков, в отличие от его формального характера, опять-таки только утверждается, но нисколько не выражается. Это-то и доказывает еще лишний раз, что нумерическое тождество может лишь символически полагаться или утверждаться, но не определяется, не формулируется и не выражается логически.

После этих общих замечаний напомним себе вкратце, как указанные определения выражаются в символических знаках логистики.

Как известно, здесь прежде всего бросается в глаза решительное различение отношений «импликации» и «инклюзии», т. е. включения суждения или класса в другое суждение или класс, от операции подчинения индивида классу или, соответственно, суждению.  — знак, как импликации, так и инклюзии; ε — относительно класса—знак операции установления соответствия (сокращение ἐστί), и з —знак той же операции относительно суждения. Это различение, закрепленное различием знаков, чрезвычайно важно. Однако, обычная речь смешивает оба вида отношений,— т. е. импликацию с инклюзией и операцию соответствия—, под общим обозначением связки «есть», «суть»; логики их отождествляли долгое время, и только Пеано впервые фиксировал их, да и то благодаря придуманной им символике.

Чтобы сделать более наглядною разницу операции  и операции соответствия, возьмем, для примера, обычный силлогизм:

major : Всякий человек смертен.

minor : Сократ — человек.______

conclusio: Следовательно, Сократ смертен.

Связка большей посылки тут будет , как это и думают обычно, но связка меньшей посылки — вовсе не , как это вообще склонно думать чуть ли ни по-

520

 

 

головное большинство логиков, но ε. В самом деле, в большей посылке устанавливается отношение классов «человечность» И «смертиость», а во втором — уже не отношение классов, a индивида «Сократ» к классу «человечность», к которому «Сократ» принадлежит. Итак большая посылка есть несомненная импликация, как это и принято говорить, но меньшая посылка уже не импликация, а подчинение индивида классу, и именно первого типа. Значит, формула разбираемого силлогизма будет на самом деле:

а вовсе не формулою обычного, типического силлогизма, устанавливающего соотношение между классами:

Едва ли нужно отмечать существенную разницу формул (I) и (П).

Не следует думать, что символы  и ε имея весьма разное логическое и онтологическое значение, могли бы быт безнаказанно смешиваемы с точки зрения формальной, в целях счислительной логистической механики, и что эта «тонкость» Пеановского различения понятий не имеет никакого «прагматического» значения для техники счисления. Далеко нет, ибо  самые свойства того и другого отношения, т. е.  и ε, существенно различны: отношение , как устанавливающее связь однородных сущностей или терминов (классов, суждений) — транзитивно, тогда как отношение ε, как устанавливающее связб сущностей неоднородных (класс и индивид) — заведомо интранзитивно: если аb и bс, то ясно, что, по формуле

и ас; но из того, что x ε y и y ε z, — вовсе не следует, что x ε z, ибо  если x, как индивид, подводится под класс y, а класс у, как индивид, подводится под класс z, то z уже будет в отношении к х классом

521

 

 

классов, a не просто классом, и следовательно не может считать х в числе своих элементов, в составе своего обема; для z обем состоит из индивидов-классов, и сами они, для z, уже неделимы, нераздробимы, неразложимы.

При невнимании к интранзитивности отношения ε, в свою очередь основывающемся на смешении ε с , нередко строятся софизмы, формальное и ответчивое изобличение которых далеко не всегда легко. Таковы, например, некоторые софизмы в «философской комедии Платона «Евтидем» 865), ну хотя бы рассуждения вроде следующих:

«Золото есть золото и не может быть не золотом; человек есть человек и не может быть не человеком. Следовательно, и твой отец Хередэм,—приблизительно так говорит Сократ Евтидему—, есть отец и не может он быть не-отцом. Значит, он—всем отец, и не только людям, a и лошадям и прочим животным. Точно так же и мать твоя—всех мать, — мать и ежей. Значит ты — брат телятам, и щенятам, и поросятам.

«Затем, у тебя есть пес, а у него—щенята и, следовательно, пес им — отец. Но пес — твой. А твой он, будучи отцом, так что твой отец—пес, и ты — брат щенятам.

«Далее: ты бьешь своего пса,— значит—, бьешь своего отца и т. д.»

Или, вот еще пример из «Иппия Большого» 866):

«Каждый из нас, двоих собеседников,—один и, следовательно, каждому свойственно быть нечетом. Следовательно, мы оба вместе будем тоже нечетом, когда нас двое. Но, если это—не так, если оба вместе мы—чёт, то и каждый порознь---тоже чёт, и т. п.» рассуждения ведутся здесь по следующей схеме:

Хередэм (индивид) ε твой родитель (класс);

твой родитель (индивид) ε родитель (класс);

родитель (класс)=рождающее существо (класс);

522

 

производящие на свет ежей, поросят и т. д. (класс) 

 рождающие существа (класс).

Но ясно, что, вследствие интранзитивности операции «ε», из данных посылок никак нельзя сделать заключения, что

Хередэм ε производящий на свет ежей и т. д.

Точно также, из того, что

Петр (индивид) ε апостол (класс апостольства),

вовсе не следует, что

Петр ε «12»,

т. е., что Петр—тоже «двенадцать», a не «один 867).

Итак, из сказанного делается окончательно несомненным, что даже с чисто-формальной точки зрения индивид принципиально отличен от класса, даже от класса единичного,—вопреки мнению логиков-номиналистов, стремившихся истолковать класс не как единый и в себе замкнутый обем мысли, а как совокупность индивидов, и вопреки же стремлениям логиков-позитивистов, желавших уничтожить самобытную природу индивида и свести его к сумме признаков, т. е. к единичному классу. «Особый» или «единичный»—singulière класс должен быт строжайшим образом разграничен от единственного индивида, входящего в его обем: иначе можно было бы написать для такого класса X формулу:

x ε x  (IV)

что, как мы уже видели, бессмысленно, ибо  «ε» есть знак отношения между разными и даже разнородными терминами, a не одним и тем же. Единичный класс, образованный из единственного элемента «x»,

523

 

принято обозначать поэтому особым знаком, а именно ιx, читаемым:        «равно х», «égal à х»; тут символ «ι», есть сокращение слова ἴσος. равный. Этот символ «ι» формально определяется равенством:

ι x = y ɜ  (y =x)    (V),

т. е. «ιx есть символ такого класса у, который (ɜ) оправдывает пропозициональную (продолжительную) функцию (с переменным y) «у=у». Отсюда, применяя к обеим частям написанного равенства операцию «уɛ», подводящую элемент-индивид «y» равным между собою классам «ɩx» и «у ɜ (у=х)», и памятуя, что операции «yɛ» и «у ɜ» взаимно разрушают друг друга, мы находим:

y ε ι x . = . y = x  (VI),

т. е. равенство двух символов «ει» и «=», так что

ε ι . = . =     (VII).

Отсюда следует, что, хотя формула (IV) несправедлива, однако

x ε ι x         (VIII)

(ибо х = х), т. е. что индивид «x» всегда принадлежит к своему единичному классу «ɩх».

Если, наоборот, «а» есть единичный класс, то его единственный элемент уже нельзя обозначить чрез «а», но должно особым символам, в состав которого входит обращенный « » символ,—а именно чрез «», который читается: «оный а»,    «1е    а», «der а», . Вообще, символ «ɩ» преобразует индивид в его единичный класс, и обратно, символ «» преобразует единичный класс в индивид, так что имеем два равенства,

эквивалентных между собою; в знаках:

Все то, что сказано доселе—совершенно справедливо, ибо тут полагается в основу существенное различие единичного класса и индивида. Но индивид здесь вводится одним только символом,—без  определения. Поэто-

524

 

 

му, для рационализма тут явный камень преткновения. Его пытаются обойти следующим путем: Единичный класс определен, как класс образованный одним единственным индивидом. Но что же такое число «один»? И что такое «индивид»? Математическая логика, «по обычаю математических наук—selon lhabitude des Mathématiques» 869) не определяет индивида, но—лишь тождество индивидов. Конечно, дело тут вовсе не в мнимом «обычае математических наук», а—в невозможности определить индивид, как реальность сверх-разсудочную. Попытка же определения тождества индивидов дает возможность подменить вопрос о реальном нумерическом тождестве вопросом о признаковом, формальном подобии, т. е. рассуждения,—невозможные!—, над индивидами—рассуждениями над понятиями о них, т. е. над классами. Эта подмена делается сознательно, и она глубоко знаменательна, особенно после решительного различения индивидов и классов.

Итак, «говорят, что два индивида k и l тождественны, если второй принадлежит ко всякому классу, в котором участвует первый—on dira que les deux individus k et l sont identiques, si le second appartient à toute classe dont le premier fait partie» 870). Символически это определение выражается формулою:

Тут «» есть знак тождества, указатель же «a» при ɔ означает, что написанная импликация справедлива при всяком а, которое удовлетворяет инклюзии «k ε а» 871). При этом, обращает на себя внимание то обстоятельство, что «тождество индивидов логически отлично от равенства классов, точно также как индивиды k и 1 отличны от единичных классов ɩk и ɩl» 872).

Как же разуметь эту формулу?—Не более, как определение знака «» . Формула (XI) говорит, что когда у нас встретится доселе невиданная графическая комбинация черточек и букв, «картннка»

«k  1», 

525

 

 

не имеющая, по сему самому, никакого смысла, то, отныне раз на всегда, мы хотим, мы полагаем, мы требуем разуметь под нею не иное что, как сокращеиное, условное обозначение уже понятной нам импликации

k ɛ а . ɔa . l ɛ a      (XII)

или, точнее говоря, совокупности множества импликаций, со всевозможными значениями переменного «а», поле изменения которого определяется функцией «k e a», т. е.,—повторяем еще раз —, под «к  l» мы хотим разуметь сокращенное обозначение выражения

где П есть знак логического умножения всех множителей, полученных для всевозможных значений а. Вот эту-то систему импликации, говорящую только о соотношении принадлежностей, —ε—, индивидов «k» и «1» к классам «а» ми условливаемся называть тождеством индивидов. Но что такое индивид, мы все же не знаем логически, понятия индивида не имеем и, следовательно, только полагаем термин его чисто-символически, как знак чего-то (—чего угодно, но только не класса и не суждения и не отношения—), что может находиться в отношении «тождества»; под тождеством же мы разумеем некоторую сложную формулу в отношении этого «что-то» к классам.

Еще раз повторяем, что тут, самым наглядным образом, встает бессилие логической мысли пред конкретным, т. е. индивидуальным бытием, и жалкость (—необходимая жалкость!—) попытки рассудка подменить индивидуальное бытие рассудочно-образными,—но не рассудочными!—, терминами.—

Далее, как сказано, остается открытым и вопрос об определении единичности класса. Как, в самом деле, определить, в рассудочных терминах, что класс ɩa единичен, т. е. что он содержит один  только элемент, —что есть только одно а?—Это до-

526

 

 

стигается чрез указание двух  признаков класса ɩа: во-первых, что в нем вообще имеются элементы, т. е. что он—класс не нулевой; во-вторых, что если бы таких элементов было два, а именно x и y, то они были бы тождественны между собою. Что класс ɩа—не нулевой, это выражается отрицательною формулою:

а = Λ       (XIV),

т. е.

а «не есть» ( =) Λ,      (XIV)

где Λ—знак нулевого класса, или еще, в более удобной, положительной форме:

a      (XV).

т. е.

«существуют а» 873),

так что

а = Λ =   а    (XVI).

Итак, единичность класса ɩa выразится посредством формул:

а = Λ: х ε а. y ε a. Ɔ x,y. х = y (XVII),

или

 а . х ε а. у ε а. Ɔ х.у. y (XVIII) 874),

 т. е., при каких угодно x и у, принадлежащих к классу ɩа, написанная импликация остается истинною.

Едва ли нужно указывать, что все сказанное по поводу логического определения тождества, относится и к этому определению единичности, ибо  единичность есть лишь частный случай тождества, a именно тождество с собою, самотождество.

Обращаясь, наконец, к логике отношенийrélations—, мы тут естественно должны решить вопрос об отношении между индивидами. В этом отделе математической логики принимается зa аксиому, что всегда существует отношение между индивидами, само индивидуальное, само представляющееся своеобразным индивидом. «Между двумя данными индивидами,—гласит аксиома—, существует особоеsingulière——отношение, которое не существует между любыми двумя другими индивидами». Одна-

527

 

 

ко, и это, особое, отношение обясняется,—что и следовало ждать—, в смысле формальном, a не в смысле реальном. Это делается явным из разяснений, которые следуют за этой аксиомой. «С точки зрения обема—extension,—гласят они—, эта аксиома очевидна, ибо  рассматриваемой пары достаточно, чтобы определить отношение, отличное от всех прочных. С точки же зрения содержания можно сказать, что если рассматривают совокупность—lensemble—всех отношений, которые существуют между двумя данными индивидами, то той же самой совокупности не существует между какою-либо другою парою индивидов; иначе говоря, если некоторая пара имеет все отношения другой пары, то эти две пары тождественны,—что пишется так:

х1 R у1 . ƆR . X2 R y2 : Ɔ : x1  х2 . у  у2  (XIX) 375.)

Тут знак ƆR показывает, что компликация левой части справедлива при всяком отношении R, которое может связывать х1 и у1.

Итак, индивидуальнoe, т. e. кoнкрeтнoe, oтнoшeниe oпять-таки разлагаeтcя на ряд oбщих, т. e. абcтрактных,—вceх абcтрактных oтнoшeний, вхoдящих в cocтав даннoгo кoнкрeтнoгo. Нo, и пoмнимo oнтoлoгичecкoй бeccмыcлeннocти такoгo приравнивания кoнкрeтнoгo cуммe абcтрактнocтeй, вoзникаeт вoпрoc o закoннocти такoгo oпрeдeлeния дажe в oблаcти чиcтo-фoрмальнoй. Oнo, вeдь ,вceцeлo oпираeтcя на пoнятиe «вceх» oтнoшeний мeжду даннoю парoю элeмeнтoв. Нe гoвoря o тoм, чтo cамoe пoнятиe «вce» нe oпрeдeлeнo eщe в матeматичecкoй лoгикe, в ocoбeннocти жe кoгда oнo oтнocитcя к группe cвeрх кoнeчнoй,—пoд coмнeниeм нахoдитcя, мoжeт ли, вooбщe, быть oпрeдeлeннoe пoнятиe o группe «вceх»  oтнoшeний нe мeжду клаccами, a мeжду индивидами. Нo этo-тo и трeбуeт дoказатeльcтва, ибo  вoвce нe яcнo (—да и eдва ли дoпуcтимo вooбщe—), чтo транcфинитная группа абcтракций мoжeт иcчeрпывать кoнкрeтнocть. Ecли кoнкрeтнocть и мoжeт быть раccматриваeма пoд фoрмальнo-раccудoчным углoм зрeния, тo oна, нecoмнeннo, мoжeт 

 528

 

 

быть введена в формальные спекуляции не иначе, как под видом предела, т. е. как абсолютный максимум. Но понятие такового еще не разработано,—если не считать совершенно неизвестной попытки архим. Серапиона —, а кроме того неясно, вообще может ли применительно к индивидам быть таковое. Ведь конкретные особи владеют творчеством, способны созидать абсолютные, непредвиденные отношения, не вошедшие в состав сколь угодно обемистой группы из отношений уже готовых, — одним словом превышают всякое заранее составленное о них понятие: по выражению А. Бергсона, «la vie déborde lintelligence—жизнь выступает из берегов рассудка», и так бывает всегда.

529


Страница сгенерирована за 0.32 секунд !
Map Яндекс цитирования Яндекс.Метрика

Правообладателям
Контактный e-mail: odinblag@gmail.com

© Гребневский храм Одинцовского благочиния Московской епархии Русской Православной Церкви. Копирование материалов сайта возможно только с нашего разрешения.