НЕОБХОДИМОСТЬ

— тип модальной связи между объектами и высказываниями, описываемый словами «не может не быть», «должно иметь место», «всегда, когда» и т. и. В отношениях между объектами формой существования необходимости выступает объективный закон, репрезентируемый в структуре научного знания в виде соответствующего научного закона. В отношениях между высказываниями формой существования необходимого отношения между ними выступает возможность логического вывода (или конструирования) одного высказывания из другого в соответствии с некоторым правилом вывода (логическим законом). Моделирование отношений между объектами и высказываниями в форме необходимости позволяет эффективно управлять сложными системами объектов и высказываний, между которыми установлены такого рода отношения. (См. возможность, закон, научный закон).