— логические понятия, восходящие к Лейбницу, к-рый различал необходимые истины, или “истины разума”, и случайные истины, или “истины факта”; истинность первых вытекает из законов логики, истинность вторых — из соответствия фактическому положению вещей. Рассматривая законы логики как абсолютные, Лейбниц считал, что “истины разума” истинны во всех возможных (т. е. не противоречащих логике) мирах, тогда как истины факта истинны лишь в нек-ром из возможных миров (в т. ч. в окружающем нас мире). Аналогичное различение проводили Юм и Кант (Синтетическое и аналитическое). Совр. логика сохраняет это различие, лишая его абсолютного значения. Так, в системе логической семантики Карнапа — Кемени логически истинными считаются высказывания, истинные во всех допустимых интерпретациях данного формализованного языка, а фактически истинными — высказывания, истинные в нек-рой выделенной интерпретации, но не во всех допустимых интерпретациях.