ВЫСКАЗЫВАНИЕ ДЕСКРИПТИВНОЕ (от англ. description - описание), или: Высказывание описательное,
    - высказывание, главной функцией которого является описание действительности. Если описание, даваемое высказыванием, соответствует реальному положению дел, высказывание считается истинным, если не соответствует - ложным. В. д. есть повествовательное предложе-

[59]
ние, рассматриваемое вместе с его содержанием (смыслом) как истинное или ложное. В.д. чаще всего имеет грамматическую форму повествовательного предложения: "Плутоний - химический элемент", "У ромба четыре стороны" и т. п. Однако описание может выражаться и предложениями других видов; даже вопросительное предложение способно в подходящем контексте выражать описание. В.д. отличается от высказываний иных видов не грамматической формой, а прежде всего своей основной функцией и особенностями составляющих его структурных "частей".
   Понятие В. д. может быть в определенной мере прояснено путем противопоставления оценочному высказыванию. Эти два вида высказываний являются выражением двух противоположных отношений мысли к действительности: истинностного и ценностного. В первом случае отправным пунктом в сопоставлении высказывания с объектом является объект, высказывание выступает как его описание и характеризуется в истинностных терминах. В случае ценностного отношения исходным является высказывание, выступающее как стандарт или проект, которому должен соответствовать объект. Если последний отвечает требованиям, предъявленным к нему высказыванием, он считается позитивно ценным (хорошим). При сопоставлении, допустим, местности и карты можно, приняв за исходное местность, сказать, что карта, отвечающая ей, является верной. Но можно, приняв за исходное карту (скажем, карту планировки местности), сказать, что местность, отвечающая карте, является позитивно ценной, т. е. такой, какой она должна быть. Неутверждаемое выражение "Этот дом голубой", для которого не указан способ соотнесения его с ситуацией (способ утверждения), не является ни описанием, ни оценкой, ни вопросом. Описание "Истинно, что этот дом голубой", оценка "Этот дом должен быть голубым" и вопрос "Этот дом голубой?" совпадают по своей основе и различаются только способом соотнесения с действительностью.
   Описательное отношение высказывания к действительности иногда отмечается словами "истинно", "действительно" и т. п., но чаще всего никак не обозначается. Сказать "Трава зеленая" - все равно что сказать "Истинно, что трава зеленая".
   Всякое описание предполагает следующие четыре части, или компонента: субъект - отдельное лицо или сообщество, дающее описание, предмет - описываемая ситуация; основание- точка зрения, в соответствии с которой производится описание, и характер - указание на истинность или ложность предлагаемого описания. Не все эти части находят явное выраже-

[60]
ние в В. д. Характер В. д., как правило, не указывается: оборот "истинно, что ..." опускается, вместо высказываний с оборотом "ложно, что ..." используются отрицательные высказывания. Предполагается, что основания всех В. д. тождественны: если оцениваться объекты могут с разных позиций, то описываются они всегда с одной и той же точки зрения. Предполагается также, что, какому бы субъекту ни принадлежало описание, оно остается одним и тем же. Отождествление оснований и субъектов описаний составляет основное содержание идеи интерсубъективности знания, независимости его употребления и понимания от лиц и обстоятельств. Постулат тождественности субъектов и оснований описаний предписывает исключать упоминание этих двух "частей" из состава описания. Вместо того чтобы говорить "Для каждого человека с любой точки зрения истинно, что Земля вращается вокруг Солнца", мы говорим "Земля вращается вокруг Солнца".
   Сложность проведения различия между описаниями и оценками (и соответственно между В. д. и оценочными высказываниями) во многом связана с тем, что многие выражения языка имеют "смешанный", описательно-оценочный характер. Одно и то же выражение, напр. аксиома какой-то теории или принцип морали, может в одной ситуации функционировать как описание, в другой - как оценка, и нередко даже с помощью контекста трудно определить, в какой из этих двух противоположных ролей употребляется выражение.
   ВЫСКАЗЫВАНИЕ КАТЕГОРИЧЕСКОЕ
    - высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения к.-л. условиями и вполне определенно. В. к. обычно противопоставляются условным высказываниям и разделительным высказываниям. В традиционной логике В.к., как правило, отождествляются с простыми атрибутивными суждениями (см.: Суждение). Их структура выражается формулой: "S есть (не есть) Р".
   ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат. contra - против, factum - событие)
    - сложное высказывание, в котором с помощью союза "если бы..., то бы..." объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно-сослагательного наклонения. Примером такого высказывания может быть: "Если бы А. П. Чехов дожил до 1917 г., то он был бы свидетелем Октябрьской революции" (1). Структуру таких высказываний в логике часто выражают в виде формулы: "А->В" ("Если бы имело место А, то имело бы место и В").
   Основная проблема в логике по отношению к В. к. состоит в том, чтобы сформулировать для них в общей форме критерий ис-

[61]
тинности. Для достижения этой цели иногда предлагалось отождествить В. к. с импликацией материальной (А->В), которая, в частности, является истинной, когда антецедент А ложен, а консеквент В может быть как истинным, так и ложным (см.: Условное высказывание). Но это означало бы, что истинным является не только высказывание (1), но и такое: "Если бы А. П. Чехов дожил до 1917 г., то он не был бы свидетелем Октябрьской революции" (2). Однако это не соответствует нашей интуиции, согласно которой высказывание (2) вряд ли может оцениваться как истинное.
   Для выработки общего критерия истинности В. к. обсуждался и такой критерий. Предлагалось A и В считать дескриптивными предложениями и стремиться вывести В из A, а также из некоторой относящейся к существу дела информации (дополнительные условия), используя при этом некоторые общие предложения закономерного характера. Но в таком случае нужно иметь достаточно строгий критерий выделения общих законов из числа общих предложений вообще, среди которых могут встретиться и случайные обобщения. Такой общий строгий формальный критерий в логике не выработан. Сказанное не исключает, однако, таких конкретных случаев, когда нам удается из предложения A, дополнительных условий и законов вывести предложение В и тем самым обосновать истинность предложения "А->В", при этом А и В истолковываются как дескриптивные предложения. Допустим, дано предложение: "Если бы вода в колбе была нагрета до 100 °С, то она закипела бы". Из антецедента этого предложения ("Вода в колбе нагретадо 100 °С"), некоторых дополнительных условий (напр., вода лишена примесей, находится при нормальном давлении и т. п.), а также из общего закона: "Всякая вода при 100 °С кипит" можно по законам логики вывести и консеквент ("Вода в колбе кипит").

Г
   ГЕРМЕНЕВТИКА (от греч. hermeneuo - разъясняю, истолковываю)
    - искусство истолкования, перевода литературных текстов, основанное на грамматическом исследовании языка, изучении конкретных типов литературных произведений и связанных с ними исторических данных, помогающее раскрыть внутренний, глубинный смысл исторического текста. Г. возникла в древнегреческой философии и филологии как искусство понимания изречений жрецов, оракулов и т. п. Название восходит к имени бога Гермеса, который считался вестником богов и истолкователем их предначертаний.
   Протестантские теологи использовали Г. как искусство "истинной" интерпретации священных текстов. У гуманистов Возрождения Г. становится методом понимания и перевода памятников античной культуры на национальные языки. В XIX в. Г. провозглашается важнейшим методом исторического познания и гуманитарных наук в целом. В середине XX в. в работах известных европейских философов М. Хайдеггера, Э. Бетти и Г. Гадамера Г. из метода гуманитарных наук превращается в философское учение о бытии.
   В современной методологии научного познания Г. привлекает к себе все большее внимание как учение о понимании, о способах понимания текстов и достижения взаимопонимания между людьми.
   ГЁДЕЛЯ ТЕОРЕМА
    - важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье "О формально неразрешимых предложениях Principia Mathematica и родственных систем" Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение
[63]
А, что ни само А, ни его отрицание не могут быть доказаны средствами Z На примере анализа формальной системы, сформулированной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела "Principia Mathematica", Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т. е. предложения, которые недоказуемы и одновременно неопровержимы. Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким математиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимыми. С философско-мето-дологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человеческого знания.
   ГИПОСТАЗИРОВАНИЕ (от греч. hypostasis - сущность, субстанция)
    - логическая (семантическая) ошибка, заключающаяся в опредмечивании абстрактных сущностей, в приписывании им реального, предметного существования.
   Эту ошибку допускает, напр., тот, кто считает, что наряду со здоровыми и больными людьми в реальном мире есть еще такие отдельные "существа", как "здоровье" и "болезнь". Или даже что есть особые предметы, обозначаемые словами "ничто" и "несуществующий предмет".
   Опасность Г. существует не только в обыденном рассуждении, но и в научных теориях. Г. допускает, напр., юрист, когда говорит об идеальных нормах, правах и т. д. так, как если бы они существовали где-то наряду с лицами и их отношениями. Эту же ошибку совершает этик, считающий, что "справедливость", "равенство" и т. д. существуют в том же смысле, в каком существуют люди, связанные этими социальными отношениями.
   Идея, что общим именам соответствуют не только обозначаемые ими отдельные предметы или лица, но и какие-то "общие предметы", восходит к Платону. Активные споры об объектах общих имен велись в ср. века. Сторонники реализма считали, что общее существует до предметов (в уме бога), в предметах и, наконец, после предметов (в уме человека, фиксирующем их общность в каких-то чертах). Их противники номиналисты протестовали против опредмечивания абстрактных сущностей. С точки зрения номинализма реальны только единичные вещи, общее же существует только в уме человека, но не в самом мире.

[64]
   Возражение против Г. было связано также с требованием "не удваивать сущности", известным под названием "бритва Оккама". Если не только объекты, но и их общие свойства становятся самостоятельными предметами, это означает, что мир удваивается. Нельзя сомневаться в том, утверждали номиналисты, что существуют "круглые вещи", однако необходимо протестовать против существования в качестве особого объекта также "круглости". Признание существования такого объекта означало бы, что вещи, называемые "круглыми", дополняются новой вещью, именуемой "круглостью".
   Г. недопустимо в строгом рассуждении, где "удвоение мира" ведет к путанице между реальными предметами и вымышленными. Но оно успешно используется в художественной литературе, где правда и вымысел могут переплетаться.
   ГИПОТЕЗА (от греч. hipothesis - основание, предположение)
    -положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования объекта, причин его возникновения, его свойств и связей, его прошлого и будущего и т. д. Выдвигаемая на основе определенного знания об изучаемом круге явлений, Г. играет роль руководящего принципа, направляющего и корректирующего дальнейшие наблюдения и эксперименты. Г. представляет собой необходимое звено в развитии научного знания.
   Как предположительное, вероятное знание, еще не доказанное логически и не настолько подтвержденное опытом, чтобы считаться достоверным, Г. не истинна и не ложна. О ней можно сказать, что она неопределенна, лежит между истиной и ложью. Получив подтверждение, Г. превращается в истину и на этом прекращает свое существование. Опровергнутая Г. становится ложным положением и опять-таки перестает быть Г.
   Г. выдвигается в науке для решения некоторой конкретной проблемы: объяснения новых фактических данных, устранения противоречия теории с отрицательными результатами экспериментов и т. п.
   Процесс обоснования Г., в ходе которого она либо отвергается, либо превращается в достоверное положение (развернутая Г., касающаяся широкого круга явлений, становится научной теорией), в принципе не отличается от обоснования любого теоретического положения. Самым общим образом способы обоснования Г. можно разделить на теоретические и эмпирические, учитывая, однако, что различие между ними относительно, как относительно само различение теоретического и эмпирического

[65]
знания. Теоретические способы охватывают исследование Г. на непротиворечивость, на эмпирическую проверяемость, на приложимость ко всему классу изучаемых явлений, на выводимость ее из более общих положений, на утверждение ее посредством перестройки той теории, в рамках которой она выдвинута. Эмпирические способы включают непосредственное наблюдение явлений, предполагаемых Г. (если оно возможно), и подтверждение в опыте следствий, вытекающих из неё.
   Одним из критериев обоснованности Г. является ее согласие с фактическим материалом, на базе которого и для объяснения которого она выдвинута; Г. должна соответствовать также установившимся в науке законам, теориям и т. п. Это т. наз. условие непротиворечивости. Являясь принципиально важным, оно не означает, однако, что от Г. нужно требовать полного, пассивного приспособления к тому, что в момент ее выдвижения считается фактом. Факты - не только исходный момент конструирования Г., но и руководство к действию - к возможной корректировке как выдвигаемого предположения, так и самих фактов. В определенных условиях правомерна даже Г., противоречащая хорошо установленным фактам: вырывая факты из привычного теоретического контекста, она заставляет посмотреть на них с новой точки зрения и повышает вероятность обнаружить в них то, что ранее проходило незамеченным.
   Все это относится и к согласованию Г. с утвердившимися в науке теоретическими положениями: соответствие им Г. разумно до тех пор, пока оно направлено на утверждение лучшей, более эффективной теории, а не просто на сохранение старой теории.
   Второе необходимое условие обоснованности Г. -ее проверяемость, означающая, что Г. должна в принципе допускать возможность опровержения и возможность подтверждения. Г., не отвечающая этому требованию, не указывает пути для дальнейшего исследования. Таково предположение о существовании сверхъестественных, ничем себя не обнаруживающих объектов или Г. о "жизненной силе", проявляющейся только в известных и объяснимых и без нее явлениях.
   Третьим способом теоретического обоснования Г. является проверка ее на принципиальную приложимость к широкому классу исследуемых объектов: она должна охватывать не только явления, для объяснения которых специально предложена, но и возможно более обширный круг родственных им явлений. Хорошим примером здесь может служить Г. квантов М. Планка: выдвинутая вначале для объяснения сравнительно частного явления (излучения аб-

[66]
солютно черного тела), она в короткое время распространилась на целый ряд областей и объяснила из одного основания чрезвычайно широкое поле физических явлений. Если Г., выдвинутая для одной области, ведет к новым результатам не только в исходной, но и в смежных областях, ее объективная значимость существенно возрастает. Тенденция к экспансии, к расширению сферы своей приложимости в большей или меньшей степени присуща всем плодотворным научным Г.
   Четвертый, собственно логический способ обоснования Г. - выведение ее из некоторых более общих положений. Если выдвинутое предположение удается вывести из каких-то утвердившихся истин, это означает, что оно истинно. Данный прием находит, однако, только ограниченное применение. Самые интересные и важные Г. являются, как правило, весьма общими и не могут быть получены в качестве следствий уже установленных положений. К тому же Г. обычно выдвигаются относительно новых, не изученных в деталях явлений, не охватываемых еще универсальными принципами.
   Пятый путь утверждения Г. - внутренняя перестройка теории, в рамках которой она выдвинута.
   Выдвижение Г. диктуется динамикой развития теории, стремлением охватить и объяснить новые факты, устранить внутреннюю несогласованность и противоречивость и т. д. Успех Г. является одновременно и подкреплением породившей ее теории. С другой стороны, сама теория способна сообщать выдвинутой на ее основе Г. определенные импульсы и силу и тем самым содействовать ее утверждению.
   Во многом поддержка, оказываемая Г. теорией, связана с внутренней перестройкой последней. Эта перестройка обычно заключается во введении номинальных определений вместо реальных, принятии новых соглашений относительно изучаемых объектов, уточнении основополагающих принципов теории, изменении иерархии этих принципов или сферы их действия и т. д. Вводимые таким образом новые принципы, образцы, нормы, правила и т. п. меняют внутреннюю структуру как самой теории, так и постулируемого ею "теоретического мира".
   Эмпирические способы обоснования Г. принято наз. верификацией, или подтверждением. Прямая верификация - это непосредственное наблюдение тех явлений, существование которых предполагается Г. Примером может служить доказательство Г. о существовании планеты Нептун: вскоре после выдвижения Г. эту планету удалось увидеть в телескоп. Прямая верификация возмож-

[67]
на лишь в том случае, когда речь идет о единичных объектах или ограниченных их совокупностях, что делает ее сферу чрезвычайно узкой.
   Наиболее важным и вместе с тем универсальным способом верификации является выведение следствий из Г. и их последующая опытная проверка. Однако этот способ верификации сам по себе не позволяет установить истинность Г., он только повышает ее вероятность.
   Превращение Г. в составной элемент теории, как правило, сложный и длительный процесс. Он не сводим к к.-л. одной процедуре, к отдельно взятому умозаключению. Г., ставшая частью теории, опирается уже не только на свои подтвердившиеся следствия, но и на всю теорию, на объяснение последней широкого круга явлений, предсказание новых, ранее неизвестных фактов, на связи между ранее казавшимися не связанными процессами и т. д.
   Г., превратившаяся в теорию или ее элемент, перестает быть проблематичным знанием. Но она не становится абсолютной истиной, не способной к дальнейшему развитию. При последующем росте и развитии знания она корректируется и уточняется. Однако основное ее содержание, подвергаясь ограничениям и уточнениям, сохраняет свое значение.
   ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД
    - метод научного познания и рассуждения, основанный на выведении (дедукций) заключений из гипотез и других посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а посылками служат гипотезы, то и заключение Г.-д. рассуждения имеет лишь вероятностный характер. Соответственно типу посылок Г.-д. рассуждения разделяют на две основные группы. К первой, наиболее многочисленной группе относят рассуждения, посылками которых являются гипотезы и эмпирические обобщения, истинность которых еще нужно установить. Ко второй относятся Г.-д. выводы из таких посылок, которые заведомо ложны или ложность которых может быть установлена. Выдвигая некоторое предположение в качестве посылки, можно из него дедуцировать следствия, противоречащие хорошо известным фактам или истинным утверждениям. Таким путем в ходе дискуссии можно убедить оппонента в ложности его предположений. Примером является метод приведения к абсурду.
   В научном познании Г.-д.м. получил широкое распространение и развитие в XVII-XVIII вв., когда были достигнуты значительные успехи в области изучения механического движения земных


[68]
и небесных тел. Первые попытки применения Г.-д.м. были сделаны в механике, в частности в исследованиях Галилея. Теория механики, изложенная в "Математических началах натуральной философии" Ньютона, представляет собой Г.-д. систему, посылками которой служат основные законы движения. Успех Г.-д.м. в области механики и влияние идей Ньютона обусловили широкое распространение этого метода в области точного естествознания.
   С логической точки зрения Г.-д. система представляет собой иерархию гипотез, степень абстрактности и общности которых увеличивается по мере удаления от эмпирического базиса. На вершине располагаются гипотезы, имеющие наиболее общий характер и поэтому обладающие наибольшей логической силой. Из них как из посылок выводятся гипотезы более низкого уровня. На самом низшем уровне системы находятся гипотезы, которые можно сопоставить с эмпирическими данными. В современной науке многие теории строятся в виде Г.-д. системы.
   Такое построение научных теорий имеет большое методологическое значение в связи с тем, что не только дает возможность исследовать логические взаимосвязи между гипотезами разного уровня абстрактности, но и позволяет осуществлять эмпирическую проверку и подтверждение научных гипотез и теорий. Гипотезы самого низкого уровня проверяются путем сопоставления их с эмпирическими данными. Если они подтверждаются этими данными, то это служит косвенным подтверждением и гипотез более высокого уровня, из которых логически выведены первые гипотезы. Наиболее общие принципы научных теорий нельзя непосредственно сопоставить с действительностью, с тем чтобы удостовериться в их истинности, ибо они, как правило, говорят об абстрактных или идеальных объектах, которые сами по себе не существуют в действительности. Для того чтобы соотнести общие принципы с действительностью, нужно с помощью длинной цепи логических выводов получить из них следствия, говорящие уже не об идеальных, а о реальных объектах. Эти следствия можно проверить непосредственно. Поэтому ученые и стремятся придавать своим теориям структуру Г.-д. системы.
   Разновидностью Г.-д. м. считают метод математической гипотезы, который используется как важнейшее эвристическое средство для открытия закономерностей в естествознании. Обычно в качестве гипотез здесь выступают некоторые уравнения, представляющие модификацию ранее известных и проверенных соотношений. Изменяя эти соотношения, составляют новое уравнение, выражающее гипотезу, которая относится к неисследованным явлени-

[69]
ям. Так, М. Борн и В. Гейзенберг приняли за основу канонические уравнения классической механики, однако вместо чисел ввели в них матрицы, построив таким способом матричный вариант квантовой механики. В процессе научного исследования наиболее трудная - подлинно творческая - задача состоит в том, чтобы открыть и сформулировать те принципы и гипотезы, которые могут послужить основой всех последующих выводов. Г.-д. м. играет в этом процессе вспомогательную роль, поскольку с его помощью не выдвигаются новые гипотезы, а только выводятся и проверяются вытекающие из них следствия.
   ГИПОТЕТИЧЕСКОЕ УТВЕРЖДЕНИЕ
    - утверждение, которое высказывается не как установленная истина, а как некое предположение, способное оказаться как истинным, так и ложным, напр.: "Возможно, что Наполеон был отравлен", "По-видимому, завтра будет хорошая погода". Важной разновидностью Г. у. является гипотеза.
   ГОМОМОРФИЗМ, ИЗОМОРФИЗМ
    - логико-математические понятия, выражающие уподобление (гомоморфизм) либо одинаковость (изоморфизм) строения систем. Две системы А и В называются изоморфными, если между их элементами, а также функциями, свойствами и отношениями, имеющими смысл для этих систем, существует или может быть установлено взаимно-однозначное соответствие. Для изоморфных систем A и В выполняются следующие условия: 1) каждому элементу о из A соответствует единственный элемент b из В, и наоборот; 2) каждой функции f, определенной на элементах А и принимающей значения в А, соответствует единственная функция g, определенная на элементах В, и наоборот; 3) каждому свойству Р, которым обладают к.-л. элементы системы А, соответствует взаимно-однозначное свойство элементов В, и наоборот. Ослабление перечисленных условий, скажем, требование взаимно-однозначного соответствия только в одну сторону, приводит к более общему, но и более слабому отношению Г. Изоморфный образ полностью воспроизводит отображаемую систему, напр., зеркальное отображение изоморфно отображаемому предмету, схема радиоприемника изоморфна самому приемнику. Гомоморфный образ лишь отчасти похож на свой оригинал, напр., карта местности воспроизводит лишь некоторые черты этой местности, перевод языкового текста лишь отчасти похож на оригинал. Всякий И. есть Г., но не наоборот.

Д
ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН, см.: Закон двойного отрицания.
   ДВУЗНАЧНАЯ ЛОГИКА
    - логика, опирающаяся на двузначности (бивалентности) принцип. Двузначной логической системой является логика классическая. Обычно термины "Д.л." и "классическая логика" используются как равнозначные.
   Польский логик Я. Лукасевич (1878-1956) считал неприменимым двузначности принцип для высказываний о будущих случайных событиях. Это явилось исходным моментом для построения концепции многозначной логики.
   ДВУЗНАЧНОСТИ ПРИНЦИП
    - принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений - "истинно" и "ложно". Этот принцип лежит в основе логики классической, которую называют также двузначной логикой.
   Д.п. был известен еще Аристотелю, который, однако, считал его неприменимым к высказываниям о случайных будущих событиях. Аристотель утверждал, что истинность высказывания о будущем событии предполагает с необходимостью наступление этого события, а ложность высказывания о нем свидетельствует о его невозможности. Аристотель устанавливал, таким образом, логическую связь между Д.п. и фатализмом, положением о предопределенности человеческих действий.
   В более позднее время ограничения, налагаемые на Д.п., обосновывались тем, что он затрудняет анализ высказываний не только о будущих событиях, но и о ненаблюдаемых или несуществующих объектах ("Мысль либо зеленая, либо не является зеленой", "Пегас имеет крылья либо не имеет их"), высказываний о пере-

[71]
ходных состояниях ("Утро уже наступило либо еще не наступило") и т. п.
   Сомнения в универсальности Д. п. не были реализованы в логических системах до появления современной логики, широко использующей методы, сходные с методами математики и не препятствующие чисто формальному подходу к логическим проблемам. В системах, получивших название многозначной логики, Д. п. замещается многозначности принципом, в соответствии с которым высказывание имеет одно из п возможных значений истинности, где п больше двух и может быть, в частности, бесконечным. Последний принцип можно переформулировать так, что двузначная логика окажется частным случаем многозначной: всякое высказывание имеет одно из п значений истинности, где п больше или равно двум и меньше или равно бесконечности.
   Исключение дополнительных значений истинности (сверх "истинно" и "ложно") превращает большинство логических систем, опирающихся на многозначности принцип, в классическую двузначную логику. Последняя оказывается при этом предельным случаем первых. Двузначная логика описывает типичные случаи употребления определенных логических знаков ("и", "или", "не" и т. п.). Многозначная логика, претендующая на уточнение описания этих же знаков, не может противоречить результатам двузначной, а должна, напротив, включать их в качестве предельных случаев.
   Убеждение, будто Д. п. с неизбежностью ведет к признанию (строгого) детерминизма и фатализма, является ошибочным. Столь же ошибочно и предположение, что многозначная логика есть необходимое средство проведения индетерминистических рассуждений и что ее принятие равносильно отказу от (строгого) детерминизма.
   ДЕДУКЦИЯ (от лат. deductio - выведение)