Утверждение (логика)
В логике и семантике термин « высказывание» по-разному понимается как означающий либо:
- осмысленное повествовательное предложение , которое является истинным или ложным , или
- предложение . Это утверждение , которое сделано посредством (т. е. значения ) истинного или ложного повествовательного предложения.
В последнем случае высказывание отличается от предложения тем, что предложение представляет собой лишь одну формулировку высказывания, тогда как может существовать множество других формулировок, выражающих одно и то же высказывание.
Под высказыванием подразумевается «то, что говорится», а не высказывание об этом. Существует множество интерпретаций того, что означает термин «высказывание», но, как правило, он указывает либо на осмысленное повествовательное предложение, которое либо истинно, либо ложно ( двувалентность ), либо на суждение. Предложение — это утверждение, которое сделано посредством (т. е. значения) истинного или ложного повествовательного предложения. Предложение — это то, что означает высказывание, это понятие или идея, которую высказывание выражает, т. е. то, что оно представляет. Можно сказать, что «2 + 2 = 4» и «два плюс два равно четырем» — это два разных утверждения, которые выражают одно и то же предложение двумя разными способами. [1]
Обзор [ править ]
Философ языка Питер Стросон (1919–2006) выступал за использование термина «высказывание» в смысле (b) вместо предложения . Стросон использовал термин «высказывание», чтобы подчеркнуть, что два повествовательных предложения могут содержать одно и то же утверждение, если они говорят об одном и том же разными способами. Таким образом, в высказывании Стросона «Все люди смертны». и «Каждый человек смертен». это два разных предложения, в которых содержится одно и то же утверждение.
В любом случае утверждение рассматривается как носитель истины .
Примеры предложений, которые являются (или содержат) истинные утверждения:
- «Сократ — мужчина».
- «У треугольника три стороны».
- «Мадрид — столица Испании».
Примеры предложений, которые также являются утверждениями, даже если они неверны:
- «Все тостеры сделаны из чистого золота».
- «Два плюс два равно пяти».
Примеры предложений, которые не являются (или не содержат) утверждениями:
- "Кто ты?"
- "Бегать!"
- «Зелень гуляет».
- «У меня был один завтрак, кроме вон того баклажана».
- « Король Карл III мудр».
- «Брокколи имеет приятный вкус».
- «Пегас существует».
Первые два примера не являются повествовательными предложениями и, следовательно, не являются утверждениями (или не содержат высказываний). Третье и четвертое предложения являются повествовательными, но, лишенные смысла, не являются ни истинными, ни ложными и, следовательно, не являются утверждениями (или не содержат их). Пятый и шестой примеры представляют собой осмысленные повествовательные предложения, но это не утверждения, а скорее вопросы мнения или вкуса. Существует ли предложение «Пегас». Это утверждение является предметом споров среди философов. Бертран Рассел считал, что это (ложное) заявление. [ нужна цитата ] Стросон считал, что это вовсе не заявление. [ нужна цитата ]
Как абстрактная сущность [ править ]
В некоторых трактовках «высказывание» вводится для того, чтобы отличить предложение от его информационного содержания. Высказывание рассматривается как информационное содержание информационного предложения. Таким образом, предложение связано с высказыванием, которое оно несет, как цифра с числом, к которому оно относится. Утверждения являются абстрактными логическими объектами , а предложения — грамматическими объектами . [2] [3]
См. также [ править ]
- Вера
- Утверждение (логика)
- Концепция
- Предложение (математическая логика)
- Носитель истины – утверждения
Примечания [ править ]
- ^ Кашеф, Арман. (2023), В поисках универсальной логики: краткий обзор эволюции формальной логики , doi : 10.13140/RG.2.2.24043.82724/1
- ^ Роуз
- ^ Ружа 2000 , с. 16
Ссылки [ править ]
- А. Г. Гамильтон, Логика для математиков , издательство Кембриджского университета, 1980, ISBN 0-521-29291-3 .
- Роуз, Дэвид Л., «Предложения, утверждения и аргументы» (PDF) , Практическое введение в формальную логику.
- Ружа, Имре (2000), Введение в современную логику , учебники Осириса, Будапешт: Осирис, ISBN 963-379-978-3
- Ксенакис, Джейсон (1956). «Предложение и заявление: профессор Куайн о мистере Стросоне». Анализ . 16 (4): 91–4. дои : 10.2307/3326478 . ISSN 1467-8284 . JSTOR 3326478 .
- Питер Милликан , « Высказывания и модальность: Стросон, Куайн и Вольфрам ».
- П.Ф. Строусон , « Об обращении » в уме , том 59, № 235 (июль 1950 г.)
