I call a sign which stands for something merely because it resembles it, an icon. Icons are so completely substituted for their objects as hardly to be distinguished from them. Such are the diagrams of geometry. A diagram, indeed, so far as it has a general signification, is not a pure icon; but in the middle part of our reasonings we forget that abstractness in great measure, and the diagram is for us the very thing. So in contemplating a painting, there is a moment when we lose the consciousness that it is not the thing, the distinction of the real and the copy disappears, and it is for the moment a pure dream, — not any particular existence, and yet not general. At that moment we are contemplating an icon.

On The Algebra of Logic (1885)