External negation of conditionals occurs in sentences beginning with ‘It is not true that if’ or similar phrases, and it is not rare in natural language. A conditional may also be denied by another with the same antecedent and opposite consequent. Most often, when the denied conditional is implicative, the denying one is concessive, and vice versa. Here I argue that, in natural language pragmatics, ‘If $A$, $\sim B$’ entails ‘$\sim$(if $A, B$)’, but ‘$\sim$(if $A, B$)’ does not entail ‘If $A$, $\sim B$’. ‘If $A, B$’ and ‘If $A$, $\sim B$’ deny each other, but are contraries, not contradictories. Truth conditions that are relevant in human reasoning and discourse often depend not only on semantic but also on pragmatic factors. Examples are provided showing that sentences having the forms ‘$\sim$(if $A, B$)’ and ‘If $A$, $\sim B$’ may have diﬀerent pragmatic truth conditions. The principle of Conditional Excluded Middle, therefore, does not apply to natural language use of conditionals. Three squares of opposition provide a representation the aforementioned relations.
Bennett, 2003 – Bennett, J. A Philosophical Guide to Conditionals. Oxford: Oxford University Press, 2003.
Chisholm, 1946 – Chisholm, R. “The contrary-to-fact conditional”, Mind, 1946, Vol. 55, pp. 289–307.
Davis, 1983 – Davis, W. “Weak and strong conditionals”, Paciﬁc Philosophical Quarterly, 1983, Vol. 64, pp. 57–71.
Declerck and Reed, 2001 – Declerck, R. and Reed, S. “Some truths and nontruths about even if”, Linguistics, 2001, Vol. 39, No. 2, pp. 203–255.
Ducrot, 1972 – Ducrot, O. Dire et ne pas dire. Paris: Hermann, 1972.
Gomes, 2009 – Gomes, G. “Are necessary and suﬃcient conditions converse relations?”, Australasian Journal of Philosophy, 2009, Vol. 87, No. 3, pp. 375–387.
Gomes, 2020 – Gomes, G. “Concessive conditionals without even if and nonconcessive conditionals with even if”, Acta Analytica, 2020, Vol. 35, No. 1, pp. 1–21.
Goodman, 1947 – Goodman, N. “The problem of counterfactual conditionals“, Journal of Philosophy, 1947, Vol. XLIV, No. 5, pp. 113–128.
Horn, 2001 – Horn, L.R. A Natural History of Negation. Stanford (CA): CSLI Publications, 2001.
Horn and Wansing, 2020 – Horn, L.R. and Wansing, H. “Negation”, The Stanford Encyclopedia of Philosophy, [https://plato.stanford.edu/archives/spr2020/ entries/negation/], Spring 2020 edition.
Lewis, 1973 – Lewis, D. “Counterfactuals and comparative possibility”, Journal of Philosophical Logic, 1973, Vol. 2, reprinted in Ifs, ed. by W.L. Harper, R. Stalnaker, and G. Pearce. Dordrecht: Reidel, 1981, pp. 57–85.
Lycan, 2001 – Lycan, W.G. Real conditionals. Oxford: Oxford University Press, 2001. Recanati, 2010 – Recanati, F. Truth-Conditional Pragmatics. Oxford: Oxford University Press, 2010.
Stalnaker, 1968 – Stalnaker, R.C. “A theory of conditionals”, in: Studies in Logical Theory, ed. by N. Rescher, Oxford: Blackwell, APQ Monograph No 2., reprinted in Ifs, ed. by W.L. Harper, R. Stalnaker, and G. Pearce, Dordrecht: Reidel, 1981, pp. 41–55.
Stalnaker, 1981 – Stalnaker, R.C. “A defense of conditional excluded middle”, in: Ifs, ed. by W.L. Harper, R. Stalnaker, G. Pearce. Dordrecht: Reidel, 1981, pp. 87–104.
Wansing, 2005 – Wansing, H. “Connexive Modal Logic”, in: Advances in Modal Logic.Volume 5, ed. by R. Schmidt et al. London: King’s College Publications, 2005, pp. 367–383.