Blog by Nicola Baudo

Seventh in a series on software, truth, and the stories we're told.

Last week I ended with an instruction: don't click the arrow unless you know where it leads. And if you don't know — open the hood. Look at the engine. Then decide for yourself.

It was a metaphor, of course. The "hood" is the inner mechanism of the software you use — the source code, the data flows, the decisions made upstream by people you will never meet. Open software is a car whose hood opens: you can see what consumes the fuel, what transmits the power, what data leaves the machine and where it goes. Closed software is a car whose hood is welded shut. You turn the wheel, you press the pedals, the car moves — and you have no idea what is happening underneath. You are not a driver. You are a passenger operating a suggestion box.

This series has argued, for six articles, that this distinction matters — that you cannot verify what you cannot see, that the entities we invite into our systems to protect us are often the larger predators, that an AI whose purpose is hidden cannot be responsibly used. But I have never yet asked the question that lies beneath all of these. Not what is hidden. Not who hides it. But why hiding it matters at all.

That is the question this article answers. And the answer will take us somewhere unexpected: to a paradox two and a half millennia old, to the definition of truth itself, and to a courtroom in ancient Athens. Because the battle over whether the hood opens is not a technical dispute. It is the oldest philosophical war in history, fought now on new ground.

Consider two facts that everyone reading this already knows, but that few have ever placed side by side.

The first: email is interoperable. When I write to you, my mail server and your mail server can belong to entirely different providers, run by different companies, in different countries, on different software. It does not matter. The protocol — SMTP, a technical standard that is open, public, and owned by no one — guarantees that the message crosses from my system to yours. Gmail delivers to ProtonMail. ProtonMail delivers to a university server running software written thirty years ago. The letter arrives, not because any company permits it, but because the protocol takes for granted something radical: the other exists, on the other side, outside my control, and I must reach him.

The second fact: this is inconceivable in the age of social media. You cannot send a message from Facebook to Telegram. You cannot send a post from X to Instagram. You cannot follow a TikTok account from YouTube. Each platform is a world complete in itself — internally rich, internally coherent, and sealed at the border. To speak to someone, you must both stand inside the same walled garden.

And here is the fact that turns this from a curiosity into an argument: this was a choice, not a necessity. The email proves it. The closed garden is not what the technology demanded. It is what the companies wanted. And we know it was a choice because there is a counter-example — the fediverse, a network of social platforms built on an open protocol, where a Mastodon user can follow and reply to a user on a completely different server, running different software, owned by different people. The interoperability that email took for granted is still possible today. The big platforms simply refuse to build it. They could. They don't.

Why not? The technical answer is trivial: because a closed garden keeps the user inside, and a user who cannot leave is a user who can be harvested. But beneath the technical answer there is a philosophical one, and it is the one that matters. A closed system is not merely a business strategy. It is a denial of the other. It is a structure built so that the only reality that exists is the reality inside the system — the only voices that can be heard are the voices the system permits, the only facts that can be checked are the facts the system displays.

Email is built on a premise: the world is bigger than any one system, and my message is a message only if it is meant for someone outside me. The social network is built on the opposite premise: the world is the system, and anything outside it does not exist. The other inside is a simulacrum of otherness — a profile, not another person.

This is not a new idea. It is the oldest idea in philosophy. And to see it clearly, we have to go back to a paradox that has been confounding people for twenty-five centuries.

The arrow that never moves

Zeno's paradox of the arrow runs like this. In any given instant, the arrow occupies a space equal to itself — and what occupies a space equal to itself is, in that instant, at rest. Therefore, at every instant, the arrow is motionless. Therefore the arrow never moves.

The reasoning is flawless. Every step follows from the one before with perfect logic. And the conclusion is absurd — the arrow plainly flies, the runner plainly overtakes the tortoise, motion plainly happens. Zeno's paradox is the purest demonstration the tradition has ever produced of a single, uncomfortable fact: a system of thought can be internally perfect and entirely false.

Now notice what makes the paradox work — and what makes it fail. The argument succeeds because it never once consults the world. It stays entirely inside itself, moving from premise to conclusion with the precision of a machine. And it fails for exactly the same reason: the moment you look up from the argument and watch the arrow fly, the whole edifice collapses. The world is the one thing the argument cannot absorb, and the one thing that refutes it.

This is the structure we have just seen in the social network. The closed system is coherent — everything inside it fits, every feature connects to every other feature, the logic is seamless. What it cannot do is reach the other. The most extreme case is the one you can carry with you — the large language model, the LLM, answering from a data center you will never see, producing fluent, confident, perfectly structured responses without ever once consulting the world it describes. And the moment you try — the moment you ask whether the message you sent actually exists outside the platform, whether the fact you read can be checked against a source the platform does not control — you are asking the question posed by Zeno. You are looking up from the argument. You are looking at the arrow.

Coherence, it turns out, is not the same thing as truth. A system can be perfectly self-consistent and entirely false. And the people who build closed systems — whether of logic or of software — have always known this. What they have also known is why a self-consistent world is so useful to them: because it is unfalsifiable from within. You cannot refute it by pointing to its internal contradictions, because it has none, by construction. You can only refute it by pointing to the world — to the thing itself, the reality that refuses to conform to the system. And pointing to the world is exactly what a closed system is designed to make impossible.

What truth is

So what is truth? The oldest answer in the Western tradition, and the one that has survived every attempt to replace it, is disarmingly simple. Truth is correspondence. A statement is true when it says things as they are, and false when it says things as they are not.

Plato put it first, in the Cratylus, with a clarity that has never been improved upon:

True is the speech that says things as they are; false is the speech that says things as they are not.

Aristotle sharpened the point a generation later, in the Metaphysics, and in doing so he revealed the direction that matters:

It is not because we truly think that you are white, that you are white; but because you are white, that we who say so are in the truth.

Note the direction. The world comes first. The judgment comes second. It is not our thinking that makes the thing true; it is the thing that makes our thinking true. The mind bends toward reality. Reality does not bend toward the mind.

This is the idea at the root of everything I have argued in this series, and it has a name in the tradition: adaequatio intellectus et rei, the adequation of the intellect to the thing. I will not argue over who first formulated it in exactly those words — the scholastics gave it its Latin form, but the doctrine itself is already fully present in Plato and Aristotle. What matters is not the authorship. It is the structure.

And the structure is this: truth is not a property. It is a relation.

A property is something an object possesses on its own — weight, color, shape. A relation exists only between two terms. You cannot be "to the left of" nothing. You cannot be "the brother of" nobody. And you cannot be true in isolation, because truth is always truth about something — the conformity of a word to an object, an assertion to a reality. The white thing is the other term that makes my judgment true or false. Without it, my judgment floats free, coherent perhaps, but groundless.

This, I want to suggest — and here I am extending the tradition rather than merely reporting it — is the deepest meaning of correspondence. Truth is the relation between the mind and what is not the mind. It is, in the most literal sense, an opening to the other: to the world that exists whether or not I think about it, to the fact that refuses to conform to my wishes, to the person whose reality I must acknowledge if I am to say anything true about them.

The method that keeps the relation honest

A programmer, more than almost anyone, already knows what this relation costs — and already practices it every day.

Consider what a compiler does. It does not ask whether your code is coherent — whether it is elegant, whether it is self-consistent, whether it pleases you. It asks whether it corresponds. A type is not a property of an expression; it is a relation between the expression and what the expression denotes. When the relation fails — when the word does not match the thing it claims to name — the compiler refuses. It does not care how much work went into the code, how beautiful the logic is, how certain you are that it is right. The world of the machine is the other term, and the code must bend toward it or be rejected.

A test is the same relation, aimed at behavior. It does not ask whether the program is internally consistent. It asks whether the program does what the world demands of it. The test is the moment when the system is forced to confront something outside itself — and pass or fail on that confrontation alone.

This is not an analogy. It is the same structure. The classical definition of truth and the modern practice of software verification are the same operation at different levels of abstraction. In both cases, a claim is held up against something that is not the claim, and judged by whether it conforms. In both cases, the refusal of that confrontation — the retreat into coherence alone — is how falsehood gets in.

And this is where science enters the picture, because science is nothing other than this relation made into a discipline. The scientific method rests on the same two ancient pillars — the Socratic doubt, which begins where the pretense of knowledge ends, and the correspondence between word and thing — and adds a third, the one that is genuinely modern: the experiment. The claim must be measured against the world. If it does not hold, it is discarded, no matter how elegant, no matter how beloved, no matter how much work went into it.

There is one more element, the one that keeps the method honest in perpetuity: falsification. Every truth is only provisionally definitive. A claim is scientific only if it can in principle be proven wrong — if there is some observation, some experiment, some state of the world that would force us to abandon it. This is the method's permanent opening to the other: the acknowledgment that the world may always refuse to conform to what we believe, and that when it does, it is we who must change.

This is correspondence made operational. It is the opposite of a closed system. A closed system is unfalsifiable from within — it has no contradictions, by construction, and nothing outside it can be admitted as evidence against it. The scientific method is the opposite: it is built so that the outside can always break in.

And here is the distinction that matters, the one this series has been circling from the first article: science is a closed system only as an institution. As a method, it is the most rigorous opening to the other ever devised. The institution has replaced systematic doubt and the experiment with two substitutes — captured peer review and the mantra "I believe in science."

Note the phrase. "I believe in science." It is a perfect oxymoron. Science is not an object of belief. It is a method of doubt. You do not believe in a method; you apply it, and you apply it precisely to the claims you most want to be true. "I believe in science" is what you say when you have stopped doing science and started worshipping its institutional shell — when the method has been replaced by consensus, and the world by the system.

Consider a concrete case, because the distinction between method and institution is not academic. In 2007, a meteorologist named Anthony Watts mobilized over six hundred volunteers to do something the official climate agencies had never done: go out and look at the instruments. They photographed the weather stations of the U.S. Historical Climatology Network — the backbone of the American climate record. What they found was devastating. Of the stations inspected, fewer than one in ten met the quality standards considered adequate for measuring climate trends. The rest sat next to asphalt parking lots, air-conditioning units, buildings, irrigated fields — sources of local heat that contaminate the readings. [1]

This matters, and not for the reason you might think. A thermometer next to a parking lot does not measure the climate. It measures the microclimate of the parking lot. And when a station installed in a rural field in the 1950s finds itself, decades later, surrounded by concrete, its readings shift — not because the climate changed, but because the instrument's surroundings did. The instrument is no longer corresponding to the thing it claims to measure. It is corresponding to its own surroundings.

The official response was revealing — not because the agencies corrected the record, but because of what they corrected it against. They acknowledged the bias, then applied "homogenization" corrections that used the poorly sited stations as the reference for adjusting the good ones. The world had pointed out the problem; the system used itself to fix it. The contradiction was not resolved. It was internalized. [2]

This is the mechanism this series has documented in other domains — the institution substituting its own coherence for the world's testimony. This is not an argument against science. It is an argument for science — for the method against the institution, for falsification against consensus, for the world against the system. The technical reader who accuses this line of thinking of being "anti-science" has simply never been asked to distinguish the two. The distinction is the armor.

The oldest battle

So far this has been an argument about truth. But it has been building toward something else, because the battle over whether the hood opens is not finally a dispute about epistemology. It is a dispute about power — and it is the oldest dispute there is.

Fifth-century Athens. The intellectual capital of the Greek world, and its young men — the sons of the rich and the powerful — are being fought over by two kinds of teachers.

On one side, the sophists. Gorgias, Callicles, and their kind. They teach the sons of the powerful how to always be right — which tricks to use to sway a crowd, how to bend opinion to their will, how to win any argument regardless of the facts. Their discourse is not aimed at truth. It is aimed at effect. They are the spin doctors of antiquity, the originals from whom every subsequent practitioner descends.

On the other side, Socrates. He does not teach the sons of the powerful how to win. He teaches them how to seek. The Socratic dialogue consists precisely in this: taking the certainties of the young aristocrats and dismantling them, one by one, until nothing remains but the awareness of not knowing — because philosophy, the love of wisdom, can only begin where the pretense of wisdom ends.

The choice the powerful families faced was stark. A man who strips away every certainty and leads your son to humility and the love of truth? Or a man who teaches him how to always win? They chose. And their choice is recorded in the most damning way possible: they called Socrates a corrupter of the young, and they put him to death.

The servant of the truth dies. The spin doctor thrives. And yet it is the servant we still remember, and the spin doctor whose name survives only as a cautionary tale.

Why does this ancient execution matter to software? Because the battle has never ended. It has only changed its weapons. The sophist is the ancestor of the closed system — the discourse that exists to serve the power of the one who speaks, not the truth of the thing spoken. And the philosopher is the ancestor of the open system — the discourse that submits itself to the world, to the other, to the fact that does not care who is speaking.

The mechanism has not changed, only its theater. The families that condemned Socrates had a word for the discourse they feared — corrupter of the young. Today that word is misinformation. The crowd that voted for his death has a modern counterpart: the user scrolling past what the platform has chosen for them, arguing over what the platform has surfaced, never once asking who chose it.

To defend open source is to take a side in this battle. It is to insist that the word must bend toward the thing, that the system must answer to the world, that the hood must open. It is — whether we knew it or not — to fight on the side of Socrates against those who killed him.

The moral turn

We have arrived at the claim the title promised, and it is time to make it explicit.

The argument has moved through three steps. Truth is correspondence — the relation between the mind and what is not the mind. A closed system severs that relation — it replaces the world with its own internal coherence, and the other with its own voice. And the severing of that relation is not merely an epistemic failure. It is a moral one.

Because the other — the world, the fact, the person — is precisely what escapes my power. I did not make it, and when I try to command it, it answers back. To conform my thought to it is to acknowledge that I am not the whole of reality. To refuse that conformity — to close the hood, to hide the mechanism, to substitute coherence for contact — is to deny that the other exists at all. But the other does not cease to exist because I deny it. It answers.

But how does one open to the other? Not by an act of will, but by an act of listening. And listening has two forms, depending on who the other is.

If the other is a person, I relate to them through dialogue. Dialogue is not two monologues in alternation. It is the willingness to be changed by what the other says — to let their reality correct mine. Everything that is not dialogue — command, manipulation, the refusal to hear — is violence in its seed form. The sophist does not dialogue; he persuades. The closed system does not dialogue; it broadcasts.

If the other is the world, I relate to it through the experiment — and the experiment is itself a form of dialogue. I ask the world a question, I wait, and I listen to what it answers, even when the answer is not what I wanted. The thermometer next to the parking lot, once seen, is the world answering. The homogenization that silences that answer is the refusal to listen.

In both cases, the decisive element is the same: listening. Without listening there is no dialogue, and without dialogue there is no opening to the other. The closed-source program that cannot be read, the social network that cannot be left, the AI whose purpose cannot be known — each is a structure built to make listening impossible. Each is a world so coherent, so comfortable, so complete that the question of what lies outside it never arises.

And the denial of the other has a name. It is nihilism.

The chain is short. Opening to the other is the condition of responsibility — for you cannot answer to what you have denied. And responsibility is the condition of ethics. Not: only the adequate can be ethical. But: whoever refuses the other has already refused the ethical.

The opposite of ethics is not error. It is the closed hood. Negation instead of dialogue.

The ground

Coherence is not truth. It never was. A system can be internally perfect and entirely false. Zeno's arrow is the proof, two and a half millennia old, that flawless logic can conclude the impossible.

The institutions of power know this. They have built their closed systems accordingly — the walled gardens of the platforms, the opaque interfaces of the operating systems, the undisclosed purposes of the AI. Each is a structure of perfect internal logic, sealed at the border, owned by whoever controls the premises. Each is a world in which the other has been made to disappear.

And now we have built a machine that automates the closing — the LLM, and you use it every day. It does not check the world. It does not perform experiments. It orders tokens into the most probable sequence — the sequence that coheres, that fits the pattern, that completes the story. It is the first machine ever built whose entire operation is the production of consistency. It generates coherence without contact, consistency without correspondence, stories without ground. And it is being deployed at scale, in every interface that promises to "help."

What do we call a machine whose function is to produce coherence rather than truth — a thing that narrates without corresponding, that speaks without witnessing, that generates without grounding? The word matters, because the name is the first correspondence, and a name that does not conform to the thing is the first act of power. If we call this machine "intelligence," if we call it "assistant," if we call it "helpful," the system has already won — before the argument has even begun. That is the subject of the next article: the name of AI.

The defense is not to reject coherence. Coherence is the price of entry to thought, not the substance of it. The defense is to demand correspondence — to insist, in every domain, that the word bend toward the thing, that the system answer to the world, that the hood open.

But the defense is also, and more deeply, an ethical stance. Correspondence is the form that the opening to the other takes in thought. To close the hood, to hide the mechanism, to substitute coherence for contact — these are not merely epistemic failures. They are refusals of the other. And the refusal of the other is the refusal of ethics.

The question this series has been asking from the first article — who built this? With what purpose? Toward what end? — is not a technical question. It is the question of responsibility. And responsibility is always responsibility to someone: to the other who is affected by what I build, by what I deploy, by what I close. To ask who built it is to ask who must answer. To ask toward what end is to ask who will bear the cost. These are not engineering questions dressed in philosophical language. They are the philosophical implications of engineering choices — and the engineer who refuses to see them is not being practical. He is being blind.

Opening the hood is not merely a way to verify. It is a way to acknowledge that the machine, the system, the world, and the other are not mine to command. They are mine to answer to.

That is what it means to touch the ground.

Notes

[1] Fall, S., A. Watts, J. Nielsen-Gammon, E. Jones, D. Niyogi, J. R. Christy, and R. A. Pielke Sr. (2011). "Analysis of the impacts of station exposure on the U.S. Historical Climatology Network temperatures and temperature trends." Journal of Geophysical Research, 116, D14120. doi: 10.1029/2010JD015146.

[2] Menne, M.J., C.N. Williams, and M.A. Palecki (2010). "On the reliability of the U.S. surface temperature record." Journal of Geophysical Research, 115. doi: 10.1029/2009JD013094.

This is the seventh in a series of articles laying the philosophical infrastructure behind dropQbsd — compartmentalization without virtualization, built on BSD. The next article challenges the definition of AI as an intelligent machine, and the need to rethink the name if we want to govern the phenomenon. Subscribe to the newsletter to receive it directly.

This article, like the others in this series, was developed through an iterative dialogue with an AI assistant. The ideas, the philosophical framework, the historical connections, and the editorial direction are the author's. The AI served as a tool for structuring, refining, and sharpening those ideas — a narrative instrument wielded by a human hand, not a substitute for one. Disclosure is not a concession. It is the principle the article defends made operational.