Введение

Носитель истины или лжи

Предложение — центральная концепция в философии языка, семантике, логике и смежных областях, часто характеризуемая как первичный носитель истины или лжи. Предложения также часто характеризуются как то, что обозначают утвердительные высказывания. Например, высказывание "Небо голубое" обозначает предложение, что небо голубое. Однако, что важно, предложения сами по себе не являются лингвистическими выражениями. Например, английское высказывание "Snow is white" обозначает то же самое предложение, что и немецкое высказывание "Schnee ist weiß", хотя эти два высказывания не одинаковы. Аналогично, предложения могут также быть охарактеризованы как объекты убеждений и других пропозициональных установок. Например, если кто-то верит, что небо голубое, то он верит в предложение, что небо голубое. Предложение также можно рассматривать как своего рода идею: словарь Коллинза дает определение предложения как "утверждение или идея, которую люди могут рассматривать или обсуждать, истинна ли она". Формально, предложения часто моделируются как функции, которые отображают возможный мир в значение истинности. Например, предложение о том, что небо голубое, может быть смоделировано как функция, которая возвращает значение истинности, если ей на вход подается актуальный мир, но возвращает ложь, если ей подается альтернативный мир, где небо зеленое. Однако было предложено ряд альтернативных формализаций, в частности, представление структурированных предложений. Предложения играли большую роль на протяжении всей истории логики, лингвистики, философии языка и смежных дисциплин. Некоторые исследователи сомневаются в том, возможно ли последовательное определение сущности предложения, Дэвид Льюис даже заметил, что "концепция, которую мы ассоциируем со словом 'предложение', может быть чем-то вроде сплава противоречивых требований". Термин часто используется в широком смысле и применяется для обозначения различных связанных понятий.

Аристотель

Аристотелевская логика определяет категорическое суждение как высказывание, утверждающее или отрицающее предикат по отношению к субъекту, возможно, с помощью связки. Аристотелевское суждение может иметь форму "Все люди смертны" или "Сократ есть человек". В первом примере субъект — "люди", предикат — "смертные", а связка — "есть", в то время как во втором примере субъект — "Сократ", предикат — "человек", а связка — "есть".

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

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

Расселл

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

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

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

Семантическая характеристика

Предложения обычно понимаются семантически как индикаторные функции, которые принимают на вход возможный мир и возвращают значение истинности. Например, предложение «небо голубое» можно представить как функцию, которая принимает значение «истина» для любого мира, где небо голубое, и значение «ложь» для любого мира, где небо не голубое. Предложение может быть эквивалентно смоделировано как обратный образ под индикаторной функцией, который иногда называют характеристическим множеством предложения. Например, если *w₁* и *w₂* – единственные миры, в которых небо голубое, то предложение «небо голубое» может быть смоделировано как множество {*w₁*, *w₂*}. Было предложено множество усовершенствований и альтернативных понятий предложения, включая инквизитивные и структурированные предложения. Принимая структурированный взгляд на предложения, можно различать сингулярные предложения (также известные как расселовские предложения, по имени Бертранда Рассела), которые касаются конкретного индивида, общие предложения, которые не касаются какого-либо конкретного индивида, и партикулярные предложения, которые касаются конкретного индивида, но не содержат этого индивида в качестве компонента.