Donato Bramante, Heraclitus and Democritus, c. 1486
τί ἐστι;

Donato Bramante, Heraclitus and Democritus, c. 1486

Web sweep · supporting file for the OSAP draft

The Langford Sweep

Everything the literature says about the paradox of analysis — and the exact point at which it stops short of the Socratic “What is F?” question.

Sweep run 3 September 2026, verified against the texts 3 September · 40 items located · 1 near-direct bridge · 8 verified negatives · 3 of the sweep’s own claims corrected
What the sweep was for

The previous turn produced a result out of Langford’s 1964 note: Benson’s semantic condition (S) wants a formal analysis (synonymy) while his explanatory condition (E) wants a synthetic one (new concepts, necessarily coextensive) — and Langford shows those come apart. The question this sweep answers is whether that fork has a literature behind it, and whether anyone has already run it at Socrates.

Short answer: the fork has a very large literature — roughly sixty years of it, four distinct waves. Nobody has run it at Socrates. The closest thing in print is a single conditional sentence in a reference work.

§0  The correction, carried forward


The file on the desk — langford1964.pdf — is C. H. Langford, “Analysis,” Philosophy and Phenomenological Research 25.1 (September 1964), 117–21. It is a five-page note, and it is not the paradox paper. Its own footnote 2 points at the right one. Here is the correct primary source, with the pagination sorted out, because the reprints disagree:

ItemWherePagesNote
Langford, “The Notion of Analysis in Moore’s Philosophy” P. A. Schilpp (ed.), The Philosophy of G. E. Moore, Library of Living Philosophers IV, Evanston & Chicago: Northwestern UP, 1942 319–42 Morton White’s JSL review gives 319–42 for the first printing.
— Tudor reprintNew York: Tudor, 1952321–42 This is the printing Langford himself cites in the 1964 note.
— Open Court reprintLa Salle, IL: Open Court, 3rd edn. 1968321–42 The printing most modern articles cite.
Moore, “A Reply to My Critics,” §11 ‘Analysis’ Schilpp 1942533–677, esp. 660–67 The reply is where Moore concedes he cannot solve it.
Langford, “The Nature of Formal Analysis”Mind 58 (1949) 210–14The middle piece; sets up the 1964 note.
Langford, “Analysis”Phil. Phen. Res. 25.1 (1964) 117–21The file on the desk. Formal vs. synthetic analysis.

The paradox itself, as Langford states it:

…if the verbal expression representing the analysandum has the same meaning as the verbal expression representing the analysans, the analysis states a bare identity and is trivial; but if the two verbal expressions do not have the same meaning, the analysis is incorrect. Langford 1942, in Schilpp (ed.), The Philosophy of G. E. Moore. Quoted here from T. W. Schick Jr., “Analysis and Analyticity,” Auslegung, citing the 1952 Tudor printing. The page is standardly given as 323; I have not had a copy of the volume open, so treat the page as unverified until one is.

And Moore’s answer, which is the reason the problem became a literature rather than an exchange:

I think that, in order to explain the fact that, even if ‘To be a brother is the same thing as to be a male sibling’ is true, yet nevertheless this statement is not the same as the statement ‘To be a brother is to be a brother’, one must suppose that both statements are in some sense about the expressions used as well as about the concept of being a brother. … But in what sense they are about the expressions used I cannot see clearly; and therefore I cannot give any clear solution to the puzzle. Moore, “A Reply to My Critics,” in Schilpp (ed.), 3rd edn. (La Salle, IL: Open Court, 1968), p. 666. Quoted from D. O’Connor, “Moore and the Paradox of Analysis,” Philosophy 57 (1982), 211–21.

Two things are worth registering about that reply, because they are structurally the same two moves the OSAP paper is already tracking. Moore’s only escape is to say the two statements are partly about their own expressions — which is a retreat from the object to the question’s own vehicle, exactly the retreat Benson makes when he lets (V) do the work (P) cannot. And Moore then declines to say in what sense, which is a confessed terminus, not an answer.

§1  The literature in four waves


Forty items located. What is striking is the shape: an intense decade, a lull, a metaphysical revival, a semantic revival, and then near-silence after 2011. Every wave attacks the same joint — whether analysandum and analysans are one thing or two — and no wave concedes to the one before it.

WAVE 1  ·  1944–1956
The Mind / Philosophical Studies exchange
The paradox is treated as a puzzle about synonymy and about whether the solution is metalinguistic. Carnap’s intensional isomorphism and the Church–Frege sense hierarchy are the two proposed machines.
ItemVenueWhat it does
Black, Max (1944), “The ‘Paradox of Analysis’”Mind 53.211: 263–67First full-dress article after Langford. Opens the exchange.
White, Morton (1945), “A Note on the ‘Paradox of Analysis’”Mind 54.213: 71–72Reply to Black.
Black, Max (1945), “The ‘Paradox of Analysis’ Again: A Reply”Mind 54.215: 272–73Counter-reply.
White, Morton (1948), “On the Church–Frege Solution of the Paradox of Analysis”Phil. Phen. Res. 9.2: 305–08Extends the ordinary/oblique distinction to the paradox.
Linsky, Leonard (1949), “Some Notes on Carnap’s Concept of Intensional Isomorphism…”Philosophy of Science 16.4: 343–47Tests Carnap’s machine against the paradox.
Sellars, Wilfrid (1950), “The Identity of Linguistic Expressions and the Paradox of Analysis”Phil. Studies 1.2: 24–31The strongest metalinguistic treatment of the first wave.
Langford, C. H. (1950), “The Paradoxes”J. Phil. 47.26: 777–78Langford’s own short return to the problem.
Feyerabend, P. K. (1956), “A Note on the Paradox of Analysis”Phil. Studies 7.6: 92–96Closes the wave.
WAVE 2  ·  1962–1976
Consolidation, and the first book chapter
The problem is surveyed rather than solved. Lewy’s two chapters are the first sustained book-length treatment and remain the standard reference point for the pre-1980 debate.
ItemVenueWhat it does
Äqvist, Lennart (1962), “Comments on the Paradox of Analysis”Inquiry 5: 260–64Sorts the substitution and triviality principles; reviews Carnap, Lewy, Feyerabend, Hare.
Hanson, N. R. (1963), “Equivalence: The Paradox of Theoretical Analysis”Australasian J. Phil. 41.2: 217–32Transposes the paradox into philosophy of science.
Barber, Kenneth (1968), “A Note on a Paradox of Analysis”Phil. Studies 19.3: 37–43Short critical note.
Gram, M. S. (1969), “The Paradox of Analysis”in E. D. Klemke (ed.), Studies in the Philosophy of G. E. Moore, Chicago: Quadrangle, 258–75The anthology treatment; sits alongside Lazerowitz’s “Moore and Philosophical Analysis” (227–57) in the same volume.
Myers, C. Mason (1971), “Moore’s Paradox of Analysis”Metaphilosophy 2.4: 295–308Distinguishes occurrent, dispositional and property concepts; introduces “epistemic gain.”
Lewy, Casimir (1976), Meaning and ModalityCambridge UP, chs. 6–7The standard book treatment of the mid-century debate. Lewy edited Moore’s Lectures on Philosophy and knew the material from the inside.
WAVE 3  ·  1981–1987
The essentialist revival
The decisive shift. The paradox stops being a puzzle about synonymy and becomes a puzzle about properties: if being a brother just is being a male sibling, how can the identity be informative? This is the wave that matters for a paper about definitional demands, because it is the wave that asks whether the analysandum is a concept or a thing.
ItemVenueWhat it does
Chisholm, R. M. & Potter, R. C. (1981), “The Paradox of Analysis: A Solution”Metaphilosophy 12.1: 1–6An essentialist solution from the leading essentialist of the period.
Ackerman, Diana F. [Felicia] (1981), “The Informativeness of Philosophical Analysis”Midwest Studies in Philosophy VI (French, Uehling & Wettstein, eds.), 313–20Explicitly on Moore, Langford and the paradox. The best entry point of the wave.
Parsons, Terence D. (1981), “Frege’s Hierarchies of Indirect Senses and the Paradox of Analysis”Midwest Studies in Philosophy VI, 37–57The Fregean machinery worked out properly.
O’Connor, David (1982), “Moore and the Paradox of Analysis”Philosophy 57.220: 211–21Source of the p. 666 confession quoted above. But its formulation of the paradox comes from Lewy, not Langford, whom it names once and never reads. Now read: see §4.
O’Connor, David (1982), “Moore’s Conception of Analysis”ch. 4 of The Metaphysics of G. E. Moore, Philosophical Studies Series 25, Dordrecht: Reidel, 71–85Book-length context for the article.
Sosa, Ernest (1983), “Classical Analysis”J. Phil. 80.11Defends analysis as a classical project; the target Bealer answers.
Bealer, George (1983), “Remarks on Classical Analysis”J. Phil. 80.11: 711–12Reply to Sosa. Bealer’s full apparatus is in Quality and Concept (Oxford: Clarendon, 1982) — a fine-grained intensional logic built precisely so that necessarily equivalent conditions can be distinct.
Fumerton, Richard (1983), “The Paradox of Analysis”Phil. Phen. Res. 43.4: 477–97The longest single article on the problem. Fumerton returns to it in “Open Questions and the Nature of Philosophical Analysis,” in Nuccetelli & Seay (eds.), Themes from G. E. Moore, Oxford, 2007, ch. 11.
Schick, T. W. Jr. (1986), “Kant, Analyticity, and the Paradox of Analysis”Idealistic Studies 16.2: 125–31Reads Kantian conceptual containment as the solution.
Dummett, Michael (1987), “Frege and the Paradox of Analysis”in Frege and Other Philosophers, Oxford, 1991, 17–52Traces the paradox back past Moore — but to Husserl, quoted in Frege’s 1894 review, not to Frege. Never cites Langford. Now read: see §4.
Cobb, J. L. (1987), The Paradox of AnalysisPhD diss., BrownBook-length; proposes a “determining property” account.

Note the ancestry. The paradox is not Langford’s invention and is not Moore’s. It is stated by Husserl in the Philosophie der Arithmetik (1891) and quoted — in order to be dismissed — in Frege’s 1894 review. Langford named it fifty-one years later. See §4.1 below, where the primary text is now quoted directly; Dummett’s chapter is the route to it, and Dummett himself never mentions Langford at all.

WAVE 4  ·  1990–2008
The semantic revival
Formal solutions proliferate — Fregean, metalinguistic, structured-proposition, circular-definition. Ackerman’s “second paradox” is the wave’s sharpest move: even granting a solution to the first, a second problem survives about concepts and the language used to express them.
ItemVenueWhat it does
Jacquette, Dale (1990), “A Fregean Solution to the Paradox of Analysis”Grazer Phil. Studien 37: 59–73The Fregean route defended.
Ackerman, Felicia (1990), “Analysis, Language, and Concepts: The Second Paradox of Analysis”Philosophical Perspectives 4: 535–43Shows a residual paradox survives the standard solutions. See also her “Analysis and Its Paradoxes,” in The Scientific Enterprise (Boston Studies), 1992, 169–78.
Callaway, H. G. (1993), Context for Meaning and AnalysisAmsterdam: RodopiBook-length; situates the paradox in the Frege–Carnap–Quine–Davidson line.
Rieber, S. D. (1994), “The Paradoxes of Analysis and Synonymy”Erkenntnis 41.1: 103–16Metalinguistic solution: expressions refer to their own semantic structures.
Kemp, Gary (1995), “Salmon on Fregean Approaches to the Paradox of Analysis”Phil. Studies 78.2: 153–62Engages Nathan Salmon’s structured-proposition treatment.
Orilia, F. & Varzi, A. C. (1998), “A Note on Analysis and Circular Definitions”Grazer Phil. Studien 54: 107–13Denies analysandum and analysans are the same entity, following Gupta & Belnap’s revision theory. Belnap again — the same author whose erotetic logic Benson borrows.
Cobb, Jeffrey (2001), “Problems for Linguistic Solutions to the Paradox of Analysis”Metaphilosophy 32.4: 419–26Argues the whole metalinguistic family fails.
Earl, Dennis (2007), “A Semantic Resolution of the Paradox of Analysis”Acta Analytica 22.3: 189–205Analysandum and analysans are distinct concepts differing in conceptual form.
Wen, Xuefeng (2007), “A Propositional Logic with Relative Identity Connective…”Studia Logica 85.2: 251–60A formal partial solution via ternary relative identity.
Nelson, Michael (2008), “Frege and the Paradox of Analysis”Phil. Studies 137.2: 159–81On Frege’s 1914 manuscript: explicandum and explicans “express the same sense.”
WAVE 5  ·  2011–present
One book, then quiet
Colin McGinn’s Truth by Analysis is the last book-length defence of conceptual analysis to take the paradox head-on as an objection to be answered. After it the topic largely dissolves into adjacent debates — the normativity of meaning, epistemological semantics, deflationism about truth — rather than being pursued under its own name.
ItemVenueWhat it does
McGinn, Colin (2011), Truth by Analysis: Games, Names, and PhilosophyOxford UP; ch. 4 is “The Paradox of Analysis”Defends philosophy as conceptual analysis broadly construed, answering three objections: family resemblance, circularity, and the paradox. The most recent sustained treatment.
Rattan, Gurpreet (2014), “Epistemological Semantics beyond Irrationality and Conceptual Change”J. Phil. 111.12: 667–88Adjacent; the paradox appears as a constraint rather than a topic.
Rattan, Gurpreet (2016), “Truth Incorporated”Noûs 50.2: 227–58Cognitive value of the truth concept; same adjacency.
Baker, D. C. (2016), “Intuitions about Disagreement Do Not Support the Normativity of Meaning”Dialectica 70.1: 65–84Uses the Open Question Argument machinery.

§2  The bridge to Socrates: what actually exists


Classified on the scheme used for the earlier erotetic-regress survey. The result is unusually clean: one near-direct statement, two partial ones, all three by the same author, in the same reference work, and none of them developed anywhere.

Direct hitA worked argument joining Langford’s paradox to the Socratic definitional demand.
PartialThe connection asserted, but in passing and without argument.
Near missTitle or subject promises the join; content does not deliver it.
NegativeA text where the join should appear and demonstrably does not.

§3  The negative result, verified rather than assumed


The earlier commissioned survey was wrong about a negative because it could not open the books. This one was checked by searching the full text of the actual volumes, on the shelf and in the extracted working files. Counts are occurrences of Langford and of paradox of analysis, case-insensitive, across the whole text.

TextWhy it should be there“Langford”“paradox of analysis”
Fine, The Possibility of Inquiry: Meno’s Paradox from Socrates to Sextus (2014)An entire monograph on the paradox Beaney says anticipates Langford’s.00
Benson, Socratic Wisdom (2000)Builds (PD) out of Belnap & Steel’s erotetic logic; ch. 5 is on the form of the question.00
Hintikka, Socratic Epistemology (2007)States the regress of presuppositions and applies it to Socrates by name.00
Vlastos & Burnyeat, Socratic Studies (1994)The locus classicus for the problem of the elenchus.00
Robinson, Plato’s Earlier Dialectic (1941/1953)Contemporary with Langford; the founding treatment of Socratic definition.00
Geach, Plato’s Euthyphro: An Analysis and Commentary (1966)Geach names the Socratic Fallacy; the title says “analysis.”00
Dancy, Plato’s Introduction of Forms (2004)The most analytically-framed book on Socratic definitional theory.00
Ferejohn, Formal Causes (2013)Definition, explanation and unity in Socratic thought.00

And in the other direction, the most recent full-scale treatment of the priority of definition — the only one that resolves the problem by examining the “What is F-ness?” question itself, which is this paper’s own move — also contains nothing:

The nearest live competitor Justin C. Clark, “Socrates, the ‘What is F-ness?’ Question, and the Priority of Definition,” Archiv für Geschichte der Philosophie (2021), doi 10.1515/agph-2020-0125; expanded as ch. 4, “Socratic Epistemology and the Priority of Definition,” in Plato’s Dialogues of Definition: Causal and Conceptual Investigations (Palgrave Macmillan, 2022), 81–98.

Clark’s diagnosis: commentators have tried to reconcile (PD) with the method “typically without a careful examination of his ‘What is F-ness?’ question,” and his solution is that the question introduces two distinct types of investigation, conceptual and causal.

This must be cited in the OSAP paper’s §2. It is the closest thing to a rival: same complaint about the literature, same decision to interrogate the question rather than the principle. It differs in what it finds there — Clark finds an ambiguity in the kind of investigation demanded; the paper finds a set of unwarranted presuppositions. Clark’s dual-function thesis is in fact a natural ally: a question that carries two distinct investigative demands is a question with more presuppositional freight, not less.

Neither the article nor the book mentions Langford, Moore, or the paradox of analysis.

§4  The verification pass: five volumes opened


The sweep was run from bibliographies and abstracts. Five of its load-bearing claims have now been checked against the texts themselves. Three were wrong. The two that survived came back stronger than they went in.

Corrected
Frege did not state the paradox. Husserl did. The sweep said Frege states it in the 1894 review of Husserl. He does not — he quotes it from Husserl’s Philosophie der Arithmetik (1891) and rejects it. Dummett: “Husserl had clearly faced the paradox of analysis, and had come to the conclusion that it is irresoluble, and hence that analysis is impossible. Frege, in his review, rejects the paradox” (p. 24). The SEP bibliography’s annotation on the review — “[statement of the paradox of analysis]” — is misleading in the same way.
Corrected
Dummett never mentions Langford. Zero occurrences across the whole volume. He credits “Moore’s discovery of the paradox of analysis” (p. 25) and works entirely from Frege, Husserl and the 1914 Logik in der Mathematik notes.
Corrected
O’Connor does not read Langford either. The article titled “Moore and the Paradox of Analysis” names Langford exactly once, in its opening clause, and takes its formulation of the paradox from Lewy’s Meaning and Modality, not from Langford. Its footnote 1 cites Moore at the Open Court 1968 printing, p. 666 — so the Moore confession quoted in §0 should be cited to that printing, not to 1942.

4.1  What Husserl actually wrote — and why it is not Langford’s dilemma

Dummett translates the passage Frege quotes:

Even the sense is something that a definition is incapable of analysing; for the analysed sense is, as such, not the same as the original one. Either, with the word being defined, I already clearly think everything that I think with the defining expression, and then we have the ‘obvious circle’; or the defining expression has a more richly articulated sense, so that with it I do not think the same as with that being defined, and hence the definition is incorrect. Husserl, Philosophie der Arithmetik (1891), quoted in Frege’s review, Zeitschrift für Philosophie und philosophische Kritik 103 (1894), 319; translated in Dummett, Frege and Other Philosophers (Oxford: Clarendon, 1991), 24.

The horns are not the same. Langford’s are trivial or incorrect. Husserl’s are circular or incorrect. That difference is worth the whole detour, because the circularity horn is the Socratic horn. Husserl’s first horn is not that the definition tells you nothing; it is that the definition already contains what it was supposed to supply — which is precisely the complaint that the definiens of justice cannot be given without justice, and precisely the shape of the regress the paper is arguing for. Langford’s version, being about triviality rather than circularity, is the weaker of the two for this purpose.

4.2  Frege’s escape is the one Socrates cannot take

Frege’s reply to Husserl, in the same review:

…the definition of a conic as the circumference of the intersection between a plane and the surface of a right cone is neither more correct nor more incorrect than its definition as a plane curve whose equation with respect to rectangular coordinates is of degree 2. His choosing either of these two definitions, or some third one, will be based on convenience, regardless of the fact that these expressions neither have the same sense nor give rise to the same ideas. … a coincidence of extension is a sufficient and necessary criterion for there to obtain between concepts that relation which corresponds to identity as a relation between objects. Frege, review of Husserl, 319–20; in Dummett 1991, 25.

Frege escapes the paradox by dropping from sense to extension. Coextension is enough; which of two coextensive definitions you take is a matter of convenience. That is Benson’s coextensiveness condition on its own, with the other two matrix conditions discarded — and it is exactly the escape Socrates refuses. “Justice is not killing people” fails for Socrates even where it does not misfire extensionally, because Socrates wants the explanatory and semantic conditions too. Frege buys his way out with the currency Socrates will not spend.

Dummett then shows the escape does not work even for Frege: “the criterion for correct definition that he proposes in his review of Husserl is patently inadequate” (p. 29), because the two definitions of a conic are not merely coextensive but provably coextensive, and mere material equivalence would not be accepted by any mathematician as a definition. This is the same objection, in formal dress, that Socrates makes to every definition by accidental coincidence.

4.3  There is a priority of definition in Frege

The find that most directly reinforces the paper:

In Grundlagen, he is at one with Husserl in regarding it as a requirement on correct definition that it respect the true order of conceptual priority. This requirement goes quite unmentioned in the review of Husserl… We must define ‘the direction of the line a’, Frege insists, in terms of the relational expression ‘is parallel to’, and not conversely, since the latter is conceptually prior to the former. He makes clear that he regards the point as general. Dummett 1991, 42, on Frege, Grundlagen §64.

A priority-of-definition principle, in Frege, generalised, and stated as a constraint on which definitions may be given first. It is the same structural claim as (PD) with the epistemic operator removed: not you cannot know x without knowing what F is, but you cannot define x before you have defined what x depends on. And Dummett’s observation that it “goes quite unmentioned in the review” is the diagnosis in miniature: the moment Frege needs to escape the paradox, the priority requirement disappears from view. One cannot hold both at once. That is the paper’s claim about Socrates, found independently in Frege by Frege’s best reader.

4.4  Clark states the paradox of analysis as his own positive thesis

The sweep reported that Clark’s article and book contain no mention of Langford, Moore or the paradox of analysis. Full-text search confirms it: zero occurrences in both. What the sweep could not know from an abstract is how much worse that is. Clark’s central positive claim, in his own words:

My claim is that Socratic ‘definitions’ state the meaning of the term ‘F’ by providing an intensionally equivalent expression, or an informative synonym. Sameness in ‘meaning’ here appears to involve sameness in cognitive significance… Clark, Plato’s Dialogues of Definition (Palgrave, 2022), ch. 2, n. 28.

“An informative synonym” is the paradox of analysis stated as a requirement. Langford’s whole point is that synonymous and informative are the two horns, and that an expression cannot wear both. “Sameness in cognitive significance” makes it worse: cognitive significance is Fregean vocabulary, and difference in cognitive significance is exactly what an informative analysis must have and a synonymy must not.

Clark does have an answer, though he does not present it as one. Following Forster, an informative synonym is “a synonym articulated by means of words, each of which signifies a concept other than that being defined” — fear as the expectation of future evil is informative; dread is not. That is Langford’s criterion for formal analysis, arrived at independently and forty-two years later: the analysans is synonymous but its verbal component shows the complexity of the conceptual one. And Clark’s footnote 31 adds the asymmetry — “If A defines B, it will not be the case that B defines A” — which is Frege’s order of conceptual priority under a third name.

The triangle

Three authors, three vocabularies, one criterion, no citations between them:

Husserl 1891 / Frege 1894 — the defining expression must have “a more richly articulated sense”; definitions must respect the order of conceptual priority.

Langford 1942/1964 — formal analysis gives a synonymous but less idiomatic usage “whose verbal component shows the complexity of the conceptual component.”

Clark 2021/2022 — an informative synonym is one “articulated by means of words, each of which signifies a concept other than that being defined,” with an asymmetry constraint.

Clark is giving a structural solution to the paradox of analysis without knowing that is what it is, without defending it against the four waves of objections to it, and without noticing that Frege — whose vocabulary he borrows — abandoned it.

What this does to §2 of the paper. Clark is no longer merely a rival to be cited. He is the demonstration. The claim “the Socratic literature has never been told about the paradox of analysis” is thin on its own; the claim “the most recent monograph on Socratic definition advances the paradox of analysis as its own positive thesis, in the same terms, and does not recognise it” is not. One further consequence: Clark places Socrates on the nominal side of the nominal/real definition fork — “I am suggesting Socrates is seeking something more like a nominal essence,” departing from Woodruff — which is the side on which the paradox bites hardest, and which he does not defend against it.

4.5  Loux: the same regress, terminated in ontology

Michael Loux, Primary Ousia: An Essay on Aristotle’s Metaphysics Z and H (Ithaca: Cornell UP, 1991). Not part of the Langford question, but it belongs in the paper’s §5 and §6, because it is the same argument in Aristotelian dress and it reaches the same terminus.

…the hierarchical conception of essence imposes on the theorist the task of identifying those essences that are fundamental in the sense that they presuppose no prior essences but essences of all other levels ultimately presuppose or depend on them… the idea of primary ousiai becomes the idea of things such that, first, their being what they are hinges on nothing else and so stands in need of no explanation… Loux, Primary Ousia, 77.

That is the foundationalist horn stated as an ontological thesis: a level of essence that presupposes nothing prior and needs no explanation. It is Collingwood’s ultimate presupposition with a subject matter. Loux also reconstructs an explicit regress-and-terminate argument in the Categories — his Unanalyzability Thesis, that a primary ousia’s falling under its infima species must be primitive, because “were that to be the case, the more fundamental subject would have a better claim to status as primary ousia” (p. 4). Same move as the paper’s §5.1: the regress is stopped by fiat at the level where stopping is least costly.

And Loux registers the circularity, at the level of Aristotle’s own theory: essential predication is explained by reference to the ti ên einai, and the ti ên einai is characterised by reference to essential predication, so “the appeal to essential predication in the characterization of the notion of essence might strike us as circular” (p. 79). The theory of essence cannot define its own central term without using it — which is Husserl’s first horn, one level up.

Three independent routes to one terminus, now. Hintikka’s regress of question-presuppositions ends in Collingwood. Beaney’s history of analysis ends in Collingwood. Loux’s reconstruction of Metaphysics Z ends in essences that presuppose nothing prior. None of the three knows about the others.

§5  What the sweep does to the argument


1. The fork is the literature’s own joint, not a private coinage

Langford’s 1964 distinction — formal analysis, which gives a synonymous but less idiomatic usage whose verbal component shows the complexity of the conceptual one; synthetic analysis, which gives usages that are not synonymous but necessarily have the same denotation — is the same joint that every wave above pries at. Wave 1 asks whether synonymy or metalanguage does the work. Wave 3 asks whether the analysandum is a concept or a property. Wave 4 asks whether the two differ in conceptual form (Earl) or in structure (Schick, Sellars, Rieber). Every one of these is a way of asking Langford’s question: can one and the same statement be both synonymy-preserving and denotation-enlarging?

Benson requires both at once. His semantic condition (S) demands that the definiens give the meaning of the definiendum — formal analysis. His explanatory condition (E) demands that the definiens explain why the instances are F — synthetic analysis, since a synonym explains nothing. Sixty years of literature says these come apart. That is now a citable pressure on (PD), not an observation.

2. Nobody has run it at Socrates — and the negative is now verified, not assumed

The survey commissioned earlier got a negative wrong because it could not open the books. This one opened them. Fine wrote four hundred pages on Meno’s paradox without naming Langford once. Benson imported Belnap & Steel’s erotetic logic without noticing that Belnap’s co-author on the revision theory of definitions was, in 1998, being used against the paradox of analysis by Orilia and Varzi. The two literatures are adjacent, share machinery, and do not read each other.

3. The Collingwood convergence — the sweep’s real find

The paper reaches Collingwood’s ultimate presuppositions by one route: Hintikka’s regress of question-presuppositions terminates there, and the paper takes that terminus over as its foundationalist horn. Beaney reaches Collingwood by an entirely different route: the paradox of analysis runs back through Moore to Frege, and Collingwood’s Essay on Philosophical Method (1933) is where a response to it is developed — a response Collingwood himself traces to the Meno.

Two independent roads to the same terminus. One through erotetic logic and the regress of presuppositions; one through the theory of analysis and the trivial/incorrect dilemma. Neither knows about the other. They arrive at the same 1933 book. That is evidence the terminus is a real feature of the problem rather than an artefact of the paper’s own construction — which is exactly the kind of corroboration a novel argument in OSAP needs, and it is worth a paragraph in §5.1 or §7.

Action: Collingwood’s Essay on Philosophical Method (Oxford, 1933), esp. ch. 2 on the “overlap of classes,” should be read directly rather than through Hintikka. It is not currently in the folder.

4. What it licenses in a new §3.3

The proposed “relata problem” section can now be written with a spine. The dilemma is not “here is a worry I have about (PD)” but: the demand Socrates makes has been known since 1894 to be over-determined, the problem was named in 1942, four waves of solutions have been proposed and none has become standard, and the ancient literature has never once been told. That is a paper-shaped claim.

It also gives the section its honest limit. The paradox of analysis is a problem about analysis; Socratic definitions are standardly read as real definitions, which is Benson’s own fork at §5.4.3 and Robinson’s in Definition (1954). The right claim is therefore conditional and should be stated as one: to the extent that (S) makes the Socratic demand a demand for analysis at all, the paradox applies to it — and (S) is Benson’s condition, not the paper’s invention. Beaney’s conditional, discharged in the opposite direction.

§6  What to read next, ranked


Nothing in this literature is in the folder — the library is entirely ancient philosophy, and the analytic philosophy of language shelf is empty. Access noted for each.

#ItemWhy firstAccess
1Sharvy 1972, “Euthyphro 9d–11b: Analysis and Definition in Plato and Others,” Noûs 6: 119–37The only item that could falsify the negative result. Check it before writing §3.3.JSTOR
2Langford 1942 + Moore’s Reply §11, in Schilpp (ed.), The Philosophy of G. E. MooreThe primary text. The paper should quote Langford directly, not through the secondary literature, and the page needs verifying.archive.org
3Clark 2021 (AGPh) and Clark 2022, Plato’s Dialogues of Definition, PalgraveThe live rival on the same question. §2 of the paper is incomplete without it.De Gruyter / Springer
4Collingwood 1933, An Essay on Philosophical Method, OxfordThe convergence point of both routes. Currently reached only second-hand.archive.org
5Fumerton 1983, “The Paradox of Analysis,” PPR 43.4: 477–97The single most substantial article; sets out the options cleanly.JSTOR
6Ackerman 1981 and 1990The essentialist framing, and the residual second paradox that survives the solutions.Wiley / Midwest Studies
7Lewy 1976, Meaning and Modality, chs. 6–7The standard synthesis of waves 1–2 by someone who edited Moore’s lectures.archive.org
8Dummett 1987, “Frege and the Paradox of Analysis”Establishes the pre-Moorean ancestry (Frege’s 1894 Husserl review), which generalises the problem past its Moorean setting.OUP
9McGinn 2011, Truth by Analysis, ch. 4The most recent book-length answer; useful for how a defender of analysis handles the objection.OUP
10Beaney, “Analysis,” SEP, main entry §§2, 5 and supplement §3The three sentences that are the entire existing bridge. Cite them precisely; they are the paper’s warrant for saying the connection is gestured at but never made.Open

§7  Search log, including the negatives


Logged in full, per the standing rule that a survey which does not record its failures cannot be trusted about its successes. Exact strings; result stated even where nothing was found.

› Langford "paradox of analysis" "The Notion of Analysis in Moore's Philosophy" Schilpp 1942
   → SEP bib §6, Wikipedia, PhilPapers category. Located the primary source and its reprints.

› "paradox of analysis" Langford Moore "A Reply to My Critics" solution literature
   → O'Connor 1982 (Philosophy); Rieber 1994 (Erkenntnis); Earl 2007 (Acta Analytica).

› "analysandum" "analysans" "states a bare identity and is trivial" Langford quotation 1942
   → Verbatim statement recovered via Schick, "Analysis and Analyticity," Auslegung. Page still unverified.

› "paradox of analysis" Socratic "priority of definition" Meno "what is F" definition philosophy
   → NEGATIVE. No item joins them. Returned the Socratic-definition literature and the paradox literature as two disjoint sets.

› "paradox of analysis" Plato Socratic definition Euthyphro trivial informative "priority of definition" article
   → NEGATIVE. Returned undergraduate study guides and the Socratic-fallacy literature. No scholarly join.

› "Langford" "Socrates" "what is F" definition paradox analysis ancient philosophy journal article
   → NEGATIVE. Best return was Clark 2021, which does not mention Langford.

› "paradox of analysis" "Socratic" definition Geach "Socratic fallacy" analysis informative correct
   → NEGATIVE. The Socratic-fallacy literature (Prior, Beversluis, Sakezles, Wolfsdorf) returns with no analytic cross-reference.

› "real definition" essence Rosen OR "Kit Fine" "paradox of analysis" informative trivial grounding
   → NEGATIVE. The contemporary real-definition / essence literature (Fine, Rosen, Correia, Litland 2025) does not engage the paradox of analysis under that name. A genuine gap, and a possible second paper.

› Charles "Definition in Greek Philosophy" 2010 — "paradox of analysis"
   → NEGATIVE. No indication the volume engages it.

› full-text grep, 8 volumes on the shelf, /i "langford" and "paradox of analysis"
   → 0 hits in all 8. See the table in §3.

› PhilPapers category browse: The Paradox of Analysis
   → 35+ entries, fully enumerated above; no ancient-philosophy item in the category.
Not done
Sharvy 1972 not opened. The one item that could overturn the negative result. It is behind JSTOR and was not reachable in this sweep. Every claim above that “nobody has made the connection” is conditional on it.
Not done
Langford’s page number unverified. The paradox statement is quoted here at second hand. Before it goes into the paper, the Schilpp volume needs to be opened and the page fixed — and the pagination differs between the 1942, 1952 and 1968 printings.
Not done
McGinn ch. 4 not read. Whether he makes a Socratic claim inside the chapter is unknown; only the publisher’s description was available.
Rate-limited
Rieber 1994 first page not retrieved. Springer returned HTTP 429. The citation is from the PhilPapers record, not from the article.

Sweep parameters. Forty items located across the SEP annotated bibliography §6 (“Conceptions of Analysis in Analytic Philosophy”), the PhilPapers category The Paradox of Analysis, and targeted searches; eight shelf volumes checked by full-text search. Classification scheme carried over from the erotetic-regress research prompt.

Standing caution. After the verification pass of §4, one load-bearing claim remains second-hand: the Langford quotation and its page, still taken from Schick rather than from the Schilpp volume. Fixable in an afternoon. And the assertion that no one has joined the paradox to the Socratic demand still stands or falls with Sharvy 1972, which remains unopened. Everything else in this document has now been checked against the text it cites.