Disimplicature

Speranza

A common account of the distinction between analytic and synthetic truths is that while the former are true solely in virtue of meaning, the latter are true also in virtue of the way of the world. 

Quine famously disputed this characterization, and his skepticism over the analytic/synthetic distinction has cast a long shadow. 

Against this skepticism, Grice argues that the common account comes close to the truth, and that truthmaker theory in particular offers the resources for providing a compelling account of the distinction that preserves the basic ideas behind it, and avoids the standard criticisms facing the distinction. 

In particular, Grice argues that analytic truths are truths that ontologically depend in no way whatsoever upon what exists.