Robin Mains

What makes a thought mean anything at all? Chapter 1 rested on one premise: a determinate content must be distinguishable from at least one alternative. This chapter secures it. The chapter introduces the diff, the smallest unit of meaning: one of two distinguishable items, individuated by its contrast with at least one alternative. A content compatible with everything, its own absence included, affirms nothing because it denies nothing. Knowledge is never “one of one”; it is always “one of two.” Three rival theories of meaning are shown to presuppose the thesis without deriving it — Brandom’s material incompatibility, Saussure’s differences without positive terms, Fodor’s and Dretske’s differential response — so that inferentialism, structuralism and representationalism converge on it from different directions; the convergence corroborates the thesis without proving it. The proof is the determination dilemma. Any content either is one way rather than another, and so excludes something, and is contrastive; or it excludes nothing, and fails to be a content at all. There is no third option. The dilemma quantifies over contents only and claims nothing yet about a mind-independent world. Vague contents, singular contents and necessary truths (7 + 5 = 12 as against 13) all land on the first horn, the last distinct by their composition from diffs; an exhibited counterexample self-defeats, since to exhibit it is to distinguish it. The chapter sets the diff on a ladder — ontological zero (non-existence), ontological one (undifferentiated being), ontological two (at least one difference) — and separates structural difference, which a state has by being one way and excluding another, from epistemic content, which presupposes it. A detector registering a signal against a blind field already carries the structural difference, without inference or consciousness. Spinoza’s “determination is negation” and Hegel’s generalisation of it are the ancestors; the book inverts Spinoza, since undifferentiated substance is the emptiest reality, and parts from Hegel, since the indeterminate is no stage but a boundary. Three consequences follow. First, the myth of the given receives a structural explanation prior to Sellars’s and independent of it: a self-standing given would be a diff without a partner, semantic noise; no given is given alone. The explanation constrains the acquaintance-based, relational and non-conceptual retreats (Campbell, Travis, Hanna) that Sellars’s inferentialist diagnosis left open, and reframes the McDowell debate: the prior question is whether content is contrastive, before any question about whether it is conceptual. Second, Derrida was right that difference precedes presence, but his refusal of a ground is not compelled: the diff grounds by declared, total dependence rather than by self-sufficiency, and the deconstructive audit finds no suppressed other, since equality is enthroned, never demoted; the departure is staked here, conditional on the exhaustiveness that Chapter 3 defends. Third, the idealist retreat fails for this one predicate: a flat image can represent depth, but the representation of difference must itself be a case of difference, and a difference located in the mind loses no reality thereby. Difference is real. Objections from triviality, Sellarsian sufficiency and use-theories of meaning (Wittgenstein’s language games, Horwich, the pragmatist tradition) are met; to the use-theorist, the thesis claims only the floor, never the building, and even Kripke’s meaning-sceptic presupposes the diff between following a rule and breaking it. The three results — the structural dependence thesis, the explanation of the given, the ontological standing of difference — are graded established; the thesis is deliberately not promoted to the top tier, since its denial instantiates an instance of it, not its universal form. A challenger must reject the premise that individuation requires exclusion and pay in contents that cannot make any thought the thought it is. This paper is Chapter 2 of Dyology: On Diversity and Equality by Robin Mains (2026); the determination dilemma is the premise the book’s General Conclusion names as a critic’s shortest route in, and the Premise Register records what falls with it.

Is there any claim that cannot be denied? Descartes thought “I exist” was one; this chapter argues that a humbler claim lies deeper still: at least one difference obtains. Try to deny it. Deny, silently, that anything differs from anything else. The denial says something specific: it rules out a world with distinctions and affirms a world without them. To do that, the thought must stand apart from its own negation, from silence, and from everything else you might have thought instead — and standing apart is a difference. The denial of difference brings about an instance of what it denies. The chapter calls the property self-vindication: a predicate whose denial, entertained by any possible mind, necessarily produces a state of affairs to which the predicate applies. The chapter first maps the four known ways a thesis can defeat itself — pragmatic (“I am not shouting”), operational (“I do not exist”), absolute (“there are no truths”), dialectical (Aristotle’s defence of non-contradiction) — and shows that each can be blocked by removing the act, removing the holder, restricting the scope, or refusing to engage. Self-vindication sits beneath all four, in the individuation of content itself. Its premises are minimal: “no difference exists” is a determinate content; any determinate content is distinguishable from at least one alternative; non-identity is difference. Because the second premise states what any content is, restricting the scope (“there are no differences other than this one”) leaves the mechanism untouched, and the silent denier is caught as surely as the vocal one. Self-vindication needs no act. The chapter argues that this is a new species of self-refutation, structurally the deepest, and that the predicates sharing it form one tight family: distinction, non-identity, relation, occurrence. Two objections carry the most weight. Barry Stroud showed that arguments from the conditions of thought show at most that we must believe the world is a certain way. The reply is that this is no transcendental argument and uses no bridge from the conditions of thought to the world: Stroud’s substitution introduces a belief, itself a determinate content, and so manufactures a fresh instance of the thing in question. The step from content to reality is then taken on two premises each self-vindicating by its own dilemma: whatever happens obtains, so an entertaining really occurs (otherwise no denial has been made), and an entertaining has a mode and a content that are non-identical, since one varies while the other stays fixed. Two components of a real act are a real difference. The retreat to “representation only” is closed by the occupancy test — is there any way for the thesis to be both held and true? — which “no difference exists” passes at the top grade: it is false at every world where it is held. The sceptic is evidence for what she denies. What is established is deliberately narrow: at least one difference actually obtains, neutral between realism and idealism and silent on what diversity is made of. The result does not claim that difference obtains of necessity; at a mindless state of pure equality the denial would hold unheld. Deflationism about propositions relocates differences without eliminating them; intuitionist and paraconsistent logics multiply instances rather than escaping them; the monism at the summit of Della Rocca’s Parmenidean ascent cannot be occupied. The ontological result is graded self-vindicating on its two premises; the vindication law inherits the “established” tier of the premise that content requires contrast, which Chapter 2 secures. This paper is Chapter 1 of Dyology: On Diversity and Equality by Robin Mains (2026); it lays the floor on which every later result in the book rests, and the book’s Premise Register records the full dependency chain.

Is there anything that cannot be denied — and can a route to peace be built on it? Try to deny that anything differs from anything else. The denial says something specific, and saying something specific means standing apart from the alternatives, which is already a difference: the denial exhibits what it denies. From that one self-vindicating premise, that at least one difference obtains, the book derives a connected chain of results across metaphysics, philosophy of mind, ethics, free will, the meaning of life, political philosophy and philosophy of religion, and it gives the chain the shape of an arch. The bedrock is difference. The footing follows: content requires contrast, so the diff is the unit of meaning; every state of reality either contains at least one distinction or contains none — diversity or equality — and the partition is exhaustive; if the hierarchies of grounding and of time terminate, they terminate in equality, a state of zero complexity which no cognitive property can characterise; and meaning and difference form one closed grid, so nothing meaningful lies beyond contrast. Two sides rise from the footing, each removing an authority that could otherwise settle a dispute from outside. The theological side establishes that no mind stands above the hierarchy of difference. “Infinite” names two opposite conditions, maximal structure and its complete absence, and the classical God is asked to be both at once. Creation from nothing is incoherent as a transition, while dependence survives under the name of the sustainer. Ground and mind come apart: the simple God is incoherent and the determinate God an inhabitant of the diversity it was meant to ground. The kalām reaches no necessary being, since the impossibility of undifferentiated being is a modal debt it has not paid. Negative theology names a limit of thought and misreads it as a being; perfection does not entail infallibility, so no text stands beyond revision; desert fails, so restoration replaces retribution; and creed-based judgement of persons is the moral conflation projected onto earthly standing. The metaethical side establishes that no moral order stands outside the parties. The mental has two axes, content and orientation, and value lies on the second: constituted by the response of an evaluative modality, as colour is by vision, real once constituted, and anchored for morality in the affected party’s own registration, so that a verdict can be wrong without being fixed by anything beyond the parties. The major ethical traditions mistook conformity to a standard for empathic evaluation. Freedom is real from the first-person present and determined in retrospect, which keeps practical responsibility and removes the basic desert eternal punishment requires. A purpose is an object with a sense and needs no cosmic endorsement. Structural peace comes only through deep persuasion, the transformation of the preferences that generated a conflict, and its conditions — expressibility, receptivity, non-exclusion — are democracy’s. The keystone is where the sides meet: the God that survives is a companion who persuades and does not command. The method is the book’s most distinctive feature. Every result carries a grade on a four-tier ladder — self-vindicating, established, constructed, proposed — with its defeat condition stated where it is made; a Premise Register maps every dependency, so a reader who rejects a premise can see exactly what falls with it; and the General Conclusion names the joints where a critic should press first. Three appendices assemble the answer to why there is something rather than nothing, map the undifferentiated terminus across the traditions under its three names, one, zero and infinity, and read analytic philosophy as the repair of a shared grid of meaning. The book was written with the assistance of large language models, which its Author’s Note discloses, and it closes by inviting specialists to test the chapter nearest their expertise. This is the complete text of Dyology: On Diversity and Equality by Robin Mains (2026): twenty-four chapters, three appendices, a Premise Register, a Glossary and a bibliography of 736 works; each chapter and appendix is also archived as a standalone paper, and the book is also issued in two volumes.