A practical as distinguished from a verbal irony is presupposed by Aristotle (EN 1127a19-20).
The mannerisms of Socrates as described at Aristophanes « Clouds » 362-363 constitute a practical irony.
Current interpretations of the irony of Plato 's Socrates.
