Импорт-экспорт (логика)
В логике пропозициональной импорт-экспорт — это имя, данное пропозициональной форме Экспорта :
- .
Это уже справедливо в минимальной логике , а значит, и в классической логике , где условный оператор « " воспринимается как материальное следствие .В соответствии Карри-Говарда для интуиционистских логик это может быть реализовано посредством каррирования и некарингирования.
Обсуждение
[ редактировать ]Импорт-экспорт выражает форму дедуктивного аргумента . В терминах естественного языка формула гласит, что следующие английские предложения логически эквивалентны : [1] [2] [3]
- Если Мэри нет дома, то если Салли нет дома, то дом пуст.
- Если Мэри нет дома и Салли нет дома, то дом пуст.
Есть логики, в которых он не соблюдается, и его статус как истинного принципа логики является предметом споров. Разногласия по поводу этого принципа возникают из-за того, что любой условный оператор, удовлетворяющий этому принципу, разрушается до материального импликации в сочетании с некоторыми другими принципами. Этот вывод был бы проблематичным, учитывая парадоксы материальной импликации , которые обычно используются для того, чтобы показать, что условные выражения естественного языка не являются материальной импликацией. [2] [3] [4]
Этого проблематичного вывода можно избежать в рамках динамической семантики , выразительная сила которой позволяет определить нематериальный условный оператор, который, тем не менее, удовлетворяет импорту-экспорту наряду с другими принципами. [3] [5] Однако другие подходы отвергают импорт-экспорт как общий принцип, мотивированный такими случаями, как следующие, изложенные в контексте, когда наиболее вероятно, что спичку можно зажечь, бросив ее в костер, но где возможно, что она зажжется, бросив ее в костер. можно было зажечь, ударив по нему. В этом контексте первое предложение интуитивно истинно, а второе интуитивно ложно. [5] [6] [7]
- Если вы чиркаете спичкой и она загорается, она загорится.
- Если спичка зажжется, она загорится, если вы по ней чиркаете.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Сайдер, Теодор (2010). Логика для философии . Издательство Оксфордского университета. стр. 130, 276–277.
- ^ Перейти обратно: а б Эгре, Поль; Ротт, Ганс (2021). «Логика условных предложений» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета.
- ^ Перейти обратно: а б с Гиллис, Энтони (2009). «Об условиях истинности для если (но не только если)». Философский обзор . 118 (3). дои : 10.1215/00318108-2009-002 .
- ^ Гиббард, Аллан (1980). «Две недавние теории кондиционалов». В Харпере; Сталнакер; Пирс (ред.). Если . Спрингер. дои : 10.1007/978-94-009-9117-0_10 .
- ^ Перейти обратно: а б Кауфманн, Магдалена; Кауфманн, Стефан (2015). «Кондиционалы и модальность». В Лаппине, Шалом; Фокс, Крис (ред.). Справочник по современной семантической теории . Уайли.
- ^ Старр, Уилл (2021). «Контрфакты» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
- ^ Кауфманн, Стефан (2005). «Условные предсказания». Языкознание и философия . 28 (2).