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

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.