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