Контрфактические условные предложения (также сослагательное наклонение или помеченные X ) — это условные предложения , в которых обсуждается, что было бы правдой при различных обстоятельствах, например: «Если бы Питер верил в привидения, он бы боялся находиться здесь». Контрфактуалы противопоставляются индикативам , которые обычно ограничиваются обсуждением открытых возможностей. Контрфактические выражения грамматически характеризуются использованием ложной морфологии времени, которую некоторые языки используют в сочетании с другими видами морфологии , включая вид и наклонение .
Контрфактуалы — одно из наиболее изученных явлений в философской логике , формальной семантике и философии языка . Впервые они обсуждались как проблема материального условного анализа кондиционалов, который рассматривает их все как тривиально истинные. Начиная с 1960-х годов философы и лингвисты разработали ставший теперь классическим подход к возможному миру , в котором истина контрфакта зависит от его последующего присутствия в определенных возможных мирах, в которых имеет место его антецедент. Более поздние формальные анализы рассматривали их с использованием таких инструментов, как причинные модели и динамическая семантика . Другие исследования обращались к их метафизическим, психологическим и грамматическим основам, применяя при этом некоторые полученные идеи к таким областям, как история, маркетинг и эпидемиология.
Разницу между изъявительными и контрфактическими условными предложениями можно проиллюстрировать следующей минимальной парой английских слов :
Эти условные предложения различаются как по форме, так и по значению. Изъявительный условный падеж использует формы настоящего времени «владеет» и «бьет» и, следовательно, передает, что говорящий не знает, действительно ли Салли владеет ослом. В контрфактическом примере используется фальшивая форма времени «owned» в предложении «if» и модальное слово «wow », склоненное к прошедшему времени, в предложении «then». В результате это показывает, что у Салли на самом деле нет осла. В английском языке есть несколько других грамматических форм, значения которых иногда относят к контрфактуальности. Одним из них является контрфактическое прошедшее совершенное , которое контрастирует с изъявительными и простыми контрфактическими значениями прошедшего времени в использовании плюсовершенной морфологии: [5]
Другой вид условного употребления использует форму «были», обычно называемую формой ирреалис или сослагательного наклонения. [6]
Прошедшее совершенное и ирреальное контрфакты могут подвергаться условной инверсии : [7]
Термин контрфактическое условное предложение широко используется как обобщающий термин для типов предложений, показанных выше. Однако не все кондиционалы такого рода выражают значения, противоположные фактам. Например, классический пример, известный как «Дело Андерсона», имеет характерную грамматическую форму контрфактического условного предложения, но не передает, что его антецедент ложен или маловероятен. [8] [9]
Такие условные предложения также широко называют сослагательными условными предложениями , хотя этот термин также признается неправильным даже теми, кто его использует. [11] Многие языки не имеют морфологического сослагательного наклонения (например , датский и голландский ), а многие, в которых оно есть, не используют его для такого рода условного наклонения (например, французский , суахили , все индоарийские языки , в которых есть сослагательное наклонение). Более того, языки, которые используют сослагательное наклонение для таких условных предложений, делают это только в том случае, если они имеют определенную форму сослагательного наклонения прошедшего времени. Таким образом, сослагательное наклонение не является ни необходимым, ни достаточным для принадлежности к этому классу кондиционалов. [12] [13] [9]
Термины контрфактический и сослагательное наклонение иногда перепрофилировались для более конкретного использования. Например, термин «контрфактуальный» иногда применяется к условным предложениям, которые выражают значение, противоположное факту, независимо от их грамматической структуры. [14] [8] Аналогичным образом, термин «сослагательное наклонение» иногда используется для обозначения условных предложений, которые несут ложную отметку прошлого или ирреальности, независимо от значения, которое они передают. [14] [15]
Недавно в качестве замены был предложен термин X-Marked , обозначающий дополнительную маркировку, которую несут эти кондиционалы. Те, кто принимает эту терминологию, называют изъявительные кондиционалы кондиционалами с О -маркировкой , что отражает их обычную маркировку. [16] [17] [3]
Антецедент условного предложения иногда называют его «if»-предложением или протазисом . Последствие условного предложения иногда называют придаточным предложением «then» или аподозом.
Контрфактуалы были впервые обсуждены Нельсоном Гудманом как проблема материального условного выражения , используемого в классической логике . Из-за этих проблем в ранних работах, таких как работа У. В. Куайна, утверждалось, что контрфактические утверждения не являются строго логичными и не содержат истинных или ложных утверждений о мире. Однако в 1960-х и 1970-х годах работы Роберта Сталнакера и Дэвида Льюиса показали, что эти проблемы преодолимы при наличии соответствующей интенсиональной логической структуры. С тех пор работы в области формальной семантики , философской логики , философии языка и когнитивной науки основывались на этом понимании, развивая его в самых разных направлениях. [18]
Согласно материальному условному анализу, условное выражение естественного языка, утверждение формы «если P, то Q», является истинным всякий раз, когда его антецедент P ложен. Поскольку контрфактические кондиционалы — это те, чьи антецеденты ложны, этот анализ ошибочно предсказывает, что все контрфактические кондиционалы бессмысленно истинны. Гудман иллюстрирует этот момент, используя следующую пару в контексте, где подразумевается, что обсуждаемый кусок масла не был нагрет. [19]
В более общем плане такие примеры показывают, что контрфактические утверждения не являются функциональными по отношению к истине. Другими словами, знания того, верны ли антецедент и консеквент на самом деле, недостаточно, чтобы определить, истинно ли само контрфактическое утверждение. [18]
Контрфакты зависят от контекста и расплывчаты . Например, любое из следующих утверждений может быть обоснованно признано верным, хотя и не одновременно: [20]
Контрафактические утверждения немонотонны в том смысле, что их истинностные значения могут быть изменены путем добавления дополнительного материала к их предшественникам. Этот факт иллюстрируется такими последовательностями Собеля , как следующие: [19] [21] [22]
Один из способов формализовать этот факт — сказать, что принцип усиления антецедента не должен применяться ни к какой связке, предназначенной для формализации кондиционалов естественного языка.
Наиболее распространенные логические объяснения контрфактов сформулированы в семантике возможного мира . В общих чертах эти подходы объединяет то, что они рассматривают контрфактическое утверждение A > B как истинное, если B справедливо в некотором наборе возможных миров, где A истинно. Они различаются главным образом тем, как идентифицируют набор соответствующих А-миров.
Переменная строгая условность Дэвида Льюиса считается классическим анализом в философии. Тесно связанная семантика посылок , предложенная Анжеликой Кратцер , часто принимается за стандарт в лингвистике. Однако на рынке существует множество возможных подходов, включая динамические варианты строгого условного анализа, первоначально отвергнутого Льюисом.
Строгий условный анализ рассматривает контрфакты естественного языка как эквиваленты формулы модальной логики . В этой формуле выражает необходимость и понимается как материальная импликация . Этот подход был впервые предложен в 1912 году К.И. Льюисом как часть его аксиоматического подхода к модальной логике. [18] В современной реляционной семантике это означает, что строгий кондиционал истинен в точке w тогда и только тогда, когда соответствующий материальный кондиционал истинен во всех мирах, доступных из w . Более формально:
В отличие от материального условного условия, строгое условное предложение не является бессмысленно истинным, если его антецедент ложен. Чтобы понять почему, заметим, что и то, и другое будет ложным, если существует какой-то доступный мир , где истинно, а где нет. Строгий кондиционал также зависит от контекста, по крайней мере, если ему задана реляционная семантика (или что-то подобное). В реляционной структуре отношения доступности являются параметрами оценки, которые кодируют диапазон возможностей, которые рассматриваются как «живые» в контексте. Поскольку истинность строгого условного выражения может зависеть от отношения доступности, используемого для его оценки, эту особенность строгого условного выражения можно использовать для учета контекстной зависимости.
Строгий условный анализ сталкивается со многими известными проблемами, в частности с монотонностью. В классической реляционной структуре при использовании стандартного понятия следствия строгое условное условие является монотонным, т.е. оно подтверждает усиление антецедента . Чтобы понять почему, заметим, что если оно справедливо в каждом мире, доступном из , монотонность материального условного выражения гарантирует, что и оно будет таким же. Таким образом, у нас это будет .
Этот факт привел к повсеместному отказу от строгого условного подхода, в частности, в пользу переменно строгого анализа Льюиса. Однако последующие работы возродили строгий условный анализ, обратившись к контекстной чувствительности. Этот подход был впервые предложен Вармбродом (1981), который утверждал, что последовательности Собеля не требуют немонотонной логики, но на самом деле их скорее можно объяснить переключением говорящих на более разрешительные отношения доступности по мере продвижения последовательности. В его системе контрфактическое утверждение вроде «Если бы Ханна выпила кофе, она была бы счастлива» обычно оценивалось бы с использованием модели, в которой кофе Ханны не содержит бензина во всех доступных мирах. Если бы та же самая модель использовалась для оценки последующего высказывания: «Если бы Ханна выпила кофе и в кофе был бы бензин…», это второе условие оказалось бы тривиально истинным, поскольку не существует доступных миров, в которых действует его антецедент. . Идея Вармброда заключалась в том, что говорящие перейдут на модель с более либеральным отношением доступности, чтобы избежать этой тривиальности.
Последующие работы Кая фон Финтеля (2001), Тони Гиллиса (2007) и Малте Виллера (2019) формализовали эту идею в рамках динамической семантики и привели ряд лингвистических аргументов в ее пользу. Одним из аргументов является то, что условные антецеденты лицензируют элементы отрицательной полярности , которые, как считается, лицензируются только монотонными операторами.
Другой аргумент в пользу строгого условного выражения исходит из наблюдения Ирен Хейм о том, что последовательности Собеля обычно неуместны (т.е. звучат странно) в обратном порядке.
Сара Мосс (2012) и Карен Льюис (2018) ответили на эти аргументы, показав, что версия вариативно строгого анализа может объяснить эти закономерности, и утверждая, что такая версия предпочтительнее, поскольку она также может учитывать очевидные исключения. По состоянию на 2020 год эти дебаты в литературе продолжаются: такие источники, как Уиллер (2019), утверждают, что строгий условный подход также может охватывать эти исключения. [18]
В вариативно строгом подходе семантика условного A > B задается некоторой функцией относительной близости миров, где A истинно и B истинно, с одной стороны, и миров, где A истинно, но B нет, с другой.
По мнению Льюиса, A > C является (а) бессмысленно истинным тогда и только тогда, когда не существует миров, где A истинно (например, если A логически или метафизически невозможно); (б) непусто верно тогда и только тогда, когда среди миров, где А истинно, некоторые миры, где С истинно, ближе к реальному миру, чем любой мир, где С неверно; или (c) ложно в противном случае. Хотя в «Контрфактах » Льюиса было неясно, что он имел в виду под «близостью», в более поздних работах Льюис ясно дал понять, что он не хотел , чтобы показатель «близости» был просто нашим обычным понятием общего сходства .
Пример:
По мнению Льюиса, истинность этого утверждения состоит в том, что среди возможных миров, где он ел больше на завтрак, есть по крайней мере один мир, где он не голоден в 11 часов утра и который ближе к нашему миру, чем любой мир, где он съел больше на завтрак, но в 11 утра все еще голоден.
Версия Сталнакера отличается от теории Льюиса, прежде всего, тем, что он принял предположения о пределе и уникальности . Допущение уникальности — это тезис о том, что для любого антецедента А среди возможных миров, где А истинно, существует единственный ( уникальный ), наиболее близкий к реальному миру. Предельное предположение — это тезис о том, что для данного антецедента А существует цепочка возможных миров, в которых А истинно, каждый из которых ближе к реальному миру, чем его предшественник, тогда цепочка имеет предел : возможный мир, в котором А истинно. это правда, что он ближе к реальным мирам, чем все миры в цепочке. (Предположение единственности влечет за собой предельное предположение, но предельное предположение не влечет за собой предположение единственности.) По мнению Сталнакера, A > C непусто верно тогда и только тогда, когда в ближайшем мире, где A истинно, C истинно . Итак, приведенный пример верен на тот случай, если в том единственном, ближайшем мире, где он съел больше завтрака, он не почувствует голода в 11 часов утра. Хотя это и спорно, Льюис отверг предельное предположение (и, следовательно, предположение уникальности), поскольку оно исключает возможность существования миров, которые без ограничений становятся все ближе и ближе к реальному миру. Например, может существовать бесконечная серия миров, в каждом из которых чашка кофе находится на меньшую долю дюйма левее от ее фактического положения, но ни один из них не является однозначно ближайшим. (См. Льюис 1973: 20.)
Одним из следствий принятия Сталнакером предположения единственности является то, что если закон исключенного третьего верен, то все случаи формулы (A > C) ∨ (A > ¬C) верны. Закон исключенного третьего — это тезис о том, что для всех предложений p истинно p ∨ ¬p. Если предположение единственности верно, то для каждого антецедента A существует однозначно ближайший мир, в котором A истинно. Если закон исключенного третьего истинен, любое последующее С либо истинно, либо ложно в том мире, где А истинно. Таким образом, для любого контрфактического утверждения A > C истинно либо A > C, либо A > ¬C. Это называется условно исключенным средним (CEM). Пример:
Согласно анализу Сталнакера, существует ближайший мир, где честная монета, упомянутая в (1) и (2), подбрасывается, и в этом мире либо выпадает орел, либо решка. Таким образом, либо (1) истинно, а (2) ложно, либо (1) ложно и (2) истинно. Однако, согласно анализу Льюиса, и (1), и (2) ложны, поскольку миры, в которых выпадает решка, не более и не менее близки, чем миры, в которых выпадает решка. По мнению Льюиса, утверждение «Если бы монета была подброшена, на ней выпал бы орел или решка» верно, но это не означает, что «Если бы монета была подброшена, на ней выпал бы орел, или: Если бы монета была подброшена выпала бы решка».
В рамках причинно -следственных моделей контрфактические явления анализируются с точки зрения систем структурных уравнений . В системе уравнений каждой переменной присваивается значение, которое является явной функцией других переменных в системе. Учитывая такую модель, предложение « Y было бы y , если бы X было x » (формально, X = x > Y = y ) определяется как утверждение: если мы заменим уравнение, определяющее в данный момент X , на константу X = x , и решите систему уравнений для переменной Y , полученное решение будет Y = y . Было показано, что это определение совместимо с аксиомами возможной семантики мира и формирует основу для причинного вывода в естественных и социальных науках, поскольку каждое структурное уравнение в этих областях соответствует знакомому причинному механизму, о котором исследователи могут осмысленно рассуждать. . Этот подход был разработан Джудеей Перл (2000) как средство кодирования детальных представлений о причинно-следственных связях, которые трудно уловить в других предложенных системах. [23]
В рамках пересмотра убеждений контрфакты обрабатываются с использованием формальной реализации теста Рамзи . В этих системах контрфактическое A > B имеет место тогда и только тогда, когда добавление A к текущему объему знаний приводит к B как следствие. Это условие связывает контрфактические условные выражения с пересмотром убеждений , поскольку оценка A > B может быть выполнена путем сначала пересмотра текущих знаний с помощью A , а затем проверки того, истинно ли B и что приводит к результатам. Пересмотреть легко, если А соответствует текущим убеждениям, но в противном случае может быть сложно. Любая семантика пересмотра убеждений может использоваться для оценки условных операторов. И наоборот, каждый метод оценки условных операторов можно рассматривать как способ выполнения пересмотра.
Гинзберг (1986) предложил семантику кондиционалов, которая предполагает, что текущие убеждения образуют набор пропозициональных формул , рассматривая максимальные наборы этих формул, которые согласуются с A , и добавляя A к каждой. Смысл в том, что каждый из этих максимальных наборов представляет собой возможное состояние убеждения, в котором А истинно, которое максимально похоже на исходное. Таким образом, условное утверждение A > B справедливо тогда и только тогда, когда B истинно во всех таких множествах. [24]
Языки используют разные стратегии для выражения контрфактуальности. Некоторые из них имеют специальные контрфактические морфемы , в то время как другие набирают морфемы, которые иначе выражают время , аспект , настроение или их комбинацию. С начала 2000-х годов лингвисты, философы языка и философские логики интенсивно изучали природу этой грамматической маркировки, и она продолжает оставаться активной областью изучения.
Во многих языках контрфактуальность отмечена морфологией прошедшего времени . [25] Поскольку такое употребление прошедшего времени не передает своего типичного временного значения, его называют ложным прошедшим или ложным временем . [26] [27] [28] Английский — это один из языков, который использует фальшивое прошлое для обозначения контрфактичности, как показано в следующей минимальной паре . [29] В показательном примере слова, выделенные жирным шрифтом, представляют собой формы настоящего времени. В контрфактическом примере оба слова принимают форму прошедшего времени. Такое употребление прошедшего времени не может иметь своего обычного временного значения, поскольку его можно употреблять с наречием «завтра», не создавая противоречия. [25] [26] [27] [28]
Современный иврит — еще один язык, в котором контрфактичность отмечена фальшивой морфемой прошедшего времени: [30]
Палестинский арабский – еще одно: [30]
Фальшивое прошлое чрезвычайно распространено в разных языках, либо само по себе, либо в сочетании с другими морфемами. Более того, лингвисты-теоретики и философы языка утверждали, что стратегии других языков для обозначения контрфактуальности на самом деле являются реализацией ложного времени наряду с другими морфемами. По этой причине фальшивое время часто рассматривается как локус самого контрфактического значения. [26] [31]
В формальной семантике и философской логике фальшивое прошлое рассматривается как загадка, поскольку не очевидно, почему так много несвязанных языков переназначают временную морфему для обозначения контрфактуальности. Предлагаемые решения этой головоломки делятся на два лагеря: прошлое как модальное и прошлое как прошлое . Эти подходы различаются тем, считают ли они основное значение прошедшего времени «время». [32] [33]
В модальном подходе прошедшего времени значение прошедшего времени принципиально не связано со временем . Скорее, это недоопределенный скелет, который может применяться как к модальному , так и к временному контенту. [26] [32] [34] Например, конкретное прошедшее как модальное предложение Ятриду (2000), основное значение прошедшего времени схематически показано ниже:
В зависимости от того, как составлено это обозначение , x может быть временным интервалом или возможным миром . Когда x — это время, прошедшее время будет означать, что в предложении говорится о нетекущем времени, то есть о прошлом. Когда x — это мир, это будет означать, что в предложении говорится о потенциально нереальной возможности. Последнее позволяет использовать контрфактическое значение.
Подход « Прошлое как прошедшее» рассматривает прошедшее время как имеющее по своей сути временной смысл. При таком подходе так называемое фальшивое время на самом деле не является фальшивым. Оно отличается от «настоящего» времени только тем, как принимает объем , т. е. какой компонент значения предложения переносится на более раннее время. Когда в предложении есть «реальная» отметка прошлого, в нем обсуждается что-то, что произошло раньше; когда в предложении есть так называемая ложная отметка прошлого, в нем обсуждаются возможности, которые были доступны раньше, но могут больше не быть. [35] [36] [37]
Ложный аспект часто сопровождает фальшивое время в языках, обозначающих аспект. В некоторых языках (например , новогреческом , зулу и романских языках ) этот фальшивый аспект несовершенен . В других языках (например, палестинском арабском ) оно совершенное . Однако в других языках, включая русский и польский , контрфактуалы могут иметь как совершенный, так и несовершенный вид. [31]
Фальшивый несовершенный аспект демонстрируется двумя приведенными ниже новогреческими предложениями. Эти примеры образуют минимальную пару , поскольку они идентичны, за исключением того, что в первом используется маркировка прошедшего несовершенного вида, а во втором — маркировка прошедшего совершенного вида. В результате этого морфологического различия первое имеет контрфактическое значение, а второе — нет. [26]
Утверждается, что эта несовершенная маркировка является фальшивой на том основании, что она совместима с полными наречиями , такими как «через один месяц»: [26]
В обычных безусловных предложениях такие наречия совместимы с перфектным видом, но не с несовершенным видом: [26]
Люди часто практикуют контрфактическое мышление . Экспериментальные данные показывают, что мысли людей о контрфактических кондиционалах во многом отличаются от их мыслей об изъявительных кондиционалах.
Участников экспериментов просили прочитать предложения, включая контрфактические условные предложения, например: «Если бы Марк ушел из дома пораньше, он бы успел на поезд». После этого их попросили назвать, какие предложения им были показаны. Они часто ошибочно полагали, что им показывали предложения, соответствующие предполагаемым фактам, например: «Марк не ушел из дома рано» и «Марк не успел на поезд». [38] В других экспериментах участникам предлагалось прочитать короткие рассказы, содержащие контрафактные условные предложения, например: «Если бы в цветочном магазине были розы, то были бы и лилии». Далее в рассказе они читают предложения, соответствующие предполагаемым фактам, например: «Не было ни роз, ни лилий». Контрфактическое условное предложение заставило их очень быстро прочитать предложение, соответствующее предполагаемым фактам; для изъявительных условных предложений такого эффекта прайминга не наблюдалось. [39] Они потратили разное количество времени на «обновление» истории, содержащей контрфактические кондициональные предложения, по сравнению с историей, содержащей фактическую информацию [40] , и сосредоточились на разных частях контрфактических кондициональных предложений. [41]
В ходе экспериментов сравнивались выводы, которые люди делают на основе контрфактических и ориентировочных условных предложений. Учитывая контрфактическое условие, например: «Если бы на доске был круг, то был бы треугольник» и последующую информацию «на самом деле треугольника не было», участники делают вывод modus tollens «круга не было». ' чаще, чем из изъявительного условного предложения. [42] Учитывая контрфактическое условное предложение и последующую информацию «на самом деле был круг», участники делают вывод о modus ponens так же часто, как и на основе изъявительного условного предложения.
Бирн утверждает, что люди создают мысленные представления , охватывающие две возможности, когда они понимают и рассуждают на основе контрфактического условного условия, например: «Если бы Освальд не застрелил Кеннеди, то это сделал бы кто-то другой». Они предполагают гипотезу «Освальд не стрелял в Кеннеди, а это сделал кто-то другой», а также думают о предполагаемых фактах: «Освальд действительно стрелял в Кеннеди, а кто-то другой — нет». [43] Согласно теории ментальных моделей рассуждения , они конструируют ментальные модели альтернативных возможностей. [44]
Контрафактические утверждения заражены неопределенностью, с чем все согласны.