В естественных языках изъявительное условное предложение представляет собой условное предложение , такое как «Если Леона дома, то ее нет в Париже», грамматическая форма которого ограничивает его обсуждением того, что может быть правдой. Индикативы обычно определяются в отличие от контрфактических условных предложений , которые имеют дополнительную грамматическую маркировку, которая позволяет им обсуждать события, которые больше невозможны.
Индикативы — важнейшая тема исследований в области философии языка , философской логики и лингвистики . Открытые вопросы включают в себя то, какие указатели логических операций обозначают, как такие обозначения могут быть составлены из их грамматической формы, а также значение этих обозначений для таких областей, как метафизика , психология рассуждений и философия математики .
Ранние анализы идентифицировали ориентировочные кондиционалы с логической операцией, известной как материальный кондиционал . Согласно материальному условному анализу, ориентировочное утверждение «Если А, то Б» истинно, если только А не истинно, а Б — нет. Хотя этот анализ охватывает многие наблюдаемые случаи, он упускает из виду некоторые важные свойства реальной условной речи и рассуждений.
Одна из проблем материального условного анализа состоит в том, что он позволяет индикативам быть истинными, даже если их антецедент и следствие не связаны друг с другом. Например, указание «Если Париж находится во Франции, то форель — это рыба» интуитивно странно, поскольку местоположение Парижа не имеет ничего общего с классификацией форели. Однако, поскольку и антецедент, и консеквент истинны, материальный условный анализ рассматривает его как истинное утверждение. Точно так же материальный кондициональный анализ рассматривает кондиционалы с ложными антецедентами как бессмысленно истинные . Например, поскольку Париж не находится в Австралии, условное утверждение «Если Париж находится в Австралии, то форель — это рыба» будет считаться истинным при материальном условном анализе. Эти аргументы были использованы для того, чтобы показать, что ни один оператор функциональной истинности не может служить семантикой для изъявительных кондиционалов. В середине 20-го века работы Г. П. Грайса , Фрэнка Кэмерона Джексона и других пытались сохранить материальный кондиционал как анализ буквального семантического значения индикативов, одновременно апеллируя к прагматике , чтобы объяснить очевидные несоответствия. [1]
Современные работы в области философской логики и формальной семантики обычно предлагают альтернативные обозначения изъявительных кондиционалов. Предлагаемые альтернативы включают анализ, основанный на логике релевантности , модальной логике , теории вероятностей , модальной семантике Кратцера и динамической семантике . [2]
Большинство поведенческих экспериментов с кондиционалами в психологии рассуждения проводились с индикативными кондиционалами, каузальными кондиционалами и контрфактическими кондиционалами . Люди с готовностью делают вывод modus ponens , то есть, если A, то B , и учитывая A , они заключают B , но только около половины участников экспериментов делают вывод modus tollens , то есть, если A, то B , и учитывая не-Б , только около половины участников приходят к выводу «нет-А» , остальные говорят, что ничего не следует ( Evans et al. , 1993). Когда участникам дают контрфактические условные предложения, они делают выводы как по modus ponens, так и по modus tollens ( Birne , 2005).
