Корректность как нормативный признак¶

Корректность (от лат. correctus — «исправленный, выправленный») — совокупность формальных и содержательных требований, предъявляемых к действиям, высказываниям, документам или процессам, соблюдение которых обеспечивает их соответствие установленным нормам, правилам и ожиданиям. В широком смысле корректность означает отсутствие ошибок, неточностей и нарушений логики, а в социальном контексте — тактичность и вежливость в общении.

¶История понятия

Термин восходит к латинскому глаголу corrigere («исправлять, выправлять»), от которого также произошли слова «корректор», «корректура» и «корректировать». В античной риторике и философии корректность речи рассматривалась как одно из базовых качеств оратора, наряду с ясностью, уместностью и красотой выражения. Квинтилиан в трактате «Об образовании оратора» определял правильность (latinitas) как основу любого высказывания, без которой невозможна убедительность.

В эпоху Просвещения понятие корректности распространилось на научную методологию: корректным стало считаться рассуждение, следующее правилам формальной логики и опирающееся на проверяемые факты. В XIX веке с развитием бюрократических институтов в Европе и России сформировалось представление о корректности документа — его соответствии юридическим и канцелярским нормам оформления.

В XX веке под влиянием аналитической философии (Людвиг Витгенштейн, Джон Остин) корректность стала рассматриваться как свойство речевых актов, соответствующих правилам языковой игры. В конце XX — начале XXI века в западной общественной мысли получило распространение понятие «политической корректности» — стремления избегать языковых форм, способных оскорбить представителей определённых социальных групп.

¶Виды корректности

В зависимости от сферы применения выделяют несколько основных видов корректности.

¶Формальная корректность

Формальная корректность предполагает строгое соблюдение внешних требований: синтаксических и орфографических норм языка, правил оформления документов, стандартов программирования, требований технических регламентов. Формально корректное высказывание может быть бессодержательным, но оно не содержит нарушений установленной формы.

¶Логическая корректность

Логическая корректность — свойство рассуждения, при котором выводы следуют из посылок в соответствии с законами логики. Некорректным в этом смысле считается умозаключение, содержащее логические ошибки: подмену тезиса, круг в доказательстве, поспешное обобщение. В математике и теоретической информатике корректность алгоритма означает его способность давать верный результат для всех допустимых входных данных.

¶Социальная корректность

Социальная корректность проявляется в соблюдении норм этикета и негласных правил общения. Она включает тактичность, уважение к собеседнику, отказ от оскорбительных или провокационных формулировок. В русской речевой культуре корректным считается обращение, учитывающее статус, возраст и заслуги адресата. С конца XX века в англоязычных странах, а затем и в других регионах распространилась практика «политической корректности» — сознательного избегания слов и выражений, закрепляющих негативные стереотипы по признаку расы, пола, возраста, состояния здоровья или сексуальной ориентации.

¶Техническая корректность

В технике и программировании корректность — ключевое требование к работе систем и кода. Различают частичную корректность (программа завершает работу и выдаёт правильный результат, если завершается) и полную корректность (программа обязательно завершается с правильным результатом). Проверка корректности осуществляется методами тестирования, верификации и формального доказательства.

¶Критерии и оценка корректности

Оценка корректности всегда опирается на некоторый эталон — совокупность норм, принятых в данной области. В языкознании таким эталоном выступает литературная норма, зафиксированная в словарях и грамматиках. В юриспруденции — действующее законодательство и сложившаяся правоприменительная практика. В науке — методологический стандарт, включающий воспроизводимость результатов и обоснованность выводов.

Относительность корректности проявляется в том, что норма может меняться со временем или различаться в разных сообществах. Например, выражение, корректное в профессиональной среде, может быть некорректным в бытовом общении, и наоборот. В межкультурной коммуникации то, что считается корректным в одной стране, иногда воспринимается как грубость или неуместность в другой.

¶Корректность в информационных технологиях

В разработке программного обеспечения корректность — одно из центральных понятий. Различают корректность данных (соответствие типу, диапазону, формату), корректность обработки (отсутствие ошибок вычисления) и корректность интерфейса (соответствие действий пользователя ожиданиям системы). Для обеспечения корректности применяются валидация входных данных, модульное тестирование и статический анализ кода. В базах данных корректность транзакций описывается свойствами ACID (атомарность, согласованность, изоляция, долговечность).

В веб-разработке и типографике корректность отображения проверяется валидаторами — программами, сверяющими код с формальными спецификациями W3C. Некорректный код может некорректно отображаться в разных браузерах или нарушать требования доступности.

¶Критика понятия

Концепция корректности подвергается критике по нескольким направлениям. Скептики указывают, что формальная корректность не гарантирует содержательной истинности: утверждение может быть идеально оформленным и при этом ложным. В социальной сфере критики политической корректности утверждают, что чрезмерное внимание к языковым нормам ведёт к самоцензуре и ограничению свободы выражения, а также может маскировать реальные проблемы подменой терминов. В философии науки обсуждается проблема несоизмеримости норм: критерии корректности, принятые в одной научной парадигме, могут быть неприменимы в другой.

¶Источники

• Квинтилиан. «Об образовании оратора» (Institutio Oratoria), ок. 95 г. н. э.
• Витгенштейн Л. «Философские исследования», 1953.
• Остин Дж. «Как производить действия при помощи слов», 1962.
• Дейкстра Э. «Дисциплина программирования», 1976.
• Хомский Н. «Аспекты теории синтаксиса», 1965.