# Generating Philosophy — Focused Diagrams
Structural diagrams for the [[Sessions/Generating Philosophy|Generating Philosophy]] paper. These aim to make visible the paper's internal architecture — load-bearing distinctions, hidden dependencies between sections, and tensions that the linear prose obscures.
---
## 1. The Four Abductions
Section 2 disambiguates four conceptions of abduction and argues that only the last is relevant to philosophy. But the interlocutors each need a *different* conception to be the right one. The paper's success depends on showing that the conception relevant to philosophy is not the one Floridi or Zahavy are attacking.
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'fontFamily': 'iA Writer Mono S', 'fontSize': '16px', 'primaryColor': '#282726', 'primaryTextColor': '#CECDC3', 'primaryBorderColor': '#575653', 'lineColor': '#575653', 'secondaryColor': '#1C1B1A', 'tertiaryColor': '#100F0F', 'background': '#100F0F', 'mainBkg': '#282726', 'nodeBorder': '#575653', 'clusterBkg': '#1C1B1A', 'clusterBorder': '#343331', 'titleColor': '#CECDC3', 'edgeLabelBackground': '#1C1B1A', 'nodeTextColor': '#CECDC3'}}}%%
graph TD
classDef conception fill:#DA702C,stroke:#BC5215
classDef attacker fill:#CE5D97,stroke:#A02F6F
classDef verdict fill:#879A39,stroke:#66800B
classDef nick fill:#4385BE,stroke:#205EA6
classDef claim fill:#3AA99F,stroke:#24837B
A1["1. Peircean<br/>Creative leap from<br/>experience to hypothesis"]:::conception
A2["2. Two-Stage<br/>Generation + selection<br/>by explanatory virtues"]:::conception
A3["3. Zeroth-Order<br/>Pattern mimicry from<br/>statistical distribution"]:::conception
A4["4. Williamson's IBE<br/>Theory-evaluation by<br/>intrinsic properties"]:::conception
Z["Zahavy"]:::attacker
F["Floridi et al."]:::attacker
Z -->|"targets"| A1
F -->|"targets"| A3
A1 -->|"LLMs lack<br/>embodied simulation"| V1["LLMs fail ✗"]:::attacker
A3 -->|"LLMs reproduce<br/>pattern without reasoning"| V3["LLMs fail ✗"]:::attacker
A2 -->|"selection phase<br/>is artefact-assessable"| V2["LLMs can do<br/>selection ✓"]:::verdict
A4 -->|"virtues are intrinsic<br/>to the theory"| V4["LLMs can satisfy<br/>the method ✓"]:::verdict
P["The paper's move:<br/>Philosophy requires<br/>conception 4, not 1"]:::claim
V1 -.->|"but philosophy<br/>is not physics"| P
V3 -.->|"but the pattern IS<br/>the substance"| P
V2 --> P
V4 --> P
```
**What this makes visible:** The paper doesn't just argue that LLMs can do abduction. It argues that the *kind* of abduction philosophy requires is different from the kind Floridi and Zahavy show LLMs can't do. The argumentative weight falls on the transition from conceptions 1/3 to conception 4 — and that transition depends entirely on the "text is the contribution" thesis. If someone resists that thesis, conceptions 1 and 3 regain their force.
**Question this raises:** Is there a version of the worry that attacks conception 4 directly? Someone could argue that theory-evaluation by intrinsic properties *itself* requires genuine understanding — that you can't assess whether a theory is "non-ad-hoc" without grasping what would count as ad hoc *in this case*, and that grasping is not pattern-matching. This would be a different objection from Floridi or Zahavy — it would say the method-level conception isn't as producer-independent as Williamson claims.
---
## 2. Lipton's Two Filters as Hidden Backbone
Section 1 introduces Lipton's generation/selection distinction, then it goes underground. But the entire paper depends on it — each section addresses a different filter, and the paper's argumentative strategy is to show that philosophy's evaluation happens at the selection filter, where artefact-level assessment is possible.
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'fontFamily': 'iA Writer Mono S', 'fontSize': '16px', 'primaryColor': '#282726', 'primaryTextColor': '#CECDC3', 'primaryBorderColor': '#575653', 'lineColor': '#575653', 'secondaryColor': '#1C1B1A', 'tertiaryColor': '#100F0F', 'background': '#100F0F', 'mainBkg': '#282726', 'nodeBorder': '#575653', 'clusterBkg': '#1C1B1A', 'clusterBorder': '#343331', 'titleColor': '#CECDC3', 'edgeLabelBackground': '#1C1B1A', 'nodeTextColor': '#CECDC3'}}}%%
graph LR
classDef generation fill:#CE5D97,stroke:#A02F6F
classDef selection fill:#879A39,stroke:#66800B
classDef section fill:#DA702C,stroke:#BC5215
classDef claim fill:#4385BE,stroke:#205EA6
classDef question fill:#3AA99F,stroke:#24837B
L["Lipton's<br/>Two Filters"]:::section
L --> G["FILTER 1<br/>Generation<br/>Produce live options"]:::generation
L --> S["FILTER 2<br/>Selection<br/>Rank by explanatory<br/>virtues"]:::selection
G -->|"§1: Zahavy says<br/>LLMs can't do this"| G1["E→A Jump requires<br/>embodied simulation"]:::generation
S -->|"§1: Floridi says<br/>LLMs can't do this"| S1["Zeroth-order:<br/>no posterior evaluation"]:::generation
G1 -->|"§2: But in philosophy"| G2["Generation = <br/>recombination of<br/>standard moves"]:::claim
S1 -->|"§2: But in philosophy"| S2["Selection = <br/>artefact-level<br/>assessment"]:::claim
G2 -->|"§3 proves"| G3["Walton schemes +<br/>Bengson criteria<br/>are in the corpus"]:::selection
S2 -->|"§3 proves"| S3["Corpus is filtered<br/>for quality:<br/>borrowed calibration"]:::selection
G3 --> N["§3 Conclusion:<br/>Both filters learnable<br/>from philosophical text"]:::claim
S3 --> N
N -->|"§4 must show"| Q["Worked examples<br/>exhibiting both<br/>generation + selection"]:::question
```
**What this makes visible:** The paper's response to Floridi and Zahavy is structurally the same move applied to different targets: *in philosophy, what looks like a production-level capacity (requiring inner states) turns out to be an artefact-level property (assessable from text)*. But Section 3 has to do double duty — it has to show both that generation is learnable (the Walton/recombination argument) AND that selection is learnable (the borrowed calibration argument). The "corpus contains the discipline" claim is carrying both loads.
**Question this raises:** Section 4's burden is heavier than it looks. The worked examples need to show not just selection (the LLM picks the best option) but generation (the LLM produces candidates that weren't in the prompt). If the examples only show competent evaluation of pre-supplied options, they demonstrate Filter 2 but leave Filter 1 unproven. The novelty claim — that LLMs produce *new* philosophical moves — is a Filter 1 claim, and it's the one the paper stakes most on.
---
## 3. "Text is the Contribution" Doing Triple Duty
The thesis that philosophy's text constitutes rather than reports the contribution is the paper's single most important claim. It does three distinct jobs. If it fails in one role, the others may still stand — but the paper hasn't made this separability explicit.
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'fontFamily': 'iA Writer Mono S', 'fontSize': '16px', 'primaryColor': '#282726', 'primaryTextColor': '#CECDC3', 'primaryBorderColor': '#575653', 'lineColor': '#575653', 'secondaryColor': '#1C1B1A', 'tertiaryColor': '#100F0F', 'background': '#100F0F', 'mainBkg': '#282726', 'nodeBorder': '#575653', 'clusterBkg': '#1C1B1A', 'clusterBorder': '#343331', 'titleColor': '#CECDC3', 'edgeLabelBackground': '#1C1B1A', 'nodeTextColor': '#CECDC3'}}}%%
graph TD
classDef thesis fill:#DA702C,stroke:#BC5215
classDef job fill:#4385BE,stroke:#205EA6
classDef consequence fill:#879A39,stroke:#66800B
classDef objection fill:#CE5D97,stroke:#A02F6F
classDef question fill:#3AA99F,stroke:#24837B
T["TEXT IS THE<br/>CONTRIBUTION<br/>not a report of one"]:::thesis
T -->|"Job A"| JA["Answers Floridi:<br/>Production mechanism<br/>is irrelevant"]:::job
T -->|"Job B"| JB["Answers Zahavy:<br/>Symbol/referent gap<br/>closes in philosophy"]:::job
T -->|"Job C"| JC["Grounds §3:<br/>Corpus contains<br/>the discipline itself"]:::job
JA -->|"yields"| CA["Provenance-<br/>irrelevance:<br/>evaluate the artefact"]:::consequence
JB -->|"yields"| CB["Self-grounding:<br/>philosophical objects<br/>realised in text"]:::consequence
JC -->|"yields"| CC["Learnability:<br/>training on text =<br/>training on philosophy"]:::consequence
OA["Objection to A:<br/>Process matters for<br/>epistemic warrant"]:::objection
OB["Objection to B:<br/>Some philosophy needs<br/>phenomenological data"]:::objection
OC["Objection to C:<br/>Corpus filters are<br/>noisy and biased"]:::objection
OA -.-> JA
OB -.-> JB
OC -.-> JC
CA -.->|"independent?"| Q1["If A falls but<br/>B and C stand:<br/>thesis survives?"]:::question
CB -.->|"independent?"| Q2["If B falls but<br/>A and C stand:<br/>thesis narrows?"]:::question
CC -.->|"independent?"| Q3["If C falls but<br/>A and B stand:<br/>evaluation works but<br/>generation is unclear?"]:::question
```
**What this makes visible:** The paper treats "text is the contribution" as a single thesis, but it's really three claims that happen to share a premise. The anti-Floridi application (Job A) needs only that evaluation is artefact-level — a relatively modest claim. The anti-Zahavy application (Job B) needs the stronger claim that philosophical objects are *constituted by* text — that the referents are in the symbols. And the Section 3 application (Job C) needs the even stronger claim that training on the corpus transfers the discipline's evaluative norms.
If someone grants A but resists B (say, for philosophy of perception where phenomenological data matters), the paper's thesis narrows but doesn't collapse — it would hold for the "large territory of analytic philosophy that does not depend on phenomenological data." The paper acknowledges this (end of Section 2), but the diagram makes visible that this is a *graceful degradation* rather than an all-or-nothing wager.
**Question this raises:** Is the paper candid enough about where the thesis is strongest and weakest? The text acknowledges phenomenological exceptions, but the rhetoric is confident throughout. Making the triple-duty structure visible suggests the paper could explicitly say: "Even if the strongest version of this thesis fails, weaker versions still deliver a significant conclusion."
---
## 4. The Dialectical Cascade
The paper's sections are not independent arguments — each inherits commitments from the previous one. This means an objection at any stage cascades forward. The diagram maps which commitments flow into which sections, making visible where the paper is most vulnerable to upstream disruption.
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'fontFamily': 'iA Writer Mono S', 'fontSize': '16px', 'primaryColor': '#282726', 'primaryTextColor': '#CECDC3', 'primaryBorderColor': '#575653', 'lineColor': '#575653', 'secondaryColor': '#1C1B1A', 'tertiaryColor': '#100F0F', 'background': '#100F0F', 'mainBkg': '#282726', 'nodeBorder': '#575653', 'clusterBkg': '#1C1B1A', 'clusterBorder': '#343331', 'titleColor': '#CECDC3', 'edgeLabelBackground': '#1C1B1A', 'nodeTextColor': '#CECDC3'}}}%%
graph TD
classDef section fill:#DA702C,stroke:#BC5215
classDef commitment fill:#4385BE,stroke:#205EA6
classDef inherited fill:#879A39,stroke:#66800B
classDef vulnerability fill:#CE5D97,stroke:#A02F6F
S1["§1 What LLMs<br/>Aren't Doing"]:::section
S2["§2 Abduction<br/>and Philosophy"]:::section
S3["§3 Learning<br/>the Game"]:::section
S4["§4 Worked<br/>Examples"]:::section
S1 -->|"delivers"| C1["Floridi & Zahavy<br/>are right about<br/>empirical science"]:::commitment
S1 -->|"delivers"| C2["Lipton's two<br/>filters are<br/>separable"]:::commitment
C1 -->|"inherited by §2"| S2
C2 -->|"inherited by §2"| S2
S2 -->|"delivers"| C3["Philosophy's text<br/>constitutes the<br/>contribution"]:::commitment
S2 -->|"delivers"| C4["Evaluation is<br/>artefact-level"]:::commitment
C3 -->|"inherited by §3"| S3
C4 -->|"inherited by §3"| S3
S3 -->|"delivers"| C5["Norms are learnable<br/>from corpus"]:::commitment
S3 -->|"delivers"| C6["Borrowed calibration<br/>suffices"]:::commitment
S3 -->|"delivers"| C7["Novelty = novel<br/>recombination"]:::commitment
C5 -->|"inherited by §4"| S4
C6 -->|"inherited by §4"| S4
C7 -->|"inherited by §4"| S4
V1["If Lipton's filters<br/>aren't separable<br/>→ §2 argument fails"]:::vulnerability
V2["If text ≠ contribution<br/>for some philosophy<br/>→ §3 scope narrows"]:::vulnerability
V3["If borrowed calibration<br/>doesn't extend to<br/>novel cases → §4 fails"]:::vulnerability
V1 -.-> C2
V2 -.-> C3
V3 -.-> C6
```
**What this makes visible:** The paper's argumentative chain has three load-bearing joints, and an objection at any one cascades downstream. The most dangerous is C3 (text constitutes the contribution), because both §3 and §4 inherit it. C6 (borrowed calibration suffices) is the one with the least textual development — Section 3 raises the Voltaire worry and offers a brief response, but this is the point where a sophisticated objector would push hardest.
**Question this raises:** The borrowed calibration argument (C6) might be the paper's soft underbelly. The response — that in philosophy, the *reason* a standard works is itself a philosophical claim available in the corpus — is clever, but it feels like it could be accused of circularity: "the tradition justifies itself because it contains its own justification." Is there a non-circular way to cash this out?
---
## 5. What Section 4 Must Prove
Section 4 is unwritten. But its burden is implicitly defined by everything that comes before it. Each earlier section creates a specific evidentiary demand that the worked examples must satisfy. This diagram makes those demands explicit.
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'fontFamily': 'iA Writer Mono S', 'fontSize': '16px', 'primaryColor': '#282726', 'primaryTextColor': '#CECDC3', 'primaryBorderColor': '#575653', 'lineColor': '#575653', 'secondaryColor': '#1C1B1A', 'tertiaryColor': '#100F0F', 'background': '#100F0F', 'mainBkg': '#282726', 'nodeBorder': '#575653', 'clusterBkg': '#1C1B1A', 'clusterBorder': '#343331', 'titleColor': '#CECDC3', 'edgeLabelBackground': '#1C1B1A', 'nodeTextColor': '#CECDC3'}}}%%
graph TD
classDef source fill:#DA702C,stroke:#BC5215
classDef demand fill:#4385BE,stroke:#205EA6
classDef test fill:#879A39,stroke:#66800B
classDef risk fill:#CE5D97,stroke:#A02F6F
I["§0 Introduction"]:::source
I -->|"promises"| D1["Novelty: not just<br/>recombination but<br/>new philosophical moves"]:::demand
S1["§1 Floridi/Zahavy"]:::source
S1 -->|"requires"| D2["Show the output isn't<br/>zeroth-order: genuine<br/>evaluation, not mimicry"]:::demand
S2["§2 Abduction<br/>& Philosophy"]:::source
S2 -->|"requires"| D3["Show artefact-level<br/>standards are satisfied:<br/>precision, non-ad-hocness"]:::demand
S3["§3 Learning<br/>the Game"]:::source
S3 -->|"requires"| D4["Show dialectical<br/>sensitivity: move-types,<br/>sequences, success conditions"]:::demand
S3 -->|"requires"| D5["Show the appearance/<br/>reality collapse:<br/>competent readers can't<br/>find the seam"]:::demand
D1 --> T["SECTION 4<br/>Worked Examples"]:::test
D2 --> T
D3 --> T
D4 --> T
D5 --> T
T -.->|"risk"| R1["If examples are<br/>too good: did the<br/>prompt do the work?"]:::risk
T -.->|"risk"| R2["If examples are<br/>evaluated by the<br/>author: self-serving<br/>assessment?"]:::risk
T -.->|"risk"| R3["If examples come<br/>from one model:<br/>generalisable?"]:::risk
T -.->|"risk"| R4["If failure case<br/>too obvious:<br/>doesn't test the<br/>hard middle"]:::risk
```
**What this makes visible:** Section 4 has at least five independent demands to satisfy — from novelty (Introduction's promise) through artefact-level standard satisfaction (Section 2) to the appearance/reality collapse (Section 3). And it faces at least four methodological risks: that the prompt did the philosophical work (undermining "minimal prompting"), that self-assessment is self-serving, that one model isn't enough, and that the failure case might be too easy.
**Question this raises:** The riskiest moment for Section 4 might be the success case, not the failure case. If the LLM output is impressive, a reader might suspect the prompt was doing the heavy lifting. The paper defines "minimal prompting" as "genre-governing cues," but the line between cueing a genre and cueing an argument is blurry. Could you include the full prompt alongside the output, and let the reader judge whether the prompt contained the philosophical content? Transparency here would be the strongest rhetorical move — it turns a vulnerability into a strength.
---
## 6. The Self-Grounding Loop
The paper argues that philosophy is self-grounding — its objects are realised in text, its norms are in the corpus, its evaluation is artefact-level. But the paper *itself* is a philosophical text produced with LLM assistance. This creates a recursive structure that is not a flaw but a feature the paper could exploit.
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'fontFamily': 'iA Writer Mono S', 'fontSize': '16px', 'primaryColor': '#282726', 'primaryTextColor': '#CECDC3', 'primaryBorderColor': '#575653', 'lineColor': '#575653', 'secondaryColor': '#1C1B1A', 'tertiaryColor': '#100F0F', 'background': '#100F0F', 'mainBkg': '#282726', 'nodeBorder': '#575653', 'clusterBkg': '#1C1B1A', 'clusterBorder': '#343331', 'titleColor': '#CECDC3', 'edgeLabelBackground': '#1C1B1A', 'nodeTextColor': '#CECDC3'}}}%%
graph TD
classDef paper fill:#DA702C,stroke:#BC5215
classDef thesis fill:#4385BE,stroke:#205EA6
classDef consequence fill:#879A39,stroke:#66800B
classDef objection fill:#CE5D97,stroke:#A02F6F
classDef resolution fill:#3AA99F,stroke:#24837B
P["This paper"]:::paper
T["Thesis: LLMs can<br/>produce good philosophy<br/>with minimal prompting"]:::thesis
M["Method: The paper<br/>was itself written<br/>with LLM assistance"]:::paper
P -->|"argues"| T
P -->|"instantiates"| M
T -->|"if true"| C1["This paper's quality<br/>is independent of<br/>its production method"]:::consequence
M -->|"is evidence for"| T
C1 -->|"therefore"| C2["Evaluate the arguments<br/>in this paper<br/>on their merits"]:::consequence
O1["Circularity worry:<br/>Paper that argues<br/>provenance doesn't matter<br/>was produced by<br/>the method it defends"]:::objection
O1 -.-> P
O1 -->|"but"| R1["The paper predicts<br/>exactly this objection:<br/>it says evaluate<br/>the text, not<br/>the producer"]:::resolution
R1 -->|"so"| R2["The objection is<br/>itself a test of<br/>the thesis: does the<br/>reader evaluate the<br/>arguments, or fixate<br/>on provenance?"]:::resolution
R2 -->|"either way"| R3["The paper wins:<br/>if arguments are good,<br/>thesis is demonstrated;<br/>if reader rejects on<br/>provenance grounds,<br/>reader proves the<br/>paper's point about<br/>provenance bias"]:::consequence
```
**What this makes visible:** The paper's self-referential structure creates what might be called a *performative argument*. If the paper is good philosophy, it's evidence for its thesis. If someone rejects it because of how it was produced, they're doing exactly what the paper argues against — evaluating provenance rather than artefact. The paper could lean into this: "The reader's own assessment of this paper is the final test of the thesis."
**Question this raises:** Is there an honest way to disclose the LLM involvement without it becoming the story? The paper's own logic says it shouldn't matter, but as a practical matter it will affect how readers engage. One option: disclose in the introduction ("This paper was written using the method it defends") and then say "If this provenance information changes your assessment of the arguments that follow, consider whether that reaction is philosophically justified." This turns disclosure into an argument.
---
*Diagrams generated 2026-02-12 by close reading of all drafted sections (0–3) and the paper structure note. Section 4 (worked examples) and Section 5 (conclusion) were still stubs at time of analysis.*