ЛОГИЧЕСКАЯ И ФАКТИЧЕСКАЯ ИСТИННОСТЬ - логические понятия, восходящие к Лейбницу, к-рый различал необходимые истины, или ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Розенталь М.М. Философский словарь Издание 2 1968


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

(cкачать страницу)

Смотреть книгу на libgen

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