В последнем случае, утверждение отличается от предложения, тем, что предложение — только одна формулировка высказывания, тогда как может существовать множество других формулировок, выражающих одно и то же утверждение.
Под утверждением, подразумевается «то, что человек высказывает», а не его заявление. Существует множество толкований значения термина «утверждение», но в целом он обозначает либо осмысленное декларативное предложение, которое является либо истинным, либо ложным (бивалентность). Пропозиция — утверждение, которое делается посредством (т.е. смысл) истинного или ложного декларативного предложения. Пропозиция — то, что означает утверждение, это понятие или идея, которую выражает утверждение, т.е. то, что оно представляет. Можно сказать, что «2 + 2 = 4» и «два плюс два равно четыре» — два разных утверждения, которые выражают одну и ту же пропозицию двумя разными способами.[1]
Философ языка, Питер Стросон, выступал за использование термина «утверждение», в значении (b) в предпочтении к предложению. Стросон использовал термин «утверждение», чтобы доказать, что два декларативных предложения могут делать одно и то же утверждение, если они говорят об одном и том же разными способами. Таким образом, в употреблении, поддерживаемом Стросоном, «Все люди смертны» и «Каждый человек смертен» — являются двумя разными предложениями, которые делают одно и то же утверждение.
Первые два примера не являются декларативными предложениями и поэтому не являются (или не делают) утверждениями. Третий и четвёртый примеры, являются декларативными предложениями, но, не имея смысла, не являются ни истинными, ни ложными и поэтому не являются (или не делают) утверждениями. Пятый и шестой примеры, являются осмысленными декларативными предложениями, но это не утверждения, а скорее вопросы мнения или вкуса. Является ли предложение «Единорог существует» утверждением или нет — предмет спора среди философов. Бертран Рассел считал, что это (ложное) утверждение. Питер Фредерик Стросон считал, что это вообще не утверждение.
В некоторых трактовках, «утверждение», вводится, для того, чтобы отличить предложение от его информационного содержания. Утверждение рассматривается как информационное содержание несущего информацию предложения. Таким образом, предложение связано с утверждением, которое оно несёт, как цифра с числом, которое она обозначает. Утверждения — абстрактные логические сущности, а предложения — грамматические сущности.[2][3]
Kashef, Arman. (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1