Peircers, I will see if I can make a readable enough plaintext transcript of that last blog post:
[A scene from a story I read in childhood, or maybe high school Latin class, kept coming to mind, so I decided to use it for an epigraph.] ||| And the founder, having shod a plough with a brazen ||| ploughshare, and having yoked to it| a bull and a cow, ||| himself drove a deep furrow| round the boundary lines, ||| while those who followed after him had to turn the clods, ||| which the plough threw up, inwards towards the city, and ||| suffer no clod to lie turned outwards. ||| ||| Plutarch • Life of Romulus http://penelope.uchicago.edu/Thayer/E/Roman/Texts/Plutarch/Lives/Romulus*.html#11 Re: Peirce List Discussion JBD:https://list.iupui.edu/sympa/arc/peirce-l/2016-11/msg00159.html JA:https://list.iupui.edu/sympa/arc/peirce-l/2016-11/msg00160.html JA:https://list.iupui.edu/sympa/arc/peirce-l/2016-11/msg00165.html Our inquiry now calls on the rudiments of topology, for which I turn to J.L. Kelley. <QUOTE> Chapter 1. Topological Spaces 1.1. Topologies and Neighborhoods A topology is a family T of sets which satisfies the two conditions: the intersection of any two members of T is a member of T, and the union of the members of each subfamily of T is a member of T. The set X = ∪ { U : U ∈ T } is necessarily a member of T because T is a subfamily of itself, and every member of T is a subset of X. The set X is called the “space” of the topology T and T is a “topology for {X}”. The pair (X, T) is a “topological space”. When no confusion seems possible we may forget to mention the topology and write “X is a topological space.” We shall be explicit in cases where precision is necessary (for example if we are considering two different topologies for the same set X). The members of the topology T are called “open” relative to T, or T-open, or if only one topology is under consideration, simply open sets. The space X of the topology is always open, and the void set is always open because it is the union of the members of the void family. These may be the only open sets, for the family whose only members are X and the void set is a topology for X. This is not a very interesting topology, but it occurs frequently enough to deserve a name; it is called the “indiscrete” (or “trivial”) topology for X, and (X, T) is then an “indiscrete topological space”. At the other extreme is the family of all subsets of X, which is the “discrete topology” for X (then (X, T) is a “discrete topological space”). If T is the discrete topology, then every subset of the space is open. (Kelley, p. 37). </QUOTE> References ========== • Kelley, J.L. (1955), General Topology, Van Nostrand Reinhold, New York, NY. • Plutarch, “Romulus”, in Plutarch’s Lives : Volume 1, Bernadotte Perrin (trans.), Loeb Classical Library, William Heinemann, London, UK, 1914. Resources ========= • Differential Logic : Introduction http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction • Differential Propositional Calculus http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus • Differential Logic and Dynamic Systems http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 -- academia: http://independent.academia.edu/JonAwbrey my word press blog: http://inquiryintoinquiry.com/ inquiry list: http://stderr.org/pipermail/inquiry/ isw: http://intersci.ss.uci.edu/wiki/index.php/JLA oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey 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 peirce-L@list.iupui.edu . To UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
