и отвернулся...»: Л. Тихомиров о русской революции, в. 1.— «Вече». СПб., 1994. В. Н. Катасонов ТИХОН ЗАДОНСКИЙ (в миру Тимофей Савельевич Кириллов) [1724, с. Короцко Валдайского у. Новгородской губ. — 13 (24) августа 1783, Задонский монастырь Воронежской губ.] — русский православный подвижник, богослов. С 1738 обучался в Новгородском духовном училище, затем с 1740 в Новгородской семинарии. В 1758 принял монашество. В 1761 назначен епископом Кексгольмским и Ладожским и викарием архиеп. Новгородского, в 1763 избран лично Екатериной II епископом Елецким и Воронежским. В начале 1769 удалился от активной деятельности и поселился сначала в Толшевском, а затем в Задонском монастыре. Испытал определенное влияние учения И. Арндта о «Царстве Божием внутри нас». Основная богословская идея — восстановление образа Божия в душе грешника через Искупление, предполагающее онтологическое подобие Образа и первообраза, Бога и человека. Присутствие Божие в мире влечет за собой необходимость «Христопод- ражательного жития». «Мистическая этика» (выражение Г. В. Флоровского) Тихона Задонского оказала большое влияние на развитие нравственного богословия, а его личный духовный подвиг — на формирование идеала русской святости, являясь «христианским и апостольским откликом на безумие века и вольнодумство» (иером. Иоанн Кологривов. Очерки по истории русской святости. Брюссель, 1961, с. 329). Тихон Задонский послужил прототипом старца Зосимы в романе Ф. М. Достоевского «Братья Карамазовы». Канонизирован Русской Православной церковью в 1861. Соч.: Творения иже во святых отца нашего Тихона Задонского, т. 1—5, 1994; Сокровище духовное, от мира собираемое. Тузов, 1904. Лит.: Казанский П. С. Житие иже во святых отца нашего Тихона епископа Воронежского, всея России чудотворца. СПб., 1871; Гиппиус А. Н. Св. Тихон Задонский. Епископ Воронежский и всея Руси чудотворец. Париж, [б. г.]. А. И. Резниченко ТКАЧЕВ Петр Никитич [29 июня (11 июля) 1844, с. Сив- цово Великолуцкого у. Псковской губ. — 23 декабря 1885 (4 января 1886), Париж] — русский социальный философ, публицист, революционер. В 1861 поступил на юридический факультет Петербургского университета, после исключения в 1868 экстерном сдал экзамены за полный курс и защитил диссертацию на степень кандидата права. В 1860-х гг. участвовал в деятельности различных подпольных организаций. Сотруд-
72
ТОЖДЕСТВО ник журн. «Русское слово», «Дело» и др. За участие в противоправительственной деятельности был арестован, после четырехлетнего заключения направлен в ссылку, откуда в 1873 бежал за границу. В Париже сблизился с французскими бланкистами. Свое философское мировоззрение, в котором сочетались ориентация на научное познание действительности и радикальный социальный критицизм, называл реализмом. Противопоставлял его вненаучной идеалистической метафизике, служащей защите существующего социального порядка. Фундаментом философского реализма Ткачева был материализм. Истолковывал природу на основе «механического закона органической природы». Социально-философские воззрения Ткачева сформировались под влиянием идей Н. Г. Чернышевского и К. Маркса. Явления общественной жизни объяснял на основе принципа экономического детерминизма. В программных произведениях Ткачева теоретически обоснована тактика немедленных революционных действий, фактически — тактика террористических актов как средства подготовки и осуществления социальной революции. Соч.: Соч., т. 1-2. М., 1975-76. Лит.: Шахматов Б. М. П. Н. Ткачев. Этюды к творческому портрету. М., 1981. С. И. Бажов ТОЖДЕСТВО — понятие, обычно представленное в естественном языке либо в форме «д (есть) то же, что и Ь» или «я тождественно ?», что может быть символизировано как «а = Ы (такое утверждение обычно называют абсолютным тождеством), либо в форме «о есть то же по свойству Ф, что и Z»> (утверждения подобного вида называются относительным тождеством и могут быть символизированы как «а = ф Ь»). Утверждения тождества, как правило, истолковываются различным образом. Наиболее ограничительным является предложение Л. Витгенштейна, выдвинутое в его «Логико-философском трактате»: элиминировать утверждения тождества путем введения специальных ограничений на единичные термины, когда каждому предмету сопоставляется не более одного единичного термина. Альтернативный подход представлен классической теорией тождества (Дж. Перри, Дж. Нельсон), сводящей все тождества естественного языка к абсолютным тождествам (обычно в этом случае тождество определяется с помощью закона Лейбница х = у = = pfiF(F{x) = F(y))), и релятивистской теорией (П. Гич), сводящей все тождества к относительным. Существует и смешанная нередукционистская стратегия (Д. Одегард), когда принимаются во внимание оба вида тождества. Классическая теория тождества базируется на утверждении о том, что все тождественно самому себе, ничто не является тождественным чему-либо еще, кроме самого себя (Д. Льюис). Однако при подобном понимании тождества для физических объектов возникают проблемы преемственности (самотожде- ственны ли длящиеся во времени предметы, сохраняются ли предметы после замены их частей). Согласно L Фреге, мы должны уметь распознавать объект, обозначенный введенным нами символом, как тот же самый. В связи с этим вводится принцип неразличимости тождественных предметов, гласящий, что тождественные объекты неразличимы по свойствам. Такое понятие тождества удобно для математических целей, где объекты заданы жестко и не изменяются со временем. Теория относительного тождества принимает следующий постулат: два предмета могут совпадать по отношению к одному свойству и различаться по отношению к другому. Тем не менее теория относительного тождества сводится к классической теории абсолютного тождества, если ввести двухместный предикат тождества с помощью определения х = у = =Zy3\j/(jc = уу) (Л.Стивенсон), либо считать закон Лейбница определением тождества и принять аксиому х = = фу=эУЧ'(?(х) = Ч'(),)). Формальные теории относительного тождества в большинстве своем строятся в рамках второпорядковой логики, поскольку приходится вести речь о совокупности свойств. Отношению относительного тождества в этом случае сопоставляется множество свойств Аф, такое, что Ф-тождественность влечет неразличимость по отношению к свойствам из Аф. Полная спецификация Аф для данного Ф в общем случае затруднительна (при конструктивистском подходе прибегают к абстракции отождествления, при которой выделяются общие свойства и отношения при одновременном отвлечении от некоторых характеристик исследуемых объектов). Обычно вводят А как новый константный (реляционный) символ отношения на свойствах и определяют относительное тождество как х = фу тогда и только тогда, когда для каждого 4*, такого, что Аф Q?), ЧК(х) тогда и только тогда, когда ^(у). Интуитивно АФ(Ч/) означает, что Ч? является членом множества свойств Аф, определяемого для Ф и замкнутого относительно отрицания, конъюнкции и импликации. Более гибкая трактовка получается при переходе к неклассической второпорядковой логике, напр. трехзначной второпорядковой логике (Р. Роутли и Н. Гриффин). В последние десятилетия проблема тождества часто обсуждалась в связи с проблемой семантики возможных миров. Центральными вопросами при этом были проблема подстановки тождественных выражений и проблема идентификации индивидов сквозь возможные миры. Закон подстановки тождественного гласит, что если один из двух тождественных объектов обладает определенным свойством, то им обладает и второй объект. Однако в модальных контекстах это приводит к тому, что все тождества являются необходимыми тождествами, т. е. если а = Ь, то выводимо (а = Ь). Тем самым ставится под сомнение возможность случайных утверждений о тождестве. Для решения этой проблемы С Крипке вводит в рассмотрение термин «жесткий десигнатор», обозначающий один и тот же объект во всех возможных мирах. В этом случае если а и b являются жесткими десигнаторами, то утверждение а = b не только истинно, но и необходимо истинно. В противном случае из а = b не следует {а — Ь), хотя объекты, обозначенные как а и Ь, будут тождественны. Другое решение, предложенное Я. Хинтиккой, заключается в задании подкласса класса индивидуальных концептов (т. е. функций, принимающих в качестве своих аргументов возможные миры, а в качестве значений — объекты соответствующих предметных областей). Элементы этого подкласса (ин- дивидуирующие функции или мировые линии) служат для связи индивидов из различных предметных областей, присущих различным мирам (напр., имя «Сократ» означает лицо, являющееся Сократом в различных обстоятельствах, другими словами, означает всех индивидов в различных мирах, связанных между собой мировой линией). Индивиды, связанные мировыми линиями, являются как раз теми индивидами, которые предполагаются тождественными в подходе Крипке. В представлениях знаний и эпистемических контекстах часто возникает необходимость в представлении ложных тождеств,
73
хОЙНьй т. е. ситуаций, в которых объекты, считающиеся субъектом тождественными, на самом деле различны, или наоборот, тождественные объекты полагаются различными. Теория жестких десигнаторов не предусматривает таких ситуаций, в то время как подход Хинтикки позволяет рассматривать два различных способа отождествления: субъективный и обычный. Субъективное отождествление связывает два объекта мировой линией тогда и только тогда, когда они полагаются тождественными некоторым субъектом в определенном состоянии знания. Лит.: Wiggins D. Identity and Spatio-Temporal Continuity. Oxf., 1967; Griffin N. Relative Identity. Oxf, 1977; BrennanA. Condition of Identity. Oxf., 1988; Schreider J. A. Equality, Resemblance and order. Moscow, 1975; Novoselov M. M. Identity— Great Soviet Encyclopedia, v. 26. N. Y—L., 1981; ТарскийА. Введение в логику и методологию дедуктивных наук. М., 1948; Целищев В. В. Понятие объекта в модальной логике. Н., 1978; Крипке С. Тождество и необходимость.— В кн.: Новое в зарубежной лингвистике. М., 1982.