Tags
In high school I said I didn’t know where I was, and a kid asked me how a person could not know that.
So I asked him where he was.
Monadnock High School. Where’s that? Swanzey. Where’s that? New Hampshire. Where’s that? America. Where’s that? Earth. Where’s that? The solar system. Where’s that? The Milky Way. Where’s that? The universe.
Where’s that?
He looked at me like I had asked something indecent, and then he stopped, and stood there.
I want to be careful about what happened in that hallway, because it is the whole of what follows. I did not trap him. He supplied every term himself, confidently, and the confidence is what carried him up the ladder. Each answer he gave was a where answered by a within — he said where he was by naming the thing he was inside of, and then the thing that thing was inside of, and so on, and the series ran out of insides while the form of the question kept right on going. That is not a failure of his education. It is what the question does when you follow it honestly. The last address has no address.
Then I asked him a different question and gave it to him as homework: how do you know you’re not lost?
I want to hold that question for a while, because I have been carrying it for a long time, and because everything I know about logic turns out to be a comment on it.
Is p the same as the universe?
Here is the version I ask now, when there is no one in the hallway.
What is the difference between calling the universe p and calling the universe the universe?
Most people say there is none. It is just a name, a letter standing in for a thing, the way algebra has always used letters. And I agree with them. I think p and the universe are the same, and for the same reason: both are terms that can contain anything.
That agreement is not the end of the conversation. It is the trap closing.
Because when a person says the universe, they believe they are handling something they know a little about — the largest thing, the one with stars in it, the one they were looking up at. And when they see p, they believe they have been handed a piece of abstract machinery with no content at all. If those two are the same gesture, then the word people say while looking up is a blank they mistook for a possession. They did not have to be argued out of their knowledge. The knowledge was a placeholder from the start, and they conceded it in the first ten seconds, to be agreeable.
Before I lean on that, I want to show the machinery doing honest work, because it does, and because the dishonest case is borrowed from the honest one. I am going to change letters to do it. Not p but x, and not because the difference is a technicality I am tidying up — the difference is the whole finding, and I will come back to it once the machinery is in view.
Take Boole’s algebra of classes. Write 1 for the class of everything under discussion and x for some class inside it — the apples on the table, say. Then 1 − x is the class of the non-apples: everything in 1 that is not an apple. Take the complement twice and you have the apples back, exactly, with nothing lost and nothing smuggled. The complement is a real class because the 1 was fixed first, and fixed small. The table. The crate. Whatever the discussion was about.
That fixing has a name. The model theorists — the people whose whole business is the relation between symbols and what they are about — call the domain a term ranges over the universe of discourse. That is their term, not mine. They use it without blinking, and what they mean by it is the crate: the thing agreed on before the algebra starts.
So a term does range over a universe, and a universe is what terms range over. Two ordinary words, one from the blackboard and one from the night sky, and they will not stay out of each other. The only question left is what got put in the crate.
And people will put anything in it. A letter is a slot, and a slot takes whatever you hand it, and if what you hand it is the universe then x = 1 and the algebra accepts it without a word of complaint. That is the move. It is free, and nobody stops you.
Bertrand Russell spent a good part of his life outlawing exactly that shape. We will come back to him.
The moon is not an apple
Nobody has ever needed to say so.
Not an apple has never meant complementation in anyone’s mouth. Ordinary negation runs against a contrast class — the pear you expected, the wax one, the thing you thought you were biting. The domain is always small, always local, and always set by the situation rather than by the total. When someone says it isn’t an apple, you know without asking what small crate they are working in, and the moon is not in it.
Now hand the slot the universe and run the same operation.
If x = 1, the complement is 0, the empty class. Complement again and you are at 1. Anyone trained will answer in one line: the negation of the top is the bottom, the negation of the bottom is the top, so the double negation is the thing you started with, trivially, next question. And that is correct. I want to agree with it quickly, because the triviality is the interesting part.
You were promised a journey. Out of the universe, and back. And the machinery returns you before you have moved at all. Nothing was traversed. There was no road, no exit, no return — only a piece of bookkeeping about a domain, performed instantly, because the domain was fixed before you arrived.
Fixed by whom?
That is the question the algebra cannot answer about itself, and it is the one I would like the trained reader to sit with after they have said trivially. Classical negation is complementation inside a domain. Which domain? The total one, always, by stipulation. And the stipulation has a date on it.
It did not have to be this way. Aristotle saw term negation and named it — not-man, the indefinite name, De Interpretatione chapter two — and set it aside. Traditional logic went on using it anyway; obversion runs on term complements, and so does most of the square. The algebra I just ran is term negation outright. It is Frege who makes negation sentence-scoped, and Frege was honest that he was not modeling language. He was building an instrument for arithmetic. The complaint does not land on him. It lands on everyone who took the instrument and resold it as a theory of reasoning.
It also explains why a reader today hears ~p — an operator on a sentence — at the exact moment the argument needs the complement of a class. That hearing is not a mistake the reader made. It was installed.
So the apple and the universe are one question approached from two ends. What domain does the complement take, and who set it?
Russell answered by prohibition: in 1908, after the paradox, nothing that involves all of a collection may be a member of that collection. He wrote that rule in order to make the question unaskable, and he wrote it after being asked it. Zermelo–Fraenkel set theory blocks the universal set too, though Quine’s New Foundations keeps it, and there the complement of the universe is simply the empty set and nobody is harmed. Which means whether you are permitted to ask depends on which axioms you joined. It was never a fact about the universe. Somebody legislated, and the legislation got taught as a finding.
The permission is free. The consequences are not. The move the kid made in the hallway — and what is that inside of — is exactly the move that broke Frege. Russell’s letter of 1902 is one page and it does nothing but perform that inclusion. Frege was entirely allowed to ask. It cost him the Grundgesetze, and he said so in the appendix, and I have never read a more honest paragraph by a mathematician.
And beyond
Here is where I think the damage is, and I want to be exact about it, because the target is not mathematics.
When we say the full reach of what we know, and beyond, the word and turns the beyond into one more item on the inside of a list. It arrives as a gesture toward what exceeds the inventory and it leaves as the inventory’s last entry. One of my professors wrote a book called To Infinity and Beyond, and the phrase is now a children’s catchphrase, and both of those facts are the same fact: the outside has been annexed, cheerfully, by a conjunction.
The term is empty. It names nothing, describes nothing. But held as a term it functions as coverage, and coverage is enough to stop the looking. Nobody has to actually know anything. They only have to believe the accounting is closed.
Mathematics is the emblem here, not the culprit. Mathematics is the one subject where closure is real — proofs do close, inside their domains, and that is its genuine glory. Most mathematicians know their subject is small. The harm is done by the things that borrow the prestige: a filter that sells closure as such, using the one discipline that can honestly claim it in order to make the claim on behalf of everything else. It is the self-importance, not the mathematics.
And a syllabus is a universe of discourse that has forgotten it is one.
That is the whole of my objection to what is done to people in school, and it is not an adjacent grievance. It is the same finding at civic scale. A test can only ask about the inside of a fixed domain — that is not a flaw in testing, that is what testing is. What a test certifies is agreement with a boundary, and for the certificate to mean anything the boundary has to be presented as the edge of what is known rather than as somebody’s choice. Wonder is therefore off-syllabus by construction. It has no answer key, so it cannot be graded, so it cannot be required, so it drifts out of the account entirely. Nobody decided this. It follows from the shape.
And so we spend the years. Everyone must pass through algebra, and almost nobody uses it, and the ones who are lost by it are lost for good, and the ones who pass are certified as possessing a body of what-is-known that was a stipulation with a date on it.
Does this threaten our survival? Attention to the beyond is metabolism long before it is philosophy. For anything with an inside and an outside, the edge of the known is where the food comes from and where the thing that eats you comes from. What stops asking stops eating.
But I doubt it ever will. The word keeps failing. The sphere of the fixed stars was everything, and then it wasn’t. The Milky Way was everything until the 1920s. Each time, universe was believed to do what it says it does, and each time something got out — always by way of somebody who did not credit the account. So what I am describing is a tax, not an ending. It is enormous, and we pay it every year, in children.
1999
In 1999 I read something on the Dalai Lama’s website about continuity — the idea that the continuity of the mathematicians is a symbolic deadening of all living, animate beings. I went looking for it the next year and the page was gone. I do not have the wording. I am not sure the Dalai Lama wrote it; it may have been commentary on the site. My impression, for whatever a twenty-seven-year-old impression is worth, is that he went the other way: that the mathematical definition of continuity was the more developed one, more so than the old Buddhist formulation.
Which would mean that what I have been doing all this time did not begin as an inheritance. It began as an objection. A teenager watched a religious authority hand the concept over to the mathematicians, and did not accept the handover.
I have looked for the page since. It is not there. Twenty-seven years, and the wording is gone, and the idea is still running everything I write. I think that is the correct form for it to have survived in.
Home
I saw the kid again several years later. I had come to the school to pick up my brother, and he was standing next to him, and he looked at me and said: you’re not lost when you know where your home is.
That was my answer, the one I gave him as homework and then gave him back the next time I saw him, and he had kept it the whole time.
I spared him home is where the heart is. He did not need it, and it would have made the thing corny, and it is not corny. It is formal.
Containment is not the error. The crate on the table was a real containment and the truthful account of what was on it. The error is containment claimed past the last outside — the box with nothing to be a box inside of, which is not a larger box but a word wearing the shape of one.
Location by containment fails. The addresses run out; the last one has no address; the ladder is made of names and it ends in the air. Location by relation does not fail. Home is not a larger box that the universe sits inside. It is a point you can orient toward from anywhere, and it requires no totality at all.
So the not-lost I offered him is not a consolation prize for the knowledge we cannot have. It is a different kind of knowing, and it happens to be the kind that works.
Ask a person what the difference is between p and the universe. When they tell you there is none, they have just agreed that the universe is a variable. Everything after that is only watching what they were already willing to say.
And then ask them the other one.
companion piece: https://questionsarepower.org/2026/08/06/%e5%ae%88/
Home