Валидность — понятие в логике и праве¶
Валидность (от лат. validus — «сильный, крепкий») — свойство умозаключения или логической системы, при котором из истинных посылок с необходимостью следует истинный вывод. Термин широко используется в логике, математике, философии, юриспруденции, лингвистике и информационных технологиях, причём в каждом из этих контекстов понятие имеет свои оттенки значения.
¶Валидность в логике
В классической формальной логике валидным называют умозаключение, в котором не может возникнуть ситуация, когда все посылки истинны, а вывод ложен. Валидность касается только формы умозаключения, а не содержания суждений: важно, чтобы структура рассуждения была правильной, независимо от того, верны ли сами посылки фактически.
Пример валидного умозаключения:
Здесь форма силлогизма (категорический силлогизм первой фигуры) гарантирует истинность вывода при истинности посылок. Если же посылки ложны — например, «Все кошки — рыбы» — вывод формально останется валидным, хотя содержательно будет абсурдным. Именно поэтому в логике валидность строго отличают от истинности: валидное умозаключение с ложными посылками даёт ложный вывод, но остаётся валидным.
¶Виды валидности в логике
- Валидность по форме — свойство структуры умозаключения, при котором вывод логически следует из посылок.
- Семантическая валидность — отношение между посылками и выводом, определяемое через истинностные значения во всех возможных моделях (интерпретациях).
- Синтаксическая валидность (дедуктивная корректность) — выводимость заключения из посылок в рамках формальной дедуктивной системы (например, в исчислении предикатов).
- Валидность аргумента — более широкое понятие, включающее не только формальную правильность, но и обоснованность посылок.
¶Валидность в математике и формальных науках
В математической логике валидность формулы определяется относительно семантики: формула называется валидной, если она истинна во всех возможных интерпретациях (моделях). Для формул логики первого порядка это понятие связано с теоремой Гёделя о полноте: формула валидна тогда и только тогда, когда она выводима в исчислении предикатов.
Понятие валидности играет ключевую роль в доказательстве теорем, построении аксиоматических систем и исследовании их свойств — непротиворечивости, полноты, разрешимости.
¶Валидность в юриспруденции
В правоведении валидность (действительность) — это свойство юридического акта, договора, нормы или процедуры, означающее, что данный акт был совершён в соответствии с установленными правилами и порождает предусмотренные правом последствия. Невалидный (недействительный) акт не создаёт юридических последствий или создаёт их в ограниченном объёме.
Основаниями недействительности в гражданском праве, например, могут служить:
- заключение договора под влиянием обмана, угрозы, заблуждения;
- несоответствие акта требованиям закона (например, отсутствие обязательной нотариальной формы);
- совершение сделки недееспособным лицом;
- противоречие акта публичному порядку.
В конституционном праве валидность нормативного акта связана с его соответствием конституции и иерархии правовых источников: акт, принятый с нарушением компетенции органа, считается недействительным.
¶Валидность в лингвистике и семантике
В лингвистической семантике термин используется для оценки естественности и корректности высказывания в заданном контексте. Валидное высказывание — это грамматически правильное и семантически непротиворечивое предложение, которое носитель языка сочтёт приемлемым. Понятие применяется при анализе условий истинности, прагматики речи и перевода.
¶Валидность в информационных технологиях
В компьютерных системах под валидацией понимают проверку данных на соответствие заданным правилам (схеме). Например, веб-форма может требовать, чтобы поле электронной почты содержало символ «@», а числовое поле — только цифры. Результат проверки — данные «валидны» (допустимы) или «невалидны» (с ошибкой).
Основные виды валидации в IT:
- Валидация по схеме — проверка структуры данных (XML Schema, JSON Schema);
- Валидация формата — соответствие шаблону (номер телефона, дата);
- Бизнес-валидация — проверка данных на соответствие предметной области (сумма заказа положительна, дата окончания позже даты начала).
¶Связанные понятия
| Понятие | Содержание |
|---|---|
| Валидность | Правильность формы умозаключения |
| Истинность | Соответствие суждения действительности |
| Обоснованность | Наличие достаточных оснований для принятия вывода |
| Достоверность | Степень уверенности в знании |
Валидность — необходимое, но не достаточное условие рационального рассуждения: валидное умозаключение с ложными или необоснованными посылками не даёт знания о действительности.
¶Применение
Понятие валидности применяется при разработке тестов в психологии и педагогике (валидность теста — соответствие измеряемому конструкту), в статистике (валидность выборки), в проектировании баз данных и программном обеспечении.
Источники:
- Клягин Н. В. Логика: учебное пособие.
- Карпенко Л. А. Краткий словарь логических терминов.
- Гражданский кодекс Российской Федерации (части первая, вторая).
- Гёдель К. О полноте формальной системы исчисления предикатов первого порядка (1930).
- ISO/IEC 25010:2011 — Системы и программное обеспечение. Оценка качества.