Prior Cognitive Art

Daniel Ari Friedman

doi:10.5281/zenodo.21316510

Overview

A prior is not explained by stacking more priors; it is located by mechanism, function, history, and fixed-point organization. The paper's precise thesis is procedural: before asking why
a prior exists, identify which explanatory kind is being requested and name the
rule that will terminate the explanation. This working paper argues that Tinbergen's four questions
are not stacked levels in one causal chain. They are crossed axes: proximate
versus ultimate, and static versus developmental. Mechanism and function ask
what a prior is doing now; ontogeny and phylogeny ask how such organization came
to be across different timescales.

The paper treats the familiar "prior on a prior" problem in hierarchical Bayes
as structurally parallel to an ontogenetic account that says one prior selects
another. Both postpone the question unless they terminate. Three termination
families organize the paper: pragmatic closure, selection closure, and
fixed-point termination. They are organizing families, not an exhaustive
taxonomy of every possible explanation. A final upstream pass asks what comes
before the first prior and answers with a constraint stack -- viability,
allostasis, co-homeostasis, development, and niche support -- rather than with a
hidden meta-prior. The project uses plain text, deterministic conceptual visualizations, and one deterministic illustrative simulation trace.
Its supplement adds generated, auto-numbered formal claims and a closed symbol
glossary as text-integrity artifacts rather than empirical machinery.
The paper includes one deterministic illustrative simulation trace over authored formal states; it does not run stochastic simulations, synthetic-data experiments, empirical estimates, or performance benchmarks.

The "art" in the title names the craft at stake: arranging explanatory kinds
(proximate/ultimate, static/developmental, selection/fixed-point) so that no
single kind is mistaken for the whole, and rendering that arrangement as
deterministic figures and checkable formalism rather than as empirical simulation evidence. It
also marks a bounded link to aesthetic practice: artworks can stage encounters
with expectations, material affordances, ambiguity, and meaning, but this paper
treats that link as a conceptual analogy, not as an empirical theory of art.

---
Associated artifacts
GitHub release: Prior Cognitive Art v0.1.0 (https://github.com/docxology/prior_cognitive_art/releases/tag/v0.1.0)
DOI: https://doi.org/10.5281/zenodo.21316510
Zenodo: https://zenodo.org/records/21316510
PDF SHA-256: 62aa1d8d4af75f4b5bdc894516720bdf61ae68a4be27f44aefc09c2dd2fbba67

priorsTinbergen's four questionshierarchical Bayesfree energy principleMarkov blanketscognitive scienceconceptual visualization

Overview source: Curated paper metadata.

Methods and contributions

Read the source for the full argument, qualifications, and evidence.

Findings and contributions

The author argues the regress is not forced by Tinbergen's framework but arises when an ontogenetic answer is asked to do the work of every quadrant.
The paper argues that what comes before the first prior is a stack of constraints (viability, regulation, co-homeostasis, development, niche) rather than a hidden meta-prior.
Niche construction is treated as a constraint on selection termination rather than as a fourth termination type.
The art claim is bounded: aesthetic practices arrange encounters with predictive priors, without proving art directly rewires priors.
The author states the formal supplement does not prove the thesis but makes it checkable against its own artifacts.

Methods

Tinbergen's four questions recast as a 2×2 grid of crossed axes — Maps mechanism, function, ontogeny and phylogeny onto proximate/ultimate and static/developmental axes to type explanations of priors.
Five-step protocol for typing 'why' questions about priors — Applies a protocol per question: type the request, expose deferral, name the stop, state the ceiling, then render and validate.
Three regress-termination families: pragmatic, selection, fixed-point — Organizes responses to the hyperprior regress into pragmatic closure, selection closure and fixed-point termination, explicitly non-exhaustive.
Source-owned deterministic diagrams, formal claims and glossary — Renders diagrams, formal claims and a symbol glossary from recorded source inventories (quadrants, termination modes, modules, figure specs).
One deterministic illustrative simulation trace over authored formal states — Includes a single deterministic trace and explicitly no stochastic simulation, synthetic data, empirical estimates or benchmarks.

Summary sources: Paper metadata and evidence · Extracted source text.