Hurford Conditionals

Compare the following conditionals: Bad #If John is not in Paris, he is in France. Good If John is in France, he is not in Paris. Good sounds entirely natural, whereas Bad sounds quite strange. This contrast is puzzling, because Bad and Good have the same structure at a certain level of logical abstraction:

[1]  Irene Heim,et al.  Presupposition Projection and the Semantics of Attitude Verbs , 1992, J. Semant..

[2]  Philippe Schlenker,et al.  Local Contexts , 2008 .

[3]  A. Gillies.  Epistemic Conditionals and Conditional Epistemics , 2004 .

[5]  H. D. Swart,et al.  Adverbs of quantification , 1991 .

[6]  Anthony S. Gillies,et al.  Counterfactual scorekeeping , 2007 .

[7]  Daniel Rothschild,et al.  Explaining presupposition projection with dynamic semantics , 2011 .

[8]  David I. Beaver.  Presupposition and Assertion in Dynamic Semantics , 2001 .

[9]  Rob A. van der Sandt,et al.  Presupposition Projection as Anaphora Resolution , 1992, J. Semant..

[10]  Jacopo Romoli,et al.  A puzzle for theories of redundancy: exhaustification, incrementality, and the notion of local context , 2016 .

[11]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[12]  K. Fintel.  What is Presupposition Accommodation, Again? , 2008 .

[13]  H. Savin,et al.  The projection problem for presuppositions , 1971 .

[14]  Gerald Gazdar,et al.  Pragmatics: Implicature, Presupposition, and Logical Form , 1978 .

[15]  G. Chierchia,et al.  The Grammatical View of Scalar Implicatures and the Relationship between Semantics and Pragmatics , 2008 .

[16]  Raj Singh.  VP-Deletion , Obligatory too , and Focus Semantics ∗ , 2009 .

[17]  Claire Beyssade,et al.  Obligatory Presuppositions in Discourse , 2010 .

[18]  Paola Pietrandrea.  The notional category of epistemic modality , 2005 .

[19]  Fabrizio Cariani,et al.  Will done Better: Selection Semantics, Future Credence, and Indeterminacy , 2018 .

[20]  Anthony S. Gillies,et al.  On Truth-Conditions for If (but Not Quite Only If) , 2009 .

[21]  G. Chierchia,et al.  Hurford disjunctions: embedded exhaustification and structural economy , 2014 .