Disimplicature

Speranza

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. 

Counterfactuals play a starring role -- and Grice knew it!