Socratic Irony

‘Irony,’ says Quintilian, is that figure of speech or trope ‘in which something contrary to what is said is to be understood’ . His formula has stood the test of time. It passes intact into Dr Johnson's dictionary . It survives virtually intact in ours:Irony is the use of words to express something other than, and especially the opposite of, [their] literal meaning