Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

Обзор [ править ]

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

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

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

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

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

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

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

Как абстрактная сущность [ править ]

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

См. Также [ править ]

Заметки [ править ]

  1. ^ Роуз
  2. ^ Ружа 2000 , стр. 16

Ссылки [ править ]

  • А.Г. Гамильтон, Логика для математиков , 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/ )