Argument

Exportation (logic)

Overview

rule of replacement in propositional logic

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Possible passages

Found by search and not yet checked by a person; they may only mention the idea in passing.

1. Several of the other duties, too which were imposed either at the same time or subsequent to the old subsidy, what is called the additional duty, the new subsidy, the one-third and two-thirds subsidies, the impost 1692, the tonnage on wine, were allowed to be wholly drawn back upon exportation. All those duties, however, except the additional duty and impost 1692, being paid down in ready money upon importation, the…

   Adam Smith, An Inquiry into the Nature and Causes of the Wealth of Nations

   Names Exportation several times; states what Exportation is.

   Read the chapter · Open in the reader

2. For the encouragement of the mining trade, the 5th of William and Mary, chap. 17, exempted from this prohibition iron, copper, and mundic metal made from British ore. The exportation of all sorts of copper bars, foreign as well as British, was afterwards permitted by the 9th and 10th of William III. chap 26. The exportation of unmanufactured brass, of what is called gun-metal, bell-metal, and shroff-metal, still…

   Adam Smith, An Inquiry Into the Nature and Causes of the Wealth of Nations

   Names Exportation several times; states what Exportation is.

   Read the chapter · Open in the reader

3. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some A _is not_ B, is first changed into a proposition æquipollent with it, Some A _is_ "a thing which is not B;" and the proposition, being now no longer a particular negative, but a particular…

   John Stuart Mill, A System of Logic

   States what Exportation is.

   Read the chapter · Open in the reader

Related ideas

• Logical equivalence
• Logical conjunction
• Propositional logic
• Validity (logic)
• Symbol (formal)
• Rule of inference
• Curry–Howard correspondence
• Theorem
• Metalogic
• Formal system
• Tautology (logic)
• Classical logic
• Material conditional
• Currying
• Consequent

Place in the tradition

Part of Propositional logic.

Explore Exportation (logic) in the interactive graph →