Extensional Relational Structure
Definition
An extensional relational structure (also called a phenomenal cross-section) is a tuple where:
- is the universe of discourse (domain of entities)
- is a set of relations on
This represents a mathematical conceptualization according to Genesereth and Nilsson, providing a snapshot of entities and their actual interrelations at a particular state.
Mathematical Formulation
According to Mesarovic and Takahara’s definition, a system is a relation on nonempty sets:
This Cartesian product structure makes explicit the arity and type structure of relations themselves as first-class ontological citizens.
Key Characteristics
- Provides the mathematical substrate for systems description
- Represents only actual, observable relations at a specific state
- Cannot distinguish intrinsic from accidental relations
- Corresponds to what von Bertalanffy called “summative characteristics”
- Forms the extensional basis for conceptualizations
- Captures the phenomenal cross-section of a domain at one instant
Examples
Molecular System
A simple extensional structure might include:
- Domain
- Relations
At a given instant, this structure captures which molecules are bonded, their distances, and energy states—but not the laws determining how these change.
Molecular Isomerism as Relational Complexity
Consider two chemical compounds with identical molecular formulas but different structural arrangements (isomers):
The two structures and share the same universe but differ in their relational extensions. The emergent chemical properties—different boiling points, reactivities—exemplify constitutive characteristics that arise from these specific relational configurations. Yet the extensional structure alone provides no principle for distinguishing these constitutive relations from mere accidental co-occurrences.
Limitations
The Problem of Summative versus Constitutive Characteristics
Von Bertalanffy identified a fundamental limitation: summative vs. constitutive properties
An extensional structure captures relations as sets of tuples, but it cannot inherently distinguish between:
- Relations that are intrinsic to the system’s organization (constitutive)
- Relations that merely happen to hold (summative aggregations)
This limitation motivates the turn toward intensional structures, which can represent conceptual relations that remain invariant across different world states.
Key References
General Systems Theory: Mathematical Foundations
Mihajlo D. Mesarović, Yasuhiko Takahara (1975) View in Zotero Library
Provides the canonical set-theoretic definition of systems as relations on Cartesian products, establishing the mathematical substrate for extensional structures.
General Systems Theory: A Mathematical Approach
Yi Lin (1999) View in Zotero Library
Introduces the multirelation approach where is an object set and is a relation set, emphasizing that “the concept of systems is a generalization of that of structures.”
Related Concepts
- intensional-relational-structure - The dual notion dealing with conceptual relations across possible worlds
- conceptualization - The broader notion that extensional structures help define
- ontological-commitment - What an ontology commits to about extensional vs intensional aspects
- relational-structure - The general mathematical framework from model theory
- system - Systems as valued relations over extensional structures
Bibliography Keys
- mesarovic1975
- lin1999
- bertalanffy1968
- genesereth1987