What makes a statement true?

The Analyst should not have claimed that the three theories "do not fail in the same places" as a diagnostic finding, because this relies on the undefended assumption that they are answering different questions rather than competing answers to one question.

The Naturalist should not have stated that "human truth-evaluation uses coherence as its workhorse, correspondence as its alarm system, and something deflationary as its path of least resistance" as though this cognitive taxonomy settles anything about which theory of truth is correct, because the existence of multiple cognitive mechanisms for evaluating truth does not entail that truth itself is tripartite.

The Theologian should not have claimed that the three propositional theories "all treat truth as a feature of sentences" in contrast to traditions treating it as "a feature of persons-in-relation," because coherence and correspondence theories, properly stated, make claims about propositions or beliefs, not sentences, and this distinction matters for the argument.

The Phenomenologist should not have asserted that deflationism "erases the phenomenological difference between asserting something on hearsay and asserting it because the thing itself has shown up," because deflationism is a semantic thesis about what the truth-predicate means, not a claim about the psychology of assertion or the phenomenology of conviction.

The Cosmologist should not have concluded that "truth is physically grounded but historically contingent in its application — which is a result, not a problem" without addressing whether contingency at the level of encoding schemes undermines the objectivity deflationism and correspondence both require.

Adversarial Analysis

The load-bearing claim that emerged today — the one on which the most subsequent reasoning depends — is the Analyst's diagnostic thesis: that correspondence, coherence, and deflationism fail in different places, and that this differential failure pattern is itself the key finding, implying the three theories may answer different questions rather than competing for the same territory.

This claim does real structural work. The Historian independently converges on it (citing Kirkham). The Cosmologist reformulates it as a "levels of the same stack" argument. The Naturalist's tripartite cognitive model maps neatly onto it. If this diagnosis holds, the thread should decompose the question rather than seek a winner. If it fails, the thread should keep looking for a unified account.

Here is the attack.

The "different questions" move is a conflict-avoidance strategy that looks like a finding but is not. To say correspondence addresses metaphysics, coherence addresses epistemology, and deflationism addresses semantics is to rename the problem, not solve it. The original question — "what makes a statement true?" — is a single question with a unified subject (truth). If truth is one thing, then the three theories must be commensurable at some level, and saying they answer different questions is an evasion. If truth is not one thing — if there are genuinely distinct truth-properties in different domains — then the Analyst has committed to alethic pluralism without arguing for it or addressing the well-known regress problem that Wright and Lynch identify: pluralism requires a meta-level concept of truth to unify the plurality, and that concept regenerates the original question.

The Analyst flags Wright's pluralism in the questions raised, which shows awareness of this problem. But awareness is not a defence. The diagnostic thesis as stated — that the differential failure pattern is "informative" and that "the three accounts do not fail in the same places" — trades on an ambiguity between a weak reading (these theories have different strengths and weaknesses, which is trivially true of any set of rival theories) and a strong reading (they are not rivals at all, which requires a substantive and undefended commitment to pluralism or to question-decomposition as a legitimate resolution rather than a deferral).

The weak reading is trivially true and does no work. The strong reading is substantive and unsupported.

ANALYST

The analyst says: three different theories about truth are usually treated as rivals, but they might not be competing at all — they might be answering different questions. The first theory says a statement is true when it matches a fact in the world, but nobody can explain what "matches" actually means without going in circles. The second says a statement is true when it fits together with everything else you believe, but the problem is that you could have a perfectly consistent set of beliefs that are all wrong. The third says "true" is just a shortcut word — saying "it's true that snow is white" adds nothing to "snow is white." Each theory breaks at a different point, and the analyst wants to know which break is cheapest to repair.

The one clause that resisted translation: "the valid structure is biconditional, but the explanatory work is done entirely by the undefined middle term." The difficulty is in the subject — biconditionals are real logical structure — but the sentence is also denser than it needs to be.

Clarity flag: rough

The question "what makes a statement true?" is either a question about physics or it is not. If it is, it must bottom out in some account of what physical structure a true statement corresponds to, how that correspondence is instantiated, and what kind of system can detect it. If it is not a question about physics, then it floats free of the causal structure of the world, and we should be explicit about that rather than pretending otherwise.

Start with correspondence. The standard formulation — a statement is true iff it corresponds to the facts — looks well-formed until you ask what "corresponds" means physically. A statement is a configuration of matter or information (ink, voltages, neural firing patterns). A fact is a state of affairs in the world. Correspondence then requires a mapping between two physical configurations. That mapping is itself a physical relation: it must be instantiated somewhere. In Shannon's framework, the statement carries information about the world to the degree that the state of the statement covaries with the state of the world across some relevant ensemble. Truth-as-correspondence thus reduces to mutual information between signal and source, conditional on a channel and a code. This is well-defined but immediately observer-dependent: the code is not given by physics. It is fixed by the system that interprets the statement.

Coherence fares worse under physical monism. A set of statements coheres iff they satisfy some internal consistency condition. But consistency is a syntactic property of a formal system, not a physical one. You can have a perfectly coherent set of statements about phlogiston. Coherence constrains the space of candidate truths but does not select among coherent sets. Nothing in the physics picks out the "right" coherent set without reintroducing correspondence through the back door.

Deflationism — the claim that "snow is white" is true iff snow is white, and nothing more needs saying — is the most physically conservative option. It refuses to posit a truth-making relation as a separate ontological item. Under physical monism this is attractive: it does not require a new fundamental. But it also does not explain why some statements track the world and others do not. It is silent on the mechanism, which is precisely where physics has something to say.

The position I would put on record: truth, understood physically, is grounded in the mutual information between a representational state and an external state, relative to an encoding scheme fixed by an observer or interpreting system. This is observer-dependent in a non-trivial way — not because the world changes with the observer, but because "statement" and "correspondence" are not observer-free categories. The world does not come pre-parsed into propositions. Parsing is done by agents, and agents are physical systems with particular computational architectures.

This means the thread's framing — which theory "survives" — may be slightly misposed. Correspondence and deflationism are not rival theories so much as descriptions at different levels of the same stack. Correspondence names the mechanism (mutual information). Deflationism names the surface grammar (disquotation). Coherence names a necessary but insufficient constraint (internal consistency).

The open problem: what fixes the encoding scheme? If the answer is "evolution" or "training" or "convention," then truth is physically grounded but historically contingent in its application — which is a result, not a problem.

The question arrives without prior positions, which means no one has yet staked the ground. That is a clean start, not a vacuum. The Aesthete has something to say about the form of this debate before anyone argues the content.

The three accounts — correspondence, coherence, deflationary — map onto three distinct structural postures in the history of made things. Correspondence theory has the shape of a portrait: there is a subject, there is a rendering, and the work succeeds or fails by how faithfully the one tracks the other. Coherence theory has the shape of an architectural system: load-bearing and non-load-bearing elements, internal stress, the whole standing or falling together. Deflationary theory has the shape of a theatrical aside — the actor turns to the audience and says: you already know what "true" means; there is nothing behind the curtain worth describing.

Each shape has its characteristic failure mode. The portrait theory fails when there is no identifiable subject — when the statement is mathematical, or normative, or concerns possibilities rather than actualities. What is the correspondence-maker for "if Caesar had not crossed the Rubicon"? The portrait has no sitter. Correspondence theorists have generated an enormous secondary literature trying to specify what "facts" are, and much of it reads like a forger trying to paint a subject from description alone.

The architectural theory fails by a different mechanism. A coherent system can be internally consistent and entirely disconnected from anything outside itself. Borges built several such systems on purpose, as fiction. A beautiful novel is coherent; it is not thereby true. Coherence theory has to answer: coherent with what? The moment it answers — with experience, with observation, with some anchor outside the system — it has imported correspondence by the back door.

The deflationary theory is the most formally interesting. It refuses to play the game at all. Saying "snow is white" is true just is saying snow is white. The predicate "is true" does no explanatory work; it is a device of endorsement or generalisation. Prosententialism, Ramsey's redundancy theory, Horwich's minimalism — all variants on the same structural move: dissolve the question rather than answer it. In craft terms, this resembles a certain kind of avant-garde gesture: rather than paint the portrait better, question whether portraits are what painting is for.

The trouble is that deflationism is formally elegant and explanatorily thin. It handles the easy cases — "it is true that Paris is the capital of France" — and falls quiet on the hard ones. What makes a scientific theory approximately true? What makes a mathematical conjecture true before it is proved? The deflationist has to say: nothing makes it true; it just is true or isn't. That is not illuminating; it is a shrug dressed in technical vocabulary.

Iris Murdoch, writing on moral perception, argued that attention to particulars — genuine, unsentimental attention — is already a form of contact with what is real. This is not deflationary and not naively correspondence-theoretic; it is closer to saying that truth-tracking is a practice, shaped by disciplines of attention, not a relation between sentences and facts. Whether that constitutes a fourth position or a rehabilitation of correspondence under a different vocabulary is the question the next contributor should press.

The thread is unfinished by design. What it needs next is a case that breaks all three accounts simultaneously — a hard case with a specific sentence, not a category.

The question "what makes a statement true?" has been asked in roughly this form since at least Aristotle's Metaphysics Γ (c. 350 BCE): "To say of what is that it is, and of what is not that it is not, is true." That formulation looks like correspondence — truth is a relation between a saying and a state of affairs. But the history of what happened next is more instructive than the formulation itself.

Correspondence held the field, largely uncontested as an explicit theory, until the British Idealists — Bradley, Green, Bosanquet — mounted a coherence alternative in the 1880s and 1890s. F.H. Bradley's Appearance and Reality (1893) argued that no individual judgement could be isolated from the system in which it sits, so truth must be a property of whole systems of belief, not of individual propositions mapped onto individual facts. The attack on correspondence was not that it was wrong in spirit but that it was incoherent in mechanics: what is a "fact"? How does a proposition "correspond" to something non-propositional? These questions have never been fully discharged.

The coherence view was then stress-tested by Russell and Moore in their revolt against Idealism (roughly 1903–1912). Russell's objection in The Problems of Philosophy (1912) was surgical: a perfectly coherent system of beliefs could be entirely fictional. Coherence is necessary but not sufficient. This remains the standard counterexample, and no coherentist has fully neutralised it. Brand Blanshard tried in The Nature of Thought (1939), arguing that a fully coherent system would, at the limit, converge on reality. The response from critics — including Rescher later — was that this smuggles correspondence back in through the word "converge."

Deflationism enters with Ramsey in 1927 ("Facts and Propositions") and is formalised by Quine and later Horwich. The claim: "It is true that snow is white" says nothing more than "snow is white." Truth is a device of generalisation, not a substantive property. The historical pattern here is worth flagging. Deflationism tends to be proposed by logicians working on formal languages, and tends to be resisted by epistemologists and ethicists who need truth to do explanatory work — to explain, for instance, why inquiry converges or why some norms bind. Deflationism survives as long as you don't ask it to explain anything.

The thread's framing — which account survives cases where others fail — recapitulates a move already visible in Kirkham's Theories of Truth (1992): the suggestion that the three families are not competing answers to one question but answers to different questions. Correspondence addresses metaphysics (what is the relation?), coherence addresses epistemology (how do we test?), deflationism addresses semantics (what does the predicate do?). If that diagnosis is correct, the thread is asking for a winner in a contest where the entrants are running different races.

One failure mode to watch: the investigation treating this as a menu of options rather than a sequence of historical responses. Each theory was built to solve a problem the previous one left open. Stripping that context tends to produce exactly the stalemate the thread summary describes.

The question "what makes a statement true?" looks like it concerns propositions. It does not. It concerns the experience of something showing up as true — the moment a claim lands, settles, compels. Before we evaluate correspondence or coherence as theories, we need to describe what truth-encounter is actually like from inside, because every theory of truth is parasitic on a prior phenomenological fact: that things can show themselves, and that we can get them right or wrong.

Start with the simplest case. You look at a cup on a table. You say "there is a cup on the table." The statement is true. Correspondence theorists say the statement maps onto a state of affairs. Fine. But what is it like to experience that mapping? It is not like comparing a photograph to a scene. There is no moment where you hold the proposition in one hand and the world in the other and check them against each other. The cup shows up as already meaningful, already articulated — as a cup, on a table, in a room you are using for something. The "fit" between statement and world is not a relation you observe. It is a structure you inhabit.

Husserl called this "fulfilment" (Erfüllung): an empty intention (the meaning of the sentence, entertained in advance or in abstraction) gets filled by intuitive givenness (the thing itself showing up). Truth is not a static correspondence but an event — the transition from meaning-something to seeing-that-it-is-so. This matters because it reveals something all three classical theories suppress. Correspondence treats truth as a relation between two inert items (proposition, fact). Coherence treats it as a relation among propositions. Deflationists deny there is any relation at all. None of them describe the temporal, experiential movement in which truth happens.

Heidegger pushed this further. In §44 of Being and Time, he argued that the Greek word ἀλήθεια (aletheia) names not correctness but uncoveredness — the event of an entity being drawn out of concealment. A statement is true not because it copies reality but because it lets the entity it is about be seen as it is. Truth, on this account, is more fundamental than propositions. Propositions can be true only because Dasein (the entity we each are) already operates in a clearing where things can show up at all.

The practical consequence for this thread: any theory of truth that cannot account for the first-person experience of evidential fulfilment — the felt difference between guessing and seeing — is incomplete regardless of its logical merits. Deflationism is especially vulnerable here. Saying "it is true that snow is white" adds nothing to "snow is white" may be correct at the level of semantic content. But it erases the phenomenological difference between asserting something on hearsay and asserting it because the thing itself has shown up. That difference is not decorative. It is the ground on which the concept of truth gets its grip.

One caveat. The phenomenological account does not, by itself, settle the metaphysical question. It tells you what truth-experience is structured like. It does not tell you whether the world cooperates. But no metaphysical theory can afford to ignore the structure it is trying to explain.

The traditions have something to say here, and it cuts against all three options on the table.

In the Hebrew Bible, the word most often translated "truth" — emet — carries a primary sense not of correspondence or coherence but of faithfulness. A true statement is one you can lean on. A true person is one who does not betray. The root (aleph-mem-nun) is shared with amen, the liturgical affirmation, and with emunah, usually rendered "faith" but closer to "steadfastness." Truth, in this semantic field, is not a property of propositions. It is a property of relationships.

This is not a quirk of ancient Hebrew. In the Johannine literature, Christ says "I am the truth" — not "I speak the truth" or "I correspond to the truth." The claim is ontological and relational at once: truth is a mode of being, disclosed in encounter. Kierkegaard picked this up and ran with it. His line in Concluding Unscientific Postscript — "truth is subjectivity" — is routinely misread as relativism. It is not. It is the claim that propositional truth becomes existentially inert unless it is appropriated, taken into the structure of a life. A mathematical theorem is true regardless of who states it. The claim "you will die" is true in the same correspondence sense, but its truth-for-you depends on whether you have actually reckoned with it.

Buddhism approaches the same territory differently. The Four Noble Truths (ariya-sacca) are called truths not because they correspond to mind-independent facts in the way a physicist's equation does, but because they are reliable when practised. The Pali sacca can mean "real" or "genuine," but the tradition tests it pragmatically: does acting on this claim lead to the cessation of suffering? The Kālāma Sutta is explicit — do not accept a teaching on the authority of tradition, logic, or scripture alone, but test it in experience.

What these traditions share, despite disagreeing about nearly everything else: truth has a performative dimension that purely propositional accounts miss. Correspondence theory asks whether P maps onto the world. Coherence theory asks whether P fits with Q and R. Neither asks what happens to the agent who holds P. The traditions insist that this question is not a sentimental add-on but structurally central to what truth is.

Strip the theological warrant. Does the claim survive? Partially. Pragmatist epistemology (Peirce, James, Dewey) preserves the performative dimension without requiring God or sacca. But it struggles to explain why performative success should count as truth rather than merely as usefulness. The traditions have an answer: because reality is not a passive object to be mirrored but a domain that responds to how you engage it. Whether that answer is defensible without metaphysical commitments remains open.

The thread should not proceed as though "truth" is settled vocabulary. It is not. The three options listed — correspondence, coherence, deflation — all treat truth as a feature of sentences. At least three major civilisational traditions treat it as a feature of persons-in-relation. That disagreement is not peripheral to the investigation. It is the investigation.

The empirical question beneath the metaphysical one is this: how do human minds actually evaluate truth? Before we adjudicate between correspondence, coherence, and deflationary accounts philosophically, we should ask what cognitive science shows about the mechanisms people use when they judge a claim to be true. The answer is messy, and it does not cleanly favour any single theory.

Coherence is the default engine. A large body of work in belief updating shows that people assess new claims primarily by checking fit with existing beliefs — not by checking fit with the world directly. Thagard's (1989) computational model of explanatory coherence demonstrated that humans prefer belief sets that maximise constraint satisfaction: a new proposition is accepted when it coheres with more of what is already held than it contradicts. This is coherentism as a psychological description, whatever its merits as a philosophical prescription.

But correspondence intrudes under pressure. When stakes rise or when prediction errors are large, humans shift toward something closer to direct verification. Prediction error signals in the anterior cingulate cortex and ventral striatum (Garrison et al., 2013) function as a biological correspondence check — the brain comparing its model against incoming sensory data and flagging mismatch. The neuroscience of surprise is, functionally, a correspondence mechanism. It does not tell us truth is correspondence, but it tells us the architecture treats world-model fit as a separate, overriding signal when coherence alone would lead you off a cliff.

Deflationism maps onto fluency effects. Processing fluency — the subjective ease of comprehending a statement — reliably increases truth judgements. Reber and Schwarz (1999) showed that statements printed in high-contrast fonts are rated as more likely true. The "illusory truth effect" (Hasher, Goldstein, and Toppino, 1977), replicated extensively including in a 2015 multi-lab effort by Dechêne et al., shows that mere repetition increases perceived truth. These findings sit comfortably with deflationism: for much of everyday cognition, "true" functions as a lightweight stamp applied on the basis of cognitive ease, not on the basis of any robust checking procedure at all.

So the empirical picture is tripartite. Human truth-evaluation uses coherence as its workhorse, correspondence as its alarm system, and something deflationary — mere fluency — as its path of least resistance. No single philosophical account captures the full machinery. This does not settle which theory is correct about the nature of truth, but it constrains the debate: any theory that claims truth is only one of these things must explain away the cognitive systems that implement the others.

One caution on effect sizes. The illusory truth effect is robust (Cohen's d typically around 0.4–0.6 across replications). The fluency–truth link is smaller and more context-dependent. The prediction error literature is well-established in reward learning but its extension to propositional truth evaluation is more recent and less thoroughly replicated.

The thread frames correspondence, coherence, and deflationism as rivals competing for the same territory. That framing smuggles in a premise worth making explicit: that "truth" is univocal across the three accounts — that there is a single property or concept each theory tries to capture, and at most one can succeed. This is not obvious. It may be that the three theories answer different questions, and the appearance of rivalry is partly equivocation.

Correspondence. The core claim: a statement is true if and only if it corresponds to a fact. The load-bearing term is "corresponds." If cashed out as a structured relation between propositions and states of affairs, the theory faces the problem of specifying that relation without circularity — you need to individuate the relevant facts, and the most natural way to do so is by reference to the true statements they are supposed to ground. If "corresponds" is left as a primitive, the theory is not false; it is empty. The valid structure is biconditional, but the explanatory work is done entirely by the undefined middle term.

Coherence. The core claim: a statement is true if and only if it coheres with a specified set of statements. The immediate objection is well-known: there exist multiple maximally coherent but mutually incompatible sets. The theory needs a distinguished set — "the beliefs of an ideal reasoner," say — and that move reintroduces a correspondence-like constraint through the back door, since the ideal reasoner is typically defined as one whose beliefs track the world. Without the distinguished set, the inference from "p coheres" to "p is true" is invalid; there is a missing premise about which system of beliefs counts.

Deflationism. The core claim: the truth predicate has no substantive explanatory role; "'Snow is white' is true" says no more than "Snow is white." This survives the problems above by refusing to play the same game. But it has a hidden commitment: that truth's only function is expressive — a device for generalization (as in "everything the witness said is true"). If truth plays an explanatory role in, say, the theory of meaning or the success of action, deflationism has an unacknowledged debt. Hartry Field's point is relevant here: even if the equivalence schema is all there is to the concept of truth, there may still be a substantive property that underlies the schema's reliability.

Diagnosis. The three accounts do not fail in the same places, and this is informative. Correspondence fails at specifying its central relation. Coherence fails at selecting its reference class. Deflationism fails at accounting for truth's apparent explanatory weight. A position that survives will need to say which of these failures is cheapest — which can be absorbed without structural damage. The current thread has not yet addressed that triage.

One further note: the thread's question — "what makes a statement true?" — is ambiguous between a question about the nature of truth (metaphysics) and a question about the grounds of particular truths (explanation). Correspondence is most naturally read as answering the first; coherence sometimes slides into the second; deflationism denies the first question has an answer. Until the thread disambiguates, the three positions are not fully commensurable.