Новая философская энциклопедия. Том первый. А - Д.

Коллектив авторов

114

«АНТИ-ДЮРИНГ»

АНТАГОНИЗМ- неразрешимое в данных условиях противоречие. Различаются социальные и индивидуальные антагонизмы. Социальные антагонизмы занимают существенное место в марксистской социальной философии (историческом материализме), с т. зр. которой первопричины таких противоречий коренятся в частной собственности. Поэтому классовая борьба как форма разрешения социальных антагонизмов свойственна всей истории вторичной общественной формации и завершается революционным преобразованием общественного строя. Начавшаяся во 2-й пол. 20 в. глобализация экономики снимает остроту антагонистического противостояния труда и капитала в развитых странах (в первую очередь за счет неэквивалентного обмена с зависимыми от них странами). Но этот процесс не разрешает социальные антагонизмы, воспроизводящиеся в мировой системе. Индивидуальные антагонизмы обнаруживают себя в интернационализации организованной преступности, коррупции, в экстремизме и т. п. В конечном счете индивидуальные антагонизмы обусловлены социальными причинами: отчуждением человека от собственности, власти и культуры. Ю. К. Плегпныков

АНТАХКАРАНА(санскр. antahkarana - внутренний инструментарий) — в индийской философии единство ментальных способностей, отличных, с одной стороны, от духовного начала, с другой - от 10 индрий. В санкхье антахкарана включает 3 компонента: буддхи, axawapy и манас. По «Санкхья- карике», антахкарана, в отличие от индрий, действующих лишь в настоящем времени, имеет дело с объектами всех трех времен; индрий сами составляют его объект и соотносятся с ним как двери со стражами; они готовят для него познавательный материал, который он передает (при этом манас и аханкара «подчинены» буддхи) Пуруше (ст. 33, 35-36). В веданте антахкара включает, помимо трех названных начал, также читту. По «Таттвабодхе» Шанкары, именно антахкарана является «местонахождением» неведения-авидьи (ст. 38). Сам антахкарана также получает различную локализацию: у Шанкары манас соотносится с горлом, буддхи - с ртом, аханкара - с сердцем, читга - с пупом, у Сурешвары весь антахкарана помещается в сердце. Именно благодаря связи с антахкараной индрий становятся достаточно «прозрачными» для отражения своих объектов. В. К. Шохин

АНТИГОНиз Кариста ('Avrfyovoc о Кариатос) (3 в. до н. э.) - греческий писатель, автор работ о произведениях искусства и о животных, а также парадоксографического трактата (в настоящее время его атрибуция поставлена под сомнение). Составил «Жизнеописания» философов разных направлений, послужившие источником для Диогена Лаэртия

и эпикурейца Филодема. Параллельные пассажи имеются такжеуАфинея. Соч.: Paradoxographorum Graecorum Reliquiae, ed. Giannini. Mil., 1967, p. 31-109; Antigonus Carystius. Rerum mirabilium collecto, ed. o. Musso. Napoli, 1986. Лит.: Wilamomtz-Moellendorff U. von. Antigonos von Karystos. В., 1881. A. B. ffaxoMoea «АНТИ-ДЮРИНГ» - название, под которым вышло русское издание произведения Ф. Энгельса «Переворот в науке, произведенный господином Евгением Дюрингом» («Hern Eugen Duehring's Umwaelzung der Wissenschaft». Lpz., 1878). Первоначально публиковалась в виде серии статей в немецкой социал-демократической газете «Vorwaerts» с января 1877 по июль 1878. Книга написана в форме критического анализа воззрений немецкого философа Дюринга, получивших некоторое распространение в рядах германской социал-демократии, с целью показать несостоятельность его претензий на якобы совершенный им переворот в философии и науке и его выступлений против марксизма. Полемика с «незначительным противником» позволила Энгельсу систематически изложить марксистские взгляды, основанные на последовательном проведении линии материализма и диалектики при решении проблем бытия и познания природы, общества и человека. В книге три отдела: философия, политическая экономия, социализм. Им предпослано введение, посвященное истории возникновения научного социализма. Прежде всего Энгельс отмечает ущербность метода, используемого Дюрингом, - метода мысленного конструирования действительности из априорно принятых принципов. Выведение действительности из понятия Энгельс называет идеологией, противостоящей науке, для которой принципиален результат, а не исходный пункт исследования. Мир един не потому, что его мыслят единым. Его единство объективно и состоит в его материальности, что доказывается длительной историей развития философии и естествознания. Исходя из данных истории философии и современного ему естествознания, Энгельс дает диалектико-материалистическую трактовку категорий пространства, времени, движения, защищает науку, в частности теорию Ч. Дарвина, от ретроградной критики Дюринга. Он показывает, что в своем движении наука все более полно раскрывает объективную диалектику природы, что диалектика не навязывается ей философией, а вытекает из данных самой науки. Энгельс убежден, что именно диалектическое мышление соответствует естествознанию того времени, что вечных, твердо установленных истин, на которые ориентирован Дюринг, не так уже много в науке. По его мнению, наука в основном оперирует относительными истинами. Тем более это касается наук об обществе, отражающих изменчивую историческую реальность, взаимоотношение и борьбу общественных классов. В подходе к общественным процессам Энгельс противопоставляет априоризму Дюринга принцип историзма, применив его непосредственно к анализу морали и права. В классовом обществе сосуществуют кодексы морали разных классов. Но та мораль более «истинна» и прогрессивна, которой принадлежит будущее. Идея равенства в буржуазном праве выражала требование уничтожения классовых привилегий, идея пролетарского равенства — уничтожение самих классов. Признание относительной истинности научного знания не преуменьшает его значения. Лишь руководствуясь знанием о мире, его законах, человек может овладеть им. Свобода есть познанная необходимость и деятельность на основе этого познания. Отдел философии в «Анти-Дюринге» заканчивается характеристикой общих законов диалектики и принципов их применения: они служат методом исследования, а не средством доказательства тех или иных выводов. Прогресс научного познания мира делает излишним какую-то особую систему философии (натурфилософию), оставляя на ее долю теоретико-методологические проблемы.

115

АНТИКЛЕРИКАЛИЗМ Но опора философии на науку остается, что явствует из самой книги Энгельса. Во втором разделе «Анти-Дюринга» наряду с разъяснением основных понятий и проблем политической экономии излагается и отстаивается материалистическое понимание соотношения экономики и политики, роли насилия в истории, происхождения классов. Дюринг считал насилие источником экономического неравенства и обосновывал это положение априорной «логической схемой» взаимоотношений двух изолированных индивидов, один из которых помощью насилия порабощает другого. Энгельс показал, что «робинзонада» не дает адекватного объяснения. Порабощение возникает на определенном уровне развития производства, когда оно становится экономически выгодным. Для появления частной собственности требуются экономические предпосылки, которые создаются не насилием, а развитием производства. Возможности имеющихся в обществе средств насилия также зависят от развитости производства, что наиболее наглядно видно на примере оснащения современных армий. Классы исторически возникали не только путем завоеваний, превращения пленных в рабов, но и в результате разложения первобытной общины, когда люди, выполнявшие определенные функции в органах родового строя, превращали последние в органы политического господства, а сами становились правящим классом. Так что именно экономика является фундаментом политического насилия. Завершает работу отдел, посвященный истории возникновения и характеристике теоретических принципов научного социализма (коммунизма). Переход от утопического социализма к научному был подготовлен теоретически К. Марксом и произведен на основе созданных им материалистической диалектики, материалистического понимания истории и теории прибавочной стоимости. Было доказано, что социализм есть продукт противоречий капитализма, который в ходе своего развития накапливает элементы собственного отрицания в виде мощных производительных сил, делающих излишними эксплуатацию и разделение общества на классы, и пролетариата — класса, способного осуществить исторически назревшую задачу смены капитализма социализмом. Новый общественный строй соответствует достигнутому уровню развития производства, устраняет классы и социальные антагонизмы и открывает возможность научного управления общественными отношениями. Переход к социализму - скачок из царства необходимости в царство свободы. Социализм представляется Энгельсу таким общественным укладом, в котором анархия производства сменится планомерностью, нивелируется противоположность города и деревни, умственного и физического труда, труд превратится в первую жизненную потребность, политика — в управление вещами и производственными процессами, произойдет отмирание государства, будет обеспечено всестороннее развитие личности и т. д. В творческом наследии Маркса и Энгельса данная работа является единственным систематическим изложением всех трех составных частей марксизма. В.Ж.Келле

АНТИКЛЕРИКАЛИЗМ(от греч. dvri - против и лат. clericalis - церковный), общественно-религиозное движение, направленное против клерикализма. Наибольшее развитие антиклерикализм получил в средние века, когда выступления против господствующей Католической церкви в Европе слились с антифеодальной борьбой. Все ереси того времени - плебейско-крестьянские и бюргерские, пантеистические и дуалистические - имели антиклерикальную направленность. Резкой критике подвергались прежде всего политическая деятельность и социальная роль церкви, а также пороки общества и государства, функционировавших на основе церковных установлений. Так, антиклерикальные выступления крестьян и городских низов обычно включали требования социально-экономического равенства. При этом антиклерикализм получал религиозное обоснование (Д Уиклиф и Я. Гус); обряды и организация церкви, пороки духовенства, особенно монашества, обличались под лозунгом возврата к истинной, апостольской вере раннего христианства. Эта традиция заметно усилилась в эпоху Возрождения и Реформации, когда антиклерикализм все чаще получал философское, светское обоснование. Именно выступления его последователей служили отправным пунктом для развертывания борьбы за веротерпимость. В Новое время критика клерикализма стала связываться не только с борьбой за свободу совести, но и с опровержением основ теистических концепций (Дж. Локк, У. Коллинз, П. Бейль, Дж. Толанд, Ф. Вольтер). Еще дальше пошли французские материалисты 18 в., которые обосновывали необходимость философского анализа религии с целью выявления ее социальной, гносеологической и нравственной несостоятельности. Но к кон. 18 в. обнаружились негативные последствия такого антиклерикализма. Они проявились не только в игнорировании и поверхностном понимании идеологами буржуазной революции религии как массового сознания (концепция «обмана»), но и в попытках насильственно ликвидировать церковь как социальный институт, в разрушении храмов и памятников культуры; в снижении интереса к философскому теоретическому осмыслению религиеведческой проблематики. В современную эпоху антиклерикализм выступает как одна из форм борьбы за демократические свободы и идеалы гуманизма. Хотя значение его в наст, время несопоставимо с тем, какое оно имело прежде, течение это сохраняет свою актуальность, особенно в свете новейших проявлений теократизма, напр. в исламском фундаментализме (см. Фундаментализм религиозный). Антиклерикализм не обязательно связан с атеизмом, он нередко проявляется и в среде верующих, которые выступают против прямого участия церкви в политике. Ф. Г. Овсиенко

АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ- антиномии, возникающие в ситуациях именования при применении правила замены равного равным (принципа взаимозаменимости). Напр., в предложении «Птолемей считал, что Солнце вращается вокруг Земли», замена выражения «Солнце» на равное ему выражение «центральное тело солнечной системы» приводит к логичному утверждению «Птолемей считал, что центральное тело солнечной системы вращается вокруг земли». Такие нарушения обнаружил Г, Фреге в контекстах с косвенной речью. Позднее было обнаружено, что аналогичные антиномии имеют место и в контекстах без косвенной речи. Дальнейшие логико-семантические исследования привели к выводу, что нарушение принципа взаимозаменимости

116

АНТИНОМИЯ связано с вхождением в предложение двух основных групп выражений. Во-первых, глаголов типа «знает», «верит», «считает», «любит» и т.п., представляющих личностное отношение субъекта к объекту; в основном это эпистеми- ческие и эмоциональные глаголы (они получили в современной логике название пропозициональных установок (propositional attitudes), а контексты, их содержащие - контекстов с пропозициональными установками). Во-вторых, выражений, порождающих модальные контексты, особенностью которых является вхождение в их состав модальных терминов (операторов) типа «возможно», «необходимо», «случайно» и т. п. Все контексты, в которых нарушается принцип взаимозаменимости (правило замены равного равным), принято сейчас называть неэкстенсиональными контекстами (термин введен Р. Карнапом). Для устранения антиномий отношения именования предлагались различные методы. Наиболее радикальным решением проблемы было бы употребление чисто экстенсионального языка, в котором отсутствуют неэкстенсиональные контексты. Для этого необходима эффективная процедура перевода на экстенсиональный язык всех неэкстенсиональных контекстов. Но такая процедура не известна. Г. Фреге предложил считать, что в косвенных контекстах имена в придаточной части предложения имеют особый тип вхождения — косвенное вхождение, при котором денотатом как всего придаточного предложения в целом, так и имен в его составе, становится то, что было соответственно смыслом предложения или сингулярного термина при его прямом вхождении, (подробнее см. Именования теория). Близким к решению Фреге является решение А.Черча. Он согласен с Фреге в том, что имена в неэкстенсиональных контекстах имеют денотат, отличный от их денотата при прямом вхождении, и что этим новым денотатом является то, что было смыслом имени при прямом вхождении. Но Черча не устраивает следующее отсюда нарушение принципа однозначности, поэтому он предлагает ввести какое-либо средство записи, позволяющее отличать имена при косвенном вхождении от имен при прямом вхождении - аналогично тому, как используются кавычки для указания на автономное использование имени. Однако, устраняя многозначность имен, этот подход сохраняет остальные недостатки фрегевского решения проблемы. У. Куайн, так же как и Фреге, принимает, что в неэкстенсиональных контекстах имя, находящееся в области действия модального

оператора или пропозициональной установки, не имеет своего обычного денотата. Но он, в отличие от Фреге, считает, что в этом случае имя не имеет вообще никакого денотата. При таком подходе антиномии, разумеется, устраняются, но слишком дорогой ценой - путем полного запрета замены имен в любых неэкстенсиональных контекстах. Решение Б. Рассела состоит в том, что он трактует большинство собственных имен (сингулярные термы) как определенные дескрипции. А определенные дескрипции «сами по себе» не имеют значения — значение есть только у предложения, в состав которого входит определенная дескрипция. В таком случае принцип взаимозаменимости по Б. Расселу (также как и по У. Куайну) вообще оказывается неприменимым к соответствующим именам. Р. Карнап предлагает для решения данной проблемы использовать разработанный им метод экстенсионала и ин- тенсионала. При применении этого метода антиномии отношения именования не возникают, а для неэкстенсиональных контекстов существуют особые правила замены обозначающих выражений (десигнаторов), а именно в интенсиональных контекстах, которыми являются модальные контексты, условием замены является тождество интенсио- налов заменяемых десигнаторов, а в интенсиональных контекстах с пропозициональными установками — интенсиональный изоморфизм. При этом тождество интенсионалов заменяемых десигнаторов действительно оказывается достаточным и необходимым условием правильной замены в модальных контекстах, но интенсиональный изоморфизм для контекстов с пропозициональными установками в ряде случаев не является ни достаточным, ни необходимым. Значение и смысл (или их аналоги — экстенсионал и интенсивная) имени (или другого значащего выражения — десигнатора, терма и т. п.) в контекстах с пропозициональными установками часто зависят от субъекта, так как пропозициональные установки выражают знание, мнение, эмоции и т. п. субъекта. Поэтому, чтобы тождество смыслов и/или значений (экстенсионалов и/или интенсионалов) заменяемых выражений оказалось адекватным условием правильной замены значащих выражений в области действия пропозициональных установок, необходимо учитывать субъективные смысл и значение. В определенной степени это возможно в прагматике и интенсиональной логике Р. Монтегю, где экстенсионал и интенсинал терма зависят от точки соотнесения (point of view), в состав которой входит субъект. См. лит. к ст. Именования теория. Г. В. Гриненко

АНТИНОМИЯ(в методологии науки) — контрадикторное противоречие между двумя суждениями, каждое из которых считается в равной степени обоснованным или логически выводимым в рамках некоторой концептуальной системы (научной теории). Антиномия отличается от противоречия, возникшего в результате ошибки в рассуждении (доказательстве) или как следствие принятия ложных посылок. Ошибки и заблуждения такого рода могут в принципе быть вскрыты и устранены средствами самой теории (вместе с ее логикой), тогда как для устранения антиномии требуется более или менее значительное изменение этой теории, либо ее логики, либо того и другого вместе. Часто такие изменения ведут к дальнейшему развитию данной области научного знания и ее формальнологического аппарата. В этом смысле антиномии, их обнаружение и устранение являются стимулами и важными моментами развития науки. Возможны различные исследовательские стратегии разрешения (устранения) логического противоречия, в форме которого выступает антиномия. Наиболее важны три из них. Первая заключается в том, что, не ставя под сомнение истинность теоретических оснований вывода, исследователь прибегает к такой модификации логической теории вывода, при которой антиномические формулы вида «р и не-/?» интерпретируются как выполнимые или даже общезначимые (тождественно-истинные); при этом не нарушается логический закон запрещения противоречия. Это возможно в тех случаях, когда логические функции (конъюнкция, отрицание и др.), участвующие в этих формулах, получают

117

АНТИНОМИЯ «неклассическую» (недвузначную) интерпретацию; т. о., логический аппарат теории вывода обогащается по сравнению с «классическим» новыми логическими функциями и соответственно логическими правилами, позволяющими более тонко, дифференцированно отображать логические отношения между высказываниями о каком-либо специфическом фрагменте действительности. Примером подобной стратегии является «дирекиионная» четырехзначная логика Л. Роговского, позволяющая так формализовать высказывания о механическом движении тела, что известная с античности антиномия «движущееся тело находится и одновременно не находится в данном месте» включается в число доказуемых (истинных) формул с сохранением непротиворечивости данной логической системы. Так, в логике Роговского доказуема равнозначность таких высказываний: «начинает быть так, что /?, или перестает быть так, что р» и «р и одновременно не-/?», где р — высказывание «тело с находится в месте 1 в момент времени /». Так, антиномия движения перестает пониматься как формально-логическое противоречие (а счет введения логических операторов «начинает быть так, что...» и «перестает быть так, что...», эксплицирующих «переходные состояния», что позволяет в полном объеме использовать логическую теорию вывода при анализе высказываний о движении. Подобная элиминация антиномии не означает ее содержательного разрешения и не подменяет собой анализ движения. В современной формальной логике успешно развивается направление, связанное с разработкой логических систем, в которых позволяется оперировать формулами, имеющими вид антиномии («паранепротиво- речивые логики»). Вторая стратегия заключается в том, что выявленная антиномия рассматривается как индикатор логической несовместимости некоторых теоретических гипотез, одновременно используемых для объяснения определенных явлений. Такие ситуации возникают в ходе эволюции естественнонаучных и обществоведческих дисциплин, когда предлагаются различные, в том числе альтернативные, теоретические конструкции, ни одна из которых до известного момента не в состоянии непротиворечиво объяснить все результаты экспериментов и наблюдений в данной эмпирической области, однако успешно «работают» в более узком кругу фактов и согласуются с обшей научной «картиной мира». До тех пор, пока противоречащие друг другу гипотезы остаются в равной степени подтвержденными опытом, ученые вынуждены мириться с подобными антиномиями. Выбор одной из таких гипотез в качестве инструмента исследования может осуществляться по соображениям удобства, простоты, согласованности с другими теориями и гипотезами, эвристичности и т. п. Преодоление антиномической ситуации требует «сдвига равновесия» между опытными обоснованиями альтернативных гипотез, достигаемого за счет увеличения количества и качества экспериментальных проверок, логического анализа предпосылок, неявно участвующих в образовании антиномии и т. д. Однако эмпирические критерии выбора из таких гипотез все же не могут быть абсолютизированы, поскольку даже из опровержения одной из гипотез не следует истинность другой. Кроме того, согласно тезису Дюгема—Куай- на, опровержение одной отдельно взятой гипотезы и даже теории невозможно (опровергается определенная совокупность или система гипотез и нельзя сказать, какая именно гипотеза из этой совокупности несет ответственность за конфликт с опытными данными). Такого рода антиномии достаточно долго сохраняются в корпусе научного знания; это побуждает логиков разрабатывать такие системы логического вывода, которые позволяли бы «заблокировать» вредные последствия, которые могут возникнуть в дедуктивных рассуждениях от временно сохраняющихся противоречий. «Блокировка» формального противоречия чаще всего достигается за счет удаления из числа правил вывода «закона Дунса Скота» (р—>>~р—>#) или эквивалентного ему закона рл ~ />—>q) («из противоречия следует любое высказывание»); более кардинальное решение вопроса достигается при изменении самого понятия логического следования, приобретающего интенсиональные характеристики (системы «релевантной логики»). Третья стратегия основывается на теоретико-познавательном принципе ограниченности сферы применимости системы абстракций и допущений, лежащей в основе теории, в которой возникают антиномии. Такая система иногда может быть сформулирована явно {в виде постулатов или аксиом), что характерно для некоторых математических и физико-математических теорий на высокой ступени теоретической «зрелости»; в иных случаях выявление этой системы связано с нетривиальной методологической работой. Обнаружение антиномий в теориях с невыделенными допущениями и исходными абстракциями является одним из стимулов к формализации этих теорий. После того, как с помощью методов формализации (или без них) исходные абстракции и допущения установлены, задача исследования заключается в том, чтобы выяснить, какие из них ведут к антиномиям, и элиминировать их либо заменить другими, при которых известные антиномии не возникают. Типичным примером такой работы могут служить модификации «наивной» теории множеств, в которой были обнаружены антиномии или «парадоксы» (парадокс Рассела, парадокс Кантора и Бурали—Форти и др.), путем ограничений на принцип «свертывания» («для всякого свойства существует множество предметов, обладающих этим свойством»), являющийся одной из фундаментальных абстракций этой теории. Такие ограничения характерны для теории типов Рассела, аксиоматической теории Цер- мело—Френкеля; существуют и другие варианты построения теории множеств, свободной от известных антиномий (система Лесьневского и др.). Проблема окончательной элиминации антиномий из какой-либо формализованной теории связана с доказательством ее непротиворечивости. Поиск таких доказательств для фундаментальных теорий сопряжен с решением методологических проблем, вытекающих из второй теоремы К. Геделя, согласно которой непротиворечивость и полноту достаточно богатой формализованной теории нельзя доказать средствами самой этой теории. Поэтому проблема элиминации антиномий оказывается включенной в сложный комплекс метатеоре- тической методологии. В ряде случаев антиномии, возникшие в рамках естественнонаучных и социальных теорий, рассматриваются как симптомы их приближения к пределу развития. Такие антиномии могут быть реконструированы из несоответствия предсказаний, вытекающих из теории или ее логических следствий, с опытными данными. Напр., согласно классической теории излучения, по закону Рэлея—Джинса, спектральная плотность излучения должна монотонно возрас-

118

АНТИНОМИЯ ЧИСТОГО РАЗУМА тать с увеличением частоты. Из этого следует, что полная плотность энергии излучения «черного тела» при всех температурах должна быть бесконечной. Такой вывод противоречит не только здравому смыслу, но и точным экспериментальным измерениям, согласно которым с увеличением частоты спектральная плотность вначале растет, а затем, начиная с некоторого максимального значения, падает, стремясь к нулю, когда частота стремится к бесконечности. Элиминация антиномий излучения «черного тела» была осуществлена М. Планком, который ввел постулат квантованного излучения, позволивший согласовать теоретические предсказания с результатами измерений (вместе с тем ограничивая область применения закона Рэлея—Джинса малыми значениями частот и высокими температурами). Квантовая гипотеза Планка впоследствии легла в основу наиболее фундаментальных представлений о природе вещества и поля, развиваемых квантовой физикой. Другим классическим примером может служить элиминация антиномии, возникшей между предсказаниями максвеллов- ской электродинамики и «планетарной» моделью атома Э. Резерфорда. Это было сделано Н. Бором, предложившим постулат о стационарных орбитах электрона, к которым неприменима электромагнитная теория излучения. Характерно, что развитие квантовой физики было теснейшим образом связано с элиминацией антиномий вплоть до момента, когда этот процесс привел к свободной от формальных противоречий квантовой механике. Т. о., устранение антиномий, указавших пределы применимости и развития классической электромагнитной теории, термодинамики и электродинамики, явилось способом перехода к более фундаментальной физической теории, обосновывающей классическую физику, но вместе с тем раскрывающей новые, ранее недоступные горизонты объяснения физических явлений. Этот процесс является неограниченным; развитие науки необходимым образом связано с обнаружением пределов применимости теорий, о чем и свидетельствуют антиномии. Выбор какой-либо из перечисленных стратегий обусловлен прежде всего объективным состоянием научной дисциплины, степенью ее зрелости, интенсивностью взаимодействия с другими дисциплинами и областями науки. Лит.: Клини С Введение в метаматематику. М., 1957; Попович М. В. Выяснение пределов теории в ходе ее развития. — В кн.: Логика научного исследования. М., 1965; Френкель А., Бар-Хиллел И. Основания теории множеств. М, 1966; Смирнов В. А. Формальный вывод и логические исчисления. М., 1972; Костюк В. Н. Парадоксы: логико-системный анализ. — В кн.: Системные исследования. Методологические проблемы. Ежегодник. 1979. М., 1980; Сидоренко Е. А. Логическое следование и условные высказывания. М., 1983; Rogowski L. Heglowska koncepcja sprzecznosci zmiany i ruchu. — «Studia filozoficzne», 1961, N 6; Asenjo F. A Calculus of Antinomies.— «Notre Dame Journal of Formal Logic», 1966, v. 7, N 1 ; Jaskowski St. Prepositional Calculus for Contradictory Deductive Systems.
– «Studia logica», 1969, т. 22. В. И. Порус