Необходи́мость, философская категория, выражающая, в противоположность случайности, неизбежный характер связи между объектами (событиями, процессами, явлениями) реального мира или высказываниями. Выделяют логическую, реальную (онтологическую), нормативную (моральную, оценочную) и другие виды необходимости.

Логическая необходимость считается априорной, поскольку опирается на законы логики и связанные с ними правила дедуктивных умозаключений. Например, истинное значение конъюнкции высказываний «А» и «не-А» зависит не от реального состояния вещей, а исключительно от закона непротиворечия классической логики, согласно которому такая конъюнкция должна считаться необходимо ложным высказыванием. Напротив, дизъюнкция указанных высказываний в силу закона исключённого третьего рассматривается как необходимо истинная. Все подобного рода логические положения, называемые тавтологиями логики, можно рассматривать как логически необходимые утверждения в узком смысле слова. В более широком смысле логически необходимыми, согласно семантике С. Крипке, считаются утверждения, действительные в каждом из возможных миров, под которыми подразумеваются любые воображаемые миры. Необходимость как модальное свойство высказываний изучается модальной логикой в связи с понятиями возможности, случайности и др. Законами модальной логики являются утверждения: из необходимости высказывания вытекает его истинность (но не наоборот); логические следствия необходимого также необходимы; высказывание и его отрицание не могут быть вместе необходимыми, и т. п. Логическая необходимость может быть определена через логическую возможность (высказывание необходимо, когда его отрицание невозможно), а логическая возможность – через логическую необходимость (высказывание возможно, когда его отрицание не является необходимым). Логическая невозможность высказывания определяется как логическая необходимость его отрицания, а логическая случайность высказывания означает, что ни оно само, ни его отрицание не являются логически необходимыми.

В онтологическом смысле необходимость отображает такое отношение между объективными событиями реального мира, при наличии которого одно событие неизбежно вызывает, обусловливает или определяет другое событие. Онтологическая необходимость не считается априорной: она устанавливается с помощью эмпирического исследования. Выступая как объективная закономерность, выражающая регулярность или повторяемость реальных событий или процессов, исследуемых естественными и общественными науками, такая необходимость репрезентируется в виде соответствующего научного закона. Повторяемость, свойственная такой необходимости, может иметь разный характер. В законах универсального типа она приводит к достоверным предсказаниям, в статистических законах – к вероятным или правдоподобным, что отражает связь между необходимостью и случайностью, существующей в реальном мире.

Нормативная (моральная) необходимость выступает как необходимость обязательного следования законам или нормам, установленным в обществе.