Hey Vsauce, Michael here. And here. Michael here. Hey Vsauce! What is here?
What is there? What is there? What really exists?
Do waves exist? Or are there just things that are wavy? When does a piece of food stop being a piece of food and become me?
Do chairs exist? Ontology is the philosophy of existence, and chairs are what philosophers call ordinary objects. Ordinary objects are the plain old common sense things we deal with every day.
Spoons, buckets, rocks, stuff like that. Their existence is as obvious as possible. But the more we try to...
suss out where they are, the more suss they become. First of all, sure, this could all be a dream. Maybe we've all been hallucinating chairs all these years. Or this could be part of the simulated reality, pumped into our brains while our bodies are harvested for energy. But underneath that skepticism, there's a deeper ontological question we need to answer first.
Regardless of whether this spoon is made of real atoms or simulated atoms, is it really possible to be made of something? Take a look at these two things. As we all know, 2 minus 1 is 2. There are two things here.
There's an origami crane and a piece of paper. I'm just kidding of course. There's just one thing. The crane and the paper are the same.
But watch this. Where'd the crane go? If the paper and the crane were truly identical, they would share everything in common.
But clearly, they don't. The paper can survive being unfolded, and the crane cannot. Also, I made the crane, but I didn't make the paper.
And the paper was around before the crane. You know, for two things that are the same, they sure are different. This relationship is called constitution.
Paper constitutes the crane. It's a one-to-one relationship. But there's another kind of being made of going on here, too. This paper, for example, is made not of one other thing, but of sextillions of things.
Fundamental subatomic particles, electrons and quarks, or strings, or physical and virtual fields. This many-to-one relationship is called composition. Philosophers call whatever it is that matter is ultimately composed of simple.
A simple is a thing that, unlike a piece of paper, has no parts. No substructure, not even a top or bottom. Now it could be the case that there are no simples, that there's just a never-ending chain of smaller and smaller substructure.
Philosophers call such a reality a gunky universe. If structure never ends in the other direction and everything turns out to be part of something bigger with no final complete composite, that is known as a junky universe. Point is, believing ordinary objects exist and are made up of smaller things is quite common. It's called ontological reductionism.
It's the position that wholes are nothing more than their parts. But our crane and our paper challenge that notion. It seems like being made of some things is different than just being those things.
Let's agree on what it means to exist. Let's say that For something to exist is simply for there to be more than zero of it. So, Pegasus exists if we mean, are there any winged horses in works of fiction and mythology?
And Pegasus does not exist if we mean, are there any physical flesh-and-blood winged horses that evolved on Earth through natural selection? Okay, so if we can agree on that, then of course chairs exist. There's this one right here.
I can see it and I can Feel it and I can taste it. Yeah. Oh, yeah, it's kind of dry a little bit salty Dry and salty are what we call properties Properties tell us what things are like for example this slice of cheese is floppy By noticing and sharing properties we can let each other know what to expect from things And we all more or less agree on what things there are We give names to stuff and if they catch on, we put them in dictionaries with the word noun next to them.
But are all of these nouns an inventory of the universe or an inventory of things we made? Let me put it this way. Do islands exist?
Well, it's in the dictionary and a quick look around confirms that there are more than zero islands. So, yes, islands exist. But what about... In cars. An in-car is a car that is in a garage.
As a car leaves a garage, an in-car diminishes at the threshold until it collapses into non-existence. Later, an extremely similar in-car may emerge at the same threshold when the car returns. Are there any cars in garages right now? Well, if so, then in-cars exist. But you might be thinking, Ah, hell no.
That's not a thing. You just made that up. And it's silly. Being in a garage is just a property that a car can have. Stop trying to make in-cars a thing.
Okay, but first of all, I didn't make it up. Eli Hirsch did. And second of all, if you think in-cars aren't things, wait until you hear about islands.
An in-car might just be a relation between a car and a garage, but an island is just a relation between land and some water. Now of course, island might be a more useful concept than in-car, but does that make islands objectively more real than in-cars? And what about troggs? A trogg is an object whose parts are a tree and whatever dog is nearest.
Here's a picture of one. Do you see the trogg? This is its tree part and this is its dog part. You might be thinking, come on.
How can that be a thing? The tree and the dog aren't even connected. Well, so what?
These two pieces of fabric aren't connected and yet they are a thing called a bikini. Now, sure, if we cut down this tree and burn it for warmth, we don't feel the need to apologize to what's left of the trog for destroying its tree part. But maybe we should? What if some extraterrestrial showed up and said they thought dogs and trees composed trogs? Would they be wrong?
Could we convince them otherwise? Ontological realists believe that we could, that there really is a mind-independent answer to the question, what is there? People like Theodore Sider believe that the universe has joints, and that we can cut up reality into objective, real things by finding them. Ontological anti-realists disagree.
Their position is that what we think there is, is just one way to cut up reality. It's a good one for us and our needs, but it's not objectively more true than any other. So who's right? Hmm.
Well, if these blocks compose a tower, what do they compose now? Just because we don't have a name for this doesn't necessarily mean I haven't accidentally built something, does it? When do two or more things compose something else?
Peter van Inwagen calls this the special composition question. In Material Beings, he considers possible answers. Maybe things compose something only when they're in contact.
Well, that's a good thought, but it doesn't explain how a bikini can be a thing or why two books are still just two books when one is stacked on top of the other. You know, maybe a certain degree of fixation is required or a melding. If a surgeon sewed us together and the skin healed with no seam and we shared the same blood supply, you know, even then, it would seem wrong to say that we'd become some new kind of animal. There'd still just be me and you, but like, stuck together. The philosophy of parts and wholes is called myriology.
And myriological universalism is the belief that there is an answer to the special composition question. And the answer is this. Any assortment of stuff, no matter how strange or scattered across time and space, composes A thing. Some pages compose these books, but I don't just have two books here. Oh, no, there's also a third thing.
Let's call it a a Took because its parts are two books. There is also something composed of my left ear, the northern third of every brown trout in England, and the Eiffel Tower. Just because it doesn't have a name and no one's ever talked about it before just shows a lack of interest on our part.
To a universalist, Eliminating some composites but not others is just too arbitrary. We may as well accept them all. Eliminativism is any belief that accepts some composites but eliminates others.
Peter Van Inwagen, for example, believes that there are no ordinary objects. No chairs or shirts or shoes. Right here, there are just some symbols, atoms or whatever, arranged shoe-wise.
There isn't something else here. called a shoe. But he thinks that because people believe that they themselves exist and he can't see how something could believe it existed without existing in the first place to even think that, there must be people. He goes further though to argue that all living things exist. While admitting he doesn't have any knockdown arguments in their favor, he mentions that because symbols that are part of a living organism maintain the organism, while shedding some members and gaining others, all while remaining individuated from other organisms.
Unlike, say, waves of water at the moment of collision, clearly, symbols in the act of a life must compose something. That position is called organicism. It's been called the belief that people exist, but none of them wear clothes.
Muriological nihilism is less generous. It's the belief that that there are no troggs or n-cars or dogs or trees because nothing ever composes. Now, the nihilist does not believe that there is nothing here. There are lots of symbols, but that's it. Now, that might sound puzzling.
How can a bunch of fundamental particles arranged into atoms and molecules that are arranged like this not be a chair? I mean, that's just what a chair is. Well, good question. Let's call that deflationism. The belief that this is all silly, and that all these positions are just talking past one another.
I mean, they all agree on what reality contains. They all believe that there are symbols here, and that those symbols are arranged into a chair shape. And since that's just what a chair is, they all believe in chairs. Those who say they don't are just being weird and contrarian. Deflationism has many supporters and it truly is the heart of our issue today.
But to address it, we should first see why it would be nice if all these parts did not form a chair. Let's begin with over-determination. If chairs really do exist, shouldn't they be able to interact with us?
The thing is though, everything this alleged chair can do can be described by referencing the behavior of Simples here and any other symbols that happen to come along. An account of the activities of every atom in this room leaves nothing for the chair to explain. Composites are causally redundant.
Believing in chairs is like believing that while yes the burning gas from my stove completely describes why the water in the pot boils, there's also a magical invisible substance called Boilo that comes out of my stove and does the same thing as the flame at the same time and if there was no Boilo the flame would warm the water just the same but there is Boilo. Chairs are no more real than Boilo. Composites over determine what happens in the world.
They also lead to over counting. For more on that let's say hello to this video's sponsor. Hi I'm Michael Stevens.
You may know me from such films as Lady Gaga, Judas Parody, Key of Awesome number 42, and the Emoji Movie. But today, I'm here to talk to you about the Curiosity Box. This season, our subscribers will be receiving many things, including a shirt celebrating the Sherman line, a kit to find out what kind of bacteria grows on you, a puzzle that celebrates the average color of Neptune, and yes, also Uranus, and the first ever at home demonstration of impossible colors.
And right now, if you subscribe with code BOGO, we'll also send you our entire summer box completely free. Just pay shipping. How many things will you be receiving?
For this one ridiculously low price? Well, you might think 15. Eight things plus seven things. But don't forget that you're also getting this entire collection and this entire collection.
That's 17 things. Order now. That's a good deal. But the ontology seemed wrong. If I count some parts, I shouldn't also count the whole they compose.
But if you believe in composite objects, you must, right? I mean, after all, the composite exists. So if this chair contains, say, 100 sextillion atoms, then there are actually at least 100 sextillion and one things here, all of the atoms, and also the chair.
That seems wrong. But wait, there's more. If I take a knife and scrape off a tiny part of this chair, is it still a chair? I think most of us would say that yes, it is still a chair, and it would still be a chair even if I removed a tiny bit again. And again, a series of tiny, innocuous removals is called a Sorites Sequence.
The trouble they cause is that while it seems we must accept that each individual step doesn't annihilate the chair, clearly, enough minute removals will eventually leave us with no chair. Nothing at all, in fact. But how can that be? How can subtracting zero over and over again ever give a different result? Well, clearly, there must be a point at which a tiny change does make a difference.
Now, different people might give different answers as to where that line is, but, you know, we could just stipulate the boundaries. We could define chair in some extremely precise way. If we did that, if we defined the shape, function, and history, that makes something a chair so precisely that even the smallest deviation could make or break its status as a chair? How could we know if we'd done it right?
If we called up God and said, Hey, hey, dude, watch this. Okay, see this chair? Well, okay, now we're going to remove a single atom from it. Ta-da! It's no longer a chair, is it?
Would God be like, Pfft! Correct! You guys nailed it! That is exactly right. It was a chair before, and now, in my infinite wisdom, I can confirm that that single atom was exactly what made the difference.
Unless there's some explanation for why a boundary should be drawn in a precise way instead of some other way, our stipulations are just arbitrary. Ordinary objects may be unredeemably vague. But being vague may actually be a feature.
of ordinary objects. For example, how many people is a crowd? Ten people standing together in a huge empty park might be more of like a group, but ten people standing further apart in a tiny waiting room will feel way more crowded. The fact that our terms depend on context, that they're plastic, makes it seem less and less like they're describing things and more and more like they're pragmatic. that rather than telling us what there is, they tell us what to expect.
Peter Unger has pointed out that there's at least one kind of thing that can survive a Sorites sequence without paradox. Stuff. If you innocuously remove tiny pieces from something that is just some stuff, you will still have some stuff after each step until you reach a clear and unambiguous boundary.
When the last piece is removed, There will no longer be any stuff. This might show that there are composite objects. Stuff. As soon as we pretend that some stuff is a thing, though, vagueness sets in.
Suddenly, we're talking about a thing that can lose parts, but also can't lose parts. And unless contradictions can exist, words like chair just don't really refer to anything in the universe. Soraites sequences lead to other problems too, like the problem of the many. If removing a tiny number of atoms from this chair leaves me with a chair, well how many chairs are here?
Like okay, there's this one, but then there's also this one, which is really similar to the first but it doesn't have these atoms on top of it. You know, I don't have to remove atoms for this to be a problem. All I have to do is try to define Which atoms here are part of the chair and which aren't?
At the atomic level, there isn't a definite boundary. Near the edge, it will be hard to tell whether a particular molecule is part of the moisture in the chair or part of the ambient humidity. Instead of there being a single chair here, it seems like really there are billions and billions of candidates for the chair.
Which one is the chair? But now, suppose that instead of removing pieces, like in a Sorites sequence, or choosing pieces, like in the problem of the many, we instead... discard pieces and replace them with new, similar pieces. This is the setup to the famous Ship of Theseus paradox. Suppose I buy a boat and name it Theseus.
Over time, parts of the boat wear out and I replace them with brand new parts. After, say, ten years, well, I might realize that not a single part of my boat was part of the boat on the day I bought it. Do I now own a different boat? Have I owned two boats?
But now suppose that someone has been following me around all these years and has been picking up each old part I throw out and storing them away in a warehouse. After I've replaced all the original parts, they take them and join them back the way they were ten years ago. Which boat is Theseus?
Both? If we conclude that ordinary objects don't exist, the problems of Cereides, the many, Theseus, overdetermination, and overcounting, all evaporate. If there are only simples and they never compose anything, then which one is the ship of Theseus is easy to answer.
Neither. Neither are the boat and nothing ever was the boat. All that happened was that some simples got moved around.
The symbols the scavenger has are the symbols I possessed when I bought the boat, but there's no mystery of persistence removing or exchanging a piece of stuff never left me with the same stuff. There's also no mystery as to which of the billions of chair candidates here is the chair. And the removal of no specific atoms will ever stop it from being a chair because there is no chair here. And there never was.
There are only symbols arranged chair-wise. The illusion that there are composites that can survive changes in their parts is an artifact of our minds. It's a helpful one that allows us to track certain properties and ignore others, but when taken seriously, it obviously is not really how the universe works. And that's okay.
We shouldn't be embarrassed when we talk about boats or chairs. Our words for ordinary objects really do refer to actual phenomena, and therefore are more correct than believing that, say, the sun turned into a black hole yesterday. Unlike the false statement that chairs exist, there is no evidence that saying the Sun turned into a black hole yesterday could even be incorrectly describing.
Because of this, Trenton Merricks calls the belief in ordinary objects false but nearly as good as true. This is all silly though, right? I mean of course there are chairs.
If you believe that there are some symbols arranged chair-wise, then you admit there's a chair because that just is what a chair is. It's not some additional thing over and above these symbols. It just is them.
Each is still an atom or electron or whatever but together they are a chair. Well not so fast there chair lover. What do you mean a chair is symbols arranged chairwise?
The phrase symbols arranged chairwise just picks out these symbols. There's nothing else for that phrase to refer to. There aren't these symbols and then also some other symbols that are the symbols arranged chair-wise. So do you mean that chair is a disguised plural? That it refers to lots of things just like the phrase these books?
Because these books only commits us to the existence of this book and this book but not an additional object that's called a these books. Likewise, If chair just means this simple and this simple and that simple, well then it points to a whole bunch of things and not one of them is a chair. Sure, chairs exist if by chair we mean a word for all these symbols, but if by chair we mean an actual object in the universe, there just aren't any, my friend.
Except maybe there is no chair over and above the symbols, but instead Something happens when an assortment of symbols are arranged into a chair shape. Each member continues to be a single. atom or whatever, but collectively they all simultaneously become one thing, a chair. Okay, so then either there's no chair here, just symbols, or somehow a miraculous contradiction has appeared, many things, and also one thing that despite both clearly differing in that respect are still identical. It looks like chairs cannot be identical to the parts they're supposedly composed of.
But chairs also can't be different from their composite parts because there's nothing else there. And after counting and accounting for their parts, there's nothing left for the existence of a chair to cause or explain. To rescue chairs from non-existence, we need to find a way to show that a chair is independent of its atoms and therefore distinct from them, but not so distinct that it's impossibly over and above them. We need to find a way to make chairs ontologically innocent.
To have our cake and not have it too. Amy Thomason does this in a very clever way. She points out that if I ask you uh, hey, is there anything in the fridge? And you look inside and see that it's empty and say there's nothing in it, it would be weird if I came over, looked inside myself, found a single eyelash in the corner and said, Um, excuse me, what is this? You said there was no thing in the fridge, but there was an eyelash.
And gosh dang it, the whole thing is actually full of air. Now that would be weird because when I asked if there was anything in the fridge, it was implied that I meant anything to eat. By arguing that the empty fridge is not really empty, I was using the word thing in what Thomason calls a neutral sense.
I used it to mean any and all entities that could possibly be described. But you took me to be using thing in what she calls a sortle sense. A sortle is a term that tells us what a thing is in a way that allows us to count how many there are and know when there is or isn't one.
Water is not a sortle. If I told you there was water in my basement and you asked how many waters, I'd have to use a sortle to answer you. For example, gallons of water. Thomason argues that the neutral use of thing is meaningless when used to ask questions.
For example, if I used thing in a neutral sense and asked, how many orange things are in this video, you would have no idea how I wanted you to carve it all up. Thus, there would be no single correct answer. You might say, uh, one orange thing?
Your shirt? But then I could say, what? No, there's my left sleeve, my right sleeve, the inside of the shirt, the outside of the shirt. Come on, there's way more than one.
Unless we use sortals, any search for what things there are will end in confusion. Not because there are no things, but because it hasn't been made clear what conditions to apply when searching. For Thomason, this means that what we find depends on what application conditions we use.
If I ask if there's anything here that the condition smaller than a molecule applies to, you could note each such thing and give me an inventory. Chair would not be on that list. But if I asked you if there were any medium-sized, rigid according to human strength things here, chair would probably go on your list and no single atom would.
If an application condition is satisfied in the world, then the thing it describes exists. So, chairs do exist. If the application conditions for one thing are also sufficient for something else, then if we find the first thing, we have found the other, because its existence is entailed analytically by the existence of the first thing, that is, by meaning and logic alone.
For example, if I say that I live in a house, you can conclude, without looking, that I live in a building. There's no paradox here. I don't live in a house and a building, two distinct things that defy the laws of physics by being co-located. Instead, the conditions that apply to a house are also sufficient for a building.
So, a single chair is not impossibly identical to some collection of many, nor is it somehow over and above its parts. Instead, atoms arranged chair-wise merely logically entail a chair. The entailment connects things differentiated by distinct application conditions.
When we ask, which one is the ship of Theseus? A puzzle erupts because we're being too neutral. We need to say what we know.
we mean by ship of Theseus. If we mean the original parts, then this is it. Do we mean the thing registered to me by the boat authorities? Well, then it's this one. But which is the real one is an incomplete pseudo question.
When it comes to Sorites sequences, I think we need to just stipulate where the boundary is. I don't think there's an objective answer provided by the universe or God as to what exactly is and is not a chair. But that doesn't have to mean that there aren't any chairs.
It can just mean that every single collection of symbols is its own unique object, independent of our minds, and that we get to decide which to call chairs. Vagueness comes from our minds and our language, but there are no vague objects in the universe. We don't have to believe that our reality is simulated, but I do think we have to believe that it's stipulated.
It is a reality that contains not what intelligent machines have decided to give us, but what we have decided we have. There's no fact of the matter as to whether calling this a star is the true way to carve up this stuff. It's a pretty useful way to do it and helpful for at least human purposes, but star is a thing we imposed on the world.
As Michael Jubian puts it, there are no things, but as a consequence, There are as many things as we like. Now as for the problem of the many, we can simply just admit that there really are billions of slightly different chairs here. Some include a few boundary atoms that others don't, but since they all act and react pretty much in unison, in our daily lives, it just doesn't matter which exact material collection we mean when we say this chair. However, let's go back to our crane. When we talked about holes, we said that holes might be ontologically parasitic.
That their existence seems to require the existence of something else, something that can host the hole. Perhaps our crane is holy too. Not a physical thing in its own right, but a disturbance in some paper. There is no material crane here, there's only some paper arranged crane-wise.
But once we start entertaining that notion, we realize that nearly everything we see and feel, all ordinary objects, and even ourselves, are ontological parasites. Michael Jubian calls our tendency to think that what is true of a chair is true of the material that is chairing object fixation or property repression. Object fixation is useful and nearly as good as true, but when paradoxes loom, we should remember that while chairs do exist, they are not made out of matter and cannot be touched or felt or tasted. All I can do is taste some stuff while it chairs.
If it looks like a duck, swims like a duck, and quacks like a duck, then it's not a duck, but it is arranged duck-wise. I think that the only concrete physical things in our universe are symbols. Or, Since our universe could be gunky, the material world only contains stuff.
And yes, this stuff is chairing. But the road paved by the idea that that makes this stuff a chair leads to paradox. To see how we could have made that mistake, let's remember the famous Clintonian dictum that often it depends on what the meaning of is is. There's the is of predication. which tells us what something is like, as in this cheese is floppy.
And then there's the is of identity, which tells us what is the same as what. For example, 2 plus 2 is 4. To believe that chairs are made of matter, to believe that you are made of matter, is to confuse these two ises. When a collection of properties are extremely thorough in telling us what to expect from some stuff, We tend to just go ahead and noun them, collapse them into a single word, and believe it doesn't just describe some stuff, but refers to it. I think we have an intuitive sense of the thoroughness of properties, and this can be seen in how we order our adjectives.
Big can mean many things. A big diamond and a big house are very different in size. Blue tells me a bit more about what to expect. but cheeseburger.
Oh, that's specific. So specific, in fact, that we call it a noun. The increasing thoroughness may be partly responsible for the fact that big blue cheeseburger sounds fine, but blue big cheeseburger sounds kind of weird.
When we embrace the idea that cheeseburgers are not physical objects but instead exist as an abstract set of properties like juicy, warm, soft, and so on, the specter of ontological paradox dissipates. You and I are not physical objects either. Michaeling is a bunch of different properties, and most of them are very vague. They include things like knowing who Kevin is, being more or less a certain height, having a roughly continuous relationship with the stuff that was Michaeling yesterday. Now some of what it means to Michael does concern composition, like the fact that I will still exist even if I shave off the stuff I call my beard.
If I shaved off my beard, There would still be some stuff Michaeling, but it would be different stuff than it was before. We are able to lose parts and change and grow because we are not made of matter. We are hosted by matter.
As Alan Watts would say, the universe doesn't contain people, the universe peoples. Chairs and tables and rocks and buckets and people are not made of atoms. They are performed by atoms. We are disturbances in stuff, and none of it is us. This stuff right here is not me.
It's just me. We are not the universe seeing itself. We are the seeing. I am not a thing that dies and becomes scattered.
I am death, and I am the scattering. use code BOGO and we'll send you our summer box as well completely free. Give your brain a treat.
Support Vsauce, support Alzheimer's Research and creators everywhere by joining today. I'll see you there and as always thanks for watching.