, где А есть множество (предложений) и CA есть оператор (замыкания) присоединения следствий, выполняющий условия (1) ? (3). Такие дедуктивные системы Вуйцицкий назвал пропозициональными исчислениями [Wуjcicki 1984, p. 18]. Тогда морфизмы между объектами есть не что иное, как переводы (см. выше раздел 3). В результате мы получаем конструкцию, которая является категорией. В [Inouй 1996, p. 312] такая категория обозначается посредством Emb (погружение), а в [Carnielli & D'Ottaviano 1997, p. 74] ? Tr (перевод). В последней работе отмечается, что логики вместе с переводами образуют биполную категорию, т. е. категорию, для которой определены произведения и суммы.
Уже отмечалось, что топологические пространства можно определить как множества с оператором замыкания, более строго это выглядит следующим образом. К свойствам монотонности (i), рефлексивности (ii) и идемпотентности (iii) добавляются еще два:
(iv) C(? ) = ? ,
(v) C(X ? Y) = C(X) ? C(Y).
Тогда категория топологических пространств с непрерывными функциями (в качестве морфизмов) является полной подкатегорией Tr, т. е. переводы между топологическими пространствами есть непрерывные функции в топологическом смысле. Таким образом, некоторые топологические результаты представляют также и логический интерес.
Подчеркнем, что элементами решетки теорий, обнаруженной Тарским, являются теории, сформулированные в одном и том же языке. В алгебраической решетке LC элементами являются теории, сформулированные в разных языках, т. е. с разными словарями нелогических терминов. Остается еще одна возможность: рассмотреть класс разноязыких теорий, основанных на различных логиках. Тогда возникает следующий вопрос: образует ли совокупность таких теорий какую-либо конструкцию? [Васюков 1995, с. 279]. В этой работе показывается, что в общем случае не образуется даже решетка теорий. Чтобы обойти эту трудность, В.Л.Васюков прибегает к теоретико-категорному подходу. В этом случае класс разноязыких теорий рассматривается как некоторая категория Th, объекты которой есть элементарные теории (удовлетворяющие первым трем условиям для оператора замыкания), сформулированные в различных языках и основанные на различных логических исчислениях, а морфизмами являются сформулированные определенным образом переводы одной теории в другую. Полученная категория является дуально-замкнутой категорией, где вместо произведения берется сумма, а вместо импликации ? дуальная ей операция. В итоге построенная конструкция Th названа "котопосом" [Васюков 1995, c.291]. Подобный результат Васюков рассматривает как категорное обобщение результата Тарского: там исчисление систем образует алгебру Брауэра одноязычных теорий, а здесь получен топос Брауэра разноязычных теорий.
Отметим также, что с категорной точки зрения может быть рассмотрена и интерпретируемость теорий [Gaifman 1976]: I называется точной (faithful) интерпретацией теории T1 в теорию T2, если
T1 ? ? тогда и только тогда, когда T2 ? ? I.
Точная интерпретируемость T1 в T2 и наоборот влечет категорную эквивалентность T1- и T2- пополнений предтопоса. Для обычной интерпретируемости это не имеет места.
В начале данного раздела мы видели, что в качестве объектов могут выступать сами дедуктивные системы, а морфизмами между такими объектами считаются переводы одной дедуктивной системы в другую. Теперь можно выйти на уровень еще большего обобщения. Представление дедуктивных систем в виде категории наводит на мысль использовать понятие функтора, являющегося одним из основных понятий в исходной работе родоначальников теории категорий [Eilenberg & Mac Lane 1945] в качестве погружающей операции. Функтор ? это отображение из одной категории в другую, сохраняющее категорную структуру. На категорном языке это выглядит следующим образом.
Функтором F из категории ? в категорию ? называется функция, ставящая в соответствие каждому объекту A из ? объект F(A) из ? , и еще одна функция, ставящая в соответствие каждой стрелке f : A ? B из ? стрелку F(f): F(A) ? F(B) такую, что
F(1A) = 1F(A), F(gf) = F(g) F(f).
В общем случае такие функторы можно рассматривать как переводы одной дедуктивной системы в другую.
9. Алгебраизация логики
Одновременно с традицией развития логики как дедуктивной системы, идущей от Фреге, Уайтхеда и Рассела, развивался совершенно другой подход к логике, наиболее полно выраженный Э. Шрёдером в его трехтомных "Лекциях по алгебре логики" (1890-1905). В третьем томе развивается исчисление отношений и вводятся кванторы, но нигде нет понятия формального доказательства. Предшественники Шрёдера Дж. Буль, В. Джевонс и Ч. С. Пирс, впервые применили алгебраические методы к логике. Отсюда и сам термин "алгебра логики".
Первоначально алгебра логики имела своим предметом классы (как объемы понятий), соотношения между ними по объему и связанные с этим операции над ними. Поэтому исследования в области теории множеств сыграли существенную роль в становлении алгебры логики. Впоследствии основным предметом алгебры логики стало изучение свойств логических операций над множеством высказываний, рассматриваемых лишь со стороны их логических значений: исследуются равносильности между формулами, приведение к нормальным формам, минимизация формул и т.д.
Постепенно были выделены основные свойства (классических) логических операций в виде некоторого количества тождеств (равносильностей). В совокупности эти тождества образовали конструкцию под названием "булева алгебра". Изящной аксиоматизацией класса булевых алгебр являются пары тождеств из раздела 5: (II), (III), (IV), (V) и (B1), (B2). Одно из тождеств (V) выводимо (см. Биркгоф [1952, с. 191]). Таким образом, булева алгебра есть результат алгебраической формализации классической логики высказываний.
Несмотря на простоту формулировки булевы алгебры исключительно богаты по своему содержанию и давно превратились в самостоятельный раздел абстрактной алгебры. Они нашли самое широкое применение в логико-математических исследованиях, в области инженерии контактно-релейных схем, компьютерных наук, аксиоматической теории множеств, теории моделей и в других областях науки и математики (см. трехтомный справочник по булевым алгебрам [Monk (ed.) 1989]).
Результатом алгебраической формализации логики предикатов явились "цилиндрические алгебры", введенные в 1961 г. Л. Хенкиным и А. Тарским (см. фундаментальный труд [Henkin & Monk & Tarski 1971]).
В алгебраизации логики особую роль сыграла оригинальная идея А. Линденбаума (1926/27), который предложил рассматривать формализованный пропозициональный язык как универсальную алгебру с операциями, соответствующими логическим связкам этого же языка. Но самое главное, затем строится логическая матрица из формул и логических связок, которые составляют само логическое исчисление. Полное признание этот метод получил в 40-е годы в терминологии "алгебры Линденбаума", или "алгебры Линденбаума-Тарского" (см. историю вопроса в [Surma 1982]). Кратко этот метод можно описать следующим образом.
Рассмотрим бинарное отношение ? на множестве формул For пропозиционального языка ? : А ? В т.т.т., когда A ? B есть тавтология. Легко убедиться, что ? есть отношение эквивалентности на множестве формул For. Для произвольных классов эквивалентности ? А? и ? В? из For/? пусть ? А? ? ? В? = ? А ? В? , ? А? ? ? В? = ? А ? В? и ? ? А? = ? ? А? . Тогда алгебра L* = называется алгеброй Линденбаума (классической логики) и есть не что иное, как булева алгебра. Нулевым элементом 0 здесь является класс всех противоречий ? А ? ? A? , а единицей 1 ? класс эквивалентности, состоящий из всех тавтологий ? А ? ? A? .
Легко видеть, что между эквивалентностями классической логики высказываний C2 и тождествами булевой алгебры существует соответствие. Например, между формулой (А ? В) ? (А ? В) и первым тождеством в (II). Более того, ? A в C2 т.т.т., когда A* = 1 в L*, где A* есть аналог А на языке алгебры L*. Таким образом, возникают средства для алгебраического доказательства дедуктивной полноты логических исчислений.
Постепенно алгебраизация логики привела к появлению нового термина "алгебраическая логика", который стал названием монографии П. Халмоша [Halmos 1962], где методы и аппарат универсальной алгебры стали систематически применяться к изучению логики. В следующем году выходит "Математика метаматематики" (см. [Расёва & Сикорский 1972]), а затем книга Расёвой, ставшая классической [Rasiowa 1974], в которой алгебраические методы применяются к неклассическим логикам. Имеется обзор результатов по алгебраической логике [Эсакиа 1983].
Однако не всякая логика может быть алгебраизуема подобным образом. Например, в релевантной логике R и логике следования E (см. [Anderson & Belnap 1975] существуют теоремы A и B, для которых импликация A ? B не есть теорема. Следовательно, множество всех теорем не совпадает с классом эквивалентности, определенным отношением ? . Поэтому встал вопрос об обобщении метода Линденбаума. Обобщение было предложено в обстоятельной работе [Blok & Pigozzi 1989], где вводится лейбницевское отношение эквивалентности между формулами p и q:
p ? q ?? P(P(p) ? P(q)),
где P есть переменная, пробегающая по множеству унарных предикатов.
Что очень важно, берется строгое определение дедуктивной системы (логики), относительно которой и ставится вопрос об алгебраизации. Таковой взята стандартная дедуктивная система, выполняющая условия (1)? (5) для операции присоединения следствий (см. выше раздел 2). В итоге мы имеем алгебраическую семантику для исключительно широкого класса логических систем. См. также [Font & Jansana 1996].
Однако, как и ранее, неалгебраизуемы льюисовские модальные логики S1, S2 и S3, но теперь они обладают более слабым свойством протоалгебраизуемости. Зато релевантная логика R является алгебраизуемой, но не E. Неалгебраизуемыми оказываются импликативные фрагменты этих логик, в то время как H? и TV? алгебраизуемы (см. выше решетку импликативных логик в разделе 6). Недавно было доказано, что известная паранепротиворечивая логика да Косты C1 неалгебраизуема [Lewin, Mikenberg, Schwarze 1991], а следовательно все логики из класса Cn.
Современное бурное развитие алгебраической логики представляет собой систематическое применение методов и, главное, аппарата универсальной алгебры к символической логике. Именно на это как на тенденцию возможного дальнейшего развития алгебры логики указывал А. В. Кузнецов, когда говорил о возможности "охватить алгебраическими методами значительную часть современной математической логики" [Кузнецов 1960]. На самом деле вопрос сейчас стоит об охвате всей символической логики, и результаты здесь весьма впечатляющи (см. [Andrйka, Monk, Nйmeti 1991] и [Andrйka et al. 1994]). Приведем некоторые примеры.
Пусть Alg(L) обозначает класс алгебр, который соотносится с некоторой логикой L. Например, если L есть классическая логика высказываний, то Alg(L) есть класс булевых алгебр. Теперь можно формулировать теоремы, утверждающие, что L имеет определенное логическое свойство т.т.т., когда Alg(L) имеет определенное алгебраическое свойство. Это позволяет дать алгебраическую характеризацию таких логических свойств, как полнота, наличие теоремы дедукции, компактность, разрешимость, интерполяционность Крейга, истинность формул в модели и т. д. Например, первые два свойства принимают следующий вид: L допускает строго полную гильбертовскую аксиоматизацию (Г ? ? А т.т.т., когда Г ? ? А) т.т.т., когда Alg(L) есть финитно аксиоматизируемое квази-многообразие; L допускает теорему дедукции т.т.т., когда Alg(L) имеет эквационально определимые главные конгруэнции.
Заметим, что алгебраическая логика является хорошим инструментом для выяснения такого сложного вопроса, как взаимоотношение между различными логическими системами, и вообще для уточнения статуса логики. О последнем говорит название книги П. Халмоша и С. Гиванта "Логика как алгебра" [Halmos & Givant 1998], где показывается, что стандартные результаты в логике хорошо соотносятся с известными алгебраическими теоремами. С другой стороны, такой единый подход к логике представляет также философский интерес. Поэтому статья по алгебраической логике помещается в новое издание "Справочника по философской логике" [Andrйka, Nйmeti, Sain 1999].
Наконец, в силу появления новой парадигмы - теории категорий, представляет интерес работа Дж.Ламбека [Lambek 1988], где аргументируется, что с категорной точки зрения алгебра и логика представляют собой одно и то же: и логика и алгебра имеют дело со стрелками A1 A2 ... An ? An+1. В первом случае Ai называются формулами и стрелка рассматривается как дедукция. Во втором случае Ai называются сортами и стрелка осознается как операция.
Если утверждение Ламбека имеет силу, то это наводит на некоторые серьезные размышления, поскольку тогда аппарат теории категорий становится универсальным не только для всей математики (или почти всей) [Mac Lane 1971], но и для логики. Введение в теории категорий конструкции под названием функтор естественным образом привело к образованию конструкции под названием категория категорий [Lawvere 1966]. Не случайно, что с объяснения, что такое категория категорий, по существу начинается монография Мак-Ларти [McLarty 1992].
Каждая категория A имеет тождественный функтор 1A: A ? A, который оставляет объекты и стрелки из A неизменными, и для заданных функторов F: A ? B и G: B ? C имеется композиция G ? F: A ? C. Поэтому естественно говорить о категории всех категорий, которую назовём CAT, объекты которой есть все категории и стрелки которой есть все функторы. Тогда возникает настоящая проблема: является ли CAT сама по себе категорией? Ответ Мак-Ларти состоит в том, чтобы рассматривать CAT как регулятивную идею, т.е. как неизбежный способ мышления о категориях и функторах, но не как строго легитимную сущность. Такими регулятивными идеями являются, например, собственная личность, универсум и Бог у Канта (1781).
Подобным образом и логика приближается к статусу регулятивной идеи, симптомами чего является поиск всё более строгого и и по возможности универсального объекта (конструкции) с заданными логическими свойствами. В предыдущем разделе таким объектом выступила категория пропозициональных исчислений в смысле Вуйцицкого, которая оказалась биполной. Другим подобным объектом, в одном из приближений, может выступить категория алгебраизуемых логических систем, где под последними понимаются "алгебраизуемые дедуктивные системы" из рассмотренной здесь работы [Blok & Pigozzi 1989], или "строго компактное следование в хороших (nice) общих логиках" [Andrйka et al. 1994]. В [Jбnossy, Kurucz, Eiben 1996] доказано, что категория алгебраизуемых логических систем изоморфна категории соответствующих первопорядковых теорий. Показано также, что эти категории кополны. Более того, ставится вопрос о том, чтобы при построении подобных конструкций вместе с отношением следования рассматривать также семантики данных систем. Алгебраизация таких видов логик дана, например, в [Andrйka & Nйmeti 1994]. Понятно, что различные вариации на понятие операции присоединения следствий, или на отношение следования, или на семантические свойства будут приводить к разным категорным объектам логической природы. И тогда, рано или поздно, встанет подлинный вопрос о регулятивной идее логики всех логик.
Однако завершим данный раздел ностальгией о простой и удобной логической системе, поиск которой к самому концу тысячелетия со всей силой поставил вопрос "Что есть логическая система?" и даже "Что есть логика?"
10. В поисках логической системы
Ровно через сто лет после выхода в свет знаменитой работы Г. Фреге [Frege 1879], в которой вводятся предикаты, отрицание, условная связь (the conditional) и кванторы как основа логики, а также введена идея формальной системы, в которой демонстрации должны осуществляться посредством явно сформулированных синтаксических правил, ? после ста лет триумфального развития логики как самостоятельной науки, вызывающей поклонение, удивление, а порой горькое отрешение и даже мщение у её бывших адептов и мистический страх у большинства остальных, вдруг появляется статья Я. Хэккинга под названием "Что есть логика?" [Hacking 1979]. Хэккинг высоко оценивает введение Г. Генценом структурных правил, работа с которыми позволяет выражать те аспекты логических систем, которые не имеют непосредственного отношения к логическим константам. Статья Хэккинга переиздается и открывает собой большой сборник работ под названием "Что есть логическая система?" [Gabbay (ed.) 1994], который издается в Англии и Америке. В этом же году и с тем же названием, что и статья Хэккинга, публикуется философская работа логика с мировым именем Хао Вана [Wang 1994], которая открывается определениями логики, начиная от Канта и вплоть до Гёделя, и заканчивается характеризацией логики, данной Л. Витгенштейном в 1921 г. в его "Трактате..." (см. [Витгенштейн 1958]):
2.0121 "Логика трактует каждую возможность, и все возможности суть её факты".
Но самое удивительное, что в этом же году под названием "Что есть истинная элементарная логика?" появляется статья выдающегося логика и философа Яакко Хинтикки [Hintikka 1994], в которой развивается новая концепция первопорядковой логики.
Приходится констатировать, что конец века и конец второго тысячелетия, а именно 1994 г. стал той критической точкой, когда под неимоверным давлением окончательно рухнула конструкция под названием "классическая логика", тем самым ещё раз подтвердив неправоту Канта, который в предисловии ко второму изданию "Критики чистого разума" в 1787 г. писал, что "судя по всему, она (логика. ? А.С.) кажется наукой вполне законченной и завершенной" (см. [Кант 1994, с. 14]).
Дедуктивная полнота логики предикатов ещё более укрепила убеждение Гильберта, что вся классическая математика в конечном счете выразима в первопорядковой логике. К этому времени были уже выявлены два важнейших теоретико-модельных свойства теорий в первопорядковом языке:
Теорема Лёвенгейма-Скулема. Если Т имеет бесконечную модель, то Т имеет модель любой бесконечной мощности ? , большей или равной мощности теории Т.
Теорема компактности. Пусть Т ? произвольное множество аксиом логики. Если для каждого конечного подмножества Т0 множества Т существует модель для всех аксиом из Т0, то существует модель для всех аксиом из Т.
Обе эти теоремы используются для доказательства неаксиоматизируемости теорий (см. [Барвайс 1982]).
Вышеприведенный тезис Гильберта разделялся и разделяется многими логиками, отдающими предпочтение классической логике предикатов перед всеми другими логическими системами. К тому же в 1969 г. была выявлена уникальность первопорядковой логики, заключающейся в том, что классическая логика предикатов является наиболее сильной логикой, обладющей свойством Лёвенгейма-Скулема и свойством компактности [Lindstrцm 1969].
Теорема Линдстрёма. Логика первого порядка является единственной логикой, замкнутой относительно ? , ? , ? и удовлетворяющей теоремам компактности и Лёвенгейма-Скулема.
По существу теорема Линдстрёма даёт определение первопорядковой логики в терминах её глобальных свойств. Интересно, что первоначально результат Линдстрёма не привлёк к себе особого внимания, о чём говорит издание в 1973 г. знаменитой книги Г. Кейслера и Ч. Ч. Чэна (см. русский перевод [Кейслер & Чэн 1977], где эта теорема вообще не обсуждается. Только в третьем издании [Chang & Keisler 1990] уже в предисловии говорится, что этот результат является отправной точкой для развития абстрактной теории моделей и вводится новый раздел (2.5), где дается определение "абстрактной логики" как пары классов (l, ? ), где l есть класс предложений и ? l есть отношение выполнимости (satisfaction), удовлетворяющее определенным условиям. Наиболее известным примером абстрактной логики как раз и является обычная первопорядковая логика, которая обозначается посредством l? ,? .
Абстрактная теория моделей претендует на обозрение всего спектра логик, связей между ними и их сравнение. С начала 70-х годов эта теория бурно развивается, а Дж. Барвайс назвал результат Линдстрёма "одним из первых и до сих пор наиболее поразительных результатов в абстрактной теории моделей" [Барвайс 1982, с. 54].
Имеется много интересных логик, которые богаче первопорядковой логики, такие, как слабая логика второго порядка, которая пытается построить понятие конечного в логике некоторым естественным образом; логики с формулами бесконечной длины; логики с различными экстра-кванторами типа "существует конечно много", "существует бесконечно много", "большинство" и т. д.; логики высших порядков. Однако не имеет значения, как мы будем расширять первопорядковую логику ? в любом случае теряется или свойство компактности, или свойство Лёвенгейма-Скулема, или оба вместе. Уже второпорядковая логика, допускающая квантификацию по подмножествам, отношениям и функциям, кроме указанных свойств теряет также свойство полноты, и на самом деле является не столько логикой, сколько теорией множеств. Отсюда вся теоретико-множественная проблематика может быть сформулирована во второпорядковых терминах. Это является основным возражением против второпорядковой логики в недавно вышедшей монографии, посвященной расширениям первопорядковой логики [Manzano 1996], и поэтому автор отдает предпочтение многосортной первопорядковой логике, которая является переинтерпретацией второпорядковой логики или даже логики высших порядков в первопорядковую с различными видами объектов. Редукция к первопорядковой логике настолько сильна, что мы приходим к рекурсивно-аксиоматизируемому множеству истин. Еще ранее А. Мальцев, Хао Ван и С. Феферман, среди прочих, подчеркивали удобство работы с такой логикой, хотя, заметим, она только внешне выглядит более богатой. Хорошее введение можно найти у Фефермана [Feferman 1974].
Первой работой, поставившей вопрос о введении новых кванторов, является статья А. Мостовского [Mostowski 1957], где на самом деле обсуждаются лингвистические операторы нового вида, представляющие "естественное обобщение логических кванторов". Идея Мостовского заключается в том, что любое второпорядковое свойство рассматривается как логический квантор, если оно инвариантно относительно биективных преобразований (перестановок). Построение логики с обобщенными кванторами в последние десителетия привлекло к себе большое внимание лингвистов, математиков, философов, когнитологов. Некоторым итогом развития этого направления является фундаментальный труд "Модельно-теоретические логики" [Barwise & Feferman (eds.) 1985], где Дж. Барвайс приходит к следующему выводу: "Нет обратной дороги к точке зрения, что логика является первопорядковой". А в монографии Г. Шер [Sher 1991] в связи с данной проблематикой ставится вопрос "Что есть логика?", обсуждаются границы логики и делается вывод, что логика шире, чем традиционное мышление.
Отметим, что появляются всё новые попытки расширения и изменения первопорядковой логики и построения искомой логической системы. Видимо, одной из наиболее интересных здесь работ является уже упоминавшаяся статья Хинтикки [Hintikka 1994], а также статья с вызывающим названием "Революция в логике?" [Hintikka & Sandu 1996], и вообще целый комплекс работ Хинтикки, связанный с применением созданной им IF-логики (Independence Friendly ? дружественной к независимости).
Основная идея Хинтикки состоит в осознании того, что кванторы обычной первопорядковой логики являются зависимыми. Последнее означает, что если мы имеем дело с выражениями типа "для всех x имеются некоторые y, такие, что R(x,y)", то выбор подобных y не независим, а детерминирован выбором x-ов, иначе говоря, между x и y существует некоторая функциональная зависимость. Понимание этого факта уже отмечалось в литературе (см. [Goldfarb 1979, p. 364]), но главная заслуга Хинтикки состоит в восприятии идеи независимости кванторов, т.е. следует указывать, какие квантификационные переменные зависят от каких. Так, если мы имеем дело с выражением "для всех x, для всех z имеются некоторые y, имеются некоторые w, такие, что S(x,y,z,w)", то в случае, когда нам требуется независимость x от y, z от w, следует преобразовать искомую фразу в следующую: "для всех x, для всех z имеются некоторые y (не зависящие от z), имеются некоторые w (не зависящие от x), такие, что S(x,y,z,w)".
Оказалось, что в языке первопорядковой логики не существует средств, позволяющих соответствующим образом записывать последнюю фразу. Хинтикка предлагает осуществить это в виде "(? x)(? z)(? y/? z)(? w/? x)S(x,y,z,w)", где косая черта (/) означает независимость квантификации одной переменной от другой. То же самое предлагается и в случае дизъюнкции и конъюнкции.
Особенностью IF-логики является её неполнота, что означает невозможность дать список аксиом, из которых все значимые формулы первопорядковой IF-логики могут быть выведены по чисто формальным правилам. Но в то же время она удовлетворяет свойствам компактности и Лёвенгейма-Скулема. Поэтому мы бы предположили, что IF-логика является подсистемой классической логики предикатов или, по крайней мере, последняя погружается в IF-логику. Революционный характер IF-логики, считают Хинтикка и Санду, нельзя изложить в одном томе; особенно важной чертой является её неполнота с далеко идущими последствиями для оснований математики [Hintikka & Sandu 1996, p. 177]. Фактически Хинтикка пытается свести всю обычную математику к расширенной первопорядковой IF-логике [Hintikka 1996].
Однако тематика абстрактной логики и общетеоретические проблемы обоснования математики несколько отступают перед новыми тенденциями в развитии логики конца ХХ века. Логика становится всё более насущной в компьютерных науках, искусственном интеллекте и программировании. Подобное приложение логики порождает большое число новых логических систем, но уже нацеленных непосредственно на их практическое применение. Именно этим и обусловлен выход сборника статей под названием "Что есть логическая система?" [Gabbay (ed.) 1994].
Вообще-то говоря, вопрос стоит так: существует ли одна "истинная" логика (среди бесконечных классов логик), а если нет, то как ограничить наше понимание логики или, более конкретно, логической системы? Возникают и другие вопросы: существует ли реальное различие между синтаксисом и семантикой с точки зрения приложений? И, конечно, стоит вопрос о традиционных свойствах логических систем: полноте, устранении сечения, интерполяционном свойстве и др. Например, Г. Булос [Boolos 1975], защищая второпорядковую логику, спрашивает: почему логика обязательно должна обладать свойством компактности? Интересно, что всё в том же сакраментальном 1994 году на страницах "The New Encyclopedia Britannica" спрашивается, почему свойство Лёвенгейма-Скулема должно соответствовать внутренней природе логики? (Vol. 23, p. 250).
Еще больше возникает вопросов в связи с развитием и применением альтернативных (неклассических) логик (см. выше раздел 3). В статье Жана Безъё с примечательным названием "Универсальная логика" [Bйziau 1994] (обратите внимание на год публикации) спрашивается, почему логика обязательно должна быть монотонной? Заметим, что только такие логики являются элементами указанных выше решеток. Хотя на самом деле исследования в области немонотонных логик давно превратились в отдельное направление в силу их применения [Gabbay 1985], [Nerode & Shore 1993]. К этой области принадлежит целая серия работ Д. Батенса и его учеников, где разработана логика, способная моделировать рассуждения, в ходе которых смысл логических терминов может измениться. В итоге возникло новое направление исследований, названное "адаптивными логиками" [Batens 1994].
Универсальная логика, предложенная Безъё, является логикой со свойством сокращения (комбинатор W). Но опять же давно возникло целое направление, получившее название "логики без сокращения" [Ono & Komori 1985]. Одним из наиболее интересных примеров логик без сокращения являются многозначные логики Лукасевича, как конечные, так и бесконечные. Свойства их столь необычны, что изучение этих логик к концу века стало исключительно интенсивным, что объясняется, в первом случае, их связью с теорией простых чисел [Карпенко & Шалак 2000] и, во втором случае, их связью с фундаментальными алгебраическими структурами совершенно различной природы [Mundici & Cignoli 1997]. Обратим внимание, что многозначные логики Лукасевича как логические исчисления строились по образцу и подобию классической логики. Возникает нетривиальный вопрос, как возможна логика, которая, с одной строны, имеет чисто арифметическую интерпретацию [Карпенко 1999] а с другой стороны, появляются такие конструкции, как решеточно-упорядоченные абелевы группы, бесконечномерные пространства и т.д.? И если это логика, то что всё это значит?
В 1987 г. появилась логическая система под названием "линейная логика" [Girard 1987], импликативный фрагмент которой представляет собой BCI-логику, т.е. логику без утончения и сокращения. Кроме обычных операций линейная логика снабжена различными другими операциями и нашла широкое применение в компьютерных науках. За удивительно короткое время образовалось новое направление [Troelstra 1992]. Категорное рассмотрение линейной логики представлено в [Dozen & Petric 1999].
Логика без утончения, сокращения и перестановки (комбинатор C) есть ассоциативное исчисление Ламбека для грамматических категорий или синтаксических типов [Lambek 1958]. Логики проявили огромный лингвистический интерес к этой работе (см. литературу в [Buszkowski et al. (eds.) 1988] и [Van Benthem 1991]). Хотя первоначально исчисление Ламбека не было представлено как новая логика, но получила развитие в чисто логических работах, итогом чего явились полные (full) секвенциальные и гильбертовские исчисления без указанных выше трех структурных правил (или аксиом). См., например [Mac Caull 1998], где строится по существу интуиционистское исчисление без структурных правил, которое автор рассматривает как наиболее фундаментальное из всех субструктурных логик и играющее важную роль в теоретических приложениях компьютерной науки. На самом деле построение подобных логик можно считать результатом развития направления, названного "субструктурные логики", где исчисления получаются за счёт элиминации, ограничения и комбинирования различных структурных правил [Dozen & Schroeder-Heister (eds.) 1993].
В итоге, с одной стороны, в силу невозможности объять необъятное намечена тенденция к выявлению минимальной логики. К. Дошен предлагает считать таковой неассоциативное исчисление Ламбека с единственной бинарной связкой "мультипликации" [Dozen 1993, p. 20]. Вопрос о минимальной логике впервые был поставлен А. Чёрчем [Church 1951], где в качестве примера предложена "слабая позитивная импликация" ? IBCW (импликативный фрагмент релевантной логики R), для которой Чёрчем была доказана ослабленная теорема дедукции. Идея о минимальной логике оказалась очень близкой релевантистам и в [Anderson & Belnap, jr. 1975, § 8.11] таковой объявлена логика IB'B. Тема получила дальнейшее развитие в [Anderson & Belnap, jr. & Dunn 1992, p.149], где таковой объявляется логика IB с правилами 1) MP и 2) из A следует (A ? B) ? B. Эту логику авторы обозначали посредством M? . Для неё строится модель такая, что S есть ассоциативный моноид, и множество всех формул, истинных во всех -моделях, аксиоматизируется посредством логики M? .
Поскольку понятие моноида удовлетворяет условиям быть категорией, то данное понятие минимальной логики также обладает данными свойствами. Другими словами, дедуктивная система, отношение следования (дедуцируемости) которой рефлексивно и транзитивно, является категорией. Поэтому с полным основанием логику M? можно было бы считать минимальной логической системой. Но в том-то и дело, что стали появляться совсем "экзотические" логические системы, в которых, например, закон идентичности A ? A не проходит, поскольку, согласно Э. Шрёдингеру, этот закон в общем случае не имеет места для микрообъектов. Такие логики получили название "логики Шрёдингера" [da Costa & Krause 1994].
С другой стороны, проявилась тенденция к объявлению какой-либо достаточно богатой системы металогикой, как это делает К. Дошен [Dozen 1992], снабжая субструктурные логики различными модальными операторами, или Д. Миллер [Miller 1997], разрабатывающий язык программирования, названный Forum, который основан на линейной логике высшего порядка.
Между двумя этими крайностями пробивает себе дорогу тенденция, которую мы обозначили бы как выбор (или конструирование) базисной логики. С одной стороны, она должна быть достаточно богата, чтобы обладать некоторыми хорошими логическими свойствами, а с другой стороны, достаточна бедна, чтобы её можно было положить в основание иерархии (или конструкции) интересных и важных логических систем. Так, например, в классе модальных логик таковой выбрана логика K (см. выше примеч. 1). В связи с этим представляет интерес базисная "специальная промежуточная" логика BPC [Ruitenburg 1995], которая соотносится с модальной логикой K4 в таком же смысле, как интуиционистская логика H с модальной логикой S4. В качестве базисной логики выступает также полное исчисление Ламбека FL или специально построенная для этой цели базисная логика B (см. раздел 6). Недавно было заявлено базисное исчисление предикатов BQC [Ruitenburg 1998], представляющее собой собственную подсистему интуиционистской логики предикатов IQC, использующее семантику Крипке с транзитивным, но не обязательно рефлексивным отношением достижимости. Понятно, что выбор базисной логики ? дело довольно-таки произвольное. Однако одним из строгих критериев мог бы служить тот минимальный фрагмент классической (интуиционистской) логики предикатов, в которую погружается сама классическая логика предикатов. Например, в докладе В. М. Попова (см. сноску 7) таким фрагментом выступает импликативно-экзистенциальный фрагмент IQC.
Видимо, стоит согласиться с Дж. ван Бентемом и К. Дэтсом [Van Benthem & Doets 1983, p. 326], что "никакая специфическая теория не является священной в современной логике". Но что-то ведь должно остаться! В. Карниэлли в рецензии на [Gabbay (ed.) 1994] выдвигает основное предположение: "Нет доказательств, нет логики" [Carnielli 1996, p. 6417]. Но и здесь не так всё просто. Ламбек в статье под названием "Что есть дедуктивная система" [Lambek 1994] выделяет пять стилей дедуктивных систем: (1) гильбертовский стиль (дедукция вида f : ? B, для формулы B; (2) стиль Ловера (f : A ? B, для формул A и B); (3) генценовский интуиционистский стиль (f : A1 ... Am? B); (4) генценовский классический стиль (f : A1 ... Am ? B1 ... Bn), и (5) стиль Шютте (Schьtte) (f : ? B1 ... Bn). Ламбек уделяет особое внимание равенствам между выводами. Последнее стало особенно актуальным под влиянием теории категорий и компьютерных наук. Заметим, что Ламбек отдает предпочтение генценовскому стилю в силу введения структурных правил.
Мы начали эту статью с указания различных конструкций, являющихся важными для понимания логики в той или иной форме и степени. Кроме того, нами была предложена конструкция в виде конечной булевой решетки, элементами которой являются сами логические системы, и эта совокупность базисных логических систем может образовать своего рода металогику. На самом деле вопросы, обсуждаемые в этой статье, относятся именно к металогике, но не в её традиционном понимании как исследовании металогических свойств (непротиворечивость, полнота, разрешимость, независимость и т. д.) какой-то конкретной логической системы или даже класса однотипных систем, а именно к металогике как глобальному подходу в исследовании различных совокупностей логик, выявлении структуры не отдельных логических систем, а их целого класса; взаимоотношения между различными логиками, множествами логик и структурами этих множеств; переводу и погружению одних логических систем в другие; построению какой-либо по возможности богатой конструкции, объединяющей как можно больше логических систем, и изучению уже её свойств. Всё это и есть современная металогика.
В связи с этим возникает фундаментальный вопрос о существовании конструкции под названием ЛОГИКА. Написание всего этого раздела, да и всей статьи, свидетельствует, что такой конструкции нет и не может быть. Но это дискурсивный вывод и слишком аналитический. Поэтому закончим мы эту работу впечатляющим рассуждением Я. Лукасевича, взятым из его статьи "В защиту логистики", написанной в 1937 г., где выявляется сущность той основы, на которой возникает логика.
"Итак, сколько бы я ни занимался даже мельчайшей логической проблемой, ища, например, самую короткую аксиому импликативного исчисления, всякий раз меня не покидает чувство, что я нахожусь рядом с какой-то мощной, неслыханно плотной и неизмеримо устойчивой конструкцией. Эта конструкция действует на меня как некий конкретный осязаемый предмет, сделанный из самого твердого материала, стократ более крепкого, чем бетон и сталь. Ничего в ней я изменить не могу, ничего сам произвольно не создаю, но изнурительным трудом открываю в ней все новые подробности, достигая непоколебимых и вечных истин. Где и чем является эта идеальная конструкция? Верующий философ сказал бы, что она в Боге и является Его мыслью" [Лукасевич 1999, с. 232].
ЛИТЕРАТУРА
[Анисов А.М. 2000] Темпоральный универсум и его познание. М.: ИФРАН (в печати).
[Антимиров и др. 1991] Математическая логика в программировании // [Захарьящев М.В. & Янов Ю.И. (ред.) 1991]. C. 331-407.
[Аншаков О.М. 2000] Логико-математические основания ДСМ-метода автоматического порождения гипотез (докторская диссертация).
[Аншаков О.М. & Рычков С.В. 1982] О многозначных логических исчислениях // Семиотика и информатика. Вып. 19. C. 90-117.
[Аншаков О.М. & Рычков С.В. 1984] Об одном способе формализации и классификации многозначных логик // Семиотика и информатика. Вып. 23. С. 78-106.
[Аншаков О.М., Скворцов Д.П., Финн В.К. 1993] О дедуктивной имитации некоторых вариантов ДСМ-метода автоматического порождения гипотез // Семиотика и информация. Вып 33. C. 164-233.
[Барвайс Д. (ред.) 1982] Справочная книга по математической логике: В 4-х частях. М.: Наука. C. 13-54. (Перевод с английского: Barwise J. (ed.) Handbook of Mathematical Logic. Amsterdam: North-Holland Publ. Co., 1977).
[Барвайс Д 1982] Введение в логику первого порядка // [Барвайс Д. (ред.) 1982] Часть I. Теория моделей. С. 13-54.
[Биркгоф Г. 1952] Теория структур. М.: ИЛ. (Перевод с английского: Birkhoff G. Lattice theory (revised edition). N.Y., 1948).
[Бочвар Д.А. 1938] Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления//Математический сборник. Т. 4. № 2. C. 287-308. (Английский перевод в: History and Philosophy of Logic. 1981. Vol. 2).
[Бочвар Д.А. & Финн В.К. 1972] О многозначных логиках, допускающих формализацию анализа антиномий. 1 // Исследования по математической лингвистике, математической логике и информационным языкам. М. C. 238-295.
[Васильев Н.А.1989] Воображаемая логика. Избранные труды. Отв. ред. В.А.Смирнов. М.: Наука.
[Васюков В.Л. 1995] Развивая Тарского: котопос теорий // Логические исследования. Вып. 3. М.: Наука. C. 276-291.
[Васюков В.Л. 2000] Импликативные логики, дедуктивные импликативные системы и экспоненциальные мультикатегории // Логические исследования. Вып. 7. М.: Наука.
[Витгенштейн 1958] Логико-философский трактат. М.: ИЛ.
[Вригт Г.Х., фон 1992] Логика и философия в ХХ веке // Вопросы философии. № 8. C. 80-91.
[Генцен Г. 1967] Исследование логических выводов // А.В.Идельсон & Г.Е.Минц (ред.) Математическая теория логического вывода. М.: Наука.
[Гильберт Д. & Аккерман В. 1947] Основы теоретической логики. М.: ИЛ.
[Гиндикин С.Г. 1972]. Алгебра логики в задачах. М.: Наука.
[Голдблатт Р. 1983] Топосы. Категорный анализ логики. М.: Мир. (Перевод с английского: Goldblatt R. TOPOI. The categorical analysis of logic. Amsterdam: North-Holland, 1979).
[Гретцер Г. 1982] Общая теория решеток. М.: Мир. (Пер. с англ.: Grдtzer G. General lattice theory. Berlin: Springer-Verlag, 1978.)
[Григолия Р.Ш. 1976] Решетка всех финитно-аппроксимируемых расширений счетнозначной логики Лукасевича // Исследования по теории множеств и неклассическим логикам. М. C. 221-246.
[Джонстон П.Т. 1986] Теория топосов. М.: Наука. (Перевод с английского: Johnstone P.T. Topos theory. London: Academic Press, 1977).
[Захарьящев М.В. & Янов Ю.И. (ред.) 1991] Математическая логика в программировании. М.: Мир.
[Кант 1994] Критика чистого разума. М.: Мысль.
[Карпенко А.С. 1997] Многозначные логики (монография). Логика и компьютер. Вып. 4. М.: Наука.
[Карпенко А.С. 1997а] Классификация пропозициональных логик // Логические исследования. Вып. 4. М.: Наука. C. 107-133.
[Карпенко А.С. 1999] Логика в России. Вторая половина ХХ века // Вопросы философии, № 9. C. 148-158.
[Карпенко А.С. 1999a] Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения // Логические исследования. Вып. 6. М.: Наука. C. 76-80.
[Карпенко А.С. 1999b] Характеризация классов натуральных чисел посредством логических матриц // Труды научно-исследовательского семинара логического центра Института философии РАН. М. C. 217-225.
[Карпенко А.С. & Шалак В.И. 2000] Логики Лукасевича и простые числа. М.: Наука (в печати).
[Кейслер Г. & Чэн Ч. Ч. 1977] Теория моделей. М. (Пер. с англ.: Chang C. C. & Keisler H.J. Model theory. Amsterdam: North-Holland, 1973).
[Кок А. & Рейес Г. Э. 1982] Доктрины в категорной логике // [Барвайс Д. (ред.) 1982] Часть I. Теория моделей. C. 289-319.
[Комендантский В. Е. 2000] N-значные изоморфы классической логики (дипломная работа).
[Кон П. 1968] Универсальная алгебра. М.: Мир. (Пер. с английского: Cohn P. M. Universal algebra. N.Y.: Harper & Row, 1965).
[Кудрявцев В. Б. 1981] О функциональных системах. М.
[Кузнецов А.В. 1960] Алгебра логики. Философская Энциклопедия. Т. 1. М. С. 33-38.
[Кузнецов А. В. 1971] Некоторые свойства структуры многообразий псевдобулевых алгебр // XI Всесоюзный алгебраический коллоквиум. Кишинев. - С. 225-256.
[Кузнецов А. В. 1975] О суперинтуиционистских логиках // Математические исследования. Т. 10. Вып. 2.
[Куратовский К. 1966] Топология. Т. 1. М.: Мир. (Перевод с английского: Kuratowski K. Topology. Vol. 1. Warszawa: PWN, 1966).
[Лукасевич Я. 1993] О детерминизме // Логические исследования. Вып. 2. М.: Наука. C. 190-205. (Переизд.: Вопросы философии, 1995, № 5. C. 60-71; Философия и логика Львовско-Варшавской школы. М., 1999. C. 179-198).
[Лукасевич Я. 1999] В защиту логистики // Философия и логика Львовско-Варшавской школы. М.: РОССПЭН. C. 219-232.
[Максимова Л. Л 1997] Интерполяция в суперинтуиционистских логиках предикатов с равенством // Алгебра и логика. Т. 26, № 6. C. 318-357.
[Максимова Л. Л. & Рыбаков В. В. 1974]. Решетки модальных логик // Алгебра и логика. Т. 13. C. 105-122.
[Минц Г.Е. 1977] Замкнутые категории и теория доказательств // Г. Е.Минц & В. П.Оревков (ред.) Теоретическое применение методов математической логики. II. Ленинград: Наука. С. 83-114. (Англ. пер.: Closed categories and the theory of proofs // Mints G. Selected Papers in Proof Theory. Bibliopolis and North-Holland. 1992. P. 183-212).
[Расёва Е. & Сикорский Р. 1972] Математика метаматематики. М.: Наука. (Перев. с англ.: Rasiowa H. & Sikorski R. The Mathematics of Metamathematics. Warszawa: PWN, 1963).
[Смирнов В.А. 1972] Формальный вывод и логические исчисления. М.: Наука. (Переиздано с комментариями: Смирнов В. А. Теория логического вывода. М.: РОССПЭН, 1999. С. 16-233).
[Смирнов В.А. 1987] Логические методы анализа научного знания. М.: Наука.
[Тей А. и др. 1990] Логический подход к искусственному интеллекту. М.: Мир.
[Финн В. К. 1974] Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия в современном мире: Философия и логика. М.: Наука. С. 398-438.
[Финн В.К. 1976] О возможностях формализации правдоподобных рассуждений средствами многозначных логик // VII Всесоюзный симпозиум по логике и методологии науки. Киев: Наук. думка. C. 82-83.
[Финн В. К. 1988] Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники. Сер. Теория вероятностей. Математическая статистика. Теоретическая кибернетика. Т. 28. М.: ВИНИТИ. C. 3-84.
[Хао Ван 1962] На пути к механической математике // Кибернетический сборник. Вып. 5. C. 114-165. (Пер. с англ.: Wang Hao. Toward mechanical mathematics. IBM J. Res. Devel. 1960. Vol. 4. N 1. P. 2-22).
[Чл рч А. 1960] Введение в математическую логику. M.: ИИЛ. (Пер. с англ.: Church A. Introduction to Mathematical Logic. Princeton Univ. Press, 1956).
[Шестаков В. И. 1941] Алгебра двухполюсных схем, построенных исключительно из двухполюсников // Журнал физической техники. Т. 11. Вып. 6. - C. 532-549.
[Энгелер Э. 1987] Метаматематика элементарной математики. М.
[Эсакиа Л. Л. 1979] О многообразиях алгебр Гжегорчика // Исследования по неклассическим логикам и теории множеств. М.: Наука, 1979. C. 257-287.
[Эсакиа Л. Л. 1983] Алгебры логики // Упорядоченные множества и решетки. Саратов: СГУ. C. 115-126.
[Эсакиа Л. Л 1985] Алгебры Гейтинга I. Теория двойственности. Тбилиси: Мецниереба.
[Янков В. А. 1968] Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений // Доклады Академии Наук СССР. Т. 181. № 1. C. 33-34.
[Янов Ю. И. & Мучник А. А. 1959] О существовании k-значных замкнутых классов, не имеющих конечного базиса//Там же. Т. 127. C. 44-46.
[Abramsky S., Gabbay D. M., Maibaum T. S. E. (eds.) 1995]. Handbook of Logic in Computer Science. Vol. IV. Semantic modelling. Oxford Science Publications.
[Anderson A.R. & Belnap N.D., jr. 1975] Entailment: The logic of relevance and necessity. Vol. 1. Princeton Univ. Press.
[Anderson A. R., Belnap N. D., jr., Dunn J. M. 1992] Entailment: The logic of relevance and necessity. Vol. 2. Princeton Univ. Press.
[Andrйka H., Monk J. D., Nйmeti I. (eds.) 1991] Algebraic Logic. Dordrecht: North-Holland Publ. Co.
[Andrйka H., Nйmeti I., Sain I. 1999] Algebraic logic. Handbook of Philosophical Logic (second edition). Dordrecht.
[Andrйka H. et al. 1994] Applying algebraic logic; a general methodology. Technical Report, Mathematical Institute. Budapest.
[Anshakov O.M., Finn V.K., Skvortsov D.P. 1989] On axiomatization of many-valued logics associated with formalization of plausible reasoning // Studia Logica. Vol. 48, N 4. P. 423-447.
[Anshakov O. & Rychkov S. 1994] On finite-valued propositional logical calculi // Notre Dame Journal of Formal Logic. Vol. 36, N 4. P. 606-629.
[Avron A. 1984] Relevant entailment ? semantics and formal systems // The Journal of Symbolic Logic. Vol. 49. N 2. P. 334-342.
[Barwise J.K. & Feferman S. (eds.) 1985] Model-Theoretic Logics. Berlin: Springer-Verlag.
[Batens D. 1994] Inconsistency-adaptive logics and the foundation of non-monotonic logic // Logique et Analyse. N 145. P. 57-94.
[Battilotti G. & Sambin G. 2000] Basic logic and the cube of its extension Proceedings of LMPS. Florence, 1995 (to appear).
[Beavers G. 1993] Extensions of the ? 0-valued Lukasiewicz propositional logic // Notre Dame Journal of Formal Logic. Vol. 34, N. 2. P. 251-262.
[Bйziau J.-Y. 1994] Universal logic // Childers T. & Majer O. (eds.) Logica' 94 Proceedings of the 8th International Symposium. Prague. P. 73-93.
[Blok W.J. 1976] Varieties of interior algebras. PhD thesis, University of Amsterdam.
[Blok W.J. 1980] The lattice of modal logics: an algebraic investigation // The Journal of Symboloc Lgic. Vol. 45. P.221-236.
[Blok W.J. & Pigozzi D. 1989] Algebraizable logics (monograph). Memoirs of the American Mathematical Society. N 396.
[Bolc L. & Borowik P. 1992] Many-valued logics: Theoretical foundations. Vol. 1. Berlin: Springer-Verlag.
[Bolc L. & Borowik P. 1998] Many-valued logics 2. Automated reasonong and practical applications. Berlin: Springer-Verlag.
[Boolos G.1975] On second-order logic // The Journal of Philosophy. Vol. 72. P. 509-526.
[Bцhm C. & Dezani-Ciancaglini M. 1989] Combinatory logic as monoids. Fundamenta Infomaticae. Vol. 12. N 4. P. 525-539.
[Brouwer L.E.J. 1908] De onbetrouwbaarheid der logische principes. Tijdschrift voor wijsbegeerte. Vol. 2, p. 152-158. (Англ. пер.: The unreliability of the logical principles // Brouwer L. E. J. The collected works. Dordrecht, 1975)
[Burris S. & Sankappanavar H. P 1981]. A course in universal algebra. Berlin: Springer-Verlag.
[Buszkowski W. et al. (eds.) 1988] Categorial Grammar. Amsterdam: Benjamins.
[Butler S. W. & Butler J. T. 1992] Profiles of topics and authors of the International Symposium on Multiple-Valued Logic for 1971-1991. International Symposium on Multiple-Valued Logic. 22th. Sendai. P. 372-379.
[Carnielli W.A. 1996] Review of [Gabbay D. M. (ed.) 1994] // Mathematical Review. 96k: 03008.
[Carnielli W. A. & D'Ottaviano M. L. 1997] Translations between logical systems: A MANIFESTO // Logique et Analyse. N 157. P. 67-81.
[Chagrov A. & Zakharyaschev M. 1997] Modal logic. Oxford: Clarendon Press.
[Chang C.C. & Keisler H.J. 1990] Model Theory. Amsterdam: Elsevier Science Publ.
[Chelakowski J. 1992] Consequences operations: Foundational studies. Warszawa. Prepublication.
[Cignoli R., D'Ottaviano I.M.L., Mundici D. 2000] Algebraic Foundations of Many-valued Reasoning. Trends in Logic. Vol. 7. Dordrecht: Kluwer.
[Church A. 1937] Combinatory logic as a semigroup (abstract) // Bull. Amer. Math. Soc. Vol. 43. P. 233.
[Church 1951] Minimal logic (abstract) // The Journal of Symbolic Logic. Vol. 16. P. 239.
[da Costa N. C. A. & Krause D. 1994] Schrцdinger logics // Studia Logica. Vol. 53. P. 533-550.
[Curry H. B. 1954] Generalisation of the deduction theorem. Proceedings of the International Congress of Mathematicans. Vol. 2. Amsterdam. P. 399-400.
[Curry H. B. & Feys R. 1958] Combinatory Logic. Vol. 1. Amsterdam.
[Dozen K. 1992] Modal logic as metalogic // Journal of Logic, Language and Information, Vol. 1, N 3. P. 173-201.
[Dozen K. 1993] A historical introduction to substructural logics // [Dozen K. & Schroeder-Heister P. (eds.) 1993]. P. 1-30.
[Dozen K. 1996] Deductive completeness // The Bulletin of Symbolic Logic. Vol. 2. N 3. P. 243-283.
[Dozen K. & Schroeder-Heister P. (eds.) 1993] Substructural logics. Oxford: Clarendon Press.
[Dozen K. & Petric Z. 1999] Cartesian isomorphism are symmetric monoidal: A justification of linear logic // The Journal of Symbolic Logic. Vol. 64, N 1. P. 227-242.
[Dummett M. 1959] A propositional calculus with denumerable matrix. // The Journal of Symboloc Lgic. Vol. 24. P. 97-106.
[Dummet M. & Lemmon E. 1959] Modal logics between S4 and S5 // Zeitschrift fь r mathematische Logic und Grundlagen der Mathematik. Bd. 5. S. 250-264.
[Dzik W. 1982] On the content of lattices of logics. Part II // Report on Mathematical Logic. N 14. P. 29-47.
[Dziobiak W. 1983] There are logics with the relevance principle between R and RM // Studia Logica. Vol. XLII, N 1.
[Eilenberg S. & Mac Lane S. 1945] General theory of natural equivalences // Transactions of the American Mathematical Society. Vol. 58. P. 231-294. (Переиздано: Eilenberg-Mac Lane: Collected Works. Academic Press, 1986).
[Epstein G. 1993] Multiple-valued logic design: an introduction. Bristol.
[Epstein R.L 1990]. The semantic foundations of logic. - Vol. 1: Propositional logic. - Dordrecht: Kluwer. (2nd ed., 1995).
[Epstein R.L 1994]. The semantic foundations of logic. Vol. 2: First-order logic. Dordrecht: Kluwer.
[Feferman S. 1974] Application of manysorted interpolation theorems // Proccedings of the Tarski Symposium. Providence. P. 205-224.
[Font J.M. & Jansana R. 1996] A General Algebraic Semantics for Sentential Logics. Berlin: Springer-Verlag.
[Frege G. 1879] Begriffsschrift, eine der arithmetischen nachgebildete Formalsprache des reinen Denkens. Hale (Hebert). (Англ. пер.: Begriffsschrift, a formula language, modelled upon that of arithmetic, for pure thought // [Van Heijenoort J (ed.) 1967]. P. 1-82).
[Gabbay D. M. 1981] Semantical investigations in Heyting's intuitionistic logic. Dordrecht: Reidel.
[Gabbay D. M. 1985] Theoretical foundations for non-monotonic reasoning in expert systems // Apt K.R. (ed.) Logics and models of concurrent systems. Berlin: Springer. P. 439-457.
[Gabbay D. M. (ed.) 1994] What is a logical system? Oxford: Clarendon Press (and New York 1995).
[Gabbay D.M. 1996] Labelled deductive systems. Vol. 1. Oxford: Clarendon Press.
[Gabbay D. M., Hogger C. J., Robinson J. A. (eds.) 1998] Handbook of Logics in Artificial Intelligence and Logic Programming. Vol. V. Logic programming. Oxford Science Publications.
[Gaifman H. 1976] Operations on relational structures functors and classes. I // Proceedings of the Tarski Symposium. Amer. Math. Society. Vol. 25. P. 21-39.
[Girard J. Y. 1987] Linear logic // Theoretical Computer Science. Vol. 50. P. 1-102.
[Glivenko М. 1929] Sur quelques points de la logique de M.Brouwer. Acadйmie Royale de Belgique, Bulletins de la classe des sciences, ser. 5. Vol. 15. P. 183-188. (Русский перевод: Гливенко В. О некоторых аспектах логики Брауэра // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 1999. C. 19-23).
[Goldfarb W. D. 1979] Logic in the twenties: the nature of the quantifier // The Journal of Symbolic Logic. Vol. 44, N 3. P. 351-368.
[Gц del K. 1932] Zum intuitionistischen Aussgenkalkul // Anzeiger der Akademie der Wissenschaften Wien, mathematisch, natur-wissenschaftliche Klasse. Bd. 69. S. 65-66. (Английский перевод: On the intuitionistic propositional calculus // [Gц del 1986]. P. 222-225).
[Gц del K. 1933a] Zur intuitionistischen Arithmetik und Zahlentheorie // Ergebnisse eines mathematischen Kolloquiums. Vol. 4 (1931-32). P. 34-38. (Англ. пер.: On intuitionistic arithmetic and number theory // [Gц del 1986]. P. 287-295).
[Gц del K. 1933b] Eine Interpretation des intuitionistischen Aussgenkalkь ls // Ergebnisse eines mathematischen Kolloquims. Bd. 4. S. 39-40. (Англ. пер.: On the intuitionistic propositional calculus // [Gц del 1986].
[Gц del K. 1986] Collected works / Ed. in chief S.Feferman. N.Y.: Oxford Univ. Press. Vol. 1.
[Grzegorczyk A. 1967] Some relational systems and the associated topological spaces // Fundamenta Mathematicae. Vol. 60. P. 223-231.
[Haack S. 1974] Deviant logic: Some philosophical issues. L.: Cambridge Univ. Press.
[Haack S. 1996] Deviant logic, fuzzy logic: Beyond the formalism. Univerity of Chicago Press, 1996.
[Hacking I. 1979] What is logic? // The Journal of Philosophy. Vol. 76. N 6. (Переиздано // [Gabbay D. M. (ed.) 1994]. P. 1-33).
[Halmos P. 1962] Algebraic Logic. New York: Chelsea Publishing Co.
[Halmos P. & Givant S. 1998] Logic as Algebra. Washington.
[Hartonas C. 1997] An algebraic theory of structured objects // Notre Dome Journal of Formal Logic. Vol. 38, N 1. P. 65-80.
[Henkin L., Monk J. D., Tarski A. 1971] Cylindric Algebras. Parts I. Amsterdam: North-Holland Publ. Co. (Reprinted in 1985).
[Henkin L., Monk J. D., Tarski A. 1985] Cylindric Algebras. P. I, P. II. Pergamon Press.
[Heyting A 1930] Die Formalen Regeln der intuitionistischen Logik // Sitzungsberichte der Preussischen (Berlin) Academie der Wissenschaften zu Berlin. Phys.-Math. Klasse. P. 42-56.
[Hintikka J. 1994] What is true elementary logic? // Gavroglu K., Stachel J., Wartofsky M. (eds.), Physics, philosophy and the scientific community. Dordrecht: Kluwer. P. 301-326.
[Hintikka 1996] The principles of mathematics revisited. Cambridge: Cambridge Univ. Press.
[Hintikka J. & Sandu G. 1996] A revolution in logic? // Nordic Journal of Philosophical Logic. Vol. 1. N 2. P. 169-183.
[Hosoi T. 1967] On intermediate logics // Journal of the Faculty of Science, University of Tokyo. Vol. 14. P. 293-312.
[Hosoi T. 1969] On intermediate logics II // Journal of the Faculty of Science, University of Tokyo. Vol. 16. P. 1-12.
[Howard W. A. 1980] The formulae-as-types notion of construction // J.R.Hindley & J.P.Seden (eds.) To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. London: Academy Press. P. 479-490.
[Inouй T. 1996] Corrections and additions to my paper "A note on unprovability-preserving sound translations", More general constractions // Logique et Analyse. N 155-156. P. 335-367.
[Jбnossy A., Kurucz Б., Eiben Б. E. 1996] Combining algebraizable logics // Notre Dame Jornal of Formal Logic. Vol. 37. N 2. P. 366-380.
[Karpenko A.S. 1989] Characterization of prime numbers in Lukasiewicz's logical matrix // Studia Logica. Vol. 48. N 4. P. 465-478.
[Karpenko A.S. 2000] Classification of propositional calculi // Studia Logica (to appear).
[Karpenko A.S. & Popov V.M. 1997] BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic L? // Bulletin of the Section of Logic. Vol. 26, N 3. P. 112-117.
[Kiriyama E. & Ono H. 1991] The contraction rule and decision problems for logics without structural rules // Studia Logica. Vol. 50, N 2. P. 299-319.
[Komori Y. 1981] Super-Lukasiewicz propositional logics // Nagoya Mathematical Journal. Vol. 84. P. 119-133.
[Lambek J. 1958] The mathematics of sentence structure // Americam Mathematical Monthly. Vol. 65. P. 154-170. (Рус. Пер.: Ламбек Дж. Математическое исследование структуры предложений // Математическая лингвистика. М., 1964. C. 47-68).
[Lambek J. 1968] Deductive systems and categories I // Math. Systems Theory. Vol. 2, N 4. P. 278-318.
[Lambek J. 1974] Functional completeness of cartesian categories // Annals of Mathematical Logic. Vol. 6. P. 259-292.
[Lambek J. 1988] On the unity of algebra and logic // F.Borceux (ed.) Categorial Algebra and its Applications. Berlin: Springer-Verlag,.
[Lambek J. 1994] What is a deductive system? // [Gabbay D.M. (ed.) 1994]. P. 141-159.
[Lambek J. & Scott P.I. 1986] Introduction to higher-order categorical logic. Cambridge Univ. Press.
[Lawvere F.W. 1966] The category of categories as a foundation for Mathematics // S.Eilenberg & D. K.Harrison et al. (eds.) // Proceedings of the Conference on Categorial Algebra in La Jolla. 1965. Sprenger Verlag. P. 1-21.
[Lawvere F.W. & Schanuel S.H. 1997] Conceptual Mathematics. A first introduction to categories. Cambridge Univ. Press.
[Lewin R. A., Mikenberg I. F., Schwarze M. G. 1991] C1 is not algebraizable // Notre Dame Journal of Formal Logic. Vol. 32. N 4. P. 609-611.
[Lewis C.I. 1912] Implication and the algebra of logic // Mind. Vol. 21. P. 522-531.
[Lewis C. I. & Langford C. H. 1932] Symbolic logic. N. Y.: The Century Company (2nd ed. with corrections, Dover, 1959).
[Lindstrцm P. 1969] On extensions of elementary logic // Theoria. Vol. 35. P. 1-11.
[Los J. & Suszko R. 1958] Remarks on sentential logics // Indagationes mathematicae. Vol. 20. P. 177-183.
[Lukasiewicz J. 1920] O logice tro jwartos ciowey //Ruch Filozoficzny. T. 5. S.170-171. (Англ. пер.: On three-valued logic // [Lukasiewicz J. 1970]. P. 87-88).
[Lukasiewicz 1922/1923] Interpretacja liczbowa teorii zdan // Ruch Filozoficzny. T. 7. S. 92-93. (Англ. пер.: A numerical interpretation of theory propositions // [Lukasiewicz J. 1970]. P. 129-130]).
[Lukasiewicz J. 1929] Elementy logiki matematycznej. Warsawa. (Rнгл. пер.: Elements of mathematical logic. N.Y., 1963).
[Lukasiewicz J. 1970] Selected works. Warszawa: PWN.
[Lukasiewicz J. 1971] On the principle of contradiction in Aristotle // Review of Metaphysics. Vol. 24. P. 15-38.
[MacCaull W. 1998] Relational semantics and a relational prove system for full Lambek calculus // The Journal of Symbolic Logic. Vol. 63. N 2. P. 623-637.
[Mac Lane S. 1971] Categories for the Working Mathematician. Springer Verlag.
[Malinowski G. 1993] Many-valued logics. Oxford: Clarendon Press.
[Manzano M. 1996] Extensions of first order logic. Cambridge: Cambridge Univ. Press.
[Martinez N.G. 1990] The Priestly duality for Wajsberg algebras // Studia Logica. Vol. 49. N 1. P. 31-46.
[McKinsey J.C.C. & Tarski A. 1948] Some theorems about the sentential calculi of Lewis and Heyting // The Journal of Symboloc Logic. Vol. 13. P. 1-15.
[McLarty C. 1990] The uses and the abuses of the history of topos theory // British Journal for Philosophy of Science. Vol. 41. P.351-375.
[McLarty C. 1992] Elementary Categories, Elementary Toposes. Oxford: Clarendon Press.
[Meyer R. K. 1974] New axiomatics for relevant logics - I // Journal of Philosophical Logic. Vol. 3. P. 53-58.
[Miller D. 1997] Logic programming and metalogic // H.Sckwichtenberg (ed.) Logic of Computation. Berlin. P.265-308.
[Monk J.D. (ed.) 1989] Handbook of Boolean Algebras. Vols. I-III. Amsterdam: North-Holland Co.
[Mostowski A. 1957] On a generalization of quantifiers // Fundamenta Mathematicae. Vol. 44. P. 12-36.
[Mundici D. 1986] Interpretation of AF C*-algebras in Lukasiewicz sentential calculus // Journal of Functional Analysis. Vol. 65. P. 15-63.
[Mundici D. & Cignoli R. 1997] An invitation to Chang's MV-algebras // M. Droste & R. Gцbel (eds.) Advances in Algebra and Model Theory. Reading, UK: Gordon and Breach Publishing Group.
[Mycielski J. 1977] A lattice of interpretability types of theories // The Journal of Symboloc Lgic. Vol. 42. P. 297-305.
[Mycielski J., Pudlбk P., Stern A. S. 1990] A lattice of chapters of mathematics (interpretations between theorems) // Memoirs of the American Mathematical Society. Vol. 84. N. 426.
[Nйmeti I. & Andrйka H. 1994] General algebraic logic: a perspective on 'what is logic' // [Gabbay D. M. (ed.) 1994]. P. 393-443.
[Nerode A & Shore R.A. 1993] Logics for applications. Berlin: Springer.
[Ono H.1990] Structural rules and a logical hierarchy // Mathematical logic. New York: Plenum Press. P. 95-104.
[Ono H. & Komori Y. 1985] Logics without the contraction rule // The Journal of Symbolic Logic. Vol. 50. P. 169-201.
[Post E. L. 1921] Introduction to a general theory of elementary propositions. American Journal of Mathematics. Vol. 43, N 3. P. 163-185. (Переиздано: [Van Heijenoort J (ed.) 1967]. P. 264-283).
[Prawitz D. & Malmnдs P. E. 1968] A survey of some connections between classical, intuitionistic and minimal logic // Schmidt H. et al. (eds). Contributions to mathematical logic. Amsterdam: North-Holland. P. 215-229.
[Priest G. & Routley R. &. Norman J. (eds.) 1989] Paraconsistent logic: Essays on the inconsistent. Mьnchen: Philosopia Verlag.
[Quine W.V. 1970] Philosophy of logic. N.Y.: Englewood Cliffs.
[Rasiowa H. 1974] An Algebraic Approach to Non-classical Logics. Warszawa: PWN.
[Rautenberg W. 1979] Klassische und nichtklassische Aussagenlogic. Braunschweig: Vieweg & Sohn.
[Rose A. 1953] The degree of completeness of the ? 0-valued Lukasiewicz propositional calculus // J. of London Math. Soc. Vol. 28. P. 176-184.
[Ruitenburg W. 1995] Model theory of basic logic // Proceeding of 10th International Congress of Logic, Methodology and Philosophy of Sciences. Volume of abstracts. Florence. P. 201.
[Ruitenburg W. 1998] Basic predicate logic // Notre Dame Journal of Formal Logic. Vol. 39. N 1. P. 18-46.
[Schц nfinkel M. 1924] Uber die Bausteine der Mathematihschen Logik. Mathematischen Annalen. Bd. 92. p.305-316 (Англ. пер.: On the building blocks of mathematical logic//[Van Heijenoort J. (ed.) 1967]. P. 355-366).
[Scott D. 1971] On engendering an illusion of undenstanding // The Journal of Philosophy. Vol. 68. P. 787-807.
[Scroggs S.J. 1951] Extensions of the Lewis system S5 // The Journal of Symbolic Logic. Vol. 16. P. 112-120.
[Shannon C. 1938] A symbolic analysis of relay and switching circuits // Trans. Amer. Inst. Elect. Eng. Vol. 57. P. 713-723. (Рус. пер.: Символический анализ релейных и переключательных схем // Шеннон К. Работы по теории информации и кибернетике. М., 1963. C. 9-45).
[Sher G. Y. 1991] The Bounds of Logic. A Generalized Viewpont. Cambridge: The MIT Press.
[Sher G. Y. 1996] Review of [Gabbay D.M. (ed.) 1994] // The Journal of Symbolic Logic. Vol. 61. N 4. P. 1396-1400.
[Stanley B. & Sankappanavar H.P.1981] A Course in Universal Algebra. New York Inc.: Springer-Verlag.
[Surma S. J. 1982] On the origin and subsequent applications of the concept of Lindenbaum algebra // L. J. Cohen et al. (eds.) Logic, Methodology and Philosophy of Science VI.Warszaw: PWN. P. 719-734.
[Tarski A. 1930] Ь ber einige fundamentale Begriffe der Metamathematik // Comptes Rendus des Sй ances de la Sociй tй des Sciences et des Lettres de Varsovie. Classe III. Vol. 23, p. 22-29. (Англ. пер.: On some fundamental concepts of metamathematics // [Tarski 1956]. P. 30-37).
[Tarski A 1930a] Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I // Monatshefte fь r Mathematik und Physik. Bd. 37. P. 361-404. (Английский перевод: Fundamental concepts of the methodology of the deductive sciences // [Tarski 1956]. P. 60-109).
[Tarski A. 1956] Logic, semantics, metamathematics. Papers from 1923 to 1938. Oxford. (2nd ed. Indianopolis, 1983).
[Thomason R. H. (ed.) 1989]. Philosophical Logic and Artifical Intelligence.Dordrecht: Kluwer.
[Torrens A. 1988] On the role of the polynomial (x ? y) ? y in some implicative algebras // Zeitschrift fь r mathematische Logik und Grundlagen der Mathematik. Bd. 34. S. 117-122.
[Troelstra A. S. 1992] Lectures on linear logic. - Stanford: CSLI.
[Turquette A. R. 1963] Independent axioms for infinite-valued logic // The Journal of Symbolic Logic. Vol. 28, N 3. P. 217-221.
[Umezawa T. 1959] On intermediate propositional logics // The Journal of Symboloc Logic. Vol. 24. P. 20-36.
[Van Benthem J. 1991] Language in Action: Categories, Lambdas and Dynamic Logic. Amsterdam: North-Holland.
[Van Benthem J. & Doets K. 1983] Higher-order logic // Gabbay D. & Guenthner F. (eds.) Handbook of Philosophical Logic. Vol. I: Elements of classical logic. Dordrecht: Reidel. P. 275-329.
[Van Heijenoort J. (ed.) 1967] From Frege to Gц del: A Source Book in Mathematical Logic, 1879-1931. Cambr. (Mass.): Harvard Univ. Press.
[Wajsberg M. 1937] Metalogische Beitrдge // Wiadomos ci Matematyczne. Vol. 43. P. 131-168. (Англ. пер.: Contribution to metalogic // Wajsberg M. Logical Works. Wrocl aw, 1977. P. 172-200).
[Wang Hao 1994] What is logic? // The Monist. Vol. 77. N 3. P. 261-277.
[Wansing H. 1998] Displaying modal logic. Dordrecht: Kluwer.
[Whitehead A. & Russell B. 1910-1913] Principia Mathematica. Cambridge (England): Univ. Press. (Переиздано: Cambridge, 1962).
[Wуjcicki R. 1984] Lectures on Propositional Calculi. Wroclaw: Ossolineum.
[Wуjcicki R. 1988] Theory of Logical Calculi: Basic Theory of Consequence Operations. Dordrecht: Kluwer.