Валидность (Конт-Спонвиль)

ВАЛИДНОСТЬ (VALIDITE). Употребляемый в логике синоним истины, точнее говоря, ее формальный эквивалент. Вывод считается валидным (верным), если представляет собой переход от истинного к истинному (от истинности посылок к истинности заключения) или остается верным независимо от интерпретации. Нетрудно заметить, что валидность суждения не зависит от истинности заключений, также, впрочем, как истинность заключения не зависит от валидности суждения. Валидное суждение может привести к ложному заключению (если хотя бы одна из посылок ложна). На этом, например, основан знаменитый софизм о рогах: «Ты имеешь все, чего не потерял; ты не потерял рогов; следовательно, ты имеешь рога». Это суждение валидно, но его заключение ложно (потому что ложна большая посылка силлогизма, хотя ее ложность и не бросается в глаза). И наоборот, невалидное суждение может привести к верному заключению: «Все люди смертны; Сократ смертен; следовательно, Сократ — человек». Суждение невалидно, но заключение верно.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 81-82.