Peircers, Here's a link to my blog rewrite of that last post on Logical Implication, with better formatting and the Figures in text.
Peirce's 1903 Lowell Lectures • Comment 8 https://inquiryintoinquiry.com/2017/11/26/peirces-1903-lowell-lectures-%e2%80%a2-comment-8/ On 11/22/2017 9:00 AM, Jon Awbrey wrote:
Peircers, 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 when it comes to understanding the properties of logical implications or material conditionals, under whatever name or notation people wish to invoke them. Assuming the Figures are listed in the order I attached them, Figure 1 below shows the frame of a Venn diagram for 2 features, predicates, propositions, properties, qualities, variables, or whatever they may be called, signified by the letters “p” and “q”, respectively. The rectangular area represents a set or space X, usually called the universe of discourse, though viewed from the angle of Peircean semiotics it is really just the ground level of a more complete object domain O to be built on its base. The circular area marked “p” represents the subset of X that has the property p. 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 “q” represents the subset of X that has the property q. 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 X that has the property p but not the property q. We can think of this as the region where “p without q” is true. Further, we can interpret either the propositional form “p (q)” 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 X that forms the set-theoretic complement of the subset represented in Figure 4. We can think of this as the region where “not p without q” is true. Finally, we can interpret either the propositional form “(p (q))” 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 X based on the coordinate frame mapped out by the properties p and q. This amounts to the functional interpretation of the Venn diagrams, propositional formulas, and corresponding logical graphs, each one associating a subset of X 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 can be interpreted another way, namely, as bearing information about constraints on the structure of universe as a whole, specifying what sorts of things, that is, what combinations of properties p and q can or cannot have 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 p and q, 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 set-theoretic subset relation, in this case showing the set P where p is true being a subset of the set Q where q is true. Regards, and see you on the flip side ... Jon
-- inquiry into inquiry: https://inquiryintoinquiry.com/ academia: https://independent.academia.edu/JonAwbrey oeiswiki: https://www.oeis.org/wiki/User:Jon_Awbrey isw: http://intersci.ss.uci.edu/wiki/index.php/JLA facebook page: https://www.facebook.com/JonnyCache
----------------------------- PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . To UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
