In Progress

Theoretical Achievements¶

Definition & Conceptual Goal¶

The Theoretical Achievements metric evaluates the cognitive and empirical value generated by introducing theoretical terms beyond purely observational descriptions (Thagard, 1989, pp. 280–287; Schurz, 2024, sec. 5.2).

A theoretical term (e.g., "gravitational field", "electron spin", "latent utility") is cognitively justified if and only if it produces tangible epistemic achievements that could not be attained using purely non-theoretical, surface observations.

Theoretical Grounding & Model Formulation¶

Theoretical achievements are partitioned into two fundamental capacities:

Empirical Focus (Empirischer Fokus): The term and its cross-application constraints (\(C\)) strictly reduce the space of admissible observable outcomes, thereby raising the empirical content and falsifiability of the system.
Prognostic Power (Prognostische Leistung): The term enables cross-domain predictions. Measurement of theoretical term \(\tau\) in domain \(D_1\) directly constrains and predicts observable values in unmeasured domain \(D_2\) through theoretical constraints \(C (x, a, R, p)\).

Mathematical Specification & Graph Formulation¶

Let \(\tau\) be a theoretical concept node linked across multiple application subgraphs \(G_{A_1}, G_{A_2}, \dots, G_{A_m}\) via constraint relations \(C\).

Empirical Focus Index (\(EFI\))¶

\[EFI (\tau) = 1 - \frac{|\text{PermissibleStates} (M_{pp} \mid \tau)|}{|\text{PermissibleStates} (M_{pp})|}\]

Prognostic Power Metric (\(PPM\))¶

Let \(Pred (\tau, D_j \mid D_i)\) be the set of valid non-trivial empirical predictions generated for domain \(D_j\) given observations in domain \(D_i\):

\[PPM (\tau) = \frac{1}{\binom{m}{2}} \sum_{1 \le i < j \le m} \frac{|Pred (\tau, D_j \mid D_i)|}{|Obs (D_j)|}\]

Combined Theoretical Achievement Score (\(TAS\))¶

\[TAS (\tau) = \frac{1}{2} \left (EFI (\tau) + PPM (\tau) \right)\]

Measurement & Graph Implementation¶

Constraint Graph Traversal: Identify theoretical entity nodes that bridge multiple disconnected empirical observation subgraphs.
Predictive Dependency Tracking: Count cross-domain dependency edges originating from the shared theoretical node.
Graph Evaluation: Nodes with \(TAS \approx 0\) represent ungrounded "idle wheels" (surplus terminology adding no predictive power).

Diagnostic & Metascientific Value¶

\(TAS(\tau)\) Score	Term Status	Metascientific Interpretation
High \(TAS\) (\(> 0.7\))	Highly Fertile Theoretical Term	Generates substantial predictive leverage across diverse empirical domains.
Low \(TAS\) (\(< 0.2\))	Idle Term / Surplus Baggage	Concept introduces ontological weight without increasing empirical falsifiability or prognostic capacity.

Grounding References¶

[Thagard, 1989] Thagard, P. (1989). Explanatory Coherence. Behavioral and Brain Sciences, 12 (3), pp. 280–287.
[Balzer et al., 1987] Balzer, W., Moulines, C. U., & Sneed, J. D. (1987). An Architectonic for Science. Reidel Publishing, pp. 125–139.
[Schurz, 2024] Schurz, G. (2024). Philosophy of Science: A Unified Approach. Routledge, sec. 5.2.