title: A two-sorted logic for structurally modeling systems.
abstract: Structural modeling of complex biological systems relies on formalisms inherited from physics. These formalisms scale poorly when dealing with interactions with many variables and agents working in systems that cohere at multiple layers. We propose a two sorted logic that supplements existing formalisms to mitigate these problems. The purpose of this second logic is to track how multiple contexts relate to each other, as well as to the dependent structures they inform: a situating of situations. In this way, we aim to capture the multi-layered and multi-system dynamics that have been elusive in modeling emergent systems. An apoptosis example is explored in the context of mental concepts.
authors.affiliation: Sirius-Beta, Inc, Virginia Beach, VA, United States. Electronic address: tedg@sirius-beta.com.
authors.forename: H T
authors.initials: HT
authors.lastname: Goranson
authors.forename: Beth
authors.initials: B
authors.lastname: Cardier
mesh_terms: D001703:Biophysics / Q000379:methods*; D003198:Computer Simulation; D016015:Logistic Models; D008433:Mathematics; D008954:Models, Biological; D008967:Molecular Biology / Q000379:methods*; D049490:Systems Biology / Q000379:methods*; D018511:Systems Integration
keywords: Causality/causes; Context modeling; Modeling unknowns; Multilevel emergence; Narrative/story; Situation theory