{"id":610,"date":"2026-02-18T21:18:57","date_gmt":"2026-02-18T11:18:57","guid":{"rendered":"https:\/\/stevewatson.info\/blog\/?p=610"},"modified":"2026-02-18T21:18:57","modified_gmt":"2026-02-18T11:18:57","slug":"information-flow","status":"publish","type":"post","link":"https:\/\/stevewatson.info\/blog\/2026\/02\/18\/information-flow\/","title":{"rendered":"Information Flow"},"content":{"rendered":"

There is a fundamental sociological interest in the infrastructure or social conditions that facilitate the distribution of information in a society. Unfortunately, treatments of the \u2018Flow of Information\u2019 in the context of sociological or organizational theory typically refer to the \u2018information channels\u2019 that play that role with minimal if any definition or consideration of the criteria that need to be met in order for anything to play that role, while treatments in the context of Network Theory or in the domain of Logic, Language, and Computation offer only definitions that are irrelevant to the sociological context.<\/span><\/p>\n

Begin with the necessary relevant agent interactions with information.<\/span><\/p>\n

    \n
  1. Insertion<\/u><\/em><\/span><\/li>\n<\/ol>\n

    For some proposition p<\/em>, agent x<\/em>\u2208X<\/em>, ax<\/sub><\/em> \u2208 \u03b1x<\/sub><\/em> considered as a state transformation such that ax<\/sub><\/em>(\u03c31<\/sub><\/em>) = \u03c3<\/em>2<\/sub><\/em> is an Insertion<\/u> of p<\/em> into \u03c3<\/em>1<\/sub><\/em> iff<\/span><\/p>\n

      \n
    1. (\u2203y<\/em>\u2208X<\/em>)[ (\u2203{xi<\/sub><\/em>:i <\/em>= 0, \u2026, n<\/em>}\u2282 X<\/em>) (\u2203<axi<\/sub><\/em> \u2208\u03b1<\/em>xi<\/sub><\/em>: i <\/em>= 0, \u2026, n<\/em>>) [ axi<\/sub><\/em>(\u03c3<\/em>1+i<\/sub><\/em>) = \u03c3<\/em>2+i<\/sub><\/em> & ax0<\/sub> = ax<\/sub><\/em> ] & <\/span>
      \np<\/em> \u2208 Iv<\/strong>y,\u03c3<\/sub><\/em>(<\/sub>2+<\/sub><\/em>n<\/sub><\/em>)<\/sub> \\Iv<\/strong>y,\u03c3<\/sub><\/em>1<\/sub><\/em> ]<\/span><\/li>\n
    2. Bx<\/sub><\/em> [ \u2018i.\u2019 ] \u2208 qx<\/sub><\/em><\/span><\/li>\n
    3. Dx<\/sub><\/em> [ \u2018i.\u2019 ] \u2208 qx<\/sub><\/em><\/span><\/li>\n<\/ol>\n

      \u00bb An insertion is the deliberate addition to a state of affairs of an item of information that can be made available to some agent by some sequence of state-transforming actions by other agents.<\/em><\/span><\/p>\n

        \n
      • Write Ins<\/em>(ax<\/sub><\/em>, p<\/em>, \u03c31<\/sub><\/em>).<\/span><\/li>\n
      • We can also say that x<\/em> Inserts<\/u> p<\/em> into \u03c31<\/sub><\/em> by ax<\/sub><\/em> and write In<\/em>(x<\/em>, p<\/em>, \u03c31<\/sub><\/em>, ax<\/sub><\/em>)<\/span><\/li>\n
      • The restriction to available information is justified by the fact that information that is not available to any agent is sociologically inert.<\/span><\/li>\n
      • The agent making the insertion must be supposed to be intending (desiring and believing) that the information will be sociologically active or else there is no sociological import to the insertion.<\/span><\/li>\n
      • Note that in the case that n<\/em> = 0, condition (i) is equivalent to<\/span>\n
          \n
        • (\u2203y<\/em>\u2208X<\/em>) GenIv<\/em>(ax<\/sub><\/em>, \u03c31<\/sub><\/em>, p, y<\/em>) or<\/span><\/li>\n
        • (\u2203y<\/em>\u2208X<\/em>)[ p <\/em>\u2208\u00a0genIv<\/strong>(ax<\/sub><\/em>, \u03c31<\/sub><\/em>, y<\/em>) ]<\/span><\/li>\n<\/ul>\n<\/li>\n
        • Refinements to this definition are possible to account for situations in which condition (i) fails, or in which conditions (ii) and (iii) are not required to hold at the time of the action. For example, to take an extreme case, the Voyager spacecraft plaques would not qualify under this definition. Whether these possibilities should be considered need not delay us here.<\/span><\/li>\n<\/ul>\n

          Define an Information Insertion Point<\/u> as a state of affairs, \u03c31<\/sub><\/em> such that<\/span><\/p>\n

            \n
          1. (\u2203p<\/em>\u2208\u2119<\/em>) (\u2203x<\/em>\u2208X<\/em>) (\u2203ax<\/sub><\/em>\u2208\u03b1x<\/sub><\/em>) [ ax<\/sub><\/em>(\u03c31<\/sub><\/em>) = \u03c32<\/sub><\/em> &<\/span><\/li>\n
          2. (\u2203y<\/em>\u2208X<\/em>)[ (\u2203{xi<\/sub><\/em>:i <\/em>= 0, \u2026, n<\/em>} \u2282 X<\/em>) (\u2203<axi<\/sub><\/em> \u2208a<\/em>xi<\/sub><\/em>: i <\/em>= 0, \u2026, n<\/em>>) [ axi<\/sub><\/em>(\u03c31+i<\/sub><\/em>) = \u03c32+i<\/sub><\/em> & ax0<\/sub> = ax<\/sub><\/em> ] & <\/span>
            \np<\/em> \u2208 Iv<\/strong>y,\u03c3<\/sub><\/em>(<\/sub>2+<\/sub><\/em>n<\/sub><\/em>)<\/sub> \\Iv<\/strong>y,\u03c3<\/sub><\/em>1<\/sub><\/em> ] &<\/span><\/li>\n
          3. Bx<\/sub><\/em> [ \u2018ii.\u2019 ] \u2208 qx<\/sub><\/em> ]<\/span><\/li>\n<\/ol>\n

            \u00bb An information insertion point is a state of affairs to which some agent correctly believes he may add an item of information that can be made available to some agent by some sequence of state-transforming actions by other agents. <\/em><\/span><\/p>\n

              \n
            • Write IIP<\/em>(s<\/em>1<\/sub><\/em>)<\/span><\/li>\n<\/ul>\n

              We shall also define the Information Insertion Point for p<\/em> or P<\/em><\/u> as an insertion point defined for a particular proposition p <\/em>or class of propositions P <\/em>as a state of affairs, \u03c31<\/sub><\/em> such that<\/span><\/p>\n

                \n
              1. (\u2200p<\/em>\u2208\u2119<\/em>) (\u2203x<\/em>\u2208X<\/em>) (\u2203ax<\/sub><\/em>\u2208\u03b1x<\/sub><\/em>) [ ax<\/sub><\/em>(\u03c31<\/sub><\/em>) = \u03c32<\/sub><\/em> &<\/span><\/li>\n
              2. (\u2203y<\/em>\u2208X<\/em>)[ (\u2203{xi<\/sub><\/em>:i <\/em>= 0, \u2026, n<\/em>} \u2282 X<\/em>) (\u2203<axi<\/sub><\/em> \u2208a<\/em>xi<\/sub><\/em>: i <\/em>= 0, \u2026, n<\/em>>) [ axi<\/sub><\/em>(\u03c31+i<\/sub><\/em>) = \u03c32+i<\/sub><\/em> & ax0<\/sub> = ax<\/sub><\/em> ] & <\/span>
                \np<\/em> \u2208 Iv<\/strong>y,\u03c3<\/sub><\/em>(<\/sub>2+<\/sub><\/em>n<\/sub><\/em>)<\/sub> \\Iv<\/strong>y,\u03c3<\/sub><\/em>1<\/sub><\/em> ] &<\/span><\/li>\n
              3. Bx<\/sub><\/em> [ \u2018ii.\u2019 ] \u2208 qx<\/sub><\/em> ]<\/span><\/li>\n<\/ol>\n

                \u00bb An information insertion point for p\/P<\/em> is a state of affairs such that for every proposition of a certain kind some agent correctly believes he may insert that proposition as an item of information that can be made available to some agent by some sequence of state-transforming actions by other agents. <\/em><\/span><\/p>\n

                  \n
                • Without danger of ambiguity, we may write IIP<\/em>(\u03c31<\/sub><\/em>, p<\/em>) when referring to the case for single propositions or IIP<\/em>(\u03c3<\/em>1<\/sub><\/em>, P<\/em>) for the case of classes of propositions, and say that \u03c3<\/em>1<\/sub><\/em> is an information insertion point for p<\/em> or P<\/em>.<\/span><\/li>\n<\/ul>\n
                    \n
                  1. Extraction<\/u><\/em><\/span><\/li>\n<\/ol>\n

                    For some proposition p<\/em>, agent x<\/em>\u2208X<\/em>, state of affairs \u03c3<\/em>, ax<\/sub><\/em> \u2208 \u03b1x<\/sub><\/em> is an Extraction<\/u> of p<\/em> from \u03c3<\/em> iff<\/span><\/p>\n

                    (\u2203\u03c9<\/em>)(\u2203h<\/em>)[ Mot<\/em>(\u03c9<\/em>, x<\/em>, h<\/em>, \u03c3<\/em>, ax<\/sub><\/em>) &<\/span><\/p>\n

                    \u00bb Some question \u03c9<\/em> motivates x to apply some supposed adduction h on \u03c3<\/em>\u00a0using <\/em>ax<\/sub><\/em><\/span><\/p>\n

                    Add<\/em>(ax<\/sub><\/em>, h<\/em>, \u03c3<\/em>) & h<\/em>(\u03c3<\/em>) = p<\/em>) ]<\/span><\/p>\n

                    \u00bb which actually is an adducement applying the adduction h to \u03c3<\/em>,<\/em> yielding p.<\/em><\/span><\/p>\n

                      \n
                    • Write Ext<\/em>(ax<\/sub><\/em>, p<\/em>, \u03c3<\/em>) and say that ax<\/sub><\/em> is an extraction of p<\/em> from \u03c3<\/em>.<\/span><\/li>\n
                    • We can also say that x<\/em> Extracts<\/u> p<\/em> from \u03c3<\/em>\u00a0by ax<\/sub><\/em> and write Ex<\/em>(x<\/em>, p<\/em>, \u03c3<\/em>, ax<\/sub><\/em>)<\/span><\/li>\n
                    • The agent making the extraction must be supposed to be intending (desiring and believing) the action to adduce information, otherwise the retrieval of information is merely an accidental effect of the action and cannot be part of a sociologically significant process.<\/span><\/li>\n<\/ul>\n

                      Define an Information Extraction Point<\/u> as a state of affairs, \u03c3<\/em>\u00a0such that<\/span><\/p>\n

                      (\u2203p<\/em>\u2208\u2119<\/em>) (\u2203x<\/em>\u2208X<\/em>) (\u2203ax<\/sub><\/em>\u2208a<\/em>x<\/sub><\/em>) [ (\u2203\u03c9<\/em>)(\u2203h<\/em>)[ Mot<\/em>(\u03c9<\/em>, x<\/em>, h<\/em>, \u03c3<\/em>, ax<\/sub><\/em>) & Add<\/em>(ax<\/sub><\/em>, h<\/em>, \u03c3<\/em>) <\/span>
                      \n\u21d2 h<\/em>(\u03c3<\/em>) = p<\/em>]<\/span><\/p>\n

                      \u00bb An information extraction point is a state of affairs from which some agent correctly believes he may extract an item of information that he is motivated to discover that is available to some agent. <\/em><\/span><\/p>\n

                        \n
                      • Write IEP<\/em>(\u03c3<\/em>)<\/span><\/li>\n<\/ul>\n

                        We shall also define the Information Extraction Point for p<\/em> or P<\/em><\/u> as an insertion point defined for a particular proposition p <\/em>or class of propositions P <\/em>as a state of affairs, \u03c3<\/em>\u00a0such that<\/span><\/p>\n

                        (\u2200p<\/em>\u2208\u2119<\/em>) (\u2203x<\/em>\u2208X<\/em>) (\u2203ax<\/sub><\/em>\u2208a<\/em>x<\/sub><\/em>) [ (\u2203\u03c9<\/em>)(\u2203h<\/em>)[ Mot<\/em>(\u03c9<\/em>, x<\/em>, h<\/em>, \u03c3<\/em>, ax<\/sub><\/em>) & Add<\/em>(ax<\/sub><\/em>, h<\/em>, \u03c3<\/em>)<\/span>
                        \n\u21d2 h<\/em>(\u03c3<\/em>) = p<\/em>]<\/span><\/p>\n

                        \u00bb An information extraction point for p\/P is a state of affairs such that for every proposition of a certain kind some agent correctly believes he may extract that proposition as an item of information that he is motivated to discover that is available to some agent. <\/em><\/span><\/p>\n

                          \n
                        • Without danger of ambiguity, we may write IEP<\/em>(\u03c3<\/em>, p<\/em>) when referring to the case for single propositions or IEP<\/em>(\u03c3<\/em>, P<\/em>) for the case of classes of propositions, and say that \u03c3<\/em>\u00a0is an information extraction point for p<\/em> or P<\/em>.<\/span><\/li>\n<\/ul>\n
                            \n
                          1. Transmission<\/u><\/em><\/span><\/li>\n<\/ol>\n

                            Let p<\/em> be a proposition, \u03c3<\/em>1<\/sub><\/em> a state of affairs, such that IIP<\/em>(\u03c3<\/em>1<\/sub><\/em>, p<\/em>)<\/span><\/p>\n

                            \u03c3<\/em><\/strong> = (\u03c3<\/em>1<\/sub><\/em>, …, \u03c3<\/em>n+2<\/sub><\/em>) is an Information Arc for p<\/em><\/u> if<\/span><\/p>\n

                            (\u2203<\u03c4i<\/sub><\/em>: i<\/em> = 0, \u2026, n <\/em>>)[ \u03c4<\/em>i<\/sub><\/em>(\u03c3<\/em>1+i<\/sub><\/em>) = \u03c3<\/em>2+i<\/sub><\/em> &<\/span>
                            \n(\u2203x<\/em>\u2208X<\/em>) (\u2203ax<\/sub><\/em>\u2208\u03b1x<\/sub><\/em>)[ In<\/em>(x<\/em>, p<\/em>, \u03c3<\/em>1<\/sub><\/em>, ax<\/sub><\/em>) & \u03c4<\/em>0<\/sub><\/em> = ax<\/sub><\/em> &<\/span>
                            \n~IEP<\/em>(\u03c3<\/em>1<\/sub><\/em>, p<\/em>) &<\/span>
                            \nIEP<\/em>(\u03c3<\/em>2+n<\/sub><\/em>, p<\/em>) &<\/span>
                            \n(~Ins<\/em>(ax<\/sub><\/em>, p<\/em>, \u03c3<\/em>1<\/sub><\/em>) \u21d2 ~IEP<\/em>(\u03c3<\/em>2+n<\/sub><\/em>, p<\/em>)) ]]<\/span><\/p>\n

                            \u00bb An information arc for a proposition is a sequence of states of affairs produced by state transformations of an information insertion point at which that proposition has been inserted that ends in an information extraction point for it. <\/em><\/span><\/p>\n

                              \n
                            • Write IA<\/em>(\u03c3<\/em><\/strong>, p<\/em>)<\/span><\/li>\n
                            • Note that n<\/em> = 0 is possible, in which case we can talk of a Null Information Arc for p<\/em><\/u>.<\/span><\/li>\n<\/ul>\n

                              Define an Information Channel<\/u> as a state of affairs \u03c7<\/em>, such that<\/span><\/p>\n

                              (\u2203P<\/em>\u2282\u2119<\/em>) (\u2200p<\/em>\u2208P<\/em>) (\u2203\u03c3<\/em><\/strong>) [ IA<\/em>(\u03c3<\/em><\/strong>, p<\/em>) &<\/span>
                              \n(\u2200\u03c3i<\/sub><\/em>\u2208\u03c3<\/em><\/strong>) [\u03c7<\/em> \u2282 \u03c3<\/em>i<\/sub><\/em> & (~(\u03c7<\/em> \u2282 \u03c3<\/em>i<\/sub><\/em>) \u21d2 ~IIP<\/em>(\u03c3<\/em>i<\/sub><\/em>, p<\/em>) & ~IEP<\/em>(\u03c3<\/em>i<\/sub><\/em>, p<\/em>)) ]]<\/span><\/p>\n

                              \u00bb An information channel is a stable state of affairs that facilitates information arcs for a class of propositions as items of information.<\/em><\/span><\/p>\n

                                \n
                              • Write IC<\/em>(\u03c7<\/em>)<\/span><\/li>\n
                              • We can call P<\/em>\u2282\u2119<\/em> that appears in the definition above the Matter<\/u> of \u03c7<\/em>, and write that M(\u03c7<\/em>)=P<\/em><\/span><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"

                                There is a fundamental sociological interest in the infrastructure or social conditions that facilitate the distribution of information in a society. Unfortunately, treatments of the \u2018Flow of Information\u2019 in the context of sociological or organizational theory typically refer to the \u2018information channels\u2019 that play that role with minimal if any definition or consideration of the […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[28],"tags":[],"class_list":["post-610","post","type-post","status-publish","format-standard","hentry","category-sociology"],"_links":{"self":[{"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/posts\/610","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/comments?post=610"}],"version-history":[{"count":1,"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/posts\/610\/revisions"}],"predecessor-version":[{"id":611,"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/posts\/610\/revisions\/611"}],"wp:attachment":[{"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/media?parent=610"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/categories?post=610"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/stevewatson.info\/blog\/wp-json\/wp\/v2\/tags?post=610"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}