В философии предложение - это значение декларативного предложения, где «означает » понимается как неязыковая сущность, которая присуща всем предложениям с одинаковым значением. Точно так же пропозиция является нелингвистическим носителем истины или ложности, что делает любое предложение, выражающее его, истинным или ложным.
В математике термин предложение относится к утверждению, которое может быть или не быть истинным, тогда как термин аксиома относится к утверждению, которое считается истинным в пределах область дискурса.
Хотя термин «суждение» может иногда использоваться в повседневном языке для обозначения лингвистического утверждения, которое может быть истинным или ложным, технический философский термин, который отличается от математического использования, относится исключительно к не -лингвистический смысл высказывания. Этот термин часто используется очень широко и может также относиться к различным связанным концепциям как в истории философии, так и в современной аналитической философии. Обычно его можно использовать для ссылки на некоторые или все из следующего: основные носители значений истинности (например, «истина» и «ложь»); объекты веры и других пропозициональных установок (т.е. то, во что верят, сомневаются и т. д.); референты предложений «что» (например, «это правда, что небо голубое» и «я считаю, что небо голубое» подразумевают утверждение, что небо голубое); и значения повествовательных предложений.
Поскольку предложения определяются как разделяемые объекты отношений и основные носители истины и ложности, это означает, что термин «предложение» не относится к конкретные мысли или конкретные высказывания (которые нельзя передавать в разных случаях), а также не относятся к конкретным событиям или фактам (которые не могут быть ложными). Логика высказываний имеет дело прежде всего с предложениями и логическими отношениями между ними.
Аристотелевская логика определяет категориальное предложение как предложение, которое подтверждает или отрицает предикат подлежащего с помощью 'Copula'. Утверждение Аристотеля может принимать форму «Все люди смертны» или «Сократ - человек». В первом примере подлежащее - «мужчины», сказуемое - «смертный» и связка - «есть», а во втором примере подлежащее - «Сократ», сказуемое - «мужчина» и связка - «есть»..
Часто предложения связаны с закрытыми формулами (или логическими предложениями), чтобы отличить их от того, что выражается открытой формулой.. В этом смысле предложения - это «утверждения», которые носят истину. Эта концепция предложения была поддержана философской школой логического позитивизма.
Некоторые философы утверждают, что некоторые (или все) виды речи или действий, помимо декларативных, также имеют пропозициональное содержание. Например, вопросы «да – нет» представляют предложения, являясь запросами на их истинность. С другой стороны, некоторые знаки могут быть декларативными утверждениями предложений, не составляя предложения и даже не будучи лингвистическими (например, дорожные знаки передают определенное значение, которое является либо истинным, либо ложным).
Предложения также рассматриваются как содержание убеждений и аналогичных намеренных установок, таких как желания, предпочтения и надежды. Например, «Я хочу, чтобы у меня была новая машина» или «Интересно, пойдет ли снег» (или, действительно, «пойдет снег»). Желание, вера, сомнение и т. Д., Таким образом, называются пропозициональными установками, когда они принимают такой вид содержания.
Бертран Рассел считал, что предложения представляют собой структурированные сущности с объектами и свойствами как составляющие. Одно важное различие между точкой зрения Людвига Витгенштейна (согласно которой пропозиция - это набор возможных миров / положений дел, в которых оно истинно) состоит в том, что, согласно расселлианской теории, два утверждения, истинные в все же положения дел можно различить. Например, утверждение «два плюс два равняется четырем» с точки зрения Рассела отличается от утверждения «три плюс три равняется шести». Однако если предложения являются наборами возможных миров, то все математические истины (и все другие необходимые истины) являются одним и тем же набором (набором всех возможных миров).
В отношении разума суждения обсуждаются в первую очередь, поскольку они вписываются в пропозициональные установки. Пропозициональные установки - это просто установки, характерные для народной психологии (вера, желание и т. Д.), Которые можно принять в отношении предложения (например, «идет дождь», «снег белый» и т. Д.). В английском языке предложения обычно сопровождаются народными психологическими установками с помощью «того предложения» (например, «Джейн считает, что идет дождь»). В философии разума и психологии ментальные состояния часто рассматриваются как преимущественно пропозициональные установки. Утверждения обычно называют «ментальным содержанием» установки. Например, если у Джейн есть ментальное состояние веры в то, что идет дождь, ее мысленным содержанием является утверждение «идет дождь». Кроме того, поскольку такие ментальные состояния о чем-то (а именно, предложениях), они называются интенциональными ментальными состояниями.
Философские дебаты вокруг суждений, поскольку они связаны с пропозициональными установками, также недавно сосредоточились на том, являются ли они внутренними или внешними по отношению к агенту, или являются ли они зависимыми от ума или независимыми от ума сущностями. Для получения дополнительной информации см. Статью о интернализме и экстернализме в философии разума.
Как отмечалось выше, в аристотелевской логике пропозиция - это особый вид предложения, которое подтверждает или отрицает предикат субъекта с помощью связки . Утверждения Аристотеля принимают такие формы, как «Все люди смертны» и «Сократ - человек».
Предложения появляются в современной формальной логике как объекты формального языка. Формальный язык начинается с разных типов символов. Эти типы могут включать переменные, операторы, функциональные символы, символы предикатов (или отношений), кванторы, и пропозициональные константы. (Группирующие символы, такие как разделители, часто добавляются для удобства использования языка, но не играют логической роли.) Символы объединяются вместе в соответствии с рекурсивным rules, чтобы построить строки, которым будут присвоены значения истинности. Правила определяют, как операторы, символы функций и предикатов, а также кванторы должны быть связаны с другими строками. Предложение - это строка определенной формы. Форма, которую принимает предложение, зависит от типа логики.
Тип логики, называемый пропозициональной, сентенциональной или утвержденной логикой, включает в себя только операторы и пропозициональные константы как символы на своем языке. Предложения на этом языке - это пропозициональные константы, которые считаются атомарными пропозициями, и составные (или составные) пропозиции, которые составлены путем рекурсивного применения операторов к предложениям. Приложение здесь - это просто краткий способ сказать, что соответствующее правило конкатенации было применено.
Типы логики, называемые предикатной, квантификационной или логикой n-го порядка, включают в себя переменные, операторы, предикатные и функциональные символы, а также квантификаторы как символы в своих языках. Предложения в этой логике более сложные. Во-первых, обычно начинают с определения члена следующим образом:
Например, если = - двоичный символ предиката, а ∀ - квантор, то ∀x, y, z [(x = y) → ( x + z = y + z)] - это предложение. Эта более сложная структура предложений позволяет этой логике проводить более тонкие различия между выводами, то есть иметь большую выразительную силу.
В этом контексте предложения также называются предложениями, утверждениями, формами утверждений, формулами и правильно сформированными формулами, хотя эти термины обычно не являются синонимами в пределах одного текста. Это определение трактует предложения как синтаксические объекты, в отличие от семантических или ментальных объектов. То есть предложения в этом смысле являются бессмысленными, формальными, абстрактными объектами. Им присваиваются значение и истинностные значения посредством отображений, называемых интерпретациями и оценками соответственно.
В математике предложения часто конструируются и интерпретируются аналогично логике предикатов, хотя и более неформальным образом. Например. аксиома может пониматься как предложение в широком смысле этого слова, хотя этот термин обычно используется для обозначения проверенного математического утверждения, важность которого обычно нейтральна по своей природе. Другие похожие термины в этой категории включают:
Предложения называются структурированными предложениями, если они имеют составляющие в некотором широком смысле.
Предположение структурированный взгляд на предложения, можно различать единичные предложения (также предложения Рассела, названные в честь Бертрана Рассела ), которые касаются конкретного человека, общие суждения, которые не относятся к какому-либо конкретному человеку, и частные суждения, которые относятся к конкретному человеку, но не содержат этого человека в качестве составной части.
Попытки дать работоспособное определение предложения включают следующее:
Два м Смысловые повествовательные предложения выражают одно и то же суждение тогда и только тогда, когда они означают одно и то же.
который определяет суждение с точки зрения синонимии. Например, «Snow is white» (на английском языке) и «Schnee ist weiß» (на немецком языке) - разные предложения, но они говорят одно и то же, поэтому выражают одно и то же предложение. Другое определение предложения:
Два значимых декларативных токена предложения выражают одно и то же предложение, если и только если они означают одно и то же.
К сожалению, приведенные выше определения могут привести к появлению двух идентичных предложений / токенов предложений имеют одно и то же значение и, таким образом, выражают одно и то же суждение, но при этом имеют разные значения истинности, как в «Я Спартак», сказанном Спартаком и сказанном Джоном Смитом, и «Сейчас среда», сказанном в среду и четверг. Эти примеры отражают проблему двусмысленности в обыденном языке, что приводит к ошибочной двусмысленности утверждений. «Я Спартак», сказанное Спартаком, является заявлением о том, что говорящего человека называют Спартаком, и это правда. Когда это говорит Джон Смит, это заявление о другом говорящем и ложное. Термин «Я» означает разные вещи, поэтому «Я Спартак» означает разные вещи.
Связанная проблема возникает, когда идентичные предложения имеют одинаковую ценность истинности, но выражают разные предложения. Фразу «Я философ» могли произнести и Сократ, и Платон. В обоих случаях утверждение верно, но означает иное.
Эти проблемы решаются в логике предикатов с использованием переменной для проблемного термина, так что «X - философ» может заменить X Сократом или Платоном, что свидетельствует о том, что «Сократ есть философ »и« Платон - философ »- разные утверждения. Точно так же «Я Спартак» превращается в «X есть Спартак», где X заменяется терминами, представляющими людей Спартака и Джона Смита.
Другими словами, проблемы примера можно избежать, если предложения сформулированы с достаточной точностью, чтобы их термины имели однозначное значение.
Ряд философов и лингвистов заявляют, что все определения предложения слишком расплывчаты, чтобы быть полезными. Для них это просто вводящая в заблуждение концепция, которую следует удалить из философии и семантики. В. В. Куайн, который подтвердил существование множеств в математике, утверждал, что неопределенность перевода препятствует любому содержательному обсуждению предложений и что от них следует отказаться в пользу предложений. Стросон, с другой стороны, выступал за использование термина «утверждение ».