Interested Article - Утверждение (логика)

В логике и семантике — термин «утверждение», понимается по-разному и означает, либо:

Осмысленное декларативное предложение , которое является истинным или , или
Пропозиция . Что является утверждением, которое делает (т.е. значение ) истинным или ложным декларативное предложение.

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

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

Краткий обзор

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

В любом случае, утверждение, рассматривается как .

Примеры предложений, которые являются (или делают) истинные утверждения:

«Сократ — мужчина»
«У треугольника три стороны»
«Москва является столицей России»

Примеры предложений, которые также являются утверждениями, даже если они не являются истинными:

«Все холодильники сделаны из чистого золота»
«Два плюс два, равно пять»

Примеры предложений, которые не являются (или не делают) утверждения:

«Кто вы такой?»
«Беги!»
«Растение вышло на прогулку»
«У меня была одна свинья, но она баклажан»
« Король Карл III мудр»
«Брокколи (капуста) очень вкусная»
«Единорог существует»

Первые два примера не являются декларативными предложениями и поэтому не являются (или не делают) утверждениями. Третий и четвёртый примеры, являются декларативными предложениями, но, не имея смысла, не являются ни истинными, ни ложными и поэтому не являются (или не делают) утверждениями. Пятый и шестой примеры, являются осмысленными декларативными предложениями, но это не утверждения, а скорее вопросы мнения или вкуса. Является ли предложение «Единорог существует» утверждением или нет — предмет спора среди философов. Бертран Рассел считал, что это (ложное) утверждение. Питер Фредерик Стросон считал, что это вообще не утверждение.

Как абстрактная сущность

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