Утверждение — понятие логики и права¶

Утверждение — это высказывание, которое обладает истинностным значением, то есть может быть либо истинным, либо ложным. В классической логике утверждение (также называемое пропозицией или суждением) считается основной единицей рассуждения: именно из утверждений строятся доказательства, определения и теории. Утверждение отличается от вопроса, побуждения или восклицания тем, что оно не спрашивает и не приказывает, а констатирует некоторое положение дел, которое может соответствовать или не соответствовать действительности.

¶Логическое понятие утверждения

В логике под утверждением понимают любое предложение (или выражение с переменными), которому можно приписать значение «истина» или «ложь». Примеры утверждений: «Снег белый», «2 + 2 = 4», «Все люди смертны». Примеры неутверждений: «Какой сегодня день?», «Закрой дверь!», «Ах, какой красивый закат!» — эти высказывания не могут быть оценены как истинные или ложные в строгом смысле.

Ключевые свойства утверждений:

• Истинностное значение — каждое утверждение принимает ровно одно из двух значений: 1 (истина) или 0 (ложь) в бинарной логике. В многозначных логиках допускаются и промежуточные значения.
• Интенсиональность и денотация — утверждение выражает некоторый смысл (содержание) и отсылает к факту в мире.
• Объективность истинности — считается, что истинность утверждения не зависит от того, кто его произносит и верит ли в него кто-либо.

Из утверждений с помощью логических связок («и», «или», «не», «если… то…», «тогда и только тогда») строятся сложные утверждения. Логика изучает, как истинность сложного утверждения зависит от истинности его частей — это предмет математической логики и теории моделей.

¶Утверждение в философии

Философская традиция связывает понятие утверждения с учением о суждении — мыслительном акте, в котором субъект связывается с предикатом. Аристотель описывал суждение как акт, в котором нечто утверждается или отрицается о чём-либо, и выделял общие, частные и единичные суждения, а также утверждения и отрицания.

В аналитической философии XX века понятие утверждения было пересмотрено. Фреге различал «мысль» (Sinn) и её истинностное значение, а позже исследователи (П. Ф. Стросон, Дж. Л. Остин) обратили внимание на то, что произнесение утверждения — это речевой акт. Остин ввёл различение констатаций (constatives) и перформативов: одни высказывания только описывают состояние дел и оцениваются по критерию истины-ложи, другие — сами выполняют действие (например, «Объявляю вас мужем и женой») и оцениваются по критерию уместности.

¶Утверждение и суждение в отечественной традиции

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

Советская логическая школа (А. Ф. Логунов, И. Н. Войтенко, В. А. Лекторский) разрабатывала теорию суждения в связи с вопросами теории отражения и познания. Понятие утверждения здесь тесно связано с проблемой истины: утверждение — это форма, в которой мысль человека отражает действительность и может быть проверена на соответствие фактам.

¶Утверждение в праве

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

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

В уголовном процессе утверждение обвинительного заключения или обвинительного акта прокурором — обязательная стадия перед направлением дела в суд. Прокурор при этом проверяет законность и обоснованность обвинения.

¶Утверждение в математике

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

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

¶Утверждение в психологии и педагогике

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

¶Критика и спорные вопросы

Философы и логики спорят о том, что именно считать утверждением. Стросон указывал, что предложение и утверждение — не одно и то же: предложение существует как языковая форма, а утверждение — это событие речи, совершаемое конкретным человеком в конкретный момент. Проблема «ложных существований» (утверждение «Нынешний король Франции лыс») показывает, что утверждения с пустыми референтами ставят под сомнение простую теорию истинности.

¶Источники

• Аристотель. Аналитики первые и вторые.
• Фреге Г. О смысле и денотации.
• Остин Дж. Л. Слово как действие.
• Логунов А. Ф. Введение в формальную логику.
• Войтенко И. Н. Логика: учебное пособие.
• ГОСТ Р 7.0.5-2008. Библиографическая ссылка.
• Гражданский процессуальный кодекс Российской Федерации.