Import–export (logic)

In propositional logic, import-export is a name given to the propositional form of Exportation:

.

This already holds in minimal logic, and thus also in classical logic, where the conditional operator "" is taken as material implication. In the Curry-Howard correspondence for intuitionistic logics, it can be realized through currying and uncurrying.

Discussion

Import-export expresses a deductive argument form. In natural language terms, the formula states that the following English sentences are logically equivalent:[1][2][3]

  1. If Mary isn't at home, then if Sally isn't at home, then the house is empty.
  2. If Mary isn't home and Sally isn't home, then the house is empty.

There are logics where it does not hold and its status as a true principle of logic is a matter of debate. Controversy over the principle arises from the fact that any conditional operator that satisfies it will collapse to material implication when combined with certain other principles. This conclusion would be problematic given the paradoxes of material implication, which are commonly taken to show that natural language conditionals are not material implication.[2][3][4]

This problematic conclusion can be avoided within the framework of dynamic semantics, whose expressive power allows one to define a non-material conditional operator which nonetheless satisfies import-export along with the other principles.[3][5] However, other approaches reject import-export as a general principle, motivated by cases such as the following, uttered in a context where it is most likely that the match will be lit by throwing it into a campfire, but where it is possible that it could be lit by striking it. In this context, the first sentence is intuitively true but the second is intuitively false.[5][6][7]

  1. If you strike the match and it lights, it will light.
  2. If the match lights, it will light if you strike it.

See also

References

  1. ^ Sider, Theodore (2010). Logic for philosophy. Oxford University Press. pp. 130, 276–277.
  2. ^ a b Égré, Paul; Rott, Hans (2021). "The Logic of Conditionals". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University.
  3. ^ a b c Gillies, Anthony (2009). "On truth-conditions for if (but not quite only if)". Philosophical Review. 118 (3). doi:10.1215/00318108-2009-002.
  4. ^ Gibbard, Allan (1980). "Two Recent Theories of Conditionals". In Harper; Stalnaker; Pearce (eds.). Ifs. Springer. doi:10.1007/978-94-009-9117-0_10.
  5. ^ a b Kaufmann, Magdalena; Kaufmann, Stefan (2015). "Conditionals and modality". In Lappin, Shalom; Fox, Chris (eds.). The handbook of contemporary semantic theory. Wiley.
  6. ^ Starr, Will (2021). "Counterfactuals". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy.
  7. ^ Kaufmann, Stefan (2005). "Conditional predictions". Linguistics and Philosophy. 28 (2).

Read other articles:

DARDO

DARDO (Bahasa italia: Dart) adalah Close-in weapon system (CIWS), ini dibangun oleh perusahaan asal Italia Breda and Oto Melara. Hal ini terdiri dari: dua Breda Bofors (ukuran 40 mm) firing high explosive (HE) shells fire-control radar (RTN-10X) fire-control system (RTN-20X dan Dardo). Ini adalah yang terakhir dari serangkaian panjang Italia senjata anti-pesawat yang berasal dari autocannon Bofors 40 mm Swedia (dipasang pada Breda seperti Type 64, Type 106, Type 107, Type 564 dan Type 520). ...

 

 

Emoji persik

Emoji persik yang tampil di Twitter. 🍑, yang secara resmi disebut sebagai emoji persik, adalah sebuah emoji yang menampilkan persik jingga ke-merah jambu-an. Emoji tersebut adalah salah satu emoji paling umum dipakai selain emoji terong di situs-situs web media sosial seperti Facebook, Twitter, dan Instagram. Para pengguna media sosial seringkali memakainya sebagai ikon pantat atau ikon sugestif saat perbincangan sexting.[1] Referensi ^ Bradford, Tayler (January 9, 2020). Eggplant ...

 

 

Manuel Bandeira

Manuel Bandeira (ke-3 dari kiri ke kanan, barisan belakang), 1936 Manuel Carneiro de Sousa Bandeira Filho (19 April 1886 – 13 Oktober 1968) merupakan seorang penyair Brasil, kritikus sastra, dan penerjemah, yang menulis lebih dari 20 buku puisi dan prosa. Bandeira lahir di Recife, Pernambuco. Karya puisi Alumbramentos, 1960 Antologia Poética Berimbau e Outros Poemas, 1986 Carnaval, 1919 50 Poemas Escolhidos pelo Autor, 1955 A Cinza das Horas, 1917 A Cinza das Horas, Carnaval e O Ritmo Diss...

Холокост на Украине

Часть серии статей о Холокосте Идеология и политика Расовая гигиена · Расовый антисемитизм · Нацистская расовая политика · Нюрнбергские расовые законы Шоа Лагеря смерти Белжец · Дахау · Майданек · Малый Тростенец · Маутхаузен ·&...

 

 

العلاقات البوتسوانية المالطية

العلاقات البوتسوانية المالطية بوتسوانا مالطا   بوتسوانا   مالطا تعديل مصدري - تعديل   العلاقات البوتسوانية المالطية هي العلاقات الثنائية التي تجمع بين بوتسوانا ومالطا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه الم...

 

 

Danville, California

Town of DanvilleMotto: Live Locally[1]Heart of the San Ramon Valley.[1]Lokasi Danville di Contra Costa County, California.Town of DanvilleLokasi di Amerika SerikatKoordinat: 37°49′18″N 122°00′00″W / 37.82167°N 122.00000°W / 37.82167; -122.00000Koordinat: 37°49′18″N 122°00′00″W / 37.82167°N 122.00000°W / 37.82167; -122.00000Negara Amerika SerikatNegara bagian CaliforniaCountyContra CostaIncor...

I Copa Brasil

I Copa BrasilCopa Brasil 1975 Competizione Campeonato Brasileiro Série A Sport Calcio Edizione 5ª Organizzatore CBD Date dal 20 agosto 1975al 14 dicembre 1975 Luogo  Brasile Partecipanti 42 Risultati Vincitore Internacional(1º titolo) Secondo Cruzeiro Statistiche Miglior marcatore Flávio Minuano(Internacional), 16 gol Incontri disputati 430 Gol segnati 975 (2,27 per incontro) Pubblico 6 873 358 (15 985 per incontro) Cronologia della competizione ed. ...

 

 

JKT48 Dangdut

JKT48 DangdutAsalJakarta, IndonesiaGenreDangdutTahun aktif(2015-08-26)26 Agustus 2015 – 2021Artis terkaitJKT48Mantan anggotaRezky Wiranti Dhike (sampai September 2016)Sendy Ariani (sampai akhir November 2016) Shinta NaomiRina ChikanoDena Siti Rohyati (sejak 21 Juni 2017)Rona Anggreani (sejak 21 Juni 2017) 4 Duren atau secara resmi sebagai JKT48 Dangdut merupakan sebuah sub-unit kedua dari JKT48. Sub unit ini merupakan suatu percobaan serta eksplorasi terhadap seni musik dangdut sebagai ciri...

 

 

USS Evansville (PF-70)

Tacoma-class patrol frigate For other ships with the same name, see USS Evansville. History United States NameEvansville NamesakeCity of Evansville, Indiana ReclassifiedPF-70, 15 April 1943 BuilderLeathem D. Smith Shipbuilding Company, Sturgeon Bay, Wisconsin Yard number313 Laid down28 August 1943 Launched27 November 1943 Sponsored byMrs. Don Davis Commissioned4 December 1944 Decommissioned4 September 1945[1] FateTransferred to the Soviet Navy, 4 September 1945 AcquiredReturned by Sov...

15e régiment de chasseurs à cheval

Cet article est une ébauche concernant une unité ou formation militaire française. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. 15e régiment de chasseurs à cheval insigne du 15e régiment de chasseurs à cheval Création 1977 Dissolution 1998 Pays France Branche Armée de terre Type Régiment de chasseurs à cheval Rôle Cavalerie légère Inscriptionssur l’emblème Vérone 1799 Friedland 1807Alba...

 

 

Индиана Джонс: В поисках утраченного ковчега

Индиана Джонс: В поисках утраченного ковчегаангл. Raiders of the Lost Ark Жанр приключенческий боевик Режиссёр Стивен Спилберг Продюсер Фрэнк Маршалл Авторысценария Сюжет:Джордж ЛукасФилип КауфманСценарий:Лоуренс Кэздан В главныхролях Харрисон Форд Карен Аллен Оператор Д...

 

 

Independence Tribunal

Court established during the War of Independence You can help expand this article with text translated from the corresponding article in Turkish. (September 2015) Click [show] for important translation instructions. View a machine-translated version of the Turkish article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pa...

Santa Rosa, Laguna

Component city in Laguna, Philippines Not to be confused with Laguna de Santa Rosa. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Santa Rosa, Laguna – news · newspapers · books · scholar · JSTOR (November 2013) (Learn how and when to remove this message) Component city in Calabarzon, PhilippinesSanta RosaC...

 

 

Architecture of Sri Lanka

The Temple of the Tooth in Kandy, Sri Lanka, is an example of traditional Sri Lankan architecture The architecture of Sri Lanka displays a rich variety of architectural forms and styles. Shaivism has had a significant influence on early Sri Lankan architecture, during the reign of King Ravana, then Buddhism has also had a significant influence on Sri Lankan architecture, since it was introduced to the island in the 3rd century BCE.[1] Traditionally, Indian and Chinese architecture hav...

 

 

Golf at the 1900 Summer Olympics

Golf at the Olympics Golfat the Games of the II OlympiadVenueCompiègne Club, CompiègneDate2–3 October 1900CompetitorsMore than 22 from 4 nations1904 → Part of a series on Golf at the 1900 Summer Olympics Events Individual menwomen vte The 1900 Summer Olympics took place in Paris, France. Two of the golf events that were contested in early October at the Compiègne Club, Compiègne as part of the Exposition Universelle, the men's and women's individual stroke play comp...

Brandschutz

Dieser Artikel behandelt den Brandschutz im Allgemeinen. Zu ähnlichen Themen siehe Brandschutz (Begriffsklärung). Taktisches Zeichen in Deutschland für einen Brandschutzdienst Brandprüfung zur Erlangung einer Feuerwiderstandsklasse für Abschottungssysteme in Kanada. Brandschutzisolierung auf einem Schiff Unter Brandschutz oder Feuerschutzwesen versteht man alle Maßnahmen, die der Entstehung und Ausbreitung eines Brandes (Feuer und Rauch)[1] vorbeugen (Brandverhütung durch vorb...

 

 

Nicolaas Laurens Burman

Nicolaas Laurens Burman (27 Desember 1734 – 11 September 1793) adalah seorang botanis asal Belanda. Ia adalah putra dari Johannes Burman (1707–1780). Ia meneruskan ayahnya sebagai ketua botani di Athenaeum Illustre of Amsterdam., dan di Hortus Botanicus. Ia giat berbincang dengan Carl Linnaeus, yang bertemu dengannya di Universitas Uppsala pada 1760. Ia adalah penulis sejumlah karya yang meliputi Specimen botanicum de geraniis (1759) dan Flora Indica (1768) yang kemudian di...

 

 

Thomas Eisfeld

German footballer (born 1993) Thomas Eisfeld Eisfeld playing for Arsenal in 2013Personal informationFull name Thomas Eisfeld[1]Date of birth (1993-01-18) 18 January 1993 (age 31)Place of birth Finsterwalde, GermanyHeight 1.77 m (5 ft 10 in)Position(s) Attacking midfielderTeam informationCurrent team Rot-Weiss EssenNumber 10Youth career SV Quitt Ankum0000–2005 VfL Osnabrück2005–2012 Borussia DortmundSenior career*Years Team Apps (Gls)2012–2014 Arsenal 0 (0)20...

儀禮

  提示：此条目页的主题不是周禮或禮記。   关于香港大學首任校長，請見「儀禮 (香港大學校長)」。 儀禮全名：《儀禮》其他名称《士禮》作者作者已不可考语言文言文文字：中文成书年代秦始皇以前主题內容記載著先秦的各種禮儀，其中以記載士大夫的禮儀為主。保存状态篇数：十七篇 《儀禮》為儒家十三經之一，原稱為《禮》或《禮經》，內容記載著�...

 

 

Iglesia de San Pedro (Gijón)

Iglesia de San Pedro Fachadas principal y lateral de la iglesiaLocalizaciónPaís España EspañaComunidad Principado de Asturias Principado de AsturiasLocalidad  GijónDirección Tránsito Campo Valdés, s/nCoordenadas 43°32′45″N 5°39′38″O / 43.54573333, -5.660675Información religiosaCulto Iglesia católicaDiócesis OviedoOrden Clero secularPatrono San Pedro ApóstolHistoria del edificioConstrucción 1945-1955Arquitecto Francisco y Federico Somolinos...