Логическая и фактическая истинность

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 225.