Import-Export (logic)

Short description: Principle of classical logic

User:RMCD bot/subject notice In logic, Import-Export is a deductive argument form which states that (P->(Q->R))↔((P∧Q)->R). In natural language terms, the principle means 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.

Import-Export holds in classical logic, where the conditional operator -> is taken as material implication. However, there are other 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

* Counterfactuals
* Modus ponens
* Paradoxes of material implication
* Strict conditional

## References

1. ↑ Sider, Theodore (2010). Logic for philosophy. Oxford University Press. pp. 130,276-277.
2. ↑ 2.0 2.1 Égré, Paul; Rott, Hans (2021). "The Logic of Conditionals". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/entries/logic-conditionals/.
3. ↑ 3.0 3.1 3.2 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". Ifs. Springer. doi:10.1007/978-94-009-9117-0_10.
5. ↑ 5.0 5.1 Kaufmann, Magdalena; Kaufmann, Stefan (2015). "Conditionals and modality". The handbook of contemporary semantic theory. Wiley.
6. ↑ Starr, Will (2021). "Counterfactuals". The Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/counterfactuals.
7. ↑ Kaufmann, Stefan (2005). "Conditional predictions". Linguistics and Philosophy 28 (2).

* v
* t
* e

Philosophy of language

Index of language articles

Philosophers|

* Plato (Cratylus)
* Gorgias
* Confucius
* Xunzi
* Aristotle
* Stoics
* Pyrrhonists
* Scholasticism
* Ibn Rushd
* Ibn Khaldun
* Thomas Hobbes
* Gottfried Wilhelm Leibniz
* Johann Herder
* Ludwig Noiré
* Wilhelm von Humboldt
* Fritz Mauthner
* Paul Ricœur
* Ferdinand de Saussure
* Gottlob Frege
* Franz Boas
* Paul Tillich
* Edward Sapir
* Leonard Bloomfield
* Zhuangzi
* Henri Bergson
* Lev Vygotsky
* Ludwig Wittgenstein
* Philosophical Investigations
* Tractatus Logico-Philosophicus
* Bertrand Russell
* Rudolf Carnap
* Jacques Derrida
* Of Grammatology
* Limited Inc
* Benjamin Lee Whorf
* Gustav Bergmann
* J. L. Austin
* Noam Chomsky
* Hans-Georg Gadamer
* Saul Kripke
* A. J. Ayer
* G. E. M. Anscombe
* Jaakko Hintikka
* Michael Dummett
* Donald Davidson
* Roger Gibson
* Paul Grice
* Gilbert Ryle
* P. F. Strawson
* Willard Van Orman Quine
* Hilary Putnam
* David Lewis
* John Searle
* Joxe Azurmendi
* Scott Soames
* Stephen Yablo
* John Hawthorne
* Stephen Neale
* Paul Watzlawick

Theories|

* Causal theory of reference
* Contrast theory of meaning
* Contrastivism
* Conventionalism
* Cratylism
* Deconstruction
* Descriptivism
* Direct reference theory
* Dramatism
* Expressivism
* Linguistic determinism
* Mediated reference theory
* Nominalism
* Non-cognitivism
* Phallogocentrism
* Relevance theory
* Semantic externalism
* Semantic holism
* Structuralism
* Supposition theory
* Symbiosism
* Theological noncognitivism
* Theory of descriptions (Definite description)
* Unilalianism
* Verification theory

Concepts|

* Ambiguity
* Cant
* Linguistic relativity
* Meaning
* Language
* Truth-bearer
* Proposition
* Use–mention distinction
* Concept
* Categories
* Set
* Class
* Family resemblance
* Intension
* Logical form
* Metalanguage
* Mental representation
* Presupposition
* Principle of compositionality
* Property
* Sign
* Sense and reference
* Speech act
* Symbol
* Entity
* Sentence
* Statement
* more...

Related articles|

* Analytic philosophy
* Philosophy of information
* Philosophical logic
* Linguistics
* Pragmatics
* Rhetoric
* Semantics
* Formal semantics
* Semiotics

* Category
* Task Force
* Discussion

0.00

(0 votes)

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Import-Export_(logic)&oldid=1057601"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template