или иным письменно зафиксированным словом (рукопись, публикации, магнитофонная запись и др.). Среди источников — наиболее репрезентативны прижизненные издания трудов профессиональных философов, их рукописи. Но для историко-философской реконструкции важны и романы (напр., экзистенциалистов), публицистика и переписка. В историко-философской работе не следует игнорировать и другие источники — прежде всего памятники материальной и духовной культуры. Так, обратившись к русской иконе, Е. Н. Трубецкой и П. А. Флоренский смогли раскрыть особенности религиозного мировоззрения. Н. А. Бердяев на материале картин П. Пикассо сделал вывод о кризисе искусства в 20 в. Современные методы исторической реконструкции позволяют извлечь из разных произведений культуры скрытое содержание, без которого общая картина мировоззрения той или иной эпохи будет неполной. Чем шире база и совершеннее методика источниковедения, тем объективнее и глубже выводы пользующегося ею интерпретатора. К невербальным источникам относятся многообразные произведения культуры. Среди смешанного типа источников — такие произведения искусства, как иллюстрированные книги, музыкальные партитуры с текстом и др. Разнообразие и разнохарактерность источников требуют новой методики их анализа. В отечественном источниковедении разработаны методы «комплексного источниковедения» (В. Янин), интегративного анализа источников (Б. Рыбаков) семиотики текстов (Ю. М. Лотман). Перспективным представляется использование методов герменевтики, ставшей методологией гуманитарных наук и характеристикой «универсального аспекта философии» (X. Г. Гадамер), понятий и методов истории искусств и иконологии (Э. Панофски) и др. Лит.: Бельников Н. Ф. Литературное источниковедение. М., 1983; Вагнер Г. К. Искусство мыслить в камне. М, 1990; Громов M. H. О философской семантике архитектуры. Общественная мысль: исследования и публикации, вып. 2. М., 1990; Емельянов Б. В. Теоретические проблемы источниковедения философии. Л., 1980; Котков С. И. Лингвистические источники и история русского языка. М., 1980; Разработка проблем теоретического источниковедения в современной исторической науке 1980—1984 гг. М, 1985; Фарбосин В. В. Источниковедение и его метод: Опыт анализа понятий и терминологии. М, 1983; Янин В. Л. Очерки комплексного источниковедения. М, 1977; Koch W. A. Philosophie der Philologie und Semiotik. Bochum, 1986; Literature as Philosophy, Philosophy as literature, Ed. by D. G. Marshall. Iowa City. 1987; Mitchell W. J. Iconology: Image, Text, Ideology. Chi., 1986; Philosophy and the Visual Arts: Seeing and Abstracting, Ed. by A. Hanson. Dordrecht, 1987. M. H. Громов, А. П. Огурцов «ИСХОД К ВОСТОКУ. Предчувствия и свершения. Утверждение евразийцев» — сборник статей четырех авторов (П. Н. Савицкого, П. П. Сувчинского, Н, С. Трубецкого и
183
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИГ В. Флоровского), вышедший в начале августа 1921 в Софии (переиздание: М., 1997) и ознаменовавший собой начало движения евразийства. Выходу сборника предшествовали споры по поводу опубликованной годом ранее книги Трубецкого «Европа и человечество», где обосновывалась идея гибельности для неевропейских народов идеологии европоцентризма. Сборник выявил расхождения в подходах и убеждениях, но необходимость поиска самобытного пути к возрождению России разделялась всеми авторами. Савицкий — статьи «Поворот к Востоку», «Миграция культуры», «Континент и океан (Россия и мировой рынок)» — выдвинул географические и экономические аргументы в пользу самобытности. Россия занимает суперконтинентальный регион и не может конкурировать с океанической системой хозяйства вследствие высоких издержек наземного транспорта. Она вынуждена в основном торговать с ближайшими соседями по континенту и заинтересована в их развитии. Ведение хозяйства по «океаническим» правилам игры привело бы ее к разорению. Россия занимает к тому же северный регион, и поэтому ее сельское хозяйство также неконкурентоспособно. Но это не повод для отчаяния. Россия и в этих неблагоприятных условиях создала великое государство и великую культуру, и закономерности миграции культур также свидетельствуют о том, что центры концентрации творческой энергии перемещаются именно в районы с менее благоприятными природными условиями. Трубецкой — статьи «Об истинном и ложном национализме», «Верхи и низы русской культуры (Этническая основа русской культуры)» — развил этнологические аргументы. Европейская культура есть культура романо-германская, а вовсе не «общечеловеческая», как хотят ее представить. Подражание ей обрекло бы русскую культуру на деградацию, ибо несамобытная культура не способствует глубокому самопознанию, а значит, «максимальному развитию личностей», высвобождению творческой энергии. Трубецкой подчеркивал, что истинный национализм должен подчинять политику целям развития национальной культуры. Примат политики ведет к ложному национализму, вели- кодержавию, самостийннчеству и деградации национальной культуры. Русская культура творится не только славянами и, значит, должна выявлять черты народной стихии всех этносов, населяющих Россию. Согласно Сувчинскому (статьи «Сила слабых», «Эпоха веры»), лишь религиозная культура утверждает «вдохновенное начало личности», а в ее рамках музыкальное интуитивное мышление гораздо больше способствует глубокому самопознанию, нежели мышление рациональное. Флоровский (статьи «Разрывы и связи», «Хитрость разума», «О народах неисторических») видит трагичность положения в том, что люди перестают быть людьми. Западная рационалистическая культура унизила личность до положения вещи. Стержень ее рационалистического энтузиазма составляет своеобразный «гносеологический демократизм», недооценка того, что истина сращена с личностью. Рассматривая культурную традицию как непрерывную линию, рационализм тем самым сближает культуру с бытом. Но духовная традиция — это разрывы бытовых линейных связей и завязывание благодатных соборных связей через пространства и века. Русская же православная традиция понимает познание как духовный подвиг Выход сборника встретил сочувственный отклик в сердцах молодых русских эмигрантов, ибо в противовес всеобщим настроениям безысходности вселял твердую веру в творческие потенции России. А. В. Соболев
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ-см. Логика высказываний.
ИСЧИСЛЕНИЕ КЛАССОВ- формальная теория, в которой описываются булевы соотношения (операции) между классами (множествами) объектов. Исчисление классов составляет часть более общей теории — множеств теории. К числу основных булевых операций относятся операции пересечения, объединения и взятия дополнения. Они обозначаются, соответственно, знаками «О», «LJ», «'» и (на языке элементарной логики) определяются следующим образом: XGAnB=rf х е A ИСЧИСЛЕНИЕ ПРЕДИКАТОВ- см. Логика предика- тов. ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ- одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин «секвенция» происходит от слова sequent (последовательность). Он введен в логику П. Герцем (1929) и заимствован Г. Генценом, который впервые сформулировал в форме исчисления секвенций классическую и интуиционистскую логику предикатов первого порядка. Секвенция — это формальная запись отношения логической выводимости вида Г—>®, где Г и 0 — последовательности (возможно пустые) разделенных запятыми формул. Вместо стрелки может использоваться «h-» или любой другой знак логической выводимости. Левую часть секвенции называют антецедентом, а правую — сукцедентом. Содержательно в исходном генценовском варианте секвенция означает, что из конъюнкции формул, входящих в ее антецедент, логически выводима дизъюнкция формул, входящих в ее сук- цедент. Напр.: А,,...,Ап, —> В,,..., Вт означает А,& ... && Ап I- B,v ... vBm; —>В,,.... Bm, означает i- Bfv ... vBm; A,,..., An —> означает i--,(A1&...&&An); a секвенция, обе части которой пусты, может интерпретироваться как логическое противоречие. 184 ИТАИИсчисление секвенций состоит из двух главных компонентов: основной секвенции и правил заключения (иногда их называют правилами вывода). Основная секвенция в первоначальном генценовском варианте — это секвенция вида А—>А, где А — формула, но могут применяться основные секвенции и другого вида. Правила заключения делятся на два типа: логические и структурные. Логические правила заключения в свою очередь делятся на правила введения логического знака в антецедент и правила введения логического знака в сукцедент секвенции. По логическому правилу из формул, входящих в его посылки (боковых формул), в заключении с помощью введения логического знака получается более сложная формула (главная формула). Таким образом, логические правила позволяют строить сложные формулы из более простых. Число