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

ЛОГІЧНА і ФАКТИЧНА ІСТИННІСТЬ — у сучасній логіці поняття, що характеризують істинність висловлювань. Л.і ф.і. не створює якогось особливого поняття істини, а є конкретизацією, пристосуванням загальнофілософського поняття істини до потреб логіки формальної Л. огічна істинність — це істинність висловлювання, яка зумовлена тільки його логічною формою — певним розумінням логічних операцій і прийнятими для даних міркувань законами логіки. Фактична істинність — це істинність висловлювання, яка зумовлена змістом висловлювання — значеннями його складових елементарних речень, термінів і "фактичним станом справ". Поняття "Л. і ф.і." увійшли в логіку з часів Ляйбніца, який розрізняв необхідні істини, або "істини розуму", і випадкові істини, або "істини факту". Сучасна логіка позбавила це розрізнення абсолютного значення, оскільки відносить його до певних логічних числень.