— категория, используемая в философии, научном познании и логике и выражающая неизбежный характер событий, происходящих в реальном мире, либо закономерный характер процессов, изучаемых в науке, или же логическую связь между посылками и заключением в дедуктивных умозаключениях. В онтологическом смысле Н. отображает такое отношение между объективными событиями реального мира, при наличии которого одно событие неизбежно вызывает, обусловливает или определяет др. событие. Обычно такая Н. противопоставляется логической Н., которая считается априорной, поскольку вытекает из законов логики, а не из объективной реальности. Онтологическая Н. считается априорной: она устанавливается с помощью эмпирического исследования. В этом отношении она сходна с номической (греч. nomos — закон) Н., устанавливаемой на основе законов природы и общества, выражающих регулярность или повторяемость реальных событий или процессов, исследуемых естественными и общественными науками. Однако повторяемость, свойственная номической Н., может иметь разный характер. В законах универсального типа она приводит к достоверным предсказаниям, в статистических законах — лишь к вероятным, или правдоподобным. В этом факте находит свое выражение связь между Н. и случайностью, существующая в реальном мире. Без обращения к объективному миру нельзя найти и правильный ответ на фундаментальный вопрос: в чем состоит источник Н.? Некоторые философы видели его в существовании особого мира идей, который обладает необходимым характером. Так, допущение существования универсалий, или форм, по мнению Платона, может объяснить всеобщий и необходимый характер математических и логических истин. В христианской философии источником Н. выступает Божественная воля, которая может изменить существующий порядок вещей и сотворить чудо. В философии Нового времени происхождение Н. объясняется ссылками на рационально-объективный характер мышления. Так, для Г.В.Ф. Гегеля необходимость чувственно воспринимаемого мира есть результат саморазвития абсолютной идеи. Др. позиция состоит в том, что Н. вносится в природу самим субъектом. В этом отношении типична т.зр. И. Канта, который считал, что субъект обладает априорными категориями, которые вносит в свои восприятия, и поэтому он в состоянии познать созданную им самим Н. Такие категории, как “пространство” и “время”, “причинность” и “Н.”, являются априорными и в синтезе с эмпирическими данными придают положениям естествознания необходимый характер. Сторонники эмпиризма пытались вывести необходимый характер принципов и законов науки с помощью индуктивных умозаключений из опыта. Однако критика Д. Юма, показавшего, что индуктивные выводы не обладают характером логической Н., серьезно подорвала их позицию. Под влиянием этой критики не-которые философы стали придерживаться скептической позиции, а другие вместе с Юмом считают, что вера в Н. основывается на привычке, приобретаемой в ходе неоднократного повторения опыта. Наиболее радикальным является отрицание существования к.-л. Н. в мире, однако такую позицию можно защищать теоретически, но ей трудно следовать практически. По сути дела, многовековая практика человечества свидетельствует о том, что люди всегда руководствовались убеждением, что в мире существует определенная Н. В противном случае они были бы не в состоянии вести целесообразную рациональную деятельность. От реальной Н., обсуждаемой в философии и научном познании, следует отличать логическую Н., которая опирается на законы логики и связанные с ними правила дедуктивных умозаключений. Напр., истинное значение конъюнкции высказываний “Снег бел” и “Снег не бел” зависит не от реального состояния вещей, а исключительно от закона противоречия классической логики, согласно которому такая конъюнкция должна считаться необходимо ложным высказыванием. Напротив, дизъюнкция указанных высказываний в силу закона исключенного третьего рассматривается как необходимо истинная. Все подобного рода логические положения, называемые тавтологиями логики, можно рассматривать как логически необходимые утверждения в узком смысле слова. В более широком смысле логически необходимыми считаются утверждения, действительные в каждом из возможных миров, под которыми подразумеваются любые воображаемые миры. О Поппер К. Логика и рост научного знания. М., 1983; Plantinga A. The Nature of Necessity. Oxford, 1974; Kripke S.A. Naming and Necessity. Oxford, 1980. Г.И. Рузаеин