Предложение - Proposition

Эта статья о термине в логике и философии. Для использования в других целях см. Предложение (значения).
Не путать с предлог.

В философия, а предложение значение декларативного предложение, где "смысл "понимается как неязыковая сущность, которая присуща всем предложениям с одинаковым значением.[1] Точно так же суждение - это неязыковое носитель из правда или фальшь что делает любое предложение, выражающее его, истинным или ложным.

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

Хотя термин «пропозиция» иногда может использоваться в повседневном языке для обозначения лингвистического утверждения, которое может быть истинным или ложным, технический философский термин, который отличается от математического использования, относится исключительно к неязыковому значению, стоящему за утверждением. . Этот термин часто используется очень широко и может также относиться к различным родственным понятиям как в истории философии, так и в современной истории философии. аналитическая философия. Обычно его можно использовать для обозначения некоторых или всех из следующего: Основные носители ценности истины (например, «истина» и «ложь»); объекты вера и другие пропозициональные установки (то есть во что верят, сомневаются и т. д.); то референты предложений "that" (например, "Это правда что небо голубое"и" я верю что небо голубое"оба содержат предложение небо голубое); и значения повествовательных предложений.[1]

Поскольку предложения определяются как разделяемые объекты отношений и первичные носители истины и ложности, это означает, что термин «предложение» не относится к конкретным мыслям или конкретным высказываниям (которые не подлежат распространению в разных случаях) и не относится к ним. к конкретным событиям или фактам (которые не могут быть ложными).[1] Логика высказываний имеет дело прежде всего с предложениями и логическими отношениями между ними.

Историческое использование

Аристотель

Аристотелевская логика определяет категоричное предложение как предложение, которое подтверждает или отрицает предикат из предмет с помощью Copula. Утверждение Аристотеля может принимать форму «Все люди смертны» или «Сократ - человек». В первом примере подлежащее - «мужчины», сказуемое - «смертный» и связка - «есть», а во втором примере подлежащее - «Сократ», сказуемое - «мужчина» и связка - «есть». .[2]

Логическими позитивистами

Часто предложения связаны с закрытые формулы (или логическое предложение) отличить их от того, что выражается открытая формула. В этом смысле предложения - это «утверждения», которые носители правды. Эта концепция предложения была поддержана философской школой логический позитивизм.

Некоторые философы утверждают, что некоторые (или все) виды речи или действий, помимо декларативных, также имеют пропозициональное содержание. Например, Да, без вопросов представить предложения, будучи расследованиями в значение истины их. С другой стороны, некоторые знаки могут быть декларативными утверждениями предложений, без формирования предложения и даже без лингвистики (например, дорожные знаки передают определенное значение, которое является либо истинным, либо ложным).

О предложениях также говорят как о содержании верования и подобные преднамеренное отношение, например, желания, предпочтения и надежды. Например, «Я хочу что у меня новая машина, "или" интересно будет ли снег«(или, если это так, что« пойдет снег »). Желание, вера, сомнение и т. д., таким образом, называются пропозициональными установками, когда они принимают такой вид содержания.[1]

Рассел

Бертран Рассел считал, что предложения - это структурированные сущности с объектами и свойствами в качестве составных частей. Одно важное различие между Людвиг Витгенштейн точка зрения (согласно которой пропозиция - это набор возможных миров / состояний дел, в которых оно истинно) состоит в том, что с точки зрения Рассела, два утверждения, истинные во всех одних и тех же положениях дел, все же могут быть различимы. Например, утверждение «два плюс два равняется четырем» с точки зрения Рассела отличается от утверждения «три плюс три равняется шести». Однако если предложения являются наборами возможных миров, тогда все математические истины (и все другие необходимые истины) являются одним и тем же набором (набором всех возможных миров).[нужна цитата ]

Отношение к разуму

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

Философские дебаты вокруг суждений, поскольку они относятся к пропозициональным установкам, также недавно сосредоточились на том, являются ли они внутренними или внешними по отношению к агенту, или являются ли они зависимыми от ума или независимыми от ума сущностями. Для получения дополнительной информации см. Запись на интернализм и экстернализм в философии разума.

Лечение по логике

Как отмечалось выше, в Аристотелевская логика предложение - это особый вид предложения, которое подтверждает или отрицает предикат из предмет с помощью связка.[2] Утверждения Аристотеля принимают такие формы, как «Все люди смертны» и «Сократ - человек».

Предложения появляются в современной формальной логике как объекты формального языка. Формальный язык начинается с разных типов символов. Эти типы могут включать переменные, операторы, функциональные символы, символы предиката (или отношения), кванторы, и пропозициональные константы.[3] (Группировка символов, таких как разделители часто добавляются для удобства использования языка, но не играют логической роли). соединенный вместе согласно рекурсивный правила, чтобы построить строки, к которым истинные ценности будет назначен. Правила определяют, как операторы, символы функций и предикатов, а также кванторы должны быть связаны с другими строками. Предложение - это строка определенной формы. Форма, которую принимает предложение, зависит от типа логики.

Тип логики называется пропозициональная, предложения или логика высказываний включает только операторы и пропозициональные константы в качестве символов на своем языке. Предложения на этом языке являются пропозициональными константами, которые считаются атомарными пропозициями, и составными (или составными) пропозициями,[4] которые составлены путем рекурсивного применения операторов к предложениям. заявка это просто краткий способ сказать, что было применено соответствующее правило конкатенации.

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

  1. Переменная или
  2. Функциональный символ, применяемый к количеству терминов, необходимых для функционального символа. арность.

Например, если + символ двоичной функции и Икс, у, и z переменные, то х + (у + г) это термин, который может быть написан с помощью символов в различном порядке. После определения термина предложение может быть определено следующим образом:

  1. Символ предиката, применяемый к количеству терминов, требуемому его арностью, или
  2. Оператор, применяемый к количеству предложений, требуемому его арностью, или
  3. Квантор, применяемый к предложению.

Например, если = является двоичным предикатным символом и ∀ квантификатор, то ∀x, y, z [(x = y) → (x + z = y + z)] это предложение. Эта более сложная структура предложений позволяет этой логике проводить более тонкие различия между выводами, то есть иметь большую выразительную силу.

В этом контексте предложения также называются предложениями, утверждениями, формами утверждений, формулами и правильные формулы, хотя эти термины обычно не являются синонимами в одном тексте. Это определение трактует предложения как синтаксический объекты, в отличие от семантический или умственный объекты. То есть предложения в этом смысле являются бессмысленными, формальными, абстрактными объектами. Им присваивается значение и истинностные ценности с помощью отображений, называемых интерпретации и оценки соответственно.

В математика предложения часто конструируются и интерпретируются аналогично логике предикатов, хотя и более неформальным образом. Например. ан аксиома может пониматься как предложение в широком смысле этого слова, хотя этот термин обычно используется для обозначения проверенного математического утверждения, важность которого обычно нейтральна по своей природе.[5][6] Другие похожие термины в этой категории включают:

  • Теорема (доказанное математическое утверждение значительной важности)
  • Лемма (доказанное математическое утверждение, важность которого вытекает из теоремы, которую оно стремится доказать)
  • Следствие (доказанное математическое утверждение, истинность которого легко следует из теоремы).[7]

Предложения называются структурированные предложения если у них есть составляющие в широком смысле.[1][8]

Предполагая структурированный взгляд на предложения, можно различать единичные предложения (также Расселлианские предложения, названный в честь Бертран Рассел ), которые касаются конкретного человека, общие предложения, которые не касаются какого-либо конкретного человека, и частные предложения, которые относятся к конкретному человеку, но не содержат этого человека в качестве составной части.[9]

Возражения на предложения

Попытки дать работоспособное определение предложения включают следующее:

Два значимых повествовательных предложения выражают одно и то же суждение тогда и только тогда, когда они означают одно и то же.[нужна цитата ]

который определяет предложение с точки зрения синонимии. Например, «Snow is white» (по-английски) и «Schnee ist weiß» (по-немецки) - разные предложения, но они говорят одно и то же, поэтому выражают одно и то же предложение. Другое определение предложения:

Два значимых декларативных предложения-токена выражают одно и то же предложение, если и только если они означают одно и то же.[нужна цитата ]

К сожалению, приведенные выше определения могут привести к тому, что два идентичных предложения / предложения-токена могут иметь одно и то же значение и, таким образом, выражать одно и то же предложение, но при этом иметь разные значения истинности, как в «Я Спартак», сказанном Спартаком и сказанном Иоанном. Смит, а «Сегодня среда» сказал в среду и в четверг. Эти примеры отражают проблему двусмысленности в обыденном языке, что приводит к ошибочной двусмысленности утверждений. «Я Спартак», сказанное Спартаком, является заявлением о том, что говорящего человека называют Спартаком, и это правда. Когда это говорит Джон Смит, это заявление о другом говорящем и ложное. Термин «Я» означает разные вещи, поэтому «Я Спартак» означает разные вещи.

Связанная проблема возникает, когда идентичные предложения имеют одинаковую ценность истинности, но выражают разные предложения. Фразу «Я философ» могли произнести и Сократ, и Платон. В обоих случаях утверждение верно, но означает иное.

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

Другими словами, примеров проблем можно избежать, если предложения сформулированы с достаточной точностью, чтобы их термины имели однозначное значение.

Ряд философов и лингвистов заявляют, что все определения предложения слишком расплывчаты, чтобы быть полезными. Для них это просто вводящая в заблуждение концепция, которую следует удалить из философии и семантика. В. В. Куайн, который допустил существование наборы по математике,[10] утверждал, что неопределенность перевода препятствует содержательному обсуждению предложений и что от них следует отказаться в пользу предложений.[11] Стросон, с другой стороны, выступал за использование термина "заявление ".

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

использованная литература

  1. ^ а б c d е МакГрат, Мэтью; Фрэнк, Девин. «Утверждения (Стэнфордская энциклопедия философии)». Plato.stanford.edu. Получено 2014-06-23.
  2. ^ а б Groarke, Луис. «Аристотель: логика - от слов к предложениям». Интернет-энциклопедия философии. Получено 2019-12-10.
  3. ^ «Исчерпывающий список логических символов». Математическое хранилище. 2020-04-06. Получено 2020-08-20.
  4. ^ "Математика | Введение в логику высказываний | Набор 1". Гики. 2015-06-19. Получено 2019-12-11.
  5. ^ «Окончательный глоссарий высшего математического жаргона - предложение». Математическое хранилище. 2019-08-01. Получено 2019-12-11.
  6. ^ Вайсштейн, Эрик В. «Предложение». mathworld.wolfram.com. Получено 2020-08-20.
  7. ^ Робинсон, Р. Кларк (2008–2009). «Основные идеи абстрактной математики» (PDF). math.northwestern.edu. Получено 2019-12-10.
  8. ^ Фитч, Грег; Нельсон, Майкл (2018), «Особые предложения», в Залте, Эдвард Н. (ред.), Стэнфордская энциклопедия философии (Издание весны 2018 г.), Исследовательская лаборатория метафизики Стэнфордского университета, получено 2019-12-11
  9. ^ Структурированные предложения Джеффри К. Кинг
  10. ^ МакГрат, Мэтью; Франк, Девин (2018), «Предложения», в Залте, Эдвард Н. (ред.), Стэнфордская энциклопедия философии (Издание весны 2018 г.), Исследовательская лаборатория метафизики Стэнфордского университета, получено 2020-08-20
  11. ^ Куайн, В. В. (1970). Философия логики. Нью-Джерси США: Прентис-Холл. стр.1–14. ISBN  0-13-663625-X.

внешние ссылки