Предложение

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

Предложение является центральным понятием в философии языка , семантике , логике и смежных областях, часто характеризуемым как основной носитель истины или ложности . Предложения также часто характеризуются как тип объекта , который обозначают повествовательные предложения . Например , предложение «Небо синее» обозначает предложение, что небо синее. Однако, что важно, предложения сами по себе не являются языковыми выражениями . Например, английское предложение «Снег белый» обозначает то же предложение, что и немецкое предложение «Schnee ist weiß», хотя эти два предложения не одинаковы. Аналогичным образом предложения также можно характеризовать как объекты убеждения и других пропозициональных установок . Например, если кто-то верит, что небо синее, объектом его убеждения является предложение, что небо синее.

Формально, предложения часто моделируются как функции , которые отображают возможный мир в истинностное значение . Например, предложение о том, что небо голубое, может быть смоделировано как функция, которая вернет истинностное значение, если в качестве входных данных указан реальный мир, но вернет, если указан некоторый альтернативный мир, где небо зеленое. Однако было предложено несколько альтернативных формализаций, в частности, представление структурированных предложений . ${\displaystyle T}$ ${\displaystyle F}$

Предложения играли большую роль на протяжении всей истории логики , лингвистики , философии языка и смежных дисциплин. Некоторые исследователи сомневались в возможности последовательного определения пропозициональности, Дэвид Льюис даже заметил, что «концепция, которую мы связываем со словом „предложение“, может быть чем-то вроде смеси противоречивых желаний». Термин часто используется в широком смысле и использовался для обозначения различных связанных понятий.

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

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

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

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

В современной логике

В современной логике предложения стандартно понимаются семантически как индикаторные функции , которые берут возможный мир и возвращают значение истинности. Например, предложение о том, что небо голубое, может быть представлено как функция такая, что для каждого мира , если таковой имеется, где небо голубое, и для каждого мира , если таковой имеется, где оно не голубое. Предложение может быть смоделировано эквивалентно с помощью обратного образа под индикаторной функцией, которую иногда называют характеристическим множеством предложения. Например, если и являются единственными мирами, в которых небо голубое, предложение о том, что небо голубое, может быть смоделировано как множество . ^{[4] [5] [6] [7]} ${\displaystyle f}$ ${\displaystyle f(w)=T}$ ${\displaystyle w,}$ ${\displaystyle f(v)=F}$ ${\displaystyle v,}$ ${\displaystyle T}$ ${\displaystyle w}$ ${\displaystyle w'}$ ${\displaystyle \{w,w'\}}$

Было предложено множество уточнений и альтернативных понятий пропозициональности, включая пытливые пропозиции и структурированные пропозиции . ^{[8] [5]} Пропозиции называются структурированными пропозициями , если они имеют составляющие, в некотором широком смысле. ^{[9] [10]} Предполагая структурированный взгляд на пропозиции, можно различать единичные пропозиции (также расселовские пропозиции , названные в честь Бертрана Рассела ), которые относятся к конкретному человеку, общие пропозиции , которые не относятся ни к какому конкретному человеку, и частные пропозиции , которые относятся к конкретному человеку, но не содержат этого человека в качестве составляющей. ^[5]

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

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

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

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

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

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

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

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

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

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

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

Аристотель

В аристотелевской логике предложение определялось как особый вид предложения ( повествовательное предложение ), которое утверждает или отрицает предикат субъекта , возможно, с помощью связки . [ ^{13] Аристотелевские предложения принимают такие формы} , как «Все люди смертны» и «Сократ — человек».

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

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

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

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

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

Рассел

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

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

• Философский портал

• Категорическое суждение
• Вероятностное утверждение

Ссылки

1. Балагер, Марк (2016). «Платонизм в метафизике: предложения». Стэнфордская энциклопедия философии . Получено 30 июня 2021 г.
2. Soames, Scott (2014). "Propositions ascognitive events types" (PDF) . В King, Jeffrey C.; Soames, Scott; Speaks, Jeff (ред.). New Thinking about Propositions. Нью-Йорк: Oxford University Press. ISBN 9780199693764.
3. Хоакин, Джеремайя Ховен Б.; Франклин, Джеймс (2021). «Каузально-менталистский взгляд на предложения». Organon F. 28. Получено 30 июня 2021 г.
4. Гамут, ЛТФ (1991). Логика, язык и значение: интенсиональная логика и логическая грамматика . Издательство Чикагского университета. стр. 122. ISBN 0-226-28088-8.
5. King, Jeffrey C. (2019), «Структурированные предложения», в Zalta, Edward N. (ред.), The Stanford Encyclopedia of Philosophy (зима 2016 г.), Metaphysics Research Lab, Stanford University, Section 2 , получено 30 декабря 2022 г.
6. Ирен Хайм; Анжелика Кратцер (1998). Семантика в порождающей грамматике . Уайли-Блэквелл. п. 304. ИСБН 978-0-631-19713-3.
7. Сталнакер, Роберт (1972). «Прагматика». В Дэвидсон, Дональд; Харман, Гилберт (ред.). Семантика . стр. 381.
8. Чиарделли, Ивано; Гроенендейк, Йерун; Рулофсен, Флорис (2019). Любознательная семантика . Издательство Оксфордского университета. стр. 13, 20–22. ISBN 9780198814795.
9. Макграт, Мэтью; Фрэнк, Девин. «Предложения (Стэнфордская энциклопедия философии)». Plato.stanford.edu . Получено 23.06.2014 .
10. Fitch, Greg; Nelson, Michael (2018), «Singular Propositions», в Zalta, Edward N. (ред.), The Stanford Encyclopedia of Philosophy (весна 2018 г.), Metaphysics Research Lab, Stanford University , получено 11 декабря 2019 г.
11. Макграт, Мэтью; Фрэнк, Девин (2018), «Предложения», в Zalta, Edward N. (ред.), The Stanford Encyclopedia of Philosophy (весна 2018 г.), Metaphysics Research Lab, Stanford University , получено 20 августа 2020 г.
12. Куайн, У. В. (1970). Философия логики. Нью-Джерси, США: Prentice-Hall. С. 1–14. ISBN 0-13-663625-X.
13. Groarke, Louis. «Аристотель: Логика — от слов к предложениям». Интернет-энциклопедия философии . Получено 10 декабря 2019 г.

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

• Медиа, связанные с Propositions на Wikimedia Commons