В логике и семантике термин «утверждение» по-разному понимается как:
В последнем случае утверждение отличается от предложения тем, что предложение представляет собой лишь одну формулировку утверждения, тогда как может существовать множество других формулировок, выражающих одно и то же утверждение.
Под утверждением подразумевается «то, что утверждается», а не утверждение об этом. Существует много толкований того, что означает термин утверждение, но в целом он указывает либо на: осмысленное повествовательное предложение, которое является либо истинным, либо ложным (двузначность ) , либо на: суждение. Предложение — это утверждение, которое сделано посредством (т. е. значением) истинного или ложного повествовательного предложения. Предложение — это то, что означает утверждение, это понятие или идея, которую высказывание выражает, т. е. то, что оно представляет. Можно сказать, что «2 + 2 = 4» и «два плюс два равно четырем» — это два разных утверждения, которые выражают одно и то же суждение двумя разными способами. [1]
Философ языка Питер Стросон (1919–2006) отстаивал использование термина «утверждение» в смысле (b) вместо предложения . Стросон использовал термин «утверждение», чтобы подчеркнуть, что два повествовательных предложения могут составлять одно и то же утверждение, если они говорят одно и то же разными способами. Таким образом, в использовании, защищаемом Стросоном, «Все люди смертны.» и «Каждый человек смертен.» являются двумя разными предложениями, которые составляют одно и то же утверждение.
В любом случае утверждение рассматривается как носитель истины .
Примеры предложений, которые являются (или содержат) истинные утверждения:
Примеры предложений, которые также являются утверждениями, даже если они не являются истинными:
Примеры предложений, которые не являются утверждениями (или не содержат их):
Первые два примера не являются декларативными предложениями и, следовательно, не являются (или не являются) утверждениями. Третий и четвертый примеры являются декларативными предложениями, но, не имея смысла, не являются ни истинными, ни ложными и, следовательно, не являются (или не являются) утверждениями. Пятый и шестой примеры являются содержательными декларативными предложениями, но не являются утверждениями, а скорее вопросами мнения или вкуса. Является ли предложение «Пегас существует» утверждением или нет, является предметом споров среди философов. Бертран Рассел считал, что это (ложное) утверждение. [ необходима цитата ] Стросон считал, что это вообще не утверждение. [ необходима цитата ]
В некоторых трактовках «утверждение» вводится для того, чтобы отличить предложение от его информационного содержания. Утверждение рассматривается как информационное содержание предложения, несущего информацию. Таким образом, предложение относится к утверждению, которое оно несет, как цифра к числу, на которое она ссылается. Утверждения являются абстрактными логическими сущностями , в то время как предложения являются грамматическими сущностями . [2] [3]