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