Утверждение (логика) - Википедия - Statement (logic)

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

(а) значимый повествовательное предложение то есть истинный или же ложный, или же
(б) утверждение что сделано верным или ложным декларативным приговор.

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

Обзор

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

В любом случае заявление рассматривается как носитель правды.

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

  • «Сократ - мужчина».
  • «У треугольника три стороны».
  • «Мадрид - столица Испании».

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

  • "Кто ты?"
  • "Пробег!"
  • «Зелень бродит».
  • «У меня была одна закуска, но там баклажаны».
  • «Король Франции мудр».
  • «Брокколи приятный вкус».
  • «Пегас существует».

Первые два примера не декларативный предложения и, следовательно, не являются (или не делают) утверждениями. Третье и четвертое являются повествовательными предложениями, но, лишенные смысла, не являются ни истинными, ни ложными и, следовательно, не являются (или не делают) утверждениями. Пятый и шестой примеры представляют собой содержательные повествовательные предложения, но не утверждения, а скорее вопрос мнения или вкуса. Независимо от того, существует ли предложение «Пегас». Это утверждение является предметом споров среди философов. Бертран Рассел постановил, что это (ложное) заявление.[нужна цитата ] Стросон считал, что это вовсе не заявление.[нужна цитата ]

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

В некоторых трактовках «высказывание» вводится для того, чтобы отличить предложение от его информационного содержания. Утверждение рассматривается как информационное содержание информационного предложения. Таким образом, предложение связано с утверждением, которое оно несет, как числительное с числом, к которому оно относится. Заявления абстрактны логические объекты, а предложения грамматические объекты.[1][2]

Смотрите также

Примечания

Рекомендации

  • А. Г. Гамильтон, Логика для математиков, Издательство Кембриджского университета, 1980 г., ISBN  0-521-29291-3.
  • Рауз, Дэвид Л., «Приговоры, утверждения и аргументы», Практическое введение в формальную логику. (PDF)
  • Ружа, Имре (2000), Bevezetés современная логика, Осирис танкёнивек, Будапешт: Осирис, ISBN  963-379-978-3
  • Ксенакис, Джейсон (1956). «Приговор и заявление: профессор Куайн о мистере Стросоне». Анализ. 16 (4): 91–4. Дои:10.2307/3326478. ISSN  1467-8284. JSTOR  3326478 - через JSTOR.
  • Питер Милликан, "Заявления и условия: Strawson, Куайн и Вольфрам », http://philpapers.org/rec/MILSAM-2/
  • П. Ф. Стросон, "При обращении" в Разум, Том 59, № 235 (июль 1950 г.) П. Ф. Стросон (http://www.sol.lu.se/common/courses/LINC04/VT2010/Strawson1950.pdf/ )