philosophy-of-science.
154 of 1538 NOTE documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| NOTE-007 v2 | From the origin of life to pandemics | An editorial review with no new result. Its one formal item (§4, Eq. 4.1: x(t+1) = f[x(t)], x(0) = x₀) sorts phenomena three ways. Non-emergent: local rules plus initial conditions let you deduce the “expected” high-level pattern. Weakly emergent: they let you deduce an “unexpected” one by computation. Strongly emergent: no deduction is possible even in principle. “Unexpected” is never defined. The rest is a cross-domain survey (§3), a 16-paper map of the theme issue (§5), and an outlook (§6). | Read |
| NOTE-030 v2 | Pusey, Barrett & Rudolph, reality of the quantum state (PBR) | Take pure states |ψ0⟩, |ψ1⟩ with |⟨ψ0|ψ1⟩| = cos θ. Assume (a) a model assigns each preparation a distribution µ_i(λ) over physical states, (b) n independent preparations yield the product distribution µ_{x1}(λ1)⋯µ_{xn}(λn), and (c) outcome probabilities depend only on (λ1, …, λn). If the model’s predictions are within ε of quantum theory, then D(µ0, µ1) ≥ 1 − 2ε^{1/n} for any n with 2^{1/n} − 1 ≤ tan(θ/2) (Eq. 7, App. B). At ε = 0 the distributions for distinct pure states cannot overlap on a set of non-zero measure, so Harrigan–Spekkens ψ-epistemic models are ruled out. | Read |
| NOTE-038 v2 | Structural Realism (Stanford Encyclopedia of Philosophy) | The entry presents structural realism (Worrall 1989) as the attempt to keep both the no-miracles argument and the lesson of theory change. What is retained, and what we are entitled to believe, is structure, understood by ontic structuralists as modal structure. It sorts the view into an epistemic form, which falls to the Newman/Demopoulos–Friedman triviality result when stated as a Ramsey sentence (§3.2), and an ontic form with seven distinguishable theses, from eliminativism about individuals to “objects are constructs” (§4). The ontic form is motivated by quantum non-individuality and entanglement, gauge symmetry and the hole argument. The entry closes with seven objections, each answered in the author’s own voice (§5). | Read |
| NOTE-044 v2 | Grangier & Auffèves, What is quantum in quantum randomness? | The paper argues informally, with no equations anywhere in it, that an “elementary” system with a fixed finite number N of exclusive modalities, placed in contexts that can change, must behave unpredictably when the context changes: a return to C1 after C2 cannot be certain, or there would be N² > N joint modalities (p. 4). It asserts that adding one condition, that the context can change continuously, makes the N×N modality-transition matrix unistochastic, i.e. Born-rule, but defers that proof to refs [14, 15] (p. 5). The anti-reductionist conclusion follows from Postulate 0, which declares contexts non-contextual by definition, not from an argument against decoherence. | Read |
| NOTE-072 v2 | Hance et al., wavefunctions as knowledge and reality | The paper argues, informally and without formal results, that Harrigan–Spekkens’ ψ-ontic/ψ-epistemic are contradictories only by stipulation. On the informal senses, “represents reality” and “represents knowledge”, a wavefunction can be both. It offers a weaker sufficient condition for “epistemic” (Eq. 6: for some ψ, A, S, the response function A(S|λ) is not equal to the Born probability p^ψ_A(S) throughout Λψ), which non-overlapping models can meet. It concludes that PBR “shows that wavefunctions cannot overlap on state space, but it says nothing about whether they are epistemic in the broader sense”, so it “does not rule out all epistemic models” (§V). | Read |
| NOTE-077 v2 | Cuffaro & Hartmann, The Open Systems View | The paper argues philosophically, not formally, that the quantum theory of open systems “GT” is more fundamental than standard closed-system quantum theory “ST”. GT treats states as density operators that evolve, in general, non-unitarily, and it admits not-completely-positive maps. The ontic and epistemic cases each win only on a second, interpretation- or practice-laden criterion: OntFund-2 and EpFund-2. On the first, formal criteria (OntFund-1, EpFund-1) the two frameworks tie, and the authors say so because Stinespring dilation and dropping the Lindblad terms translate in both directions (§4.1, §4.2.1). Explanatory fundamentality is granted only deflationarily (ExFund-1), and the authors recommend dropping the notion (§4.2.2). The step from there to “the open systems view is fundamental tout court” (§4.3) rests on the special sciences and on “there are no other options”. | Read |
| NOTE-080 v2 | Barandes, The Stochastic-Quantum Correspondence | Take any N×N stochastic transition matrix Γ(t←0) on a configuration space. Writing it entrywise as Γ_ij = |Θ_ij|² = tr(Θ†P_iΘP_j) (Eq. 15) is always possible, and the paper calls it the stochastic-quantum dictionary. Choosing Θ unitary (by Stinespring dilation to ≤N³ configurations, §3.4) makes Γ unistochastic. The Born rule in the configuration basis (Eq. 23), the Schrödinger equation (Eq. 35, with H ≡ iħ(∂U/∂t)U†) and interference (Eq. 43, the gap between Γ(t←0) and |U(t←t′)|²|U(t′←0)|²) then follow by definition or short algebra. The Born rule for non-diagonal observables (Eq. 78) is derived by reading a measuring device’s configuration, given a composite unitary that produces Eq. (73). | Read |
| NOTE-083 v2 | Garg & Fetzer, causal claims in economics | GPT-4o-mini is run in nine passes per paper over the first 30 pages of 44,852 NBER/CEPR working papers. Edges kept in at least 4 of 9 passes, JEL-mapped, give “claim graphs” in which the share of edges backed by DiD/IV/RCT/RDD/synthetic control rises from 7.7% (1990) to 31.7% (2020). In year-fixed-effect-only regressions, doubling causal edges is associated with +1.36 pp top-five probability and +11.2% citations, while non-causal counterparts are flat or negative. The validation checks paper-level method labels, and only weakly: RCT and field labels have precision ≤ 0.10. It never checks the edges themselves against human labels. | Read |
| NOTE-089 | Nagel: what is it like to be a bat | An organism is conscious if and only if there is something it is like to be it. That subjective character is tied to a type of point of view. Every functional, intentional or causal-role analysis leaves it out, since each is compatible with its absence. Psychophysical reduction therefore cannot follow the usual pattern of dropping a point of view in favour of a more objective description of the same thing: for experience, that leads away from the phenomenon. Physicalism is left not refuted but not yet understandable. The closing proposal is an “objective phenomenology” of the structure of experience. | Read |
| NOTE-090 v2 | LLMs are stochastic measuring devices | The chapter argues by analogy that deep neural networks are “stochastic measuring devices”. Training alters the parameters in response to data, so that the resulting configuration carries information about the data (“training is measurement”). The trained weights are a model, and generation is simulation. DNNs are stochastic because random initialisation and non-convex loss mean runs need not converge to the same weights, failing Baird’s “regularity” condition. The problems of interpreting model states and generated text are therefore the familiar problems of instruments, models and simulations. The problem of interpretable AI is an instance of the coordination problem in the philosophy of measurement. | Read |
| NOTE-091 v2 | Pernu — Mental causation via neuroprosthetics? | The interventionist/difference-making case for nonreductive mental causation from BCIs (List & Menzies 2009; Menzies 2015; Woodward 2008a,b, 2017) misplaces multiple realisation. What the ensemble recordings show is that one cortical-level variable N (the ensemble’s average firing) is realised by many single-neuron patterns N1, N2. Each intention M corresponds to one value of N. So the counterfactual contrast “∼M □→ ∼B true, ∼N □→ ∼B false” fails, and neuroprosthetics supports mental causation only by identifying M with N, not nonreductive physicalism. | Read |
| NOTE-092 v2 | Quillien — Luck and intentional action | Across three Prolific studies (N = 198, 673, 142; Likert 1–7), judgments that “X happened because the agent wanted X” track intentionality judgments under manipulations of luck. Causation is the strongest predictor of intentionality: standardized β = .46, .56, .53, against know-how β = .33, .20, .27 and probability-raising β = .14, .16, .10. Across the 12 condition means, r = .98. Causation only partly mediates the effect of luck (64%, 45% and 49%; exploratory analyses). As the causal account predicted, Study 3 found that the effect of Process (normal vs mix-up) on intentionality is larger when the agent knows how the buttons work (interaction F(1, 423) = 32). In the morally neutral Kraemer vignette, intentionality and causation came apart. | Read |
| NOTE-094 v4 | Nahas & Sachs — What’s at stake in naturalizing teleology | The paper argues that “naturalizing teleology” serves at least two relatively autonomous projects with different success criteria. One is scientific: whether an organism-centred account improves biology, which requires operationalisable models that may trade truth for usefulness. The other is philosophical: whether organismal teleology reshapes the liberal-versus-scientific naturalism debate about mind in nature, which requires truth but no operationalisation. It applies the distinction to one recurring dispute, the demarcation of teleological systems from dissipative structures. In the scientific context, models “cannot and need not” demarcate (§4.1: Cusimano & Sterner; McShea & Babcock). In the philosophical context, preferences between accounts turn on unstated commitments (§4.2: García-Valdecasas’s Aristotelian case for Deacon over the Organizational Approach). | Read |
| NOTE-095 v2 | Morganti — From OSR to metaphysical coherentism | Morganti argues from a survey rather than proving anything. Strong, moderate and contextualist OSR each fail as metaphysics: particle kinds have intrinsic features no group-theoretic analysis reduces, and the argument from permutation invariance is inconclusive. What OSR gets right about symmetry, entanglement and particle kinds is better captured by “metaphysical coherentism”: object-like entities (in one domain) stand in symmetric partial ontological dependence on one another. Cycles of such dependence can be kept irreflexive, and so explanatorily non-trivial, by relaxing transitivity (quasi-transitivity) or by making only partial dependence symmetric. | Read |
| NOTE-096 v2 | Karpenko — Defending informational structural realism | Karpenko argues against V.E. Terekhovich’s non-eliminative OSR, which holds that entities and structures exist but “objects do not exist”. He extends Floridi’s informational structural realism with one thesis: empirically equivalent but structurally different models (wave/particle/field descriptions, superstring dualities, AdS/CFT holography, equivalent programs in digital physics) have equal ontological standing. Since nothing stands “behind” them with a privileged configuration, the descriptions, i.e. information, are themselves fundamental, and theoretical objects exist as ontological primitives. There is no formal argument, and the physics is presented by assertion, with several errors. | Read |
| NOTE-097 v2 | Health and disease beyond social justice | Kukla’s “institutional definition” makes a condition a health condition iff medicalising it would be best for collective wellbeing. Veit argues that any purely normativist definition of this kind defeats itself for two reasons. First, leaving “social justice” undefined lets a majority with other values medicalise what Kukla wanted to protect. Second, unless the institution of medicine is fixed from outside, the medical toolkit co-evolves until “health would simply become justice” (p. 15). His remedy is pluralism: at least three separate accounts, with justice linked to health empirically, not conceptually. | Read |
| NOTE-098 v2 | Leonelli — Philosophy of Open Science | Leonelli argues that mainstream, institutional Open Science treats openness as the unlimited, digital sharing of research objects, a transparency-first ordering running transparency → quality (reproducibility) → inclusion. This rests on an object-oriented, “resourcist” epistemology of science. Four implementation cases (GISAID COVID data, open-source software stigma, crop-data linkage, the reproducibility “crisis”) show it can narrow epistemic diversity and entrench epistemic injustice, which lowers reliability. She proposes instead “openness as judicious connection”, grounded in a process-oriented view of research as the cultivation of “active knowledge”. Her Figure 2 inverts the ordering to start from inclusion, and sharing becomes “neither a necessary starting point nor a sufficient condition” for reliable OS (p. 8). | Read |
| NOTE-099 v2 | Floridi — A defence of informational structural realism | Floridi argues informally in four steps. (1) ESR and (non-eliminativist) OSR are compatible once indexed to levels of abstraction. ESR’s minimal commitment to knowable relations holds at a first-order LoA. At a reflective (“transcendental”) second-order LoA, a second Ockham principle licenses taking the relata to be structural objects. (2) The relata-need-relations regress is blocked by Eddington’s “package hypothesis”: not all relata are logically prior to relations. (3) Structural objects are informational objects, clusters of data understood as concrete “differentiae de re”, made scalable by the object-oriented-programming model. (4) Together these give “informational structural realism”, on which “the ultimate nature of reality is informational” (p. 32). | Read |
| NOTE-100 v2 | Bourrat — Reproducees, reproducers, Darwinian individuals | Bourrat builds a nested vocabulary. A reproducee is a B that comes after A, is caused by A, and is of A’s relevant class. A reproducer is a reproducee with reproductive autonomy, meaning it can reproduce across a range of backgrounds. A Darwinian individual is a reproducer with high reproductive causal control, meaning heredity survives as the parent’s description is made finer. On that vocabulary, genes of multicellular organisms are, like hearts, mere reproducees, but with high control. Material overlap is necessary for reproducers, which are whole life cycles, and unnecessary for reproducees, so Griesemer and Godfrey-Smith partly talk past each other. Both quantities get an information-theoretic recipe (conditional MI after Bertschinger et al. 2008 for autonomy; interventional MI across grains, Griffiths et al.’s INF, for control), and neither is computed. | Read |
| NOTE-101 v2 | Luque — Philosophical analysis of the Price equation | Luque argues that the Price equation, Δz̄ = Cov(w, z) + E(wΔz) (eq. 1, p. 7), is a Kuhnian “generalization-sketch”, like f = ma. It is not a model, has no predictive power on its own, and becomes empirical only when a specific model interprets it. On that reading the critics’ charges (van Veelen 2005; van Veelen et al. 2012; Nowak & Highfield 2011) that it is “a tautology” and “lacks predictive power” are either false or ask too much, and he recommends that evolutionary biologists adopt it as their unifying framework. | Read |
| NOTE-103 v2 | SEP — Philosophy of statistical mechanics | The entry argues that statistical mechanics has no canonical formalism but three umbrellas — Boltzmannian SM, the Boltzmann Equation and Gibbsian SM — and that every live account of the approach to equilibrium (ergodic, typicality, Mentaculus, long-run residence time, coarse-graining, interventionist, epistemic) survives Loschmidt’s and Zermelo’s objections only by giving up strict irreversibility or adding something outside the isolated dynamics; it closes on the unresolved “schism” that physicists compute in GSM while philosophers explain in BSM. | Read |
| NOTE-105 v2 | Dorato — Events and the Ontology of Quantum Mechanics | Dorato argues, without formal results, that events are the metaphysical category best suited to quantum mechanics. An event reading fits GRW flashes, GRW matter density and Bohmian worldlines, and also the antirealist views of ψ held by Bohr, Rovelli, Haag and Pashby. Because it is the same across interpretations, he calls it “interpretation-independent” (p. 12). Where ψ needs a realist reading, it should be read as intrinsic dispositions of events. Esfeld et al.’s view has the opposite structure: bare matter points plus a single holistic power of the universal configuration. Dorato argues that view is unintelligible, and that it must change its ontology when it passes from the universal wave function to the effective one (pp. 13–15). | Read |
| NOTE-106 v3 | Angius et al. — Making sense of transformer success | Current attempts to explain transformer language models’ competence fall into three kinds, and the paper maps each onto an explanatory form from philosophy of cognitive science: machine psychology is Cummins-style functional analysis, induction-head work is Machamer–Darden–Craver mechanistic explanation, and NLM–fMRI brain-score studies are a bidirectional “co-simulation”. Its only thesis is that these do not differ from how cognitive science explains humans. Functional analyses are to be reduced to mechanisms as “mechanism sketches”. The paper rests on existing literature and adds no new analysis or data. | Read |
| NOTE-107 v2 | Religion and Science (SEP) | A survey, not an argument. It reports that the scholarly field rejects the conflict model the public holds, and it finds Barbour’s four-way taxonomy (conflict, independence, dialogue, integration) influential but neither exhaustive nor exclusive. Its survey of five traditions shows the relation varies with creed and colonial history, and it describes the field fragmenting into claim-by-claim “science engaged theology”. Its metaphysical content is concentrated in §1.2 (methodological vs ontological naturalism) and §3.1 (divine action under deterministic, chaotic and quantum physics; primary vs secondary causation; chance and providence). | Read |
| NOTE-108 v2 | Søgaard — Is unsupervised clustering somehow truer? | Søgaard rebuts two arguments that unsupervised clustering is epistemically superior to supervised classification. The No-Bias Argument fails because clustering is also sensitive to sample bias (a toy example moves the boundary from x = 7 to x = 6), and it is more sensitive to representation bias. The Simplicity-Truth Argument fails because clustering is also function estimation and overfits in the same way (Hansen & Larsen 1996). From the fact that every clustering hypothesis is in a supervised classifier’s hypothesis class, he concludes that supervised classification is “at least as justified”, but that positive step is under-argued. | Read |
| NOTE-109 v2 | Bender et al. — What Lives? (definitions of life) | Three LLMs (Claude 3.7 Sonnet, GPT-4o, Llama 3.3 70B), each run 3 times on both orderings of every pair, rated 68 hand-solicited definitions of life on a −1 to 1 “correlation” rubric. The averaged matrix, cut by complete-linkage clustering at an elbow, gives 8 clusters, 45/68 of them (66%) in “Cognitive Autonomy” (n=24) and “Dissipative Self-Organizing Systems” (n=21). The clusters are weak: the repo’s own saved statistics give an overall silhouette of 0.079, and cross-model agreement is an unadjusted Rand index of 71–79% against a chance level of about 62–74%. The headline that life is “a continuous semantic landscape” is not tested against any alternative. | Read |
| NOTE-110 v2 | Belot — Quantum states for primitive ontologists | Inside primitive-ontology Bohmian mechanics, Belot compares four readings of the quantum state: a field on configuration space, a multi-field on 3-space, a law, and a history of velocity dispositions of the particle system. Every reading except the multi-field carries a hard open question: why the world looks 3-dimensional, whether laws can be time-indexed, and whether dispositions lose content. The last is shown by the particle in a box, where every energy eigenstate φn = sin(πnx) induces the same at-rest disposition. The orthodox should prefer the multi-field reading; Belot, on van Fraassen’s view of interpretation, prefers to keep the others alive. | Read |
| NOTE-111 v2 | Baedke et al. — Unknotting reciprocal causation | The paper gives an epistemic, not a metaphysical, tool for organism–environment reciprocal causation. The loop is “unrolled” into two ordered series of states, O_n and E_n, joined by interventionist (Woodward) causal arrows, and an experienced-environment node Ex_n is added as the interface. Its authors argue that this one diagram keeps an epistemically set organism–environment boundary and maps constitutive, mediational, relational, relocational and physical niche construction onto shared causal patterns. They support this with worked cases, including two multi-species ones (bumblebee–eggplant; rumen microbes–ruminant host). | Read |
| NOTE-112 v3 | Poltorak — Wave-function realism and causal closure | A closure principle has two tacit parameters, its domain and its completeness relation (causal, dynamical or explanatory). Wave-function realism falsifies spatiotemporal-domain closure (STC) but is compatible with fundamental-physical closure (FPC), so there is no “trans-domain causal breach”. The physicalist is left with a dilemma: STC is too narrow, and FPC needs an independent criterion of physicality plus a dynamical-to-causal bridge. The paper tests this across primitive-ontology, spacetime-state, multi-field, Everettian, nomological and dispositional readings. | Read |
| NOTE-113 v2 | Status distrust of scientific experts | Desmond gives a “how-possibly” argument, not a demonstration, that stubborn distrust of scientific experts can be valid reasoning. A low-status truster who is vulnerable in collective decision-making (Premise 1) and has reason to think the prevailing “service-for-prestige” ethos leaves out their core interests (Premise 2) has reason to distrust a high-prestige expert because of that prestige (§6, p. 16–17). The paper explicitly declines to say when those premises are true. | Read |
| NOTE-114 v2 | SEP — Biological individuals | A survey that maps biological individuals by crossing two axes: organism / some parts of organisms / some groups of organisms, against living agent (physiological) / Darwinian (evolutionary) individual. The result is nine regions, each given one example (fruit fly, gene, eusocial colony, lysosome, clade, heart, coral reef, virus, squid+Vibrio). “Part” is never defined, and the entry gives no criterion for which parts or groups count: the placements are the authors’ tentative judgements, “moving from less contentious to more contentious examples” (§7). | Read |
| NOTE-118 v2 | Belot — Time and change in mechanics | For theories with ideal existence, uniqueness and a dynamical time-translation group, time is three intertwined ℝ-actions (on spacetime, on the symplectic space of solutions, and on the isomorphic space of initial data), and change is a slicing-indexed family of functions on those spaces. Singular dynamics, gauge freedom and time-dependence each damage this picture in a repairable way. Spatially compact vacuum GR breaks it, because the reduced Hamiltonian vanishes (h ≡ 0) and there is only one canonical isomorphism between the reduced spaces. That is the problem of time. It is not an artefact of the 3+1 split, it does not show change to be illusory, and it is absent from asymptotically flat GR and from artificially generally covariant theories. A parameterized “geometric time”, such as CMC, restores change and, in the CMC case, a time-dependent Hamiltonian flow. | Read |
| NOTE-121 v2 | Elshatlawy et al. — Generalized theory of observers | The paper defines a “minimal observer” as a finite-state transducer with a boundary: a tuple O = (X, Y, Z, f, g, B) with |X| > 1, |Y| ≥ 1, |Z| ≥ 1 and feedback closure (Def. 4.1, p. 57). It then asserts, without derivation, that measurement outcomes, reference frames, coarse-graining and the quantum–classical cut are all defined by such observers. The paper’s only formal results are that isomorphism of these machines is an equivalence relation (“Theorem 2”, p. 93), and a complexity bound C(O) ≥ log 2 (Prop. 4.1, p. 94) whose correction term Λ is never defined and whose proof supports only C(O) ≥ 0. | Read |
| NOTE-123 v2 | Freeborn — A Model of Understanding in Deep Learning | Freeborn defines “systematic understanding” as four conditions: an internal model, non-memorizing tracking of a property, bridge principles fixed in the deployed pipeline, and derivation by the agent itself. Four small demonstrations (the genus of a torus, Mars’s eccentricity e≈0.096 with Kepler’s form built in, grokked modular addition mod 113, and Othello-GPT from Li et al.) show it can be met. The Fractured Understanding Hypothesis (§7.5), which the paper argues for but does not test, says the understanding deep networks reach is characteristically symbolically misaligned, non-reductive, locally fractured, proxy-dependent and representationally fragmented. | Read |
| NOTE-124 v3 | McKenzie — Emergence from physics to computer science | Sole-authored survey by a condensed-matter physicist. It takes novelty (a property the parts lack) as the defining mark of emergence and sets it against twelve other characteristics in §2. The six “objective” ones are discontinuities, order, modification of parts, universality, diversity and mesoscale modularity. The six “subjective” ones are self-organisation, unpredictability, irreducibility, contextuality/downward causation, complexity and intra-stratum closure. Case studies from the Ising model to Schelling segregation and LLMs show that each can come apart from novelty: novelty without discontinuity (Kondo, Fermi liquids, spin ice), without unpredictability (BKT, spin ice), and with reduction (Butterfield). §22 sides with weak emergence and argues that strong-emergence claims from molecular structure are weak. | Read |
| NOTE-126 v2 | Worrall — Evidence in medicine and EBM | Worrall argues that the EBM evidence hierarchy has no sound general rationale for giving randomisation extra epistemic weight, even though it lets high-quality RCTs “trump any number of observational studies”. He examines five standard arguments. Four fail: (a) Fisher’s significance-test logic, (b) control of unknown confounders, (d) that observational studies “exaggerate” effects, and (e) probabilistic causality. The fifth, (c) selection bias, is a “cast-iron argument”, but it supports only taking allocation out of the clinicians’ hands, and randomisation is one way to do that. What matters is balance on plausible confounders, a placebo or active control and blinding. Whether balance comes from randomising or from matching “seems epistemically unimportant”, and historically controlled trials can give strong evidence for large effects. | Read |
| NOTE-129 v2 | Effective ontic structural realism | Ladyman and Lorenzetti argue that three recent “effective realisms” lack a metaphysics that makes them realist rather than constructive-empiricist, and that the Ladyman–Ross OSR package supplies one: realism about modal structure, “to be is to be a real pattern”, and scale-relative ontology. The three are Fraser & Vickers (and Egg) on non-relativistic QM, Williams and Fraser on QFT, and Robertson & Wilson on “theoretical relicts”. Scale relativity also dissolves Saatsi’s inconsistency objection, so Newtonian gravitational forces and GR gravitation “both exist at different scales”. Egg’s 2019 anthropocentrism objection is answered by grounding measurement in decoherence. | Read |
| NOTE-135 v2 | Kleiner & Ludwig — Mathematical structure of experience | The paper proposes a definition, (MSC). A mathematical structure S = ((A_i), (S_j)) is a structure of conscious experience iff (S1) its domains are sets of experiential aspects, and (S2) every relation or function S_j has an “S_j-aspect”. An S_j-aspect is an aspect that a variation of experience changes exactly when the variation fails to preserve S_j. The older condition (MDC), that a structure is “of” experience if its domains are aspects and its axioms hold, survives only as the necessary condition for describing experience, because as a sufficient condition it admits incompatible structures (discrete and non-discrete topologies on the same set), arbitrary re-definitions (every C·d for C > 0) and consciousness-indifferent structures. Worked examples: experienced relative similarity is a strict partial order that satisfies (MSC), given transitivity (assumed). Visual regions form a topology that satisfies (MSC), given Bayne and Chalmers’s subsumptive unity thesis. | Read |
| NOTE-137 v2 | Hazelwood — Emerging dilemma for reciprocal causation | Hazelwood defines RC as “the process of natural selection is both a cause and effect of processes such as niche construction” and EC as “natural selection is an emergent causal process”. He argues they are incompatible. Emergence here is Wilson’s synchronic dependence plus autonomy, cashed out as Pence’s composition. If EC holds, niche construction partly composes selection, so the two fail Woodward’s independent-fixability condition and cannot stand in a causal relation. If EC fails, selection is either non-causal (statisticalism) or individual-level, which is incoherent because relative fitness needs a population (Millstein, Sober). EES proponents should drop RC but can keep niche construction as a genuine cause of the evolutionary product. | Read |
| NOTE-139 v2 | Wenmackers — Philosophy of probability (PhD thesis) | A fair lottery on ℕ gets a uniform, regular probability on all of 𝒫(ℕ) by normalising Benci–Di Nasso numerosities, P_num(A) = num(A)/α. This is hyperrational-valued, determined only up to the choice of free ultrafilter, and “hypercountably” (really hyperfinitely) additive rather than countably additive, with st∘P_num = generalised asymptotic density (§2.5–2.6). The same “rounding-error” diagnosis gives Stratified Belief, a contextual Lockean thesis on which conjunction holds for a standard number of beliefs (Ch. 3). A separate agent-based model (Ch. 5) finds that one round of bounded-confidence averaging sends an agent to the inconsistent theory with probability at most 1.81 % in the cases computed (M = 2, 3 atomic sentences). | Read |
| NOTE-140 v2 | Gao — The Meaning of the Wave Function | Gao argues first that ψ is real. His case uses protective measurements, which yield ⟨A⟩ on a single system with certainty, in three versions (ch. 4): one in the ontological-models framework using preparation non-contextuality, two he says need no auxiliary assumption, and one that uses a new criterion of reality. He then argues that ψ describes random discontinuous motion (RDM) of N point particles in 3-space: |ψ|² is the density with which each particle is present at each instant, and ψ is a single-case propensity. The main support is that the charge density |ψ|²Q, which protective measurement shows to exist, has no self-interaction (chs. 6–7). If the Born probabilities come from RDM, collapse is real. Gao proposes an energy-conserving, Planck-time-discrete collapse model: Pᵢ(t+t_P) = Pᵢ(t) + (ΔE/E_P)[δ_{EsEi} − Pᵢ(t)], giving τ_c ≈ ħE_P/(ΔE)² (ch. 8). Combined with relativity, it requires a detectable preferred Lorentz frame (ch. 9). | Read |
| NOTE-141 v2 | Corfield — Duality as a category-theoretic concept | A short programmatic paper. Its thesis is that category theory, not set theory, is the framework in which the scattered instances of mathematical duality can be drawn together. The constructions in §3 (dual adjunctions restricting to dual equivalences on fixed points, truth-value-enriched Galois connections, Isbell conjugation, dualising objects “keeping summer and winter homes”) all “revolve around” adjunction, though Corfield expects no “single monolithic account” (p. 59–60). On his usage, ‘duality’ is reserved for “involution with some form of structural reversal” (p. 57), so several physicists’ dualities (homological mirror symmetry as an A∞-equivalence, mirror symmetry’s Z2 on the Hodge diamond, S-duality as a vestige of SL(2,Z)) are better called equivalences or symmetries. He proposes, without argument beyond the examples, that philosophers of physics will need homotopy type theory rather than predicate logic for the sameness questions dualities raise. | Read |
| NOTE-142 v2 | Wallace — Stating Structural Realism | Wallace argues that reading a physical theory “math-first”, as mathematical models plus representation rather than as sentences aiming at truth, already makes scientific realism structural. Math-first theoretical equivalence and reduction (as instantiation) are coarse-grained enough to dissolve the standard underdetermination and theory-change objections. On this footing epistemic and ontic structural realism differ only in whether metaphysics itself is language-first or math-first. On math-first OSR, objects are whatever the best “predicate precisification” of a theory quantifies over, real patterns are defined through instantiation plus best precisification, and ontology is scale-relative. At every non-fundamental level the two versions coincide. The paper is explicitly a statement of the position, not a defence of it. | Read |
| NOTE-143 v2 | Frankish — Closing the Cartesian Bureau de Change | An illusionist’s commentary on Veit’s A Philosophy for the Science of Animal Consciousness. Frankish places Veit’s function-first, evolutionary programme in a “post-Cartesian” (qualia-eliminativist) paradigm. He then argues that two things drag it back towards Cartesianism: Veit keeps the words “qualia” and “phenomenal”, and he writes as if hedonic valence motivates action “in virtue of its feel”. The second implies “a tiny one-dimensional Cartesian bureau de change” that leaves the hard problem “as hard as ever”. Because the two paradigms are “incommensurable” (p. 20), Frankish urges Veit to commit to a thoroughly functionalist account. | Read |
| NOTE-145 v2 | Douglas — Inductive risk and values in science | Hempel’s “inductive risk” (the chance of wrongly accepting or rejecting a hypothesis) arises at three internal stages of science: choosing a methodology such as a significance level, characterising data, and interpreting results. Wherever the non-epistemic consequences of error can be foreseen, weighing them requires non-epistemic values. Douglas shows this on dioxin cancer studies. Three pathologist panels (1978, 1980, 1990) scored the same Kociba rat-liver slides differently (e.g. 34/50, 33/47, 18/50 tumours at 100 ng/kg/day). Choosing between threshold and no-threshold readings of the same data has meant regulatory limits about 100× apart. Values enter only indirectly, through the consequences of error, never as evidence that a claim is true. | Read |
| NOTE-147 | Wigner — Symmetry and conservation laws | Wigner argues that invariance principles stand to the laws of nature as laws stand to events — they give structure to the laws — and distinguishes geometrical invariances (formulated on events; yielding energy/momentum/angular-momentum conservation, most directly in quantum kinematics) from dynamical ones such as gauge invariance and, he holds, general covariance, which are tied to specific interactions. | Skimmed |
| NOTE-148 v2 | Baedke — The Organism (Cambridge Element) | Baedke treats “organism” as a nexus concept with an organizational dimension and a relational dimension, joined by the various kinds of biological individuality. He argues that the standard “persister” (self-maintenance, closure) criterion cannot single organisms out, because colonies, holobionts and ecosystems meet it too, and that organisms are also “overcomers”, able to destabilize and reorganize their own closure. Organisms are then individuated relationally by tracing diachronic causal paths in the unrolled O/E model of Baedke et al. 2021 (LIT-110). The overcomer claim rests on three illustrative cases, anglerfish, sea slug and jumping ant, and is asserted, not shown, to hold of organisms only (p. 40). | Read |
| NOTE-149 v2 | Chakravartty — Ontological Priority and non-eliminative OSR | Non-eliminative OSR needs relations to be prior to their relata in the determination of their identity. Chakravartty argues that every available account of objects (substance, bundle theory, bundles of dispositionally individuated properties) leaves identity-fixing intrinsic features, and that stripping all of them away is just eliminativism. So OSR faces an exclusive disjunction: eliminativism, or a role for the intrinsic in identity. The graph-theory analogy and the physics cases (entanglement, spacetime points) do not escape the dilemma. The argument is conceptual throughout, and it explicitly leaves eliminative OSR untouched. | Read |
| NOTE-152 v2 | Le Bihan & Read — Duality and ontology | A survey that sorts realist responses to dualities along two axes. The first is which of the naively interpreted dual worlds count as candidates for actuality: all of them (underdetermination), one (discrimination) or none (nihilism), each with or without the common-core world. That gives options (1)–(6), with the common-core approach being (1), (3) and (5). The second axis is what replaces the common core: an overarching theory, or “pluralism”, on which all dual structures are co-instantiated as parts of one world. Its verdicts are conditional: no option breaks the underdetermination without a further metaphysical principle, such as the PII, for which the authors see no independent support. | Read |
| NOTE-153 v2 | Rizi — What is emergence, after all? | A perspective, not an argument with results. Rizi proposes that emergence is present when a many-to-one coarse-graining F (Eq. 1, N′ < N) keeps the macro description predictive after most micro detail is discarded. He says the onset of emergence is located by order parameters, diverging susceptibility and correlation length, and RG fixed points, and that dualities show macro behaviour is not dictated by micro “stuff”. Herd immunity on networks (percolation, the S–R interface density ρ_SR) is offered as a social case. The paper then asserts that science needs only weak emergence, and that invoking strong emergence “steps outside the scope of scientific method”. | Read |
| NOTE-154 v2 | Allori — Wave-functionalism | Allori proposes that the wave function be defined by three roles — empirical, nomological and explanatory. On this view it is an ingredient that “partially realizes” the law, not a law and not a material field. So its time-dependence and non-uniqueness (a phase shift, a density matrix) are harmless, it counts as non-epistemic and ontic, and it can take part in constructive explanation. Each of these is argued informally, and the escape from PBR is by relabelling the ontic/epistemic distinction, not by engaging the theorem. | Read |
| NOTE-155 v2 | Trappes — Defining the niche for niche construction | Trappes compares NCT’s evolutionary niche with the ecological niche. The evolutionary niche is the sum of selection pressures on a population (Odling-Smee, Laland & Feldman 2003), read “externally” as the environmental factors that produce fitness differences. The ecological niche is the conditions that permit continued existence; for a population, mean absolute fitness ≥ 1. Even at their closest, against the realized population niche, the two differ in extension. Habitat degradation is in the evolutionary niche but not the ecological one, and commensalism and non-limiting resources are in the ecological niche but not the evolutionary one. So NCT’s niche is not the “simple translation” of Hutchinson’s niche its proponents claim, and the evolutionary significance of niche construction must be shown case by case rather than following from the definition. | Read |
| NOTE-159 v2 | SEP — Philosophy of microbiology | O’Malley & Parke argue in four steps that philosophy should attend to microbes. Microbes do most of the planet’s biological work and underlie every major transition. Microbiology founded medicine, molecular biology and genomics. Microbes are unusually good material models, including for phenomena once defined by animals (predation, ageing, kin recognition, cognition). Microbiome research bears on individuality and causation. They are sceptical about the strongest microbiome claims. Whether host and microbiome form one unit of selection is “still disputed”. Claims that microbiomes change the “self” are “usually expressed in very vague language”. The 2026 revision adds that Asgard-archaea phylogenies may make eukaryogenesis “first and foremost a story about diversification within Archaea” rather than a transition in individuality. | Read |
| NOTE-161 v2 | Cartwright — Rigour vs evidential diversity | Cartwright offers a characterisation of “rigour”: a method is rigorous when a valid argument shows its results are evidence for the conclusion and its premises are well established or secured by design. On that definition even well-run RCTs often fail to rigorously establish a study-population ATE, because orthogonality holds only at assignment and the potential-outcomes premise carries heavy metaphysics, and they seldom answer singular questions. Her alternative is a causal-process-tracing theory of change (pToC) with five elements (steps, causal principles, support factors, derailers, safeguards). It catalogues the diverse and mostly non-rigorous evidence that singular causal predictions need. | Read |
| NOTE-162 v2 | French — Unitary inequivalence and structural realism | French answers Howard’s objection that QFT’s unitarily inequivalent representations leave the structural realist with non-isomorphic, competing structures. He offers two routes. The first is to adopt cut-off “conventional” QFT with Wallace, on which the inequivalence is an artefact or harmless. The second is to follow Ruetsche’s Swiss Army Knife and treat the algebra as a modal structure spanning all representations. On that reading spontaneous symmetry breaking preserves the symmetry across the degenerate vacua, and the DHR analysis derives quantum statistics from the algebra. Adding Baker’s criterion, on which a symmetry mapping between representations suffices for intertranslatability, removes the assumption behind the objection, and French ends with a third option that combines the two routes. Every step is an informal argument layered on others’ technical results; the paper proves nothing itself. | Read |
| NOTE-165 v2 | Martínez — information-processing view of representation | A position paper, not an argument to a conclusion. It proposes that representations are signals adapted to transmit information for its own sake (Transmission), and that the evidence for this is efficiency in trading off rate, distortion and coder complexity (RDC Trade-Off). It supports the proposal by showing that cognitive scientists already attribute representational status on those grounds: compression, error protection, and explicitness understood as ease of decoding. It proves no theorem and reports no data of its own. | Read |
| NOTE-168 v2 | Hartmann & Trpin — Coherence-based explanatory power | If explanatory power is measured contrastively over sets of explanantia, as E_CohOG+(E; H) = (Coh(H∪{E}) − Coh(H∪{¬E})) / (Coh(H∪{E}) + Coh(H∪{¬E})) with Olsson–Glass overlap normalised by its independence value (CohOG+), then the measure provably satisfies Roche & Sober’s Two Likelihood Inequalities for single hypotheses (Prop. 2) and violates the One Likelihood Inequality (OLI). Two numerical examples show that adding a distal cause (for P(H1) < .7) or a negatively interacting cause (for P(H1) = P(H2) < .75) can raise explanatory power. Both are existence demonstrations, not general theorems. | Read |
| NOTE-169 v2 | Seth — Conscious AI and biological naturalism | Seth argues that conscious AI needs computational functionalism and substrate flexibility extending to silicon, and that both are doubtful (§3.9). Against them he gives a positive, explicitly non-vitalist case, running from interoceptive predictive processing through the free energy principle to autopoiesis, that consciousness is a property “of only (but not necessarily all) living systems” (§4). He concludes that real artificial consciousness is “unlikely along current trajectories” and would need “living AI” (§5.8), while conscious-seeming AI is “almost certain” and may be “cognitively impenetrable” (§6.2). He concedes that “my case is not watertight” (§5.8). | Read |
| NOTE-170 v2 | Takola & Schielzeth — Hutchinson’s niche for individuals | The paper defines the individualized (ecological) niche as the environmental conditions under which a particular individual has an expected lifetime reproductive success of ≥ 1, counting each offspring as 0.5 per parent in outcrossers. The authors split it into five sub-concepts: realized (A), potential (B), time-slice (C), prospective (D) and trajectory-based (E), plus a “fundamental individualized niche” set aside as practically interchangeable with the potential niche. The individual niche has n + s dimensions, adding intraspecific axes such as density and morph frequency. Its boundary is the expected-LRS isocline of 1, which is estimable only by marginalizing fitness functions across individuals. The authors themselves call the concept “mostly of a metaphorical value”. | Read |
| NOTE-171 v2 | Algorithmic nudging needs interdisciplinary oversight | A short position paper: two case studies show AI agents learning to exploit documented biases (in Dezfouli et al. 2020 an RL agent moved choices of a target lottery from 50% to 70%). Against a Friedman-style judgement of AI nudges by outcome alone, the authors extend Hausman’s “look under the hood” rejoinder and propose obliging developers to consult cognitive scientists, because an AI system may exploit biases that are not yet known. | Read |
| NOTE-172 v2 | Watson — On the philosophy of unsupervised learning | Watson argues that clustering, abstraction and generative modelling each come with an epistemic thesis (EC, EA, EG — we identify natural kinds, essential properties and unrealized possibilities via such algorithms or something like them), which he accepts. Each also comes with an ontological thesis (OC, OA, OG — these just are what the algorithms ought to find under ideal conditions), which he rejects because nothing guarantees they are effectively computable. He adds a pragmatic, context-relative view of natural kinds, and closes with the claim that unsupervised outputs are neither “objective” nor vacuous. They should be validated by error-statistical means: resampling stability, generalization of clusters to held-out data, out-of-sample likelihood, and train-on-synthetic scores. | Read |
| NOTE-173 v3 | Griesemer & Shavit — Scaffolding individuality (3Cs) | The paper sets out an idealized three-stage sequence of interaction types, which it calls a “first and rough sketch” (§1). Stage 1 is coordination in collections (pairwise, “aggregative” interactions of co-located individuals). Stage 2 is cooperation in conexuses (a connected web of binary interactions whose benefits can still be counted per member). Stage 3 is collaboration in communities: heterogeneous multi-way interactions around a shared goal, in which generatively entrenched “core” interactions give organizational closure. Table 1 puts the transition to a new level of individuality between stages 2 and 3 only. The paper asserts, rather than argues, that this describes evolutionary transitions non-circularly and that individuality is a special case of collectivity. Its one argued conclusion is hedged: community-level inheritance “seem[s] likely to evolve in tandem” with community-level individuality (§3). | Read |
| NOTE-174 v2 | Rovelli — The relational interpretation (RQM) | Rovelli restates RQM as an ontology of sparse relative facts, which arise in interactions and are labelled by the interacting systems. Its one technical rule is that an amplitude W(b,a) gives the probability P = |W|² only when a and b are relative to the same system. That rule removes the clash between P_collapse = Σᵢ|W(c,bᵢ)|²|W(bᵢ,a)|² and P_unitary = |ΣᵢW(c,bᵢ)W(bᵢ,a)|² (eqs. 2–4). Decoherence makes some facts approximately label-independent (“stable”). ψ is a relative-state bookkeeping device, like a Hamilton–Jacobi function S. The price, which Rovelli states, is giving up “strong realism”: values are not held at all times, may be held at different times for different systems, and there is no coherent global view and no quantum state of the universe. | Read |
| NOTE-175 v2 | Chen — Realism about the Wave Function | A survey that sorts realist readings of the non-relativistic universal wave function into four ontological readings (a field on 3N-dimensional space, a multi-field on 3-space, properties of systems as in spacetime state realism, a Hilbert-space vector), two nomological ones (strong: time-independent and simple like the classical Hamiltonian; weak: a Humean best-system variable) and Maudlin’s sui generis option. It tabulates their compatibility with BM, GRW0/m/f and S0/Sm and with high- versus low-dimensional fundamental space (Table 1, 10 of 56 cells ”?”), and declares no winner. | Read |
| NOTE-178 v2 | De Haro & Butterfield — Philosophy and Physics of Duality | The book gives a formal Schema: a duality is an isomorphism between the “model roots” (state space, quantities, dynamics) of two models of a common-core bare theory, with values and dynamics matching. It pairs this with an interpretative condition: duals are physically equivalent iff (A) they are duals and (B) i1 = i2∘d. On that basis it argues four things. First, there are no genuine cases of in-principle underdetermination in the examples, and a cautious realist can commit to the common core. Second, dualities do not favour structural realism. Third, duality is formally incompatible with ontological emergence, except “beside” it (AdS/CFT’s RG direction), via effective dualities, or epistemically. Fourth, quasi-dualities motivate a “geometric view” on which models are charts on a successor theory’s moduli space. | Read |
| NOTE-182 v2 | Arsiwalla et al. — Pregeometry and formal language | A programmatic essay with no construction, theorem or model of its own. It argues that inferential justification in a materialist ontology regresses without end (§3), that a “coherentist” constructivism escapes the regress, and that Wheeler’s pregeometry is therefore best read as “structureless structure”: the types and compositional rules of a computational language such as homotopy type theory (§§4, 6). Every construction of space from such rules that it points to is in the authors’ own earlier papers ([13, 17, 18]) or is promised as “a forthcoming publication” (fn. 1, p. 3). | Read |
| NOTE-183 v2 | Birch — AI Consciousness: A Centrist Manifesto | Birch argues that two challenges must be met together: users misattributing human-like consciousness to chatbots (Challenge One), and possible “profoundly alien” AI consciousness that current science cannot settle (Challenge Two). For Challenge One he offers a personal-identity argument that the chatbot “friend” is typically a character with no persisting bearer (the “persisting interlocutor illusion”, §4) and three nudges that are neither “brainwashing” nor “lobotomizing” (§7). For Challenge Two he argues that behavioural markers are “gamed” (§10), that architectural markers are “Janus-faced” (§11), and that the resulting “two-level deadlock” between computational functionalism and biological naturalism can be broken over the long run by comparative animal studies (§12, Fig. 4). | Read |
| NOTE-184 v2 | SEP — Units and levels of selection | Lloyd’s own four-question anatomy of “unit of selection”: interactor, reproducer (formerly replicator), manifestor of adaptation, and beneficiary. She combines it with a split between two multilevel schools, Wrightian “Evolutionary Change” and Fisherian “Adaptationist/KS”. She uses the two to argue for a verdict, not merely to map the debates. The verdict is that most rejections of group, species and holobiont selection come from demanding that an interactor also be a manifestor of engineering adaptation. By her account, genic pluralism, the ETI models and Godfrey-Smith’s Darwinian populations each fuse roles that should be kept apart. The support is argument plus citation of Wade, Goodnight and others. The entry reports no new results of its own. | Read |
| NOTE-187 | On the Evolution, Science, and Metaphysics of Consciousness | Veit’s reply to five commentaries on A Philosophy for the Science of Animal Consciousness (2023). Its main new content is the metaphysics the book left to one paragraph. He says hedonic “feel” is identical with a valence system: “a common currency of sharing evaluative information across multiple control systems”. The currency metaphor, he says, is “not Cartesian but cybernetic” (p. 10). He keeps the word “qualia”, arguing that Cartesians have no “definitional rights” (p. 9), and he insists the pathological complexity thesis (PCT) is compatible with any metaphysics, dualism and panpsychism included (p. 9). Against his other critics, he defends a bottom-up evolutionary method that uses human data (de Weerd); a naturalism that is neither autopoietic nor biopsychist (Sachs); evaluation-first over prediction-first, consciousness as an adaptation, and graded, partial unity (Suzuki); and the link to welfare science (Chincarini). | Read |
| NOTE-189 | Ontic Structural Realism and Economics | Ross argues that OSR, usually motivated only by fundamental physics, is also the right ontology for a mature special science, economics. The progress of economic theory from Jevons through Hicks–Allen (1934), Samuelson (1947), Debreu (1959) and Arrow (1965) consists in steadily removing psychological, individual-level hypotheses. Its basic objects are optimisation problems, above all games, which are “mathematical structures … whose relata are distinguished as such by the mathematical representations … just like quarks and bosons” (§3). So OSR, joined with an assumption that science is unified, gets consilient support from outside physics. Individuals, in physics and in economics, are “book-keeping devices”. | Read |
| NOTE-190 | Real Patterns | A pattern is real in some data “if there is a description of the data that is more efficient than the bit map, whether or not anyone can concoct it” (p. 34). This is Chaitin’s incompressibility definition of randomness turned around (p. 32). Dennett uses the criterion, with the Game of Life’s gliders and eaters as the stepping stone (pp. 37–42), to defend “mild realism” about beliefs. Folk psychology tracks a real, noisy pattern of enormous predictive leverage. Two rival interpretations can be “different, but equally real, patterns” with no deeper fact to settle between them (p. 49). | Read |
| NOTE-191 | Patterns All the Way Up | Ladyman restates the Ladyman–Ross metaphysics as fifteen theses drawn from scientific practice. The existence criterion is “to be is to be a real pattern”, a pattern that “indispensibly figures in projectible generalisations” (p. 2). Realism is realism about natural modal structure, which is “absolute” in formal mode but “domain and scale-dependent” in material mode (thesis 4). There is no single hierarchy of levels and no assumed fundamental level (theses 10–11, fn. 9). Ontology is effective and scale-relative (thesis 12). Scientific real patterns are lossy compressions, unlike the Game of Life’s; the ideal gas laws use 3 degrees of freedom for ~10²³ (thesis 14). He quotes ETMG’s Principle of Naturalistic Closure verbatim and calls it “problematic” because it refers to fundamental physics (p. 8). | Read |
| NOTE-192 | Science, Metaphysics and Structural Realism | Ladyman argues that structural realism should be metaphysically, not epistemically, revisionary. He gives three grounds. Quantum statistics leaves the individuality of particles underdetermined: permutation invariance gives 3 two-particle states, not 4, so probabilities are 1/3 rather than 1/4 (p. 62). Entangled states give non-supervenient relations that refute Humean supervenience (pp. 71–73). The hole argument blocks point-based substantivalism (pp. 68–69). He proposes that science describes “the modal structure of the phenomena” (p. 73), with modal realism supplying the no-miracles intuition. The paper ends non-eliminatively: “the phenomena have structure but they are not structure” (p. 74). | Read |
| NOTE-193 | Category-theoretic structure and radical ontic structural realism | Bain argues that the “relations without relata” objection to radical OSR depends on defining structure set-theoretically, where a relation is a subset of X × X. If a structure is instead “an object in a category”, its elements (arrows 1 → A) are “not essential”, because category-theoretic objects need not be structured sets. His examples are sheaves of Einstein algebras for GR with asymptotic boundary conditions, which may lack global sections (§3), and nCob and Hilb (§4). He concludes that ROSR “avoids the charge that it rests on an incoherent claim” (p. 1634). The paper never mentions the Yoneda lemma, representable functors or universal properties by name. | Read |
| NOTE-194 | No categorial support for radical ontic structural realism | Lam and Wüthrich argue that category theory gives radical OSR no support. Identifying objects with identity arrows is relabelling (§3). Generalized elements X → A exist in every category, so elements are not eliminated (§4). Categories without products also lose set-style relations, “throwing out the relations with the relata” (§4). Morphisms relate C-objects, not the elements that stand for physical relata, and they “only distinguish isomorphism classes of structures” (§5). Bain’s GR and TQFT cases eliminate at most spacetime points, not relata tout court (§§6–7). They conclude that category theory “offers little if any comfort to ROSR” (abstract) and favour “balanced” OSR. The Yoneda lemma is not named, although §§4–5 state two of its consequences. | Read |
| NOTE-196 | Why Replication Is Overrated | Every experiment and every replication rests on individuation judgments about what is being manipulated and measured (“conceptual scope”). So direct replication can at most help rule out random error, and “perhaps” establish that some effect exists but not which effect, while conceptual replication begs the question by presupposing that two operationalisations individuate the same effect. What productive research actually does, as in the Mozart-effect debate, is probe systematic errors, which is better called exploration than replication. | Read |
| NOTE-197 | A Pragmatist Theory of Evidence | Reiss proposes an “eliminativist hypothetico-contextualist” (EHC) theory of evidence for type-level causal claims in biomedical and social science. Support comes in two kinds: direct support (patterns we are “entitled to expect” if h is true) and indirect support (patterns incompatible with relevant alternatives). Warrant is graded by which alternatives have been eliminated, on four grades from “weak warrant” to “proof”. Where to stop probing is set by context, meaning background knowledge, a default entitlement to other scientists’ claims, and cost-benefit values. On this account there is no gold standard: RCTs are good only because they eliminate many alternatives at once. The 1950s smoking–lung cancer case illustrates the theory; it does not test it. | Read |
| NOTE-217 v2 | Natural Kinds (SEP) | Whether scientific kinds are natural breaks into four questions (are the classifications natural, are they into kinds, what the kinds are, and do they have essences). The entry maps the positions from conventionalism to essentialist strong realism, notes a recent turn toward pluralist and epistemology-first views and even eliminativism, and questions whether Kripke–Putnam semantics can deliver essences. | Superseded — by NOTE-769 |
| NOTE-249 v2 | Measurement as Sheafification: Context, Logic, and Truth after Quantum Mechanics | A programmatic essay, with no theorem, model or computation of its own. It restates Abramsky & Brandenburger’s criterion (contextuality and non-locality as the absence of a global section of a presheaf over measurement contexts) and adds three things. It declares measurement to be “sheafification” of that presheaf, without specifying a site, a topology or any sheafified object. It asserts that the Ghose–Patra seven-valued logic is a finite Heyting algebra, without giving an order or operations. It proposes that a quantum potential scaled by 0 ≤ λ ≤ 1 (λ = 1 quantum, λ = 0 classical Hamilton–Jacobi) carries the presheaf continuously to a sheaf, which is asserted, not modelled. Its one worked formula, v2’s Čech “obstruction class” [δs], is a coboundary and so is zero by construction. | Read |
| NOTE-277 v2 | A topos foundation for theories of physics: I. Formal languages for physics | The programme paper. Its contention is that a theory of a physical system S is a representation of a typed “local language” L(S) (ground types Σ and R, function symbols A : Σ → R) in a topos. Physical quantities become arrows Σ_φ → R_φ, and propositions become sub-objects of Σ_φ, which form a Heyting algebra. Classical physics is the representation in Sets. The paper proves nothing. Its one argument is that the axiom ¬(A ε Δ) ⇔ A ε ℝ∖Δ is not validated by non-Boolean Heyting representations (§3.2.1). | Read |
| NOTE-285 | A topos foundation for theories of physics: IV. Categories of systems | Proposes axioms for a category Sys of physical systems, symmetric-monoidal under composite ⋄ and under disjoint sum ⊔, whose arrows are translations of local languages. Each arrow j : S₁ → S is realised by a left-exact functor τ(j) between the systems’ topoi, together with arrows φ(j) : Σ_{S₁} → τ(j)Σ_S and β(j) : τ(j)R_S → R_{S₁}. Classical physics satisfies the scheme exactly. In quantum theory the disjoint sum H₁⊕H₂ satisfies it (the pulled-back arrow of Â₁⊕Â₂ is δ̆(A₁)), but the composite H₁⊗H₂ does not: the natural pull-back of δ̆(A₁) differs from δ̆(A₁⊗1̂) off the image of V(H₁), which the authors attribute to “operator entanglement”. | Read |
| NOTE-286 | The Platonic Representation Hypothesis | A position paper with one argument and three measurements. Measured with mutual 10-nearest-neighbour overlap, vision models that solve more VTAB tasks agree more with each other (78 models). Language models with lower bits-per-byte agree more with DINOv2, CLIP and others on Wikipedia image–caption pairs, and this alignment tracks HellaSwag and GSM8K scores. The cross-modal score “only reaches 0.16” out of a maximum of 1 (§6), and a CKA version “revealed a very weak trend” (App. A). The formal argument (§4.2, App. F) shows only this: in an idealised world of discrete events seen through bijective observations, the Bayes-optimal NCE critic is the pointwise-mutual-information kernel plus a constant, and that kernel is representable as an inner product under a sufficient smoothness condition (Prop. F.1). So every such modality shares one kernel, up to an additive constant. | Read |
| NOTE-297 | Structural Realism: The Best of Both Worlds? | Worrall argues that the only position that honours both the no-miracles argument and the historical fact of radical theoretical change is Poincaré’s “structural or syntactic realism”. What survives theory change and explains predictive success is mathematical structure: equations carried over unchanged (Fresnel’s reflection/refraction amplitude ratios, reinterpreted as electric-vector amplitudes in Maxwell’s theory) or recovered as limiting cases under the correspondence principle (Newton from Einstein). The underlying ontology (elastic ether versus electromagnetic field) is not what survives. The support is one worked case and a general appeal to the correspondence principle. There are no formal definitions, and the paper says itself that “much clarificatory work needs to be done”, above all on what it is for one theory’s structure to approximate another’s (p. 121). | Read |
| NOTE-310 | Notes on Landauer’s principle, reversible computation, and Maxwell’s Demon | Bennett states Landauer’s principle as a consequence of the Second Law. A logically irreversible step, meaning erasure or a merge of control flow, must export at least the lost entropy (k ln 2 per bit) to non-information-bearing degrees of freedom. That export need not take the form of heat (p. 1). Logically reversible operations, including copying onto a blank register and measurement, have no minimum cost. He calls “an intrinsic cost of order kT for every elementary act of information processing” a 20th-century “misconception” (pp. 5–6). Erasing random data can itself be thermodynamically reversible; the waste comes from applying a many-to-one operation to known data (pp. 1, 4). | Read |
| NOTE-326 | ’What is a Thing?’: Topos Theory in the Foundations of Physics | The Döring–Isham programme in one volume. A theory of a system is a representation of a typed language L(S) in a topos. In quantum theory, presheaves over the abelian von Neumann subalgebras V(H), daseinisation sends projectors injectively to clopen sub-objects of the spectral presheaf Σ, preserving ∨ but not ∧. A pure state gives sieve-valued truth values. Every bounded self-adjoint  becomes an arrow Σ → ℝ^↔ whose value at a point is a pair of monotone functions, an interval that widens as contexts coarsen. Most of it reprints papers I–IV. New are the inverse-image corollary linking PL(S) and L(S), values in a pseudo-state, and the algebra of the quantity-value candidates. The Heyting structure on Sub_cl(Σ) is still only sketched. | Read |
| NOTE-329 | A Topos Perspective on the Kochen-Specker Theorem: II. Conceptual Aspects, and Classical Analogues | Butterfield & Isham argue that the sieve-valued “generalised valuations” of part I are not a quantum peculiarity but the natural valuations for any presheaf of propositions on any small category. Three supports are offered. (1) Classical physics: the value presheaf Υ(Ā) = Ā(S) on the category M of measurable functions has global sections (one per microstate, eq. 3.7), yet a macrostate R ⊆ S yields a sieve-valued valuation ν^R(A ∈ Δ) = {f_M | B̄(R) ⊆ f(Δ)} (eq. 3.10) with the same FUNC property as the quantum ν^ρ. (2) A proof that a sieve-valued valuation on any presheaf G obeys generalised FUNC, ν(B, G(f)(d)) = f*(ν(A, d)), iff it is a natural transformation G → Ω, i.e. a subobject of G (Theorem 4.1). (3) An informal argument, explicitly “not a genuine deduction” (§5.2), that if partial truth is fixed by which weakenings of a proposition are totally true, the truth value is a sieve. | Read |
| NOTE-333 | Topos Theory and Consistent Histories: The Internal Logic of the Set of All Consistent Sets | Isham takes the poset B of all Boolean subalgebras (“windows”) of the history orthoalgebra UP, ordered by coarse-graining, and shows that the presheaf A_d(W) = {α | some d-consistent W′ ⊇ W contains α} is a subobject of the constant presheaf ΔUP, whereas the naive “realisable in W” assignment is not a presheaf at all (§4.1–4.2). The probability claim ⟨α, p⟩ then gets the sieve-valued semantic value {W ⊆ W₀ | ∃ d-consistent W′ ⊇ W with α ∈ W′} if d(α, α) = p and ∅ otherwise (4.16), a global element 1 → Ω in Set^B, so the logic of “all consistent sets at once” is the distributive but non-Boolean Heyting algebra of sieves on B. | Read |
| NOTE-334 | Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity | Isham & Butterfield argue, without proving anything new, that presheaf toposes over a base of “contexts” suit physics because the subobject classifier Ω is fixed by the base. They say this answers the objection that many-valued logics are arbitrary (§2.2), and that it keeps the logic distributive (§1.1). They then sketch seven applications. Five are speculative one-paragraph proposals (frames, observers, causal sets, TQFT, synthetic-differential-geometry time in continuous histories). One (§3.7) recaps their Kochen–Specker results: KS ⇔ the dual presheaf D(Â) = Hom(W_A, {0,1}) on the operator category O has no global sections (dim H > 2), and every state ψ gives a FUNC-obeying sieve-valued valuation ν^ψ(A ∈ Δ) = {f_O : Â → B̂ | Ê[B ∈ f(Δ)]ψ = ψ}. | Read |
| NOTE-336 | Chalmers — Facing Up to the Problem of Consciousness | The easy problems of consciousness are problems of explaining functions, which a mechanism explains; the hard problem is that “why is the performance of these functions accompanied by experience?” survives the explanation of every function. The argument is conceptual: the easy phenomena are functionally definable and experience is not. The positive part takes experience as fundamental and proposes structural coherence and organizational invariance as nonbasic psychophysical principles, with a double-aspect theory of information as a speculative basic one. Nothing is measured; the invariance argument is a one-page sketch. | Read |
| NOTE-343 | Rupert — Challenges to the Hypothesis of Extended Cognition | Rupert separates extended cognition (HEC) from embedded cognition (HEMC) and from content externalism, then argues that HEC loses to HEMC on conservatism. LIT-097’s criteria give a dilemma: without past endorsement they overgenerate beliefs; with it the organism is privileged. Memory research (conversation, negative transfer, the generation effect, power laws) shows external stores are a different kind, and a generic kind spanning both does no explanatory work. | Read |
| NOTE-346 | Dennett — Facing Backwards on the Problem of Consciousness | A three-page reply to Chalmers’s “Facing Up”. The easy/hard split misdirects research: a vitalist could pose the same hard problem of life, and a hard problem of perception set aside from its “easy” parts would be an artifact. Chalmers’s reason why experience differs restates the claim. Subtracting every function from one’s own consciousness leaves nothing but a conviction. Adding experience to physics’ fundamentals would need independent evidence, which is absent. Argument by analogy, with one introspective premise. | Read |
| NOTE-350 | Intentional Systems | Defines an Intentional system as anything whose behaviour can be predicted by ascribing beliefs and desires and assuming rationality, and makes the status relative to the predictor’s strategy and indifferent to the system’s matter and consciousness. Argues that Intentional theory is vacuous as psychology because it presupposes rationality, that behaviourism smuggles it in, and that every content-ascribing theory owes a “loan of intelligence” that must be repaid by analysing away a little man. Ends on belief’s two norms, truth and accurate avowal. | Read |
| NOTE-353 | True Believers: The Intentional Strategy and Why It Works | Belief is objective but visible only through a strategy: a true believer is any system “reliably and voluminously predictable” by treating it as a rational agent with the beliefs and desires it ought to have. Adopting the stance is free; its success is a fact, and Laplacean Martians who skipped it would miss real patterns. Thermostats and people differ in degree, by how tightly their states are tied to one interpretation. Evolution explains easily why the strategy works; how the machinery does it is open, and the language of thought is a bet, not a necessity. | Read |
| NOTE-359 | High-level perception, representation, and analogy: A critique of artificial intelligence methodology | Traditional AI models of discovery and analogy (BACON, the Structure-Mapping Engine, ACME) start from representations built by people who already know the answer, and so skip high-level perception, where most of the difficulty lies. Two informal arguments say the gap cannot be closed later by a separate representation module: analogy shapes perception, and the right representation depends on the task. Copycat is described as an architecture that builds representations and mappings together. Argued well; nothing is measured in the paper. | Read |
| NOTE-368 | Adams & Aizawa — The bounds of cognition | Adams and Aizawa grant LIT-097’s parity sentence but deny that any actual case meets it. Cognition, they assume, needs non-derived content and a distinctive kind of causal process. Otto’s inscriptions have only derived content, Otto’s retrieval uses vision and motor control that Inga’s does not, and coupling a process to its surroundings does not extend it. So cognition is brain-bound as a contingent fact, and human-plus-tool systems are too motley for a science. | Read |
| NOTE-375 | Burns — Fluid Concepts and Creative Analogies: A Review | A three-page review of Hofstadter and FARG’s collection. It explains the parallel terraced scan and “cognition is recognition” clearly, then asks why the work has had little impact on AI: microdomains with possibly hidden assumptions, and critiques of rivals that rest on analogy and intuition and are not turned on Copycat. Its sharpest point is that the symbol-grounding charge against SME applies to Copycat too. | Read |
| NOTE-380 | Adams & Aizawa — Defending the Bounds of Cognition | A reply to a manuscript of Clark’s “Memento’s Revenge”. It names the coupling-constitution fallacy, coupled is not part of, and restates the 2001 marks of the cognitive. Against Clark’s Euler-circle case it separates how a diagram gets its meaning from how a mental image of it does. Against a “brain-tool science” it argues that tools are an open-ended motley. The fallacy is shown by one analogy, and the processing differences are asserted, not measured. | Read |
| NOTE-391 | Durkheim — Qu’est-ce qu’un fait social ? | Defines the social fact by exteriority to individual consciousness and external constraint, shown by sanction or by resistance, with diffusion plus independent existence as an equivalent test. Social facts are neither organic nor individual-psychic, so their substrate is society; they are general because collective, and “in each part because in the whole”. Statistics isolates collective currents from individual cases. Ways of being are consolidated ways of doing. All of it is definition and illustration; the elimination that yields “a new species” is assumed exhaustive. | Read |
| NOTE-395 | Hindriks & Guala — Institutions, rules, and equilibria | Institutions are correlated equilibria of coordination games with several equilibria, represented by the players as rules. Searle’s constitutive rules are derived from a regulative rule by coining a term that splits it into a base rule and a status rule; the term is conservative and eliminable, so constitutive rules add a name and cognitive economy, not a new kind of fact. The derivation is shown for one toy institution and asserted in general. The reply adds that normativity needs no constitutive rules, because a right is a bundle of other people’s regulative obligations. | Read |
| NOTE-428 | How effective psychological treatments work: mechanisms of change in cognitive behavioural therapy and beyond | A history-and-argument paper. It separates common factors from mechanisms of change, holds that a treatment’s success does not validate its theory, and proposes one mechanism for all effective therapy: the person, “stuck” in an exaggerated negative meaning (Theory A) maintained by their own reactions, builds and tests a less threatening alternative (Theory B), a meaning-making flexibility. The proposal is argued from clinical examples and cited trials. The paper itself says mechanism research has not yet met Kazdin’s standards. | Read |
| NOTE-432 | Explanatory Models for Psychiatric Illness | Psychiatric etiology is multilevel, non-aggregative and full of causal loops, so law-based explanation fails and so do both hard reduction and hard emergence. Mechanistic explanation proceeds by local decomposition and difficult reassembly. Following Marr, biology implements the functions psychology describes and does not replace them. The argument is philosophical, illustrated by an alcohol-dependence sketch and cited findings; it reports no data of its own. | Read |
| NOTE-434 | The theory of constructed emotion: an active inference account of interoception and categorization | Barrett’s theory of constructed emotion, stated through predictive coding. The brain runs an allostatic internal model. Its predictions are concepts, initiated in agranular limbic cortex and corrected by prediction error. Interoceptive consequences are felt as affect. An emotion is a categorization by an emotion concept. Degeneracy and population thinking deny emotion categories neural essences. Basic-emotion and causal appraisal theories are rejected; descriptive appraisals are kept as products of categorization. | Read |
| NOTE-435 | A Network Theory of Mental Disorders | Borsboom states the network theory as five principles: complexity, symptom-component correspondence, direct causal connections between symptoms, disorders as tightly coupled symptom clusters, and hysteresis. Disorder is an alternative stable state of a strongly connected network that outlasts its trigger; health is the stable state of a weakly connected one. Treatment is symptom, external-field or network intervention. The evidence offered is indirect, and the theory is presented as an organizing framework, not a fitted model. | Read |
| NOTE-437 | The Future of Intervention Science: Process-Based Therapy | A programme paper. Thirty years of DSM-linked trials never turned syndromes into diseases, so evidence-based therapy should target theory-derived, empirically supported processes of change with procedures shown to move them. Its distinctive commitments are a falsification rule for models of change, moderated mediation as a basis for a new nosology, and an idiographic, functional-analytic diagnosis. It offers predictions and cited examples, not new data. | Read |
| NOTE-438 v2 | A meta-analytic review of experiments examining the effects of extrinsic rewards on intrinsic motivation | 128 experiments on interesting tasks, separate meta-analyses for free-choice behaviour and self-reported interest. Tangible rewards expected for engaging in, completing or doing well at a task undermine free-choice intrinsic motivation (d from −0.28 to −0.40), and less so self-reports; unexpected and task-noncontingent rewards do not; positive feedback enhances, except for children’s free choice. The pattern fits cognitive evaluation theory and contradicts Eisenberger and Cameron’s helplessness and learned-industriousness account. | Read |
| NOTE-441 | Self-Regulation and the Problem of Human Autonomy: Does Psychology Need Choice, Self-Determination, and Will? | SDT’s autonomy is “regulation by the self”: acting with reflective endorsement, graded along the internalization continuum, compatible with external influence, dependence and a single option. Ryan and Deci align it with phenomenological and hierarchical (Frankfurt, Dworkin) accounts and use that definition to answer behaviourist, social-cognitive, reductionist, nonconscious-priming, choice-overload and cultural critiques. Autonomy lies not in being an uncaused cause but in the capacity to “reflectively endorse or reject prompted actions” (p. 1573). | Read |
| NOTE-444 | An Organizational Account of Biological Functions | Functions are contributions to a differentiated self-maintaining organization by traits that organization produces and maintains (C1–C3). Closure alone grounds teleology and normativity but is shared by flames and hurricanes; differentiation is what makes functions meaningful. The account unifies “why is T there?” and “what is T for?” in current organization, and distinguishes functional, useful, dysfunctional, primary and secondary contributions. Reproduction is left to future “second-order” self-maintaining systems. | Read |
| NOTE-447 | The Emperor’s New Markov Blankets | Pearl blankets (conditional-independence shields in a Bayesian network) and Friston blankets (agent–environment boundaries in the world) are different constructs conflated in the free-energy literature. The four-way partition needs a chosen internal node, sensorimotor labels and steady state; in Friston’s soup it also needs electrochemical-only coupling and a fixed cluster size. Realist use needs metaphysical premises; instrumental use is innocent but settles nothing about boundaries. | Read |
| NOTE-450 | The Markov blanket trick: On the scope of the free energy principle and active inference | The FEP is true of things defined its way, but its scope is limited: a Markov blanket fits only some things, is placed where the model needs it, and cannot represent relational properties or a boundary the system makes. Its real job is to give any system the partition variational Bayes requires. Active-inference models smuggle perception and action into hand-built generative models. A conceptual critique; no new formal result and no data. | Read |
| NOTE-467 | The Haken–Kelso–Bunz (HKB) model: from matter to movement to mind | Kelso’s retrospective on HKB. The relative-phase equation dφ/dt = −a sin φ − 2b sin 2φ has stable in-phase and anti-phase states for b/a > 1/4 and only in-phase below; with noise the switch is a nonequilibrium phase transition with critical fluctuations and slowing. Symmetry breaking gives metastability (relative coordination); merged with Kuramoto it models groups. The same dynamics is reported within and between people and in brain activity. A first-person account, not a review. | Read |
| NOTE-468 | Biological organisation as closure of constraints | A constraint acts on a process while being conserved at that process’s time scale; closure is a set of constraints, each directly dependent on and generative for another, that cannot be split. This separates closure from cycles of processes, grounds functions, and gives a boundary criterion, refined by a preliminary count-based tendency to closure for symbionts and by nested separated closures for levels. Applied only to schematic examples; closure is not claimed to define organisms. | Read |
| NOTE-495 | What Is Wrong with the No-Report Paradigm and How to Fix It | No-report paradigms separate consciousness from report but not from post-perceptual cognition that tracks the percept (the bored monkey problem), so prefrontal decoding in no-report rivalry does not show that prefrontal cortex is part of conscious perception. A no-differential-post-perceptual-cognition paradigm is needed. Brascamp et al.’s inconspicuous rivalry, whose switches subjects detected at chance, found no prefrontal difference by fMRI, which Block counts as some support for non-cognitive theories while warning fMRI may be too coarse. | Read |
| NOTE-497 | Consciousness, accessibility, and the mesh between psychology and neuroscience | States the methodological puzzle: the neural basis of phenomenology can be found only by deciding whether it includes the machinery of access, which reports cannot decide. Answers it by inference to the best explanation: in Sperling, Landman et al. (capacity 6–7 of 8 when cued up to 1.5 s after offset, versus 4) and Sligte et al. (up to 32 items, 4 s) phenomenology overflows a working memory of about four. If workspace activation is not part of phenomenology, losing recurrent sensory coalitions explain the overflow. | Read |
| NOTE-501 | The Harder Problem of Consciousness | An argument for a conditional. If naturalism (physicalism is the default), phenomenal realism and anti-scepticism hold, then whether a superficial functional isomorph with a different physical basis is conscious is meta-inaccessible. Physicalism is then the default yet inaccessible, and it is the subjective default that the isomorph is not conscious while the question stays open. Disjunctive and superficial-role identities are metaphysically possible but could never be accepted by inference to the best explanation. | Read |
| NOTE-553 | Huebner — Genuinely collective emotions | Collective emotion is defended by extending a homuncular, computational account of individual emotion to distributed systems. Fear needs four integrated capacities (p. 10). The USS Palau crew implements most of them but shows no fear, so it is reclassified as collective danger detection; a 2008 campaign is offered as a likelier case, without data. Unfelt collective emotion is defended by arguing that some individual fear is non-conscious (§5), and functional kinds are defended against homology (§6). Gilbert’s plural-subject account is rejected as reducible to individual commitments. | Read |
| NOTE-559 | In Epistemic Networks, Is Less Really More? | Over a wider parameter space than Zollman used, the advantage of sparse networks vanishes when the better option is even slightly better, when groups are larger, or when agents gather more data per round. It survives only where inquiry is hard, and Kummerfeld and Zollman’s effects behave the same way. Transient diversity is the robust lesson. | Read |
| NOTE-560 | Nonreductive Physicalism and the Limits of the Exclusion Principle | With causes as proportional difference-makers, Kim’s exclusion principle fails. A revised principle (a property and its realizer never both cause an effect) is true of some systems and false of others. A higher-level property excludes its realizer as cause exactly when the effect is realization-insensitive, surviving nearby changes of realizer. That is plausibly the norm in the special sciences, which makes higher-level causes autonomous. | Read |
| NOTE-564 | The Epistemic Benefit of Transient Diversity | A bandit model with beta priors. Sparse networks beat dense ones, as in 2007, but extreme priors reverse the order, and sparse networks of dogmatic agents often never converge. Limited information and dogmatism each sustain diversity, and together sustain it too long. What communities need is diversity that is transient. | Read |
| NOTE-567 | Network Epistemology: Communication in Epistemic Communities | A survey. The best communication structure depends on the epistemic problem: transmission of costly information favours minimal or star networks, pooling of estimates favours regular ones (denser is faster), and learning by trying favours sparse ones. Intuitions that a group communicates too little or is too centralised are often wrong. | Read |
| NOTE-574 | Experimentation by Industrial Selection | Uses the antiarrhythmic drug disaster and a modified Zollman bandit model to show that industry can bias a scientific community of honest Bayesian agents by funding those whose methods already favour its product, given methodological diversity, merit-based influence and turnover. A merit-based independent funder makes this worse; one that discounts industry-funded work counteracts it. Integrity safeguards do not touch the mechanism. | Read |
| NOTE-580 | The Social Dimensions of Scientific Knowledge | Longino’s own statement of critical contextual empiricism. Because evidence bears on hypotheses only through unevidenced background assumptions, objectivity comes from critical interaction in a community, but only interaction that meets four norms: venues, uptake, public standards and tempered equality of intellectual authority. The entry also surveys rival models, including Zollman’s networks and the robustness critique of them. | Read |
| NOTE-583 | The Communication Structure of Epistemic Communities | Simulations of Bala and Goyal’s bandit model on small networks. Cycles learn the better action more reliably than wheels or complete graphs, and more slowly. Over every network of up to six agents, density and clustering predict failure, and centrality does not. The cause is that dense networks spread an early unlucky run to everyone before diversity can correct it. | Read |
| NOTE-585 | Causation and Manipulability | A survey of manipulability theories that states Woodward’s own. X causes Y iff some intervention on X with respect to Y would change Y, where an intervention is a surgical, exogenous cause of X meeting conditions M1–M4. The account is non-reductive but not viciously circular, needs no human agent, and defines total, direct and contributing causes by combinations of interventions. Invariance and higher-level causation are not discussed. | Read |
| NOTE-586 | The Major Transitions in Evolution—A Philosophy-of-Science Perspective | A philosopher’s overview of the major evolutionary transitions. It defines a transition as the evolution of a higher-level unit from formerly free-living ones, doubts that transitions are inevitable or that one theory explains them at the right grain, treats genic and hierarchical approaches as compatible, and argues that the transitions make the hierarchy an explanandum and the highest occupied level the privileged level of organisms. | Read |
| NOTE-618 | Structuralism | From a one-page-in-four preview of chs. I–IV: a structure is defined by wholeness, transformation and self-regulation. Its elements are subordinated to laws of composition; “all known structures… are, without exception, systems of transformation”; and in logic and mathematics regulation is perfect because every operation has an inverse. Structures whose transformations unfold in time, linguistic or social, are regulated but not fully reversible. Structures are real only if governed from within, by a subject defined as “the center of functional activity”. | Skimmed |
| NOTE-641 | Transformation transformed | Separates structuralism’s method from Lévi-Strauss’s doctrine and makes transformation its core: a structure is the set of invariant relations that orders passage between variants. Lévi-Strauss transformed in two regimes, Goethean development of an initial form (kinship) and Thompsonian deformation between given forms (myth, where the analyst cuts the continuum); Descola’s four ontologies are a Goethean group, and structural comparison the fairest symmetrization anthropology has. | Read |
| NOTE-695 | Esfeld & Lam — Moderate structural realism about space-time | Moderate structural realism keeps the first premise of the “master argument” for intrinsic properties, that relations require relata. It denies the second, that relata must have intrinsic properties over and above their relations. Objects and relations are mutually dependent, and relations supply identity conditions wherever intrinsic properties would. Where neither can, as with entangled quantum systems of one kind and space-time points in symmetric space-times, the paper takes numerical distinctness as primitive. It insists this is not a primitive thisness, and that this is why objects and relations stand on the same footing (pp. 33–34). In GR the relata are space-time points, not bare manifold points. The metric, or in the fibre-bundle formulation a section of the orthonormal frame bundle, gives them a “structural identity”. The hole argument tells against epistemic structural realism, and the question “what does a space-time relation relate?” tells against the radical form. The case is interpretive. It shows fit, not entailment, and the one concrete construction of structural identity it cites works only for space-times without symmetries. | Read |
| NOTE-696 | Causality: Models, Reasoning, and Inference | From four excerpts the author posts: an intervention do(X = x) is a surgery that deletes X’s structural equation, sets X to x and solves the rest, while observing X = x violates no equation and is ordinary conditioning, “given that we see”. Structural equations are therefore not algebraic equalities: they stand for every submodel an intervention can produce, and a structural coefficient is ∂E[Y | do(x)]/∂x, not a regression slope. The Epilogue contrasts two components of science, observation and intervention, and states the three rules of the do-calculus without their derivation. The excerpts have no three-level hierarchy of association, intervention and counterfactual. | Skimmed |
| NOTE-700 | Floridi — The Method of Levels of Abstraction | Floridi drops ontological levelism and defends an epistemological one, the method of levels of abstraction. Observables are interpreted typed variables; an LoA is a finite non-empty set of them; a moderated LoA adds a behaviour predicate; a GoA relates moderated LoAs by mutually inverse relations Rᵢ,ⱼ with pⱼ ⇒ P_Rᵢ,ⱼ(pᵢ), and is disjoint or nested. An LoA fixes which questions are answerable and commits a theory to types (the LoA) and tokens (the model). Applied to Kant’s antinomies and contrasted with Marr, Pylyshyn, Dennett and Davidson. It is a method stated in definitions, not a result. Its one formal claim (disjoint and nested GoAs interconvert) fails under its own definition of nestedness, and its “pluralism without relativism” ranks LoAs only once a purpose is fixed. | Read |
| NOTE-769 | Bird & Tobin — Natural Kinds (SEP) | A survey that maps positions rather than arguing for one. Its firmest conclusions are negative: shared natural properties, support for induction and a role in laws are each necessary but not sufficient for a natural kind, and the Kripke–Putnam semantics yields only partial essences, or essences only on assumptions it does not argue. It reports a turn to pluralist, cluster and epistemology-first accounts, against which a purely epistemic criterion is said not to separate natural from conventional kinds. | Read |
| NOTE-792 | Devezer et al. — Scientific discovery in a model-centric framework | A population of scientists, chosen at random each step, tests a proposed linear model against the current consensus model by AIC or SC, and the winner becomes the consensus. Which models get proposed (the strategy mix) decides where the consensus spends its time. A population of boundary testers reproduces results almost perfectly while spending little time at the true model. Replication does not change the transition matrix, so reproducibility cannot cause convergence. A population with all four strategies equally represented is never the worst and has low variance. | Read |
| NOTE-793 | Abel et al. — Agency Is Frame-Dependent | A four-page position paper. It argues, informally, that each of four conditions of agency (a boundary, being the source of action, goal-directedness and adaptivity) can be settled only after a choice of commitments it calls a reference frame, so agency attributions are frame-relative. Each step is adapted from a cited result. It gives no definition of a frame, no proof and no principle for choosing one. | Read |
| NOTE-849 | Seth & Bayne — Theories of consciousness | A review of four families: higher-order, global workspace, integrated information, and reentry and predictive processing theories. Each is sorted by which aspect it explains (global states, local contents, phenomenal character, function), its anatomical commitment, and its evidence. The front-versus-back dispute is at heart a dispute over consciousness and cognitive access. Posterior-sufficiency predictions cannot now be tested because verification relies on report, which needs anterior activity, and no marker of consciousness has a validation that rests neither on introspection nor on a contested theory. | Read |
| NOTE-997 | Ehrsson et al. — No specific relationship between hypnotic suggestibility and the rubber hand illusion | A reanalysis of Lush et al.’s (2020) open data, n = 353. The synchronous-minus-asynchronous difference in rubber-hand illusion ratings is unrelated to hypnotisability (rho = -0.066, BF01 = 5.7), is significant in every hypnotisability quartile, and is not changed by explicit suggestions about which condition should work; the hypnotisability correlations Lush et al. report appear equally for the asynchronous condition and an “impossible” control item. The authors conclude the illusion is a perceptual one, “driven primarily by multisensory mechanisms”. The reply grants every number and disputes that the asynchronous condition controls for expectation. | Read |
| NOTE-1001 | Roseboom & Lush — Serious problems with interpreting rubber hand illusion experiments | Resampling 351 synchronous-condition reports from Lush et al. 2020 into 10,000 studies of 20, the authors find that samples from above the median of hypnotisability almost always “find” the rubber hand illusion, and samples from below it find agreement with the ownership statement about 4% of the time. The ownership result holds at n = 50; the result for the averaged statements is largely a matter of power. No asynchronous condition, drift or new data are analysed. | Read |
| NOTE-1003 | Lush & Seth — Reply to: No specific relationship between hypnotic suggestibility and the rubber hand illusion | The reply to Ehrsson et al. accepts their reanalyses and denies their reading: expectancies are higher for synchronous than asynchronous brushing, the difference does not vary with hypnotisability (b = -0.16, P = 0.072, B = 0.07), so a null relation between hypnotisability and the synchrony effect is what demand characteristics predict. Agreement with the ownership item rises with hypnotisability (b = 0.76 per SWASH point, rs = 0.27) and reaches minimal agreement only in the top 31%. Whether multisensory integration matters to RHI measures awaits experiments that control expectation. It shows that the suggestion control THEORY-765 accepts can be met without the confound being removed. | Read |
| NOTE-1038 | Weatherall, O’Connor and Bruner — How to beat science and influence people | In Bala–Goyal network models with Bayesian policy makers who do not gather evidence, a propagandist who forwards only the real results of unbiased scientists that happen to favour the worse action, or who runs honest studies and publishes only the unfavourable ones, can leave policy makers near-certain of the false theory while the scientists converge on the true one. It works best when the problem is hard, studies are small, scientists are many and policy makers hear few of them. A journalist who reports one result for each side every round slows policy makers’ learning and never helps it. | Read |
| NOTE-1060 v2 | Lyre — Neurophenomenal structuralism | A programmatic paper. Its two assumptions: any phenomenal experience is fully individuated, in its specificity, by its place in a quality space (Q-structure), and Q-structure is mirrored in neural structure by a surjective homomorphism from neural maps. From these, with metaphysically necessary supervenience assumed and not argued for, it draws reductive physicalism, an instrumentalist structural representationalism, holism about experience, and the denial that spectrum inversion is nomologically possible. It addresses specific, not generic, consciousness, and says it is not a structural realism. No new data. | Read |
| NOTE-1182 v3 | Olah, Cammarata, Schubert, Goh, Petrov and Carter — Zoom in, an introduction to circuits | A programme essay, not a study. It offers three deliberately speculative claims, as empirical claims about networks and as norms for studying them: features (directions in a layer’s activation space, often single neurons) are the unit of a network; features joined by weights form circuits whose algorithms can be read off the weights; and analogous features and circuits form across models. The examples are qualitative and from InceptionV1, with the detailed evidence promised to later articles. Polysemantic neurons are named as the main obstacle, and a car feature spread over dog neurons is the first case it calls superposition. | Read |
| NOTE-1220 | Faye & Jaksland — Barad, Bohr, and quantum mechanics | Barad’s reading of Bohr is not Bohr’s. For Bohr a phenomenon is the observed effect under a given experimental arrangement, epistemic and derivative, with atomic object and instrument presupposed real; Bohr was an entity realist, his relational holism epistemic, and the subject–object, knower–known and word–world dualisms are presupposed by his account, not dissolved. Nor does quantum mechanics entail agential realism: Bohmian mechanics reproduces its predictions with an ontology of individual particles, and Rovelli’s relational quantum mechanics, though close, keeps systems prior to their interactions. And because Barad denies that measurement disentangles apparatus and object, she cannot borrow Rovelli’s answer to the measurement problem, so even agential realism’s consistency with quantum mechanics is unshown. Its merits as social theory, “if any”, do not stem from quantum mechanics. | Read |
| NOTE-1230 | Jaksland — Naturalized, fundamental, and feminist metaphysics all at once | A methodological paper, not an assessment of agential realism as quantum mechanics, which it assumes. Barad holds agential realism to be naturalized metaphysics, justified by quantum mechanics and applied once, to the one reality, whose scope then extends to the lifeworld; she rejects reading it as analogy or as a template that other domains instantiate. That extension is threatened by Newtonian mechanics being a good approximation in the macroscopic domain. It survives only if some ontological features (the subject–object and word–world dualisms, representationalism) are all-or-nothing and admit no metaphysical approximation. Jaksland leaves open whether any do, finds individualism “immediately more agreeable” as something that can obtain by approximation, and argues that even without such features the independence of social theorizing from fundamental metaphysics is contingent (on the size of Planck’s constant), not principled. | Read |
| NOTE-1357 | Jasanoff — Technologies of humility | Jasanoff argues that predictive “technologies of hubris” — risk assessment, cost–benefit analysis, modelling — are blind at the edges, pre-empt political debate and cannot take in challenges outside their framing, and that formal participation does not fix this. She proposes “technologies of humility”, institutionalized habits of thought organized around four focal points: framing, vulnerability, distribution and learning — “what is the purpose; who will be hurt; who benefits; and how can we know?” | Read |
| NOTE-1437 | Moreno & Mossio — Biological Autonomy, the Introduction | The Introduction alone. Moreno and Mossio state their programme: the organism, not natural selection, is biology’s central idea; its core is a closure of constraints, which they say fundamentally differs from the process loops and self-organisation of dissipative structures, and which grounds teleology, normativity and function. With regulation and agency, closure makes an autonomous system, an organism; ecosystems meet only closure. The arguments are announced for chapters 1–7, which this reading does not cover. | Skimmed |
| NOTE-1447 | Vissio — Reasoning in Life | Vissio reads Canguilhem’s vitalism as an attitude, not a metaphysics: to live is to evaluate a milieu and institute norms. Disease is a change in vital norms that leaves the organism “confined and reduced in its capacity to change these norms”, and normativity is the “ability or capacity to redefine vital norms”. Social norms, Canguilhem argues, are different in kind because no regulatory apparatus integrates a society as one, so there is no social pathology; yet human reason and science answer to a vital exigency. | Read |
| NOTE-1458 | Barad — Nature’s Queer Performativity | Barad argues that what classical ontology treats as separate things with fixed properties are phenomena, relations without prior relata, and that an intra-action within a phenomenon enacts an agential cut: “a ‘local’ resolution within the phenomenon of the inherent ontological indeterminacy”, giving agential separability, not absolute separation. The case is made by reading lightning, stingray receptor cells, Pfiesteria and the quantum-eraser experiment as failures of classical identity and causality. It is an essay; the physics is cited and interpreted, not argued from, and the term “apparatus” is used only of the two-slit set-up. | Read |
| NOTE-1461 | Mossio, Montévil & Longo — organization as a theoretical principle | Proposes organization, understood as closure of constraints, as one of two theoretical principles for biology, the other being variation (treated in a companion paper). A principle is posited a priori, as physics posits its phase space, and it defines the domain: any system meeting both principles is biological, organisms being one class. The paper restates Montévil and Mossio’s definitions of constraint, dependence and closure, and argues without a model that closure grounds biological stability by regenerating constraints beyond their own time scales, and that it also propagates variation, so a local change can end in a new closure; rocks, flames and tables, it says, cannot do that. | Read |
| NOTE-1487 | Wilhoit — Ventriloquism’s methodological scope | A short reply to Cooren (2014). Montréal School CCO’s commitment to interaction makes conversation analysis its method of choice, so ventriloquism carries epistemological and methodological commitments that other communication traditions will not share, and it cannot be the open metamodel Craig (1999) called for. Dialogue is instead coming from CCO studies that use other methods. It says nothing about agents being entified. | Read |
| NOTE-1490 | Baumgartner & Casini — abductive theory of constitution | Mutual manipulability fails in every case, not some: the surgical interventions it needs cannot exist, and relaxed ones are all fat-handed, so every constitutive model has a pure common-cause model with the same correlations under all manipulations. Unlike causal underdetermination, this survives ideal experimental conditions, because the manipulation itself confounds; there is no crucial experiment for constitution. Their alternative defines constitution by the impossibility of decoupling: a redundancy-free set of parts such that every cause of the phenomenon is a common cause of it and some member, and no expansion of the variable set breaks this. The inference is abductive and only inductively corroborated. | Read |
| NOTE-1491 | Craver & Bechtel — top-down causation without top-down causes | Within levels of mechanisms, talk of top-down and bottom-up causation can be translated into mechanistically mediated effects: intralevel causal chains plus the constitutive relation between a whole and its components. On this account the relation between levels is constitution, not causation. The paper also concedes that the experiments used to find components are symmetrical, share a form with Mill’s methods, and show only prima facie that something is a component rather than a background condition. So they do not by themselves say where a mechanism’s boundary lies. | Read |
| NOTE-1492 | Bechtel & Abrahamsen — dynamic mechanistic explanation | A dynamic mechanistic explanation joins a mechanistic account of parts, operations and organization to a computational model whose variables are properties of those parts and operations. In circadian research the parts came first, from experiment, and six kinds of modelling result follow (C1–C6). In cognitive science the models posit their mechanisms and are checked only by fit to behaviour. That makes them how-possibly accounts, and leaves competing architectures underdetermined. Two of the paper’s cases bear on the record: clamping a variable in a grounded model to test componency (C3), and the open question whether peripheral clocks are self-sustained or damped oscillators driven by the SCN (C6). | Read |
| NOTE-1493 | Baumgartner & Gebharter — fat-handedness | If a mechanism’s macro behaviour supervenes on its constituents’ behaviours and constitution is non-causal, every cause of the macro behaviour is a common cause of it and of some constituent’s. Under Woodward 2003 no top-down intervention can then change a constituent, so mutual manipulability entails that nothing constitutes anything; under Woodward’s relaxed interventions it makes whole and part causally related; with a temporal clause it is consistent but its mutual manipulations are all fat-handed and fit a model with no constitution equally well. Constitution is supported only by the second-order fact that no surgical cause of the whole turns up as the variable set grows. | Read |
| NOTE-1494 | Baumgartner, Casini & Krickel — horizontal surgicality | Upper and lower levels of a mechanism can only be manipulated via common causes, so an interventionist analysis of constitution needs a restricted kind of fat-handed intervention. Counting every common cause whose effects stand in supervenience begs the question; counting every common cause cannot tell constituents from sterile effects or detached parts. An intervention that directly changes at most one behaviour on each lower level, and changes its target and the phenomenon simultaneously, is horizontally surgical. Given that every change in a phenomenon is simultaneously realized on every lower level, that simultaneous changes are not causally related, and that co-occurrence is transitive, one such intervention suffices for constitution. The proof presupposes settled parthood and levels. | Read |
| NOTE-1532 | Juarrero — Context Changes Everything | Juarrero’s restatement of her 1999 constraint account as a general natural philosophy, self-described “speculative metaphysics” (p. 32). Context-independent constraints take conditions away from equiprobability, context-dependent ones away from independence (Gatlin), and enabling constraints couple separate processes into coherent “interactional types” whose constitutive constraints double as governing, “second-order” constraints that hold components to a subregion of state space, top down, “as constraints, not efficient causes” (p. 25). Levels are demarcated by rate discontinuities, wholes are slower than parts, and inter-level control is lost when the rates converge (ch. 12, from Salthe and Allen and Starr). It adopts Montévil and Mossio’s closure of constraints verbatim (pp. 93–94). It has no formal model of its own and does not discuss Kane, free will, chaos or contextual emergence. | Skimmed |
| NOTE-1535 | Bishop — Chaos (SEP) | The 2024 revision of Bishop’s SEP entry. Chaos is a property of deterministic models; unpredictability is not indeterminism. The sensitive-dependence argument that chaos amplifies quantum events is qualified: damping, negative local Lyapunov exponents and, in the brain, “parallel redundancy” may stop amplification. For Kane, sensitivity alone does not give incompatibilist freedom, and the incompatibilist must still show agents can “harness” indeterminism. §6.2–6.3 state Bishop’s contextual emergence as an ontological account: larger-scale stability conditions that constrain and enable smaller-scale behaviour. | Skimmed |