Ориентировочное условное - Indicative conditional

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

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

Формальный анализ

Ранние анализы выявили индикативные условные условия с логической операцией, известной как материальное условное . Согласно материальному условному анализу, индикативное «Если A, то B» истинно, если A не истинно, а B - нет. Хотя этот анализ охватывает многие наблюдаемые случаи, он упускает из виду некоторые важные свойства реальной условной речи и рассуждений.

Одна из проблем материального условного анализа состоит в том, что он позволяет показателям быть верными, даже если их предшествующее и последующее значение не связаны. Например, указательная фраза «Если Париж находится во Франции, то форель - это рыба» интуитивно странно, поскольку расположение Парижа не имеет ничего общего с классификацией форели. Однако, поскольку его антецедент и следствие истинны, материальный условный анализ трактует его как истинное утверждение. Точно так же материальный условный анализ трактует условные выражения с ложными антецедентами как бессмысленно истинные . Например, поскольку Париж находится не в Австралии, условное выражение «Если Париж находится в Австралии, то форель - рыба» будет рассматриваться как истинное при материальном условном анализе. Эти аргументы были взяты, чтобы показать, что никакой функциональный оператор истинности не будет достаточным в качестве семантики для ориентировочных условных выражений. В середине 20-го века в работах Г.П. Грайса , Фрэнка Кэмерона Джексона и других предпринималась попытка сохранить материальную условную условность как анализ буквального семантического обозначения указательных знаков, обращаясь при этом к прагматике , чтобы объяснить очевидные несоответствия.

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

Психология

Большинство поведенческих экспериментов с условными выражениями в психологии рассуждения проводились с указательными условными условиями, причинными условными выражениями и контрфактическими условными выражениями . Люди легко делают вывод modus ponens , то есть если дано A, то B , и дано A , они приходят к выводу B , но только около половины участников экспериментов делают вывод modus tollens , то есть если дано, если A, то B , и дано не-B , только около половины участников приходят к выводу, что не-A , остальные говорят, что ничего не следует (Evans et al. , 1993). Когда участникам даются контрфактические условия, они делают выводы как modus ponens, так и modus tollens (Byrne, 2005).

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

Рекомендации

дальнейшее чтение

  • Бирн, RMJ (2005). Рациональное воображение: как люди создают контрфактические альтернативы реальности. Кембридж, Массачусетс: MIT Press.
  • Эджингтон, Дороти. (2006). «Условные». Стэнфордская энциклопедия философии , Эдвард Залта (ред.). http://plato.stanford.edu/entries/conditionals/ .
  • Эванс, Дж. Ст. Б.Т., Ньюстед, С. и Бирн, RMJ (1993). Человеческое мышление: психология дедукции. Хоув, Психология Пресс.