I think language is defined by real-world usage, not by the logical structure that we theorise underpins it. If so, double negatives actually are right, or at least they can be, if they successfully communicate meaning.