ЛОГИЧЕСКАЯ И ФАКТИЧЕСКАЯ ИСТИННОСТЬ

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