Предложение является центральным понятием в философии языка , семантике , логике и смежных областях, часто характеризуемым как основной носитель истины или ложности . Предложения также часто характеризуются как вид вещей, которые обозначают повествовательные предложения . Например , предложение «Небо синее» обозначает предложение, что небо синее. Однако, что важно, предложения сами по себе не являются языковыми выражениями . Например, английское предложение «Снег белый» обозначает то же предложение, что и немецкое предложение «Schnee ist weiß», хотя эти два предложения не одинаковы. Аналогичным образом предложения также можно характеризовать как объекты убеждения и других пропозициональных установок . Например, если кто-то верит, что небо синее, то он верит в утверждение, что небо синее. Предложение также можно рассматривать как своего рода идею : в словаре Коллинза есть определение предложения как «утверждение или идея, которые люди могут рассматривать или обсуждать, являются ли они истинными». [1]
Формально, предложения часто моделируются как функции , которые отображают возможный мир в истинностное значение . Например, предложение о том, что небо голубое, может быть смоделировано как функция, которая вернула бы истинностное значение, если бы в качестве входных данных был указан реальный мир, но вернула бы его, если бы был указан некий альтернативный мир, где небо зеленое. Однако было предложено несколько альтернативных формализаций, в частности, представление структурированных предложений .
Предложения играли большую роль на протяжении всей истории логики , лингвистики , философии языка и смежных дисциплин. Некоторые исследователи сомневались в возможности последовательного определения пропозициональности, Дэвид Льюис даже заметил, что «концепция, которую мы связываем со словом „предложение“, может быть чем-то вроде смеси противоречивых желаний». Термин часто используется в широком смысле и использовался для обозначения различных связанных понятий.
Аристотелевская логика определяет категорическое суждение как предложение, которое утверждает или отрицает предикат субъекта , факультативно с помощью связки . Аристотелевское суждение может иметь форму «Все люди смертны» или «Сократ — человек». В первом примере субъект — «люди», предикат — «смертный», а связка — «являются», тогда как во втором примере субъект — «Сократ», предикат — «человек», а связка — «является». [2]
Часто предложения связывают с закрытыми формулами (или логическими предложениями) , чтобы отличить их от того, что выражается открытой формулой . В этом смысле предложения являются «утверждениями», которые являются носителями истины . Такая концепция предложения поддерживалась философской школой логического позитивизма .
Некоторые философы утверждают, что некоторые (или все) виды речи или действий, помимо декларативных, также имеют пропозициональное содержание. Например, вопросы «да-нет» представляют пропозиции, будучи запросами об их истинностном значении . С другой стороны, некоторые знаки могут быть декларативными утверждениями пропозиций, не образуя предложения и даже не будучи лингвистическими (например, дорожные знаки передают определенное значение, которое является либо истинным, либо ложным).
О предложениях также говорят как о содержании убеждений и подобных интенциональных установок , таких как желания, предпочтения и надежды. Например, «Я хочу , чтобы у меня была новая машина » или «Интересно , пойдет ли снег » (или, действительно ли «попадет снег»). Желание, убеждение, сомнение и т. д. называются пропозициональными установками, когда они принимают этот вид содержания. [3]
Бертран Рассел считал, что предложения — это структурированные сущности с объектами и свойствами в качестве составляющих. Одно важное отличие от взгляда Людвига Витгенштейна (согласно которому предложение — это множество возможных миров /состояний дел, в которых оно истинно) заключается в том, что в расселовском подходе два предложения, которые истинны во всех тех же самых положениях дел, все еще могут быть дифференцированы. Например, предложение «два плюс два равно четырем» отличается в расселовском подходе от предложения «три плюс три равно шести». Однако, если предложения — это множества возможных миров, то все математические истины (и все другие необходимые истины) являются одним и тем же множеством (множеством всех возможных миров). [ необходима цитата ]
В отношении разума предложения обсуждаются в первую очередь в том виде, в котором они вписываются в пропозициональные установки . Пропозициональные установки — это просто установки, характерные для народной психологии (вера, желание и т. д.), которые можно принять по отношению к предложению (например, «идёт дождь», «снег белый» и т. д.). В английском языке предложения обычно следуют за народными психологическими установками с помощью «предложения того» (например, «Джейн верит , что идёт дождь»). В философии разума и психологии часто считается, что ментальные состояния в первую очередь состоят из пропозициональных установок. Обычно говорят, что предложения являются «ментальным содержанием» установки. Например, если у Джейн есть ментальное состояние веры в то, что идёт дождь, её ментальным содержанием является предложение «идёт дождь». Более того, поскольку такие ментальные состояния о чём-то (а именно, предложения), их называют интенциональными ментальными состояниями.
Объяснение отношения предложений к разуму особенно сложно для нементалистских взглядов на предложения, таких как взгляды логических позитивистов и Рассела, описанные выше, и взгляд Готтлоба Фреге , что предложения являются платоновскими сущностями, то есть существующими в абстрактной, нефизической сфере. [4] Поэтому некоторые недавние взгляды на предложения считают их ментальными. Хотя предложения не могут быть отдельными мыслями, поскольку они не являются общими, они могут быть типами когнитивных событий [5] или свойствами мыслей (которые могут быть одинаковыми у разных мыслителей). [6]
Философские дебаты вокруг предложений, поскольку они связаны с пропозициональными установками, также недавно сосредоточились на том, являются ли они внутренними или внешними по отношению к агенту, или являются ли они зависимыми от ума или независимыми от ума сущностями. Для получения дополнительной информации см. статью об интернализме и экстернализме в философии разума.
Как отмечалось выше, в аристотелевской логике суждение — это особый вид предложения ( повествовательное предложение ), которое утверждает или отрицает предикат субъекта , возможно, с помощью связки . [ 2] Аристотелевские суждения принимают такие формы , как «Все люди смертны» и «Сократ — человек».
В современной логике термин «предложение» часто используется для предложений формального языка. В этом использовании предложения являются формальными синтаксическими объектами, которые могут изучаться независимо от значения, которое они получили бы от семантики . Предложения также называются предложениями, утверждениями, формами утверждений, формулами и правильно сформированными формулами , хотя эти термины обычно не являются синонимами в пределах одного текста.
Формальный язык начинается с различных типов символов. Эти типы могут включать переменные , операторы , символы функций , символы предикатов (или отношений) , квантификаторы и пропозициональные константы . (Группировочные символы, такие как разделители, часто добавляются для удобства использования языка, но не играют логической роли.) Символы объединяются вместе в соответствии с рекурсивными правилами, чтобы построить строки, которым будут назначены значения истинности . Правила определяют, как операторы, символы функций и предикатов, а также квантификаторы должны быть объединены с другими строками. Тогда предложение представляет собой строку с определенной формой. Форма, которую принимает предложение, зависит от типа логики.
Тип логики, называемый пропозициональной, сентенциальной или логикой утверждений, включает в себя только операторы и пропозициональные константы в качестве символов в своем языке. Предложения в этом языке являются пропозициональными константами, которые считаются атомарными предложениями, и составными (или составными) предложениями, [7] , которые составлены путем рекурсивного применения операторов к предложениям. Применение здесь — это просто короткий способ сказать, что было применено соответствующее правило конкатенации.
Типы логик, называемые предикатными, квантификационными или логикой n -го порядка , включают переменные, операторы, предикатные и функциональные символы, а также квантификаторы как символы в их языках. Предложения в этих логиках более сложные. Сначала обычно начинают с определения термина следующим образом:
Например, если + — это символ бинарной функции, а x , y и z — это переменные, то x +( y + z ) — это термин, который может быть записан с использованием символов в различных порядках. После определения термина предложение может быть определено следующим образом:
Например, если = — это бинарный предикатный символ, а ∀ — квантификатор, то ∀ x , y , z [( x = y ) → ( x + z = y + z )] — это предложение. Эта более сложная структура предложений позволяет этим логикам проводить более тонкие различия между выводами, т. е. иметь большую выразительную силу.
Предложения стандартно понимаются семантически как индикаторные функции , которые берут возможный мир и возвращают значение истинности. Например, предложение о том, что небо голубое, может быть представлено как функция такая, что для каждого мира , если таковой имеется, где небо голубое, и для каждого мира , если таковой имеется, где оно не голубое. Предложение может быть смоделировано эквивалентно с помощью обратного образа под индикаторной функцией, которую иногда называют характеристическим множеством предложения. Например, если и являются единственными мирами, в которых небо голубое, предложение о том, что небо голубое, может быть смоделировано как множество . [8] [9] [10] [11]
Было предложено множество уточнений и альтернативных понятий пропозициональности, включая пытливые пропозиции и структурированные пропозиции . [12] [9] Пропозиции называются структурированными пропозициями , если они имеют составляющие, в некотором широком смысле. [3] [13] Предполагая структурированный взгляд на пропозиции, можно различать единичные пропозиции (также расселовские пропозиции , названные в честь Бертрана Рассела ), которые относятся к конкретному человеку, общие пропозиции , которые не относятся ни к какому конкретному человеку, и частные пропозиции , которые относятся к конкретному человеку, но не содержат этого человека в качестве составляющей. [14]
Попытки дать работоспособное определение предложения включают следующее:
Два осмысленных повествовательных предложения выражают одно и то же утверждение, если и только если они означают одно и то же. [ необходима цитата ]
которое определяет предложение в терминах синонимии. Например, «Snow is white» (в английском) и «Schnee ist weiß» (в немецком) — это разные предложения, но они говорят одно и то же, поэтому они выражают одно и то же предложение. Другое определение предложения:
Два значимых повествовательных предложения-токена выражают одно и то же суждение, если и только если они означают одно и то же. [ необходима цитата ]
Приведенные выше определения могут привести к двум идентичным предложениям/предложениям-токенам, имеющим, по-видимому, одно и то же значение, и, таким образом, выражающим одно и то же утверждение, но при этом имеющим разные значения истинности, как в «Я Спартак», сказанном Спартаком и сказанном Джоном Смитом, и «Сегодня среда», сказанном в среду и в четверг. Эти примеры отражают проблему двусмысленности в обычном языке, что приводит к ошибочной эквивалентности утверждений. «Я Спартак», произнесенное Спартаком, является заявлением о том, что говорящий индивидуум называется Спартак, и это правда. Когда его произносит Джон Смит, это заявление о другом говорящем, и это ложно. Термин «я» означает разные вещи, поэтому «Я Спартак» означает разные вещи.
Связанная проблема возникает, когда идентичные предложения имеют одинаковое истинностное значение, но выражают разные суждения. Предложение «Я философ» могло быть произнесено как Сократом, так и Платоном. В обоих случаях утверждение истинно, но означает что-то разное.
Эти проблемы решаются в логике предикатов с помощью использования переменной для проблемного термина, так что «X — философ» может иметь Сократа или Платона вместо X, иллюстрируя, что «Сократ — философ» и «Платон — философ» — это разные предложения. Аналогично, «Я — Спартак» становится «X — Спартак», где X заменяется терминами, представляющими индивидов Спартака и Джона Смита.
Другими словами, проблем с примерами можно избежать, если формулировать предложения точно, так, чтобы их термины имели недвусмысленные значения.
Ряд философов и лингвистов утверждают, что все определения предложения слишком расплывчаты, чтобы быть полезными. Для них это просто вводящая в заблуждение концепция, которую следует удалить из философии и семантики . У. В. Куайн , признавший существование множеств в математике, [15] утверждал, что неопределенность перевода препятствует любому осмысленному обсуждению предложений, и что их следует отбросить в пользу предложений. [16] П. Ф. Стросон , с другой стороны, выступал за использование термина « утверждение ».
Медиа, связанные с Propositions на Wikimedia Commons[[Категория:Формальная семантика (естественный язык)
