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

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

  1. содержательное декларативное предложение, которое является истинным или ложным , или
  2. предложение . Какое утверждение делается (то есть смысл ) истинным или ложным декларативным предложением .

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

Обзор

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

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

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

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

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

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

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

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

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

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

Заметки

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

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