# Karl Popper & falsifiability *Source: · markdown twin of the entry page.* *An influence on **Dinis Cruz** — one of 25 entries in his register.* - **tier** traced — corpus evidence exists today - **kind** person + idea - **status** full — the seven-block register format - **briefing** none The shortest entry with the longest reach. Popper may be the influence that explains the *shape* of all the others' entries — including the trace table you are reading them in. ## Block 1 — The anchor The Logic of Scientific Discovery — Karl Popper — 1959 First published in German as *Logik der Forschung* (1934). The anchor is the demarcation criterion rather than the whole philosophy of science. *Linked, never rehosted.* ## Block 2 — In his own words The reason this entry is short and load-bearing at once: **it is not a topic in the estate, it is the format of the estate's outputs.** A Wardley map is a claim about where a component sits, refutable by pointing at it. A risk in the risks register is a claim with a named acceptor and a named mitigation, refutable by checking whether the mitigation exists. A trace row on this site is a claim that a pattern appears at a path at a version, refutable by opening the file. Those three formats were not designed together and they have the same shape. That is either convergence or a single inherited habit, and Popper is the most economical explanation. The uncomfortable corollary is the one this site has to live with: **an influence claim is barely falsifiable.** You cannot open a file and check whether a talk caused a design decision. The trace table is the best available substitute — it makes the *consequence* checkable even when the causation is not — and [the disclosure page](../../about/participant.html#lose) states the limit rather than letting the format imply more rigour than it has. ## Block 3 — The principle **A claim earns its status by being refutable. If nothing could show it to be wrong, it is not saying anything.** ## Block 4 — The trace table | Pattern from the anchor | Where the estate implements it | Version | Status | |---|---|---|---| | A claim must be refutable to be worth making | Wardley mapping as practised here — *a map is a claim* about position and movement, refutable by pointing at a misplaced component | — | implemented | | State the conditions under which you would be wrong | The risks register's falsifiable-statement discipline — an accepted risk with a named acceptor and a named mitigation | — | implemented | | The demarcation applied to inspiration itself | **This site's trace tables.** An influence entry is written so that it can be checked against the repositories and found wrong | — | implemented | | Publishing the refutations, not only the claims | Partial. The gaps are published as build specs and the absent rows are kept, but no claim on this network has yet been retracted in public | — | partial | | A test that could falsify an influence claim itself | Nowhere, and probably nowhere possible. See the resonance above | — | absent | Three of these rows point at sibling sites rather than at code, because that is honestly where this influence lands: it shaped the **format of the artefacts**, not a feature. The fourth row points at this page, which is either the strongest evidence in the table or the weakest, depending on how generously you read it. ## Block 5 — The gaps, as build specs ### G1 — Nothing on this network has ever been publicly retracted Every site here publishes its gaps and its open questions, which is the cheap half of the discipline. The expensive half is withdrawing a claim that turned out to be wrong, in public, with the date. A build spec: a standing `/shipped/` row type for *this was wrong, here is what replaced it*, used the first time something qualifies. A register that only ever adds is not practising the principle it cites. ### G2 — The counter-influence entry does not exist The most Popperian thing this site could publish is an influence that was *rejected* — something widely assumed to have shaped the work and did not, or was outgrown. It needs Dinis Cruz rather than a build, and it is [Q4](../../admin/comms.html#q4) in the briefing queue. Until one exists, the register can only confirm. ## Block 6 — The checklist - What would show this to be wrong? If nothing would, say less. - Is the claim specific enough that someone could go and check it? - Have the conditions been stated *before* the evidence was gathered, or after? - When this turns out to be wrong, where does that get recorded? ## Block 7 — The wider library - **The Logic of Scientific Discovery (1959)** — the anchor; chapter one carries the whole demarcation argument - **Conjectures and Refutations (1963)** — the more readable statement, and the one most people should start with - **The Open Society and Its Enemies (1945)** — the political half — same method, applied to institutions rather than theories ## The corpus evidence | Path in the corpus | What it carries | |---|---| | `(corpus-wide, ~7 files)` | falsifiability as an explicit standard, most visibly in the maps-as-claims framing and the risks register's discipline | --- CC BY 4.0 — Dinis Cruz, with AI co-authorship (Claude, Anthropic). The anchor work belongs to its author and is linked, not licensed here.