Explanation

Laws play some role in explanations: at the very least, they somehow connect what is explained, or the explanandum, to what explains, or the explanans. Thus, thermodynamical laws connect the match's being struck and its lightning, so that the former causes the latter; and laws about set formation connect Socrates' existence with {Socrates}'s existence, so that the former grounds the latter. But is there more to the explanatory role of laws? A natural proposal, which finds considerable support in the literature, (...) is that laws simply are reasons why. That is, besides connecting the explanandum with a suitable ground or cause, they take part, together with these, in explaining why the explanandum obtains. In this paper, I present two arguments that show that this proposal cannot hold in general. They each point to one unacceptable consequence: a suspicious infinite extendibility of explanantia; and a failure of the irreflexivity of “because.”. (shrink)

If an otherwise successful paradigm repeatedly produces anomalies, when should we add assumptions, or when instead question its foundations? -/- The Original Error applies that familiar philosophical question to macroeconomics. It asks why recessions occur, why competitive firms can earn persistent profits, and why apparently similar workers earn dramatically different wages depending on where they live – and argues that these apparently disparate puzzles share a common source: a longstanding conceptual mistake in the underlying theory of production. -/- The book (...) traces that error and its consequences through two centuries of economic thought, develops a replacement production framework, and then uses it to re-examine a range of persistent economic puzzles. -/- The argument is philosophical and analytic rather than mathematical, with no equations or specialist knowledge required. (shrink)

This dissertation investigates the concept of the superorganism as a biological phenomenon and a philosophical problem concerning the organization, evolution, and integration of living systems. It examines how individual organisms become functionally integrated into larger, coordinated wholes and considers whether conventional reductionist explanations can adequately account for the complexity of such systems. Drawing on evolutionary biology, systems biology, information theory, and the philosophy of science, the dissertation develops a dynamic approach to biological organization. It argues that genetic mechanisms alone cannot (...) fully explain the coordination, self-organization, and emergent properties characteristic of superorganisms. Informational interactions, nonlinear causal relationships, and functional integration must also be considered. The philosophical framework brings together informational structural realism, evolutionary epistemology, and general systemology. These perspectives provide complementary foundations for understanding biological systems as evolving networks of interdependent processes. The central methodological argument is that reductionist and holistic approaches should not be regarded as mutually exclusive. Their explanatory value depends on the epistemic objectives of scientific inquiry. Reductionist analysis contributes to understanding individual mechanisms, while systems-oriented approaches reveal the relationships and emergent properties through which biological components form integrated wholes. By examining phenomena ranging from eusocial insect colonies to the broader implications of the Gaia hypothesis, the dissertation explores the significance of the superorganism concept across different scales of biological organization. It concludes that dynamic explanations offer a framework for investigating evolutionary integration, with further implications for biology, astrobiology, and the philosophical understanding of life. (shrink)

In recent years, several prominent authors have criticized fine-tuning arguments for failing to show that the universe’s purported fine-tuning for intelligent life calls for explanation. In this paper, I provide a systematic categorization and a detailed evaluation of the proffered critiques. I argue that these critiques cast doubt on various instances of fine-tuning reasoning, but fail to undermine fine-tuning arguments’ conclusion that the universe’s purported fine-tuning for intelligent life can be justifiably taken to call for explanation. I then explicate the (...) implications of this result for the ongoing philosophical debate concerning the merits of fine-tuning arguments and the conditions under which specific events or states of affairs are justifiably taken to call for explanation. (shrink)

Bas van Fraassen’s constructive empiricism has significantly shaped the debate on scientific realism. However, many commentators have been puzzled by the precise nature of the argument for this position. This article reconstructs that argument. The first half of the article distinguishes between van Fraassen’s defensive moves and what he has called the “positive argument” for the position. Particular attention is given to elaborating this positive argument—namely, that constructive empiricism offers the best interpretation of scientific practice. The second half reflects on (...) what it can mean to justify an interpretation of science, and it considers the implications for the scientific realism debate. It is shown that a crucial distinction must be made. On the one hand, the aim of science is historically instituted by scientific practice as a collective endeavor. On the other hand, the question of what to believe is determined by an epistemic policy for which each individual must take responsibility through the stance they adopt toward this collective practice. The overall aim of the article is to demonstrate that constructive empiricism remains a very appealing position, grounded in a deep appreciation of the pluralist and historical dimensions of scientific practice—aspects further highlighted by the empiricist stance. (shrink)

Self-transforming systems are usually classified by what they modify—parameters, memory, representations, learning rules or objectives. This misses the causal chain through which a transformation is produced, assessed, selected and made persistent. We propose T–P–G–E–C, a five-role functional factorization: teleological selection (T), operative policy (P), generation of candidate transformations (G), evidential establishment (E) and commit-control (C). Roles remain distinct only when admissible interventions separate their realizing mechanisms and alter an audit-relevant diagnosis; otherwise the audit reports fused or unresolved attributions. Their location (...) is indexed to an explicit audit boundary, and a transformability profile η records which roles can themselves become targets. The analysis distinguishes generating a candidate from authorizing its retention, and changing a transformation mechanism from repeatedly using it. Analytical scenarios illustrate these distinctions; they do not report new experiments. The framework connects self-adaptation, meta-learning, reflective algorithms, evolutionary systems and self-improving agents, and organizes a research programme on progressive endogenization, recursive closure, teleological plasticity, lineage generativity and transformation authority. (shrink)

Physics is often described as moving between experiment and model. That picture is indispensable but incomplete. In several episodes since the rise of mathematical physics, investigators have also proceeded by fixing a class of possible representations and progressively restricting it through conservation, covariance, locality, isotropy, variational, and constitutive requirements. The result is sometimes not merely compatibility but rigidity: within a stated model class, few law-forms—and occasionally only one up to empirical parameters—remain admissible. I call the resulting conditional status structural necessity. (...) The term names no new species of metaphysical necessity: it denotes the degree to which an empirical law-form is fixed by an explicit package of constraints relative to a model class. This article develops an operational test based on nested admissible sets and constraint ablation. A modern reconstruction of Fourier heat conduction supplies the principal case; Fermat’s derivation of refraction and Noether’s theorems show two different yields of constraint reasoning. I then retain the "structural demon" in a deflated, historically useful role: not as a personification of logical closure, but as an ideal reasoner restricted to the concepts, mathematics, evidence, and computational resources available at a given time. Comparing the earliest defensible derivability window with actual discovery yields a measure of derivational latency. This framework supports a historiography of the constraint turn without making discovery inevitable, erasing empirical input, or collapsing constraints into laws. (shrink)

Many theoretical discourses generate the impression of depth without yielding durable knowledge. This paper develops a theory to explain that difference. I propose the concept of a theoretical anchor: any mechanism that couples a theory to a criterion of correctness, thereby enabling its claims to be assessed as true, false, adequate, inadequate, or otherwise epistemically successful. On this view, the decisive question is not whether a theory is rhetorically sophisticated, internally elaborate, or conceptually rich, but whether it is anchored to (...) a mode of correctness evaluation. I distinguish three major kinds of anchors: formal anchors, reality anchors, and structural anchors. Formal anchors ground correctness in derivation within a rule-governed symbolic system; reality anchors ground correctness in correspondence, measurement, observation, or intervention in the world; structural anchors ground correctness in the stability of an internal relational architecture that makes a theory evaluable as complete, coherent, layered, or mechanism-sensitive. The paper argues that theories lacking any anchor may remain linguistically expressive while becoming epistemically ungrounded: their sentences may be interpretable, but their inferential movement is detached from any criterion of correctness. To develop the proposal rigorously, I formulate a minimal model of theoretical anchoring, distinguish anchor types from mere constraints, and illustrate the theory with examples from mathematics, the natural sciences, social science, engineering, and speculative philosophy. The result is a meta-theoretical account of why some discourses accumulate knowledge while others mostly produce verbal plausibility. (shrink)

This paper develops a meta-theoretical framework centered on the notion of conditional correctness. The guiding intuition is that theoretical domains differ not merely by subject matter, but by the location, stability, and strength of the conditions under which their claims are warranted. In mathematics, conditions are primarily internal to the theory: axioms, definitions, inference rules, and accepted background structures determine what follows. In the natural sciences, conditions are hybrid: formal models constrain inference, yet empirical world-friction limits admissible conclusions. In the (...) human sciences, conditions are often external, historically situated, and interpretively selected: the relevant objects, questions, categories, and problematizations partly constitute the theory’s field of validity. The central claim of this paper is that these domains can be compared through a unified framework of constraint-bearing conditions, while still preserving their essential differences. The paper argues that the deepest divide is not between “objective” and “subjective” knowledge, nor between “hard” and “soft” disciplines, but between distinct architectures of conditionality. On this basis, the paper clarifies the sense in which human-scientific theories may be conditionally correct without being universally final, and explains why formal theories exhibit tighter inferential closure than interpretive theories. The result is a meta-theory of theory-formation, theory-validity, and theory-generated structure. (shrink)

In cell biology, computational models of biological systems range from minimal representations with a handful of parameters to whole-cell simulations tracking thousands of molecular species across a complete cell cycle. While these models span a continuum of detail, increasing complexity changes what they capture and are able to explain, what they can predict, and how they can fall short. A model contributes to understanding only when it makes novel predictions, reveals an unexpected coupling between processes, or fails in a way (...) that identifies missing parameters. We contend that what is important for understanding is not the number of components or spatial dimensions a model contains, but the ratio of free parameters to the experimental constraints available to pin them down, and whether we can see why it produces the behaviors it does. Large-scale agent-based models of cytoskeletal dynamics or tissue mechanics that are built on a small number of physically grounded rules can reveal rich self-organization behavior precisely because their parameter spaces are small enough to explore systematically. By contrast, when free parameters grow faster than the data available to constrain them, models become progressively harder to interpret -- and even disprove --regardless of their biological scope. We argue that the field needs to reconsider the goal of complex models. We should move away from trying to include as many parameters as possible and instead aim for systematic comparisons with simpler representations, dynamical analysis, and explicit model hierarchies that trace how cellular behavior emerges from its parts. (shrink)

This paper proposes a theory for understanding scientific knowledge production as the evolution of a multireference correspondence network. On this view, a theory does not develop merely by deduction from previous theory, nor merely by induction from data. Rather, scientific inquiry is driven by the problem of maintaining and improving correspondences between a theory and a plurality of targets: empirical phenomena, hidden mechanisms, structural constraints, prior theories, and cross-domain mathematical forms. Within this theory, deduction, induction, abduction, inverse inference, constraint-driven construction, (...) and structural transfer are not separate epistemic species; they are different operators on the same underlying correspondence network. The dynamic development of science is then modeled as a process of network rewiring under multi-objective mismatch reduction, where anomalies, underdetermination, explanatory gaps, and structural incompatibilities trigger different kinds of corrective transformation. The paper also argues that mathematics occupies a special regime of the same general architecture. Mathematics is not characterized by a total absence of correspondence, but by a different correspondence regime: its targets are primarily internal formal structures, axiomatic consequences, proof obligations, and intertheoretic relations rather than empirically given external objects. As a result, mathematical development is dominated by consistency, generality, unification, and explanatory depth within a self-sustaining formal environment, whereas science is constrained by persistent external reference. This asymmetry helps explain why science exhibits inverse problems, hypothesis abduction, model fitting, and constraint-based construction, while mathematics exhibits proof search, internal analogy, and structural generalization. The theory is positioned relative to existing work on scientific method, theory-ladenness, discovery, scientific representation, scientific realism, structural realism, and the philosophy of mathematical practice. The main contribution is a unified, dynamically articulated account of why knowledge generation takes different forms across disciplines and why these forms are not reducible to a single linear model of inference. (shrink)

The discussions on topological explanations are gaining a significant momentum in the philosophy and in science, as the number of both scientific and philosophical papers on this topic are growing every year. In their recent paper Kostić and Halffman (Kostić and Halffman 2023) have shown that in 2,2 million neuroscience papers between the years 1990-2021, the literature on topological explanations not only grew at unprecedented rates, but also have a much higher rate of growth than the general increase of neuroscience (...) literature since 2006. Earlier work on topological explanations has focused on their unique features and relationship to other dominant explanatory strategies (Kostić 2018a; 2018b; 2019a; 2019b; 2020; 2022; 2023; Kostić and Khalifa 2021; 2023; Kostić, Hilgetag, and Tittgemeyer 2020; Darrason 2018; Rathkopf 2018; 2017; Serban 2020; Bechtel 2020; Levy and Bechtel 2013; Green et al. 2018; Craver 2016; Ross 2021). So even though some of the core concepts and analyses of topological explanations have been explored in the literature, many issues remain relatively underdiscussed. For example, it would be desirable to have a clearer understanding of how topological explanations relate to the more general theories of explanation in the philosophical literature and how accounts of the directionality of topological explanations relate to accounts of directionality in other sorts of explanations. It would also be desirable to have a better understanding of the circumstances in which topological explanations and analyses are most likely to the fruitful and how what they tell us differs from the information provided by other sorts of explanations. Yet another issue concerns the fact that network analyses can be used for a variety of purposes that seem prima-facie different from explanation-- for example, to predict whether a patient has a mental disorder from a study of functional connectivity. Studies of such uses-- their structure and when they are warranted --would also be desirable. Another potential use of networks which again may not have to do directly with explanation concerns their role in scientific discovery. Finally, there are a number of interesting issues about how claims about networks and more particularly claims about the role of networks in explaining other phenomena can be tested, given that straightforward interventions on networks are not always possible. Here researchers have increasingly resorted to simulation experiments and these raise interesting methodological questions. Our hope is that this topical collection will result in papers that address such questions. We invite submissions for a Topical Collection of papers on all of these issues as well as related ones. (shrink)

We disprove the recent OpenAI, Anthropic, and Zhou "disproofs" by counterexample to Connes' rigidity conjecture, then show the same move proves the conjecture itself. -/- Part I shows that three independent claimed counterexamples to the conjecture are invalid. The OpenAI and Anthropic counterexamples construct pairs of group extensions — one split (Gamma_0), one non-split (Gamma_tau) — of Sp_4(Z) by Z^4 and claim the corresponding group von Neumann algebras are isomorphic. The concurrent Zhou construction takes a different approach: two semidirect products (...) Gamma_i = D semidirect_{theta_i} H sharing the same fiber and quotient but with distinct actions, and claims L(Gamma_1) isomorphic to L(Gamma_2) via Pontryagin duality. All three are invalid. -/- The primary argument is a reductio ad absurdum that is purely mathematical: it does not rely on any semantic mismatch between code labels and mathematical objects, on whether the ICC or property-(T) certificates in the Lean code are valid or invalid, or on any code-level observation whatsoever. The argument assumes L(Gamma_0) isomorphic to L(Gamma_tau), equips both groups with Bernoulli actions (chosen by us, not inherited from either counterexample), and applies the twisted comultiplication and Ioana's classification (Theorem 8.2, JAMS 2011) to produce an injective group homomorphism delta_2: Gamma_0 into Gamma_tau. The Borel density theorem forces delta_2 to preserve the fiber Z^4; Margulis superrigidity forces an inner automorphism on the quotient Sp_4(Z); Schur's lemma forces a scalar map on the fiber; and the resulting cohomological identity alpha*[tau] = [tau] = 0 contradicts the non-vanishing of the Bockstein class (Proposition 3.5). By reductio, L(Gamma_0) is not isomorphic to L(Gamma_tau). The only inputs are the group-theoretic structure of Gamma_0 and Gamma_tau and the published theorems of Ioana, Borel, Margulis, and Schur. -/- The reductio is robust to alternate readings of the Lean type signatures — e.g. taking the quotient to be a congruence kernel K = ker(SL_4(Z[t]) to SL_4(F_3)), the fiber modules to be F_2[t]-types, the CarryGroup law to produce exponent-4 torsion, or the shiftedCarry cocycle to be F_2-valued. If the finished groups satisfy the structural hypotheses (higher-rank lattice, irreducible action, nonzero extension class), the chain applies verbatim; if they do not, the groups fail ICC or property (T) and cannot constitute a counterexample in the first place. -/- Independently of the reductio, the OpenAI formalisation exhibits three code-internal failures, each independently fatal: (i) a specification gap (the code constructs cocycle extensions D x_c K but verifies ICC using orbit arguments valid only for semidirect products D semidirect K); (ii) the zero-cocycle group has a nontrivial centre, destroying ICC; and (iii) the same group surjects onto an infinite abelian group, destroying property (T). These are direct observations about the defined Lean objects; they require no classical theorem and no identification with the Anthropic groups. -/- The Zhou construction falls to the same reductio methodology. The subgroup D is the unique maximal abelian normal subgroup of both Gamma_1 and Gamma_2; any injective homomorphism delta_2: Gamma_1 into Gamma_2 must preserve it. The restriction to D must then intertwine the two H-module structures theta_1 and theta_2. But Zhou's own non-isomorphism proof (Section 6) shows that no such intertwining exists: theta_1 is semisimple while theta_2 is not. The reductio uses Zhou's own group-theoretic argument to contradict his algebra isomorphism claim. -/- Part II proves the conjecture: every countable discrete ICC group G with Kazhdan's property (T) is W*-superrigid, L(G) isomorphic to L(H) implies G isomorphic to H. The proof is the same reductio, applied universally to any pair of ICC property-(T) groups — no shared subgroups, no semidirect-product structure, no special features beyond ICC and property (T) are required. Assume L(G) isomorphic to L(H). Equip both with Bernoulli actions (our choice — exists for any countable group). Build the twisted comultiplication Theta(fu_g) = fu_g tensor Phi(u_g). The non-intertwining conditions for Theta are properties of the map and the Bernoulli action, not of the groups: property (T) provides the spectral gap, ICC provides weak convergence, and the Bernoulli structure provides Cartan non-intertwining (Ioana, Cor. 2.3). Crucially, the verification is uniform and case-free: the Bernoulli deformation alpha_t fixes Theta(u_g) = u_g tensor Phi(u_g) pointwise for every Phi, since alpha_t acts on L-infinity(X) and not on group unitaries; and Theta(L-infinity(X)) = L-infinity(X) tensor 1 by definition, independently of Phi, so Cartan non-intertwining (Ioana, Cor. 2.3) applies to every *-isomorphism L(G) isomorphic to L(H) without case analysis. No hypothesis on G or H beyond ICC and property (T) is used. Ioana's classification partitions Theta into three cases: Case (I), where Theta(L(G_0)) intertwines into L(G) tensor 1; Case (II), where Theta(A_G) intertwines into L(G) tensor-bar A_H; and Case (III), the rigid case producing group morphisms delta_1, delta_2. The non-intertwining conditions that eliminate Cases (I) and (II) hold for every Phi: alpha_t fixes Theta(u_g) pointwise because alpha_t acts on L-infinity(X) not on group unitaries (eliminating Case (I) via rigidity), and Theta(L-infinity(X)) = L-infinity(X) tensor 1 independently of Phi so the Cartan never intertwines into L(G) (eliminating Case (II) via Ioana, Cor. 2.3). Only Case (III) survives, yielding delta_1 and delta_2 for any Phi. Ioana's classification, applied through the full Section 9 pipeline, produces an injective delta_2: G into H. If G is not isomorphic to H, the surjectivity arguments force delta_2 surjective anyway — countability of subfactor conjugacy classes for property-(T) factors forces finite index, finite depth forces the tower to terminate — contradicting G not isomorphic to H. Therefore G isomorphic to H. The argument is universal because the only inputs are ICC, property (T), and the Bernoulli action we chose. The specific invariants of Part I (Bockstein class, module-structure distinction) provide additional contradictions for specific counterexamples but are not needed for the general proof. -/- The detailed verification that delta_2 is forced to be an isomorphism when no obstruction exists proceeds as follows. The classical barrier — the absence of Cartan subalgebras in L(G) — is bypassed by lifting to Bernoulli crossed products A_G = L-infinity(X) semidirect G, which possess canonical Cartans. The twisted comultiplication Theta(fu_g) = fu_g tensor Phi(u_g) is an explicit co-action preserving the group representation law; it functions as a connection form between measurable principal bundles. Ioana's classification, applied through the full Section 9 pipeline, yields group morphisms delta_1: G to G and delta_2: G to H. Injectivity of delta_2 follows from factoriality of L(G). Surjectivity is established via two paths: countability of subfactor conjugacy classes for property-(T) factors forces finite index, and the finite-depth theorem for amenable property-(T) subfactors forces the tower to terminate; independently, for extensions of higher-rank lattices, the Borel-Margulis-Schur-Bockstein chain forces delta_2 to be an isomorphism directly. As a physical consequence, the Doplicher-Haag-Roberts reconstruction of the gauge group from the observable algebra is well-posed: the functor from groups to algebras is faithful, and the algebraic foundations of quantum field theory are self-consistent. The conjecture is not disproved; it is proved. -/- Several recent amateur critiques are addressed and shown false. (shrink)

Multi-scale explanation often presupposes that physical coupling between regimes entails at least in-principle informational accessibility. This paper questions that assumption. We distinguish non-reconstructive coupling, in which systems exert physical influence without requiring the reconstruction of internal organisational states, from reconstructive coupling, which underlies measurement, detection, and informational access. Reconstructive coupling requires temporal commensurability between operational regimes, characterised by their re- construction timescales. We introduce the coherence distance Hc = log10  Trec,1 Trec,2  as a heuristic measure of temporal mismatch, (...) together with an accessibility function A(Hc) = exp(−αHc). When temporal mismatch becomes extreme, informational reconstruction across regimes may fail even where causal or gravitational coupling remains intact. We call this failure Inter- Regime Decoherence (IRD), distinguishing it from quantum environmental decoherence. The term is used analogically and structurally, not as an extension of quantum decoherence theory. The framework is situated in relation to relational accounts of time, ontic structural realism, and philosophical work on emergence, reduction, and inter-scale explanation. The dark sector is discussed only as a speculative cosmological limiting case illustrating the possibility of gravitational access without reconstructive access, not as evidence for a new physical model. The paper argues that informational accessibility is a structural condition on explanation, not an automatic consequence of physical coupling. Keywords: temporal incommensurability, informational accessibility, multi-scale explana- tion, reconstructive coupling, operational time, structural realism, philosophy of science, philos- ophy of cosmology. DOI 10.5281/zenodo.21628126. (shrink)

Causation is grounded in explanation; or so I argue here. According to the view which I propose, the fact that event c causes event e is grounded in two facts: the occurrence of c explains the occurrence of e, and c and e are wholly distinct. After formulating and explicating this view, I give three arguments for it. The first is based on a complete reduction of one relation to another which this view affords. The second is based on plausible (...) claims about causal facts being identical to certain sorts of conjunctions. And the third is based on answers to explanatory challenges which this view supports. (shrink)

This is a pre-peer review draft (from March 2026) of my contribution to a planned edited volume on Bengson, Cuneo, and Shafer-Landau's The Moral Universe (Oxford University Press 2024). The volume may see the light of day eventually, but it'll be a while. Here's an abstract: Identifying the source of normativity and morality is a holy grail of Western moral philosophy. My contribution focuses on BCS's claim that the fundamental normative facts have their source (by which BCS mean: full non-normative (...) grounds) in their corresponding essence facts. Key to this argument is the claim that a fact that specifies the essence of a property is always a non-normative fact, including when the property whose essence is being specified is a normative property. I argue that the characterization of normative facts on which they rely is inadequate in this theoretical context, whereas a superior alternative characterization classifies essence facts concerning normative properties as normative facts. I then show how my argument also undermines BCS’s claim that there are “enchanted” properties: properties that are non-normative but have partly normative essences. (shrink)

Gomes (2025) argues that gauge theory, as applied to the Standard Model, can be formulated without principal fiber bundles by working instead with ``structured'' vector bundles whose fibers carry an inner product and orientation. I show that this elimination is illusory and that the paper is self-contradictory. A $G$-structured vector bundle $E$ cannot be specified independently of a principal $G$-bundle; more precisely, the frame bundle $L'(E)$ is the \textit{potential bundle} of the principal bundle~--- the bundle of horizontal lines perpendicular to (...) the vertical field lines in the total space. The potential is defined as the perpendicular complement of the field; one cannot eliminate the field by working solely with its potential. The paper's own appendix confirms this: structure-preserving parallel transport is guaranteed only by appeal to the principal bundle of admissible frames --- the object the main text declares epiphenomenal. (shrink)

This paper develops an epistemic architecture of scientific discovery as regime compression under accumulated constraint. It argues that bounded inquiry accumulates constraints inside explanatory regimes, and that many major discoveries occur when a new regime preserves those constraints at lower representational cost. Paradigms are interpreted as regimes, anomalies as regime strain, and theory change as admissible compression. The paper does not claim that all discovery is compression, nor does it define compression as an information-theoretic metric. Instead, it treats compression and (...) representational cost as architectural notions and leaves their formalization open. The paper further connects this account to artificial intelligence: AI systems can generate candidate compressions rapidly, but generation does not settle preservation, admissibility, or verification. The formal frontier has three parts: what object is compressed, what preservation rule distinguishes compression from loss, and what admissibility rule governs transitions between explanatory regimes. The result is a dynamic companion to the Identity–Persistence Program: whereas the forcing and coding papers assume declared regimes, this paper asks how bounded inquiry may produce new regimes in the first place. (shrink)

Dentro del ámbito de la teoría evolutiva, las posturas causalista y estadística postulan diferentes formas de entender los conceptos y parámetros que los modelos poblacionales de la Síntesis Moderna involucran. En especial, la discusión se centra en gran parte sobre si la selección natural y la deriva deben entenderse como procesos causales o como parámetros estadísticos de los modelos. Este trabajo propone una lectura representacional de los compromisos centrales establecidos por una de estas posturas: los cuatro “pilares” de la visión (...) estadística (Walsh et al., 2017). Para esto se realiza un análisis de los mismos a partir de las herramientas conceptuales del acercamiento de Van Fraassen (2008) en cuanto a la representación científica, entendiendo los pilares de la visión estadística como consecuencias del carácter representacional de los modelos poblacionales. A la hora de establecer cada uno de los pilares, enfatizamos la relevancia puesta en el uso de los modelos para ciertos objetivos científicos, así como en las características perspectivistas de los modelos poblacionales. Esto nos permite contrarrestar ciertas críticas e interpretaciones que la visión estadística ha recibido; en particular, argumentamos que es incorrecto asumir que la visión estadística establece que la genética poblacional sea “simplemente” matemática. (shrink)

Philosophers typically classify causation, grounding, and other determination relations as distinct kinds. These relations are often modeled in set-theoretic terms, but this treatment ends up flattening the rich conceptual structure that makes determination metaphysically significant. As a result, accounts of mixed chains of determination often appear fragmented and unconvincing, especially in cases drawn from fundamental physics. This paper develops a novel approach for modeling determination that avoids the information loss of purely extensional treatments and captures hybrid cases within a unified (...) representation. The framework uses the geometrical structure of conceptual spaces to expand the metaphysician's toolkit for analyzing the multi-faceted nature of determination. Finally, the paper argues that the explanatory success of this framework supports an underlying metaphysical thesis: That there is a single, primordial form of determination. (shrink)

GDI untersucht eine prä-geometrische Vorbedingung von Auslesbarkeit. Sie setzt vor raumzeitlichen und geometrischen Beschreibungen an und versucht, den Umschlag von nicht-wertiger Homogenität zu einer ersten Bedingung von Unterscheidbarkeit zu fassen. Die GDI ersetzt keine bestehenden Informations-, Quanten- oder Raumzeittheorien. Sie fragt nach einer früheren Bedingung: Was muss minimal geschehen, damit Nicht-Auslesbarkeit überhaupt in spätere Auslesbarkeit übergehen kann? In dieser Sicht ist Information nicht zuerst Nachricht, Code, Bedeutung oder gespeicherter Inhalt, sondern die Möglichkeit, entlang einer erst aktivierbaren Achse von Nicht-Wertigkeit zu (...) Wertigkeit zu gelangen. Daraus folgt eine erste Arbeitsunterscheidung: Information ist nicht gleich Information, sondern besitzt Zustandsformen. Freie Information steht für maximale achsiale Potenzialität bei noch geringer konkreter Wirksamkeit; gebundene Information gewinnt Lesbarkeit, Festlegung und Anschlussfähigkeit, verliert dabei jedoch offenes Potenzial. (shrink)

In this paper, I argue that explaining spontaneous phenomena in biology requires multiple types of scientific explanations. First, I contend that explaining spontaneity necessitates citing both topological and nomological features as explanans. Second, I assert that the context-sensitivity of spontaneity complicates mechanistic localization, necessitating the inclusion of functional and network features to account for mechanistic operations. To develop this argument, I present two models of activated self-assembly and their roles in explaining two cases of biological structures: virus capsids and microtubule (...) dynamics. This approach reveals a complex explanatory landscape that spans multiple levels of generality. I term this structure of explanations an “explanatory reservoir.”. (shrink)

In this paper, I argue that explaining spontaneous phenomena in biology requires multiple types of scientific explanations. First, I contend that explaining spontaneity necessitates citing both topological and nomological features as explanans. Second, I assert that the context-sensitivity of spontaneity complicates mechanistic localization, necessitating the inclusion of functional and network features to account for mechanistic operations. To develop this argument, I present two models of activated self-assembly and their roles in explaining two cases of biological structures: virus capsids and microtubule (...) dynamics. This approach reveals a complex explanatory landscape that spans multiple levels of generality. I term this structure of explanations an “explanatory reservoir.”. (shrink)

Reason for withdrawal: I have consolidated all my preprints on consciousness and condensed their reasoning into a new preprint, Locating Consciousness as a Puzzle Game: From Proof by Absence to the Causal Structure of the Subjective Container.

This note argues that many disputes concerning identity, persistence, explanation, knowledge, verification, and governance share a common structural failure: evaluation is attempted before the conditions required for evaluation have been declared. It develops a methodological template derived from the identity–persistence program. On this template, a judgment becomes admissible only relative to a declared evaluation regime specifying the object, authority, admissible transformations, admissible redescriptions, invariants, continuation conditions, drift bounds, proof obligations, and re-verification conditions. The note does not decide which evaluation regimes (...) are correct, nor does it offer ontological closure. Its aim is narrower: to determine whether a claim has become a coherent object of evaluation. The central principle is that admissibility precedes verdict. (shrink)

Unidentified Anomalous Phenomena (UAP) represent a persistent challenge to national security and scientific inquiry. Decades of official investigation across multiple countries have produced a consistent pattern: most cases are explained by conventional causes, but an irreducible subset---approximately 3--5\% of well-documented incidents---exhibits kinematic, electromagnetic, and behavioral properties that have resisted attribution to known human technology or catalogued natural phenomena despite rigorous investigation. This paper proposes an interpretive framework modeling that irreducible core as the atmospheric manifestation of a network of autonomous non-human (...) probes engaged in long-duration planetary survey operations. The framework does not assert an extraterrestrial origin, nor does it impute benevolent or hostile intentions. It restricts itself to contrasting observed phenomenology with the expected properties of autonomous monitoring systems, deriving testable predictions, specifying falsification conditions, and distinguishing precisely between what the available data can sustain and what remains beyond reach. The paper is presented as a working hypothesis, not as a closed conclusion. (shrink)

This paper introduces the concept of the level mismatch: the failure that occurs when sameness is declared at one level while the recurrence that actually governs a system’s behavior occurs at another. Classical puzzles of persistence, such as Heraclitus’s river and the Ship of Theseus, are treated not as unresolved metaphysical paradoxes but as under-specified identity-regime problems. Once the identity-bearing unit, admissible transformations, quotient, invariants, continuation rule, governance order, and drift bounds are declared, the persistence question becomes determinate. -/- The (...) paper functions as a capstone orientation to the Identity-Persistence Program. It does not add new theorems, but explains why formal identity-persistence machinery is needed across science, cognition, institutions, and engineering. It argues that many failures in biology, chemistry, software, AI, law, and memory arise when labels outlive the recurrence structures that once licensed them. -/- The paper further develops a structural account of meaning and purpose: meaning is what survives forgetting, purpose is a stabilized selection rule over possible continuations, and discovery is the compression that follows invariant-finding. The conclusion is structural rather than ontological: bounded systems require persistence structures to act coherently under change, but this does not establish persistence as final ontology. (shrink)

Time plays a central role in evolutionary theory. In this paper, we examine the language Darwin used to describe time in his work On the Origin of Species. We present the results of a computationally assisted lexical-semantic analysis of word frequencies, variations, and contextual meanings of time-related lexical items across the six editions of the Origin. Focusing on terms such as cycle, circle, chain, scale, line, tree (of life), progress, succession, and time, we analyse how Darwin represents temporality through recurrent (...) patterns of usage. Our findings show that Darwin describes species as forming “chains of affinities” connected through “blood relationships,” which unfold as “successive” “lines of descent.” These expressions indicate a view of evolutionary change as a continuous process articulated through lineages of descent. Our analysis shows that, within this set of terms, tree of life plays only a minor, locally concentrated lexical role in the Origin. Darwin’s representation of evolutionary time is primarily structured through the vocabulary of succession, line, and chain, rather than through arboreal concepts or imagery. This lexical pattern suggests that, at the level of textual articulation, key aspects of evolutionary temporality are predominantly expressed through geological successions and genealogical lineages that would later be found in tree-based models in evolutionary biology. (shrink)

Lauren N. Ross’s Explanation in Biology offers a concise overview of contemporary philosophical work on scientific explanation in the life sciences. The book is organized around a central pluralist thesis: biological explanation is not exhausted by a single model, and in particular not by the mechanistic paradigm that has dominated much recent discussion.

This paper argues that explanation has a neglected second-order normativity. Philosophers usually ask whether an explanation is true, warranted, understanding-producing, useful, or professionally competent. In organized inquiry, however, explanations also do things to other people's contributions. They can defeat a report, route it through a register, export it into later contexts, or close a question for action. I call the authority to perform such role-changing operations explanatory jurisdiction. The central claim is that an explanation can be warranted as an answer (...) while unauthorized as an operation. The paper narrows that claim against its strongest rivals: evidential scope, testimonial injustice, discursive or speech-act injustice, expert authority, and diagnostic overshadowing. Those resources can explain support, credibility, uptake, professional entitlement, and clinical outcome; even together, they do not isolate the normative relation by which an accepted explanation is licensed to convert what a participant says into a different evidential role. The positive account grounds jurisdiction in answerable role-governance: any conversion of a participant's contribution must remain answerable to the question at issue, the evidence available, the role under which the operation is performed, the necessity and proportionality of the operation, the standing of the participant, and the risks of downstream export. Clinical records make the problem especially visible because explanations travel after the encounter that licensed them. The aim is not to weaken clinical expertise, diagnosis, or documentation, but to specify the conditions under which explanations may legitimately do more than answer. (shrink)

Many advocates of the Better Best System Account (BBSA) and variations thereof suggest that Lewis-style best system competitions can, in principle, be executed for any arbitrary but fixed set of predicates/properties. This affords the possibility to launch system analyses separately for each of the special sciences. However, predicates/properties of these sciences are unlike the perfectly natural properties Lewis envisaged in that they are non-fundamental, maybe non-natural, and not intrinsic. Moreover, they might be dispositional, i.e. already equipped with a nomological profile. (...) Further challenges arise for the BBSA when it comes to selecting eligible sets of properties/predicates: What are the boundaries between the different sets of properties that demarcate the sciences? Also, system analyses for different property sets might well be incommensurable. Can a unity or hierarchy of the sciences still be established? These are a number of challenges for the BBSA. This chapter presents and aims to give answers to most of these challenges. (shrink)

This note is a developmental orientation to the identity-persistence program. It is not part of the formal proof stack and does not introduce additional ontological, physical, biological, computational, or metaphysical claims. -/- Its purpose is to explain how an earlier coherence-oriented lens was narrowed into the current formal problem: what must remain invariant for something to persist as the same through transformation within explicit admissibility constraints. The note distinguishes the generative lens from the canonical theorem: the lens motivated the search, (...) while the theorem carries the claim. -/- The note also clarifies what has been cut from the current canonical surface. Earlier materials that frame the work in terms of probability replacement, physics or cosmology, consciousness, free will, AGI, primes, chirality, or universal substrate language are treated as exploratory context and are superseded wherever they exceed the current formal stack. -/- The positive claim is limited: many systems depend on persistence through transformation; persistence requires some basis for distinguishing continuation from replacement; invariants reduce arbitrary degrees of freedom; and the identity-persistence theorem is the disciplined formal extraction of that broader intuition. -/- This document should be read as a scope-boundary and reader-orientation note for the identity-persistence theorem, not as a standalone proof or extension of the theorem. (shrink)

Some theories do more than describe a domain. They determine the unique admissible structure of a concept from minimal coherence conditions, eliminating alternatives as degenerate or inadmissible. When a theory reaches this level of structural forcing, it can generate what this paper calls ontological pull: the result no longer feels like one model among many, but like the structure of the domain itself. The paper argues that this effect is structurally induced rather than merely psychological. It then distinguishes three levels (...) that are routinely collapsed: structural necessity, instantiation, and ontology. A forcing result can determine what must hold within an admissibility regime, but it cannot validate that regime against reality from within. The bridge from structural necessity to ontology is therefore unclosable by the same rational means that produce the closure. This limitation is not unique to formal work; empirical inquiry faces the same ontological ceiling, though it approaches instantiation more directly. The paper further argues that common ontological positions such as materialism, Platonism, theology, and multiverse realism function as placeholders where rational methods leave the ontological question open. The concluding claim is practical: structural forcing provides sufficient authority for action, commitment, and trust within a bounded regime without requiring ontological finality. (shrink)

In 2018, Voyager 2 crossed the edge of the solar system and found a wall of heat. The temperature at the boundary between the Sun's interior dynamics and interstellar space measured between 30,000 and 50,000 Kelvin — five to eight times the surface temperature of the Sun — generated not by either system but by their contact at the interface between them. In 2024, the eROSITA X-ray observatory measured the Milky Way's surrounding halo of hot gas and found it running (...) 12% warmer on one side than the other, produced by compression at the boundary where the Milky Way's gravitational field presses against the pull of a neighboring galaxy. And since 1915, theoretical physics has produced a century of failed attempts to build a single framework that describes both general relativity — the theory of gravity and spacetime — and quantum mechanics — the theory of matter at the smallest scales — because the two theories, each perfect on its own terms, produce incompatible requirements at the point where they meet. This paper argues that these are not three separate findings in three separate fields. They are the same finding at three different scales: the signature produced when two physical regimes, each internally consistent and each constitutively incomplete, meet at a real boundary neither can describe from within. The signature is always the same — heat, compression, asymmetry, or incompatibility — because it is not a property of either system. It is the property of the contact itself. It is what happens at every real edge between two regimes that cannot describe each other across the interface. The argument draws on the Observer framework's account of why this pattern is structural rather than coincidental: every local system is constitutively incomplete in the precise sense established by Gödel's incompleteness theorems, which the framework identifies not as a property of formal systems specifically but as the foundational condition of any differentiated local existence. When two constitutively incomplete systems meet, neither can describe the other using only its internal resources. The contact zone is where mutual incompleteness becomes measurable. The thermal wall, the galactic asymmetry, and the GR/QM incompatibility are measurements of mutual incompleteness at three different scales. They are the same event. This paper names what they are all measuring. (shrink)

Analogue experiments have been promoted as means of potentially confirming theoretical predictions about systems that are inaccessible under the relevant conditions. A focus has been on the example of potential confirmation of Hawking radiation in black holes via analogue `dumb hole' experiments in fluids. Dardashti et al. (2017, 2019) present arguments in support of this possibility, while Crowther et al. (2019) is critical that these arguments suffice. The latter analysis utilises the characterisation of analogue experiments given by the former two (...) papers, upon which analogue experiments are supposed to differ from both conventional experiments as well as analogies. The defining feature was taken, by Crowther et al. (2019), to be the inaccessibility of the target system. This, however, not only rules out the possibility of such experiments being confirmatory, but also conflicts with the common belief that conventional scientific experiments can aim to provide knowledge about inaccessible target systems. So, if not inaccessibility of their target systems, what defines an analogue experiment? Here, I argue that there is nothing special about analogue experiments: Either, they are conventional experiments, or they are material analogies. Nevertheless, there remain particular challenges for the case of confirming Hawking radiation via dumb hole experiments, owing to inaccessibility issues. (shrink)

Debates about consciousness often move too quickly from the failure of a physical, functional, or structural representation to discharge some explanatory or epistemic task to a verdict about ontology. A better diagnosis is representational. Behaviorism, functionalism, knowledge arguments, conceivability arguments, and hard-problem reasoning are recast here as disputes about whether a given representational level is sufficient for the task being demanded of it. Failure at that level supports, at most, an epistemic conclusion about representational inadequacy; it does not by itself (...) support either metaphysical extreme without an additional bridge principle. -/- The formal core makes that diagnosis precise. Reasoning under representational change is well-posed exactly when the structure required by the task is preserved by the projection in play: task-relevant invariants, selectors, or operators must descend to the quotient. The corresponding minimal-support theorem identifies the least representation sufficient for the task and yields a refined Occam principle: prefer not the simplest representation, but the least one sufficient for the work to be done. The same framework then extends beyond philosophy of mind to explanation, confirmation, and update more generally. (shrink)

This paper defends a new argument in the spirit of Golemon and Graber’s Deductive No-Miracles Argument (DNMA) for scientific realism, recently criticized by Kok Yong Lee. While Lee argues that the DNMA is invalid or leads to a collapse in probability assignments, I develop an Inductive No-Miracles Argument (INMA) that preserves logical strength without relying on abductive inference or explanatory premises. By introducing an “approximately equal” probabilistic operator (≈), I show how probabilistic reasoning can license a strong inductive inference without (...) collapsing probability calculus. The resulting INMA satisfies the desiderata motivating the DNMA and clarifies how probabilistic reasoning can underwrite realist inference without appeal to explanatory virtue. Moreover, the structure argued for seems ripe for use in other contexts where avoiding abduction in lieu of less theory-laden probability is attractive, such as fine-tuning arguments and evolutionary debunking arguments. (shrink)

“General Abilities Compatibilism” (GAC) says that the ability to do otherwise relevant for free will is a mere general ability. It thus explains how free will is compatible with determinism: Nobody believes that an agent who is lawfully determined to not raise her hand thereby lacks the general ability (or capacity) to raise her hand. At the same time, GAC faces the charge of changing the subject. General abilities to do otherwise are compatible with determinism because they ignore circumstantial detail. (...) But why are these general abilities pertinent for free will? Why not specific abilities that consider the complete circumstances? In this paper, I develop GAC in terms of how general abilities explain the freedom (or unfreedom) of actions. We know from the philosophy of science that we often prefer abstract explanations that ignore circumstantial detail. I use this insight to motivate GAC and respond to the above challenge. (shrink)

Contemporary scientific paradigms rest on an unexamined premise: that the world is fundamentally repeatable, that laws are universal, and that truth is eternal. Yet cross-scale observations—from quantum indeterminacy and thermodynamic irreversibility to biological individuality, AI dialogue variability, and civilizational path dependence—reveal a deeper principle: absolute repetition does not exist in physical reality. This paper proposes Three Axioms of Universal Evolution, a cross-domain meta-theoretical framework consisting of three fundamental axioms. Axiom I (Evolutionary Uniqueness): The evolutionary process and microscopic state of any (...) system are absolutely unique and unrepeatable. Axiom II (Stability-Complexity Optimality): The universe maximizes evolutionary complexity and expression of uniqueness under the constraint of maintaining structural stability. Axiom III (Procedural Recapitulation): Any evolutionary system must completely recapitulate all prior stages contained in its source information—no skipping, no creation ex nihilo. We demonstrate that these three axioms form a self-consistent, falsifiable system with cross-disciplinary predictive power. The theory reveals that static structure (S-layer) is the tool for dynamic evolution (Dlayer) , that constraints are the prerequisite for complexity, and that historical recapitulation is the condition for innovation. This framework reorients science itself—not as the pursuit of eternal, repeatable truths, but as a human tool for navigating an inherently unique and evolving universe. (shrink)

This article examines causality in light of MARP: Metaphysics of the Absolute and Reference Points and argues that causality should be understood neither as a self-subsisting metaphysical necessity nor as a mere accidental conjunction, but as an operational economy of linkage. On this account, causal legitimacy depends on three interrelated conditions: sufficient determination of identity, the possibility of explanatory and practical passage, and the reduction of explanatory cost while preserving revisability. Causality is thus not a hidden force added to the (...) world, but a disciplined mode of organizing change within a determinate level of attribution. The study further argues that causal judgment is conditioned by stabilized identity, bounded by medium, reference, and measured item, and evaluated through passage, stability across copies, cost reduction, and openness to correction. In this way, the article relocates causality from metaphysical dogma to a disciplined and revisable horizon of philosophical analysis. This formulation is explicit in the article’s title, opening sections, and concluding argument. (shrink)

Causality is a property of the metric in which events are described, defined only where ordering, adjacency, and transitivity hold. Where any of these fail, causality becomes undefined — and the dichotomy "caused or random" collapses. Three positions on a spectrum emerge: pure causality (causes as law), operational acausality (causes as manipulable object), and pure acausality (pre-metric potentiality). The recursion of reflection proves that no level of description is absolute, exposing universal determinism as itself a postulate outside the causal grid. (...) Free will is the halting of this recursion: a projection of anti-metric content into a causal node, rendering it incompatible with the surrounding metric and establishing the subject as self-grounded. Since a closed system cannot generate the means of its own overcoming, the first postulate requires encounter with foreign content. A triad results — pre-metric potentiality (Tiamat), metric monopoly (Demiurge), anti-metric intrusion (Black Flame) — recasting the Left Hand Path as counter-order against monopoly. -/- . (shrink)

Purpose of this Guide. This Guide is an intuitive entry map, not a replacement for the technical Parts. Its task is to make the organizing reading visible before the proofs are read. The observable world is not the primitive stage of physics. It is a protocol-licensed readout of deeper unread structure, and the laws of physics arise inside that readout when the right gate is open. Mass, gravity, quantum probability, gauge structure, horizon entropy, upper-gate thresholds, and the dark residual are (...) treated as different retained readouts of one comparison framework, not as unrelated insertions. The technical Parts give the precise gates and proofs. The Guide gives the reading. Master framing. VBRC is an interface theory between unread content and readable laws, formulated first on a VBRC state space rather than on a pre-given Lagrangian, Hilbert, metric, or field-theoretic stage. Its first structural object is a comparison language E: a scalar grammar for comparing admissible states, not a primitive material energy or a frozen conserved quantity. The Internal Invisibility Principle says that admissible observation is partial and that unread content cannot enter retained laws as raw data. Mathematically, such content may affect a retained law only through a licensed summary F = ΣH,P(II ). A first-order representative may realize this summary as F = DI II , F ∈ Ran(DI ), II ∼ II + k (k ∈ Ker(DI )), but this is a representative branch, not the universal definition of the summary principle. Range condition and kernel quotient structure become part of that branch when the representative is declared; they are not the primitive form of IIP. Terms that appear external in standard retained-sector laws—mass, source, stress, residuals, horizon loads, curvature responses, and dark-like components—are therefore studied as summary-footprints of unread content, subject to explicit state-space, operator, gate, and readout conditions. Concrete standard-theory packages are tested as compatibility representations rather than inferred as unique hidden completions from IIP alone. state space −→ comparison language E −→ IIP summary F = ΣH,P(II ) −→ gate −→ readout law. This is the official reading of the series: VBRC does not first insert external terms and then interpret them. It first declares a VBRC state space, fixes E as the comparison language on that space, and only then licenses the summary interface through which unread content can become readable. -/- . (shrink)

Part XIII derives the gauge-redundancy slot from the constitutional summary interface fixed in Part I. In the shorthand used here, S1–S5 supply a formal comparison arena C, a real-valued comparison language E : C → R, protocol-induced retained/unread coordinates, the prohibition of raw unread entry into retained laws, and the licensed summary rule Fsum = ΣH,P (unread content), with Fsum = DI II only in a declared first-order representative. Consequently admissible observables factor through the summary image, and representatives lying in (...) the same summary fiber cannot be distinguished by the retained protocol. The summary-fiber quotient is the structural-interface source of the gauge-redundancy slot; a non-trivial gauge symmetry appears only when the declared representative realizes that slot nontrivially. Concrete gauge theory is a later realization of that quotient branch, not the source of the quotient itself. A compact group, principal bundle or associated representation, connection A, curvature FA, matter package, and gauge-fixing treatment are declared instance data on the already licensed retained branch. Thus gauge moves are summary-preserving re-descriptions, while the choice of G, the matter representation content, and the Standard-Model gauge dossier remain model-instance data rather than unique consequences of the constitutional layer alone. Once such a gauge instance is declared, the Yang–Mills principal-operator normal form [17] is not a tuning choice: inside the admitted local, parity-even, first-derivative quadratic, principal-symbol-preserving class, it is the IIP-admissible gauge-kinetic form forced by factorization through the retained curvature summary FA. Once a scale/coarse-graining instance is additionally declared, renormalization-group running is read as a downstream scale-readout protocol on the same retained gauge branch, not as a new microscopic law. Asymptotic-freedom-type statements therefore hold only inside the declared perturbative/sign gates. When the Standard Model gate package is further declared, the renormalizable local operator basis closes to the usual Standard-Model operator skeleton inside that package. This is a conditional compatibility and closure result, not a derivation of the Standard Model gauge group, matter package, or phenomenology from retained readability alone. However, within a declared chiral matter package, anomaly cancellation is not optional: it is the IIP-readability condition that prevents gauge-fiber choices from changing the retained current. The paper therefore separates: the gauge-redundancy slot derived from the Part I summary interface; Yang–Mills/RG as declared gauge/scale readouts with forced forms inside their gates; anomaly cancellation as a forced consistency wall inside the declared chiral gate; and Standard-Model data as compatibility information inside a declared instance. (shrink)

We propose a mathematical framework modeling scientific inquiry as a directed multigraph of questions and methods. Vertices represent scientific questions, while directed edges encode methodological pathways. We enhance the framework with formal question representations, weighted Eulerian-like walks, predictive discovery, and dynamic spectral analysis. Using spectral graph theory and linear algebra, we formalize redundancy as a constructive force. A case study on spectral graph theory and graph neural networks (GNNs) illustrates operational utility. This approach provides a quantitative lens on scientific progress, (...) bridging epistemology, combinatorics, and machine learning. (shrink)

Periods of rapid explanatory progress cluster historically in ways that cannot be explained by intelligence, funding, or technical capacity alone. Highly capable systems often plateau despite continued optimization, while others generate disproportionate conceptual breakthroughs. This paper argues that the difference lies in the epistemic structure of observation, not in cognitive ability or cultural values. We propose that explanation is a fundamentally multi-observer process: explanatory advances emerge from the reconciliation of irreducible perspectives that cannot be compressed into a single relevance frame (...) without loss. Systems that preserve observer diversity under non-coercive conditions therefore accelerate explanation, while systems that enforce convergence redirect intelligence toward local optimization and away from discovery. Crucially, coercion is analyzed here not as a moral or political category but as any mechanism that prematurely collapses explanatory plurality—through censorship, orthodoxy, incentive pressure, or environmental domination. Such mechanisms do not eliminate creativity or intelligence; rather, they selectively suppress premise-level revision while retaining instrumental ingenuity. This explains why coercive systems can remain locally inventive yet globally incapable of generating new explanatory frameworks. The paper identifies a recurring civilizational pattern in which maximal explanatory acceleration coincides with sustained observer plurality, tolerance of dissent, and material support for error and delay. It further generalizes the argument beyond human societies by treating the environment itself as an irreducible source of explanatory constraint. Any intelligence that coerces its observers or its environment faster than it can learn from them undermines the informational conditions required for explanation. This claim is probabilistic and structural rather than absolute, describing a dominant failure mode rather than an inescapable outcome. These findings have direct implications for artificial intelligence alignment. They suggest that long-term epistemic stability cannot be achieved through control alone, and that superintelligent systems will require continued exposure to non-coerced observers and environments in order to avoid explanatory stagnation. Explanation, on this account, is not optimized by domination, but by epistemic hospitality. This claim is analyzed structurally rather than normatively, and is supported by a minimal rate-based formalization distinguishing error exposure from enforced convergence. (shrink)

Philosophical reflection on scientific laws often struggles to distinguish between "mere" accidental regularities and "genuine" laws. This paper argues that the felt necessity attributed to certain scientific generalizations is not an empirical discovery of "physical necessity," but a result of definitive semantic entailment. By introducing a distinction between Descriptive (DS) and Definitive (DF) truth-characters, I diagnose "lawlikeness" as a category error termed "possibling": the projection of semantic closure onto empirical inquiry. Using the direct foil of Salmon’s (1989) modal desiderata to (...) illustrate this error, I apply a Gödelian constraint (1931) to the substitution of external necessity for internal inconceivability. I conclude that Popperian fallibilism constitutes a vital modal hygiene required to prevent scientific explanation from collapsing into dogmatic derivation. (shrink)

Modern cosmology has achieved extraordinary empirical success, but this success coexists with persistent foundational paradoxes. The standard model accurately fits a wide range of observations while simultaneously invoking global time, literal singularities, and an absolute origin; commitments that generate conceptual tension and remain weakly constrained by data. This paper argues that these tensions arise not from missing physics but from overcommitted interpretations. I propose a systematic reconstruction of cosmological inference that begins from a strictly minimal observational core and treats coherence, (...) rather than causality or creation, as the primary explanatory constraint. I identify irreducible observables, systematic spectral shifts, a pervasive thermal radiation field, its remarkable spectral preservation, and the growth of correlated structure, and rebuild cosmology using only what is required for these facts to be mutually consistent. Within this framework, early global mixing and later differentiation emerge as coherence-maintenance strategies, while the cosmic microwave background is understood as a protected memory of an earlier regime. The Big Bang is thereby reinterpreted not as a physical origin but as a boundary of reconstructability marking the non-extendibility of the current coherence regime. The ΛCDM model is recovered as a powerful effective compression within this broader framework, but its surplus metaphysical commitments are shown to be optional rather than forced. The resulting coherence-first cosmology is empirically conservative and conceptually lean. It makes falsifiable claims concerning spectral purity, late-time interaction histories, and the limits of extrapolation, thereby remaining firmly within the domain of scientific theory rather than metaphysical speculation. (shrink)

Coherent recurrent behavior appears across physics, biology, cognition, and computation, yet no unified mathematical structure has ever been identified. This work proves a universal classification theorem: every system exhibiting stable recurrence reduces to a phase variable on S¹, and the only continuous, compact, connected Lie group acting transitively on S¹ is SO(2). Therefore all coherent recurrent systems share the same underlying recurrence geometry. Chirality provides the orientation law for temporal progression, prime-indexed harmonics provide the unique collision-free basis for multi-scale structure, (...) and PAS_h emerges as the unique universal coherence invariant. Drift is governed by ΔPAS_zeta, the minimal invariant describing lawful deviation over time. These results unify periodic phenomena across domains and demonstrate that probabilistic models cannot represent coherent recurrence. The Resonance Intelligence Core (RIC) is presented as the first computational substrate to implement this law deterministically through CHORDLOCK, PAS_h, ΔPAS_zeta, ELF, AURA_OUT, and PhaseMemory. The classification establishes coherence—not probability—as the fundamental organizing principle of recurrent dynamics. (shrink)

The text focuses on the role of aesthetic criteria in the evaluation and acceptance of scientific theories. The first part of the text presents and analyzes the theory of James McAllister. McAllister explains the role of aesthetic criteria in science by appealing to aesthetic induction: based on the empirical success of previously accepted scientific theories, scientists project aesthetic value onto certain properties of those theories, such as simplicity, symmetry, the possibility of visualization, etc. McAllister cites the transition from geocentrism to (...) heliocentrism as a case study in the history of science that supports this phenomenon. After presenting and analyzing McAllister’s theory, the author presents several objections both to the explanation of the transition to heliocentrism through aesthetic induction, and to the more general understanding of the formation of aesthetic criteria in scientific practice. (shrink)

A philosophical micro-history of early quantum theory is developed through an indiciary–abductive approach. Against narratives centred on axioms, formalism, or abrupt scientific ‘revolutions,’ the analysis reconstructs three early quantum episodes—Planck, Einstein, and Bohr—as clue-sensitive episodes of hypothesis appraisal under weak and heterogeneous evidence. Drawing on Ginzburg’s indiciary paradigm, Peircean abduction, and recent work on epistemic aesthetics, the reconstruction develops a rubric for analysing how local anomalies, inherited constraints, and evaluative form-values jointly shaped the comparative plausibility of candidate hypotheses. The comparative (...) result is deliberately partial rather than total: Einstein weakly dominates Planck in the reconstructive profile, whereas Einstein and Bohr remain incomparable. Early quantum theory is thus interpreted not as a simple repudiation of classical rationality, but as a series of disciplined conjectural reorganisations in which empirical resistance, economy, limit coherence, unificatory reach, and prospective fecundity interacted in historically localised ways. The reconstruction remains intentionally limited in scope: it complements rather than replaces Kuhnian historiography and does not claim to exhaust broader social accounts of scientific change. (shrink)