Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

В лингвистике и философии , А предложение смысл декларативного предложения , где « смысл » понимаются не-лингвистическая сущность , которая является общей для всех предложений с тем же значением. [1] Эквивалентное суждение является нелингвистическим носителем из истины или ложности , что делает любое предложение , которое выражает его истинный или ложный.

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

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

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

Аристотель [ править ]

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

Логическими позитивистами [ править ]

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

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

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

Автор Рассел [ править ]

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

Отношение к разуму [ править ]

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

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

Лечение в логике [ править ]

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

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

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

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

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

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

Внешние ссылки [ править ]

  • СМИ, связанные с предложениями на Викискладе?