Паради'зка (Malus pumila var. paradisiaca), разновидность низкой яблони. Используется в качестве карликового подвоя для яблони; см. Подвои .

Парадо'кс (от греч. parádoxes — неожиданный, странный), неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный», т. е. нестандартный, отклоняющийся от наиболее распространённой традиции, противопоставляется эпитету «ортодоксальный», понимаемому как синоним слова «проверенный», т. е. общепринятый, буквально следующий господствующей традиции. Любой П. выглядит как отрицание некоторого мнения, кажущегося «безусловно правильным» (вне зависимости от того, насколько верно это впечатление); сам термин «П.» и возник в античной философии для характеристики нового, необычного, оригинального мнения. Поскольку оригинальность высказывания воспринять гораздо проще, чем удостовериться в его истинности или ложности, парадоксальные высказывания часто воспринимают как свидетельства независимости, самобытности выражаемых ими мнений, особенно если они к тому же имеют внешне эффектную, чёткую, афористичную форму.

  Такая репутация может быть, конечно, и вполне заслуженной — парадоксальную форму имеют, например, такие философско-этические обобщения, как «Твои взгляды мне ненавистны, но всю жизнь я буду бороться за твоё право отстаивать их» (Вольтер) или «Люди жестоки, но человек добр» (Р. Тагор). Но и независимо от глубины и истинности конкретного высказывания парадоксальность его, особенно если речь идёт об устном высказывании, привлекает внимание; поэтому неожиданность выводов, несоответствие их «естественному» ходу мыслей есть (наряду с общей логической последовательностью изложения и красотами стиля) один из существенных атрибутов ораторского искусства.

  Часто, впрочем, наблюдается обратная реакция; явление (или высказывание), противоречащее, хотя бы внешне, «здравому смыслу», характеризуется как П., свидетельствующий в некотором смысле о «противоречивости» соответствующего явления (или высказывания). Таков, например, отмеченный впервые Д. Дидро «актёрский П.»: актёр может вызывать у зрителей полную иллюзию изображаемых им чувств, сам при этом ничего не переживая. «Обратная сторона» этого же П. обыграна О. Уайльдом: одна из его героинь не может играть роль Джульетты именно потому, что влюбилась сама.

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

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

  Сколько-нибудь успешное выполнение обоих этих условий (непротиворечивости и полноты), в свою очередь, предполагает тщательное выявление всех неявно принятых в рассматриваемой научной теории предпосылок, а затем явный их учёт и формулировку. Реализация этих задач одно время возлагалась на аксиоматический метод, что нашло наиболее полное выражение в программе обоснования математики и логики, предложенной Д. Гильбертом (см. Метаматематика ). Поскольку в первую очередь рассматривалась задача устранения П., открытых на рубеже 19 и 20 вв. в теории множеств, лежащей в основании почти всей математики, пути сё решения усматривались в создании систем аксиоматической теории множеств , пригодных для достаточно полного построения математических теорий, и в последующем доказательстве непротиворечивости этих систем. Например, в одном из наиболее известных П. теории множеств — т. н. парадоксе Б. Рассела — идёт речь о множестве R всех множеств, не являющихся своими собственными элементами. Такое R является собственным элементом тогда и только тогда, когда оно не является собственным элементом. Поэтому допущение о том, что R является собственным элементом, приводит к отрицанию этого допущения, из чего следует (причём даже по правилам интуиционистской логики, т. е. без использования исключенного третьего принципа ), что R не является собственным элементом. Но отсюда уже следует (в силу предыдущей фразы), что R является собственным элементом, т. е. оба противоречащих друг другу допущения оказались доказанными, а это и есть П.

  В системах аксиоматической теории множеств Э. Цермело и Цермело — Френкеля вопрос о множестве R (является ли оно собственным элементом) попросту снимается, т.к. аксиомы этих систем не позволяют рассматривать такое R (оно в этих системах не существует). В других системах (принадлежащих Дж. фон Нейману , П. Бернайсу, К. Гёделю ) такие R рассматривать можно, но эта совокупность множеств объявляется (при помощи соответствующих ограничительных аксиом) не множеством, а только «классом», т. е. заранее объявляется, что R не может являться ничьим (в т. ч. и своим собственным) элементом, чем опять-таки аннулируется расселовский вопрос. Наконец, в различных модификациях типов теории , идущих от А. Н. Уайтхеда (Великобритания) и самого Б. Рассела (например, в системах У. О. Куайпа, США), разрешается рассматривать любые множества, описанные осмысленными языковыми выражениями, и ставить относительно таких множеств любые вопросы, но зато сами выражения вроде «множество всех множеств, не являющихся своими собственными элементами «объявляются бессмысленным и ввиду нарушения некоторых соглашений лингвистического (синтаксического) характера. Аналогичным образом в упомянутых теориях устраняются и др. известные теоретико-множественные П. (например, парадокс Г. Кантора о мощности множества всех подмножеств «множества всех множеств», которая неминуемо должна была бы оказаться больше самой себя, и пр.).