Many aspects of Peirce’s alpha graphs can be clarified by seeing how they relate to the corresponding Venn diagrams.
In particular, there is a series of diagrams in this vein that I’ve found to be very illuminating with regard to understanding the properties of logical implications or material conditionals, under whatever name or notation they may be invoked.
Figure 1 shows the frame of a Venn diagram for two features, predicates, propositions, properties, qualities, variables, or whatever they may be called, signified by the letters and respectively. The rectangular area represents a set or space usually called the universe of discourse, though viewed from the angle of Peircean semiotics it is really just the ground level of a more complex object domain to be built on its base.
The circular area marked represents the subset of that has the property Figure 2 shows this area shaded blue. We may think of the shading in the diagram as indicating the corresponding subset of the universe, in other words, associating a distinctive value with it.
The circular area marked represents the subset of that has the property Figure 3 shows this area shaded blue. We may think of the shading in the diagram as indicating the corresponding subset of the universe, in other words, associating a distinctive value with it.
The crescent-shaped area shaded blue in Figure 4 represents the subset of that has the property but not the property We may think of this as the region where is true. Further, we may interpret either the propositional form or the corresponding logical graph as indicating the same subset of the universe as the shading in the Venn diagram.
The shaded area in Figure 5 represents the subset of that constitutes the set-theoretic complement of the subset represented in Figure 4. We may think of this as the region where is true. Finally, we may interpret either the propositional form or the corresponding logical graph as indicating the same subset of the universe as the shading in the Venn diagram.
So far we are simply describing different regions of the universe based on the coordinate frame mapped out by the properties and This amounts to the functional interpretation of the Venn diagrams, propositional formulas, and corresponding logical graphs, each one associating a subset of with a distinctive logical value, say “true” or “1” or “looky here”, it doesn’t really matter so long as we know the subset it indicates.
But the same Venn diagrams, propositional forms, and logical graphs may be interpreted another way, as bearing information about constraints on the structure of the universe as a whole, specifying what sorts of things, that is, what combinations of properties and have or have not existence in it. This marks an interpretive transition from the functional interpretation to the relational interpretation of all these styles of signs.
In my mind’s eye I see the rectangular space of the Venn diagram as a soap film suspended in a wire frame, with two circles of thread for the properties and and various regions of soap film tinted with the indicative color. I see the transformation from Figure 5 to Figure 6 as occurring when a pin pops the untinted space of the first and the region collapses to give the arrangement of extant regions in the final diagram. This is the sort of diagram we usually draw to indicate a subset relation, in this case showing the set where is true being a subset of the set where is true.