7.1.1. Foundational Definitions🔗

Ashby, W.R. (1956). An Introduction to Cybernetics. London: Chapman & Hall. Introduced requisite variety and the constraint concept central to Joslyn's formalization.

Bunge, M. (1979). Treatise on Basic Philosophy, Vol. 4: Ontology II: A World of Systems. Dordrecht: D. Reidel Publishing. Chapter 1 defines the CES triple ⟨C, E, S⟩ — composition, environment, structure — that anchors the set-theoretic tradition.

Bunge, M. (2000). Systemism: The Alternative to Individualism and Holism. Journal of Socio-Economics, 29(2), 147–157. Extends the CES framework into social science methodology.

Klir, G.J. (2001). Facets of Systems Science (2nd ed.). New York: Springer. Equation 1.1 defines S = (T, R) — the common root that both Bunge and Mobus independently converge on, though via different paths (ontological and analytical respectively).

Klir, G.J. & Valach, M. (1967). Cybernetic Modelling. London: Iliffe Books. Early systems formalization cited by Bunge as precedent for his own definition.

Klir, G.J. & Rogers, G.S. (1977). Basic and Applied General Systems Research: A Bibliography. In G.J. Klir (Ed.), Applied General Systems Research. New York: Plenum. Referenced by Bunge in situating Klir's program.

Mesarovic, M.D. & Takahara, Y. (1975). General Systems Theory: Mathematical Foundations. New York: Academic Press. Definition 1.1 introduces the input-output framework that the shape category I_Mesarovic encodes.

Mobus, G.E. (2022). Systems Science: Theory, Analysis, Modeling, and Design. Cham: Springer. Chapter 4 presents the 8-tuple S = ⟨C, N, E, G, B, T, H, Δt⟩ that serves as the primary formalization target.

Myers, D.J. (2021). Categorical Systems Theory. Topos Institute Blog, November 4, 2021. Accessible introduction to why category theory applies to systems; motivates the formal framework developed in Myers (2023).

Myers, D.J. (2023). Categorical Systems Theory. Manuscript, Topos Institute. Section 2.1 defines systems as lenses — deterministic maps from state × input to state × output — encoded as I_Myers.

Topos Institute (2021–). Fundamental Research: Pioneering a Mathematical Systems Science. Program description at topos.institute/work. The institutional context for Myers's categorical systems theory and related work by Spivak, Fong, and collaborators.

Wymore, A.W. (1993). Model-Based Systems Engineering. Boca Raton: CRC Press. Chapter 3 defines the FSD quintuple. Cited via Wach et al. (2021).

7.1.2. Categorical and Formal Methods🔗

Goguen, J.A. (1978). General Systems Theory and the Chomsky Hierarchy. In B.P. Zeigler, M.S. Elzas, G.J. Klir, & T.I. Ören (Eds.), Methodology in Systems Modelling and Simulation (pp. 321–333). Amsterdam: North-Holland. Early categorical approach to general systems theory.

Takahara, Y. & Takai, M. (1985). Category Theoretical Framework of General Systems Theory. International Journal of General Systems, 11(3), 233–246. Category-theoretic reformulation of the Mesarovic-Takahara framework.

Wach, L., Joslyn, C., Purvine, E., & Jensen, S.A. (2021). Conjoining Wymore's Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for Systems Engineering. Systems Engineering, 24(5), 271–290. Connects Wymore's formal framework to computational modeling; source for Wymore's definitions in this formalization.

7.1.3. Cybernetics and Control Tradition🔗

Joslyn, C. (1995/2000). Semantic Control Systems. World Futures: The Journal of General Evolution, 45(1-4), 87–123. Proposition 29 establishes the semantic closure condition — a system that interprets its own constraints — central to the cybernetic tradition encoded as I_Joslyn.

Joslyn, C. & Purvine, E. (2018). Hypergraph Theory for the Analysis of Complex Social Systems. Presented at the SIAM Workshop on Network Science. Methodological reference for frontier positioning.

Pattee, H.H. (1995). Evolving Self-Reference: Matter, Symbols, and Semantic Closure. Communication and Cognition — Artificial Intelligence, 12(1-2), 9–28. Articulates the epistemic cut — the irreducible distinction between physical dynamics and symbolic description — that Joslyn's framework operationalizes.

Rosen, R. (1991). Life Itself: A Comprehensive Inquiry into the Nature, Origin, and Fabrication of Life. New York: Columbia University Press. Introduces (M,R)-systems (metabolism-repair) and relational biology; part of the cybernetic lineage that informs Joslyn's approach.