Audio Player
Starting at:
Graham Priest: Logic, Nothingness, Paradoxes, Truth, Eastern Philosophy, Metaphysics
April 15, 2024
•
2:05:29
•
undefined
Audio:
Download MP3
ℹ️ Timestamps visible: Timestamps may be inaccurate if the MP3 has dynamically injected ads. Hide timestamps.
Transcript
Enhanced with Timestamps
270 sentences
16,886 words
Method: api-polled
Transcription time: 123m 7s
The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science they analyze.
Culture, they analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front row access to The Economist's internal editorial debates.
Where senior editors argue through the news with world leaders and policy makers in twice weekly long format shows. Basically an extremely high quality podcast. Whether it's scientific innovation or shifting global politics, The Economist provides comprehensive coverage beyond headlines. As a toe listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount.
It's the season for all your holiday favorites. Like a very Jonas Christmas movie and Home Alone on Disney Plus.
Raise a spoon to grandma, who always took all the hungry cousins to McDonald's for McNuggets and the Play Play slide.
What is true is not something that corresponds to some kind of reality, but something for which there is appropriate verification or evidence or something like that. Sometimes this kind of notion of truth is said to be epistemically loaded.
Nothing is what you get when you fuse no things, when you put no things together. Nothing is both something and nothing. There's a paradox concerning nothingness, because nothingness is something. You can talk about it, you can think about it, you can wonder whether there is such a thing you are now. Graham Priest is a philosopher known for his work in Logics and Philosophy of Math. His book, Logic, a Very Short Introduction, is considered the quintessential book, the philosopher's stone, if you will,
of logic. If you've ever taken a logic course in university, this is the beacon that's assigned.
Furthermore, what is nothingness? What does everything mean in a technical sense? What is dialectical logic and paraconsistent logic? Graham Priest holds the title of Distinguished Professor of Philosophy at the City University of New York. Professor Priest's contributions also extend to Eastern philosophy, where he examines non-classical logics found in Buddhist thought, drawing parallels with Western logical traditions rather than the mere contrastive approach that most others take.
This is a fantastic episode. I've been waiting to speak to Graham Priests for literally years. My name is Kurt Jaimungal and I have this podcast here called Theories of Everything, which is about exploring theories of everything, usually in the physics sense, from my background in mathematical physics. But more and more, I've become interested in philosophy and the largest questions that we have, such as what is consciousness? What is everything, which is explored here? What is nothing? What is existence? What is real? This podcast is like wine.
The longer you listen into it, the better it gets, especially the last half hour. And that's saying something because man, Graham starts off strong and technical. Enjoy this podcast with Graham Priest. So Professor, there are various Zeno's paradoxes. Many people just know about the one about the tortoise and you just go half and half. You can't overtake the tortoise. But there's another one that you like called Zeno's Arrow. Can you please outline that for the audience?
So as you say, four paradoxes from Zeno have come down to us. The ones that most people are aware of are the ones that depend on the thought that you can't do an infinite number of things in a finite time. So if I'm going from here to Toronto, I've got to get halfway first and then halfway again and halfway again and so on.
So before I get to Toronto, I've done an infinite number of things and the paradox depends on the thought you can't do that in a finite time. And no one would now think that's true, although it might've been a plausible assumption for Zeno. However, the one that you mentioned, the arrow is rather different. And it goes like this. Let's take the arrow. Suppose I fire it from my bow.
And it makes its way to the target. Now take some instant of the motion. At an instant, the arrow makes zero progress on its journey because it is an instant and it cannot occupy more than a single place at that instant. So it makes zero progress. It doesn't get any further. Okay.
So progress at any instant is zero. Now, at least going to sort of standard mathematics and physics, the time between my firing the arrow and hitting the target is made up of those instance. So at each instant it makes zero progress. So if at each instant it makes zero progress,
It can't make any progress over the whole period because, um, you can add zero to zero as many times as you'd like, even uncountably many infinitely times and you still get zero. So, uh, the argument goes, the argument cannot move. It cannot get from the bow to the target. That that's the, that's Zeno's arrow paradox.
So why can't measures theory overcome this? Well, yeah, look, it can in a certain sense. So if you try and apply standard measures theory to this, it depends on the thought that if you have a bunch of intervals with non zero measure, I was zero measure rather. Um,
And you add them all together and consider the measure of the sum, then this can have non-zero measure provided there's enough of these things. And you need an uncountable number to do it, but that's okay. So that's some mathematics, but the problem is not about mathematics. The problem is about how the arrow manages to actually move.
And that's not going to be solved by mathematics. You need to tell a story of something else, something that relates to the real world to do this. So just so, I mean, if you assume that you can add an uncountable number of intervals with zero measure together and you get something with non-zero measure,
That's true, but I mean, how is it that reality answers to that bit of mathematics? You know, there can be other bits, other bits of mathematics you could use. You could have a different kind of measure theory. Why choose that one? Well, because the one you choose has got to apply to reality in some sense. So what is it in reality that makes that the appropriate bit of mathematics? And that's the real problem, I think. So this is seen as a paradox, and there are various types of paradoxes.
Most people think of paradox as the same as contradiction, but there are at least three. Can you please delineate them? The reason being that paradox is going to come up again and again in this entire interview, so we may as well be specific as to what we're speaking about. So normally I think there are two, the vertical and the false vertical. I'm not quite sure what you're thinking of as the third, but you can tell me. Antinomy, so self contradictory.
Oh, so a vertical would contradict our intuition and a false cynical seems true, but there's some fallacy in it. Okay. So let's take a step back. Um, what, what is a paradox? Okay. And the standard definition of a paradox, look, everything in philosophy is contentious, right? But what will most, what most people were saying, I think it's right is that a paradox is an argument for a start.
It's an argument that proceeds from premises that appear to be true, uh, with steps of inference that appear to be valid. Um, and yet the conclusion you, you, you did use something which isn't true, maybe can't be true, but certainly isn't true. Right. So you starting off with these things which appear to be true to you.
Making inferential steps that appear to be right you end up with something you can't accept that's the paradox now If you take that as your definition of a paradox You got two choices Either there's something wrong with the argument Or the arguments fine and you have to accept the conclusion
okay and usually the ones where you accept the conclusion on reflection are called veridical so you might have thought you couldn't accept the paradox but you can paradoxical conclusion but you can and the for cynical ones is where something has gone wrong with the with the argument and then of course we worry about what the argument is and there are both kinds in the history of philosophy
So for example, the liar paradox, which we can come back and talk about if you want to is usually taken to be, um, a false cynical paradox. People think there's something wrong with the argument and the name of the game per two and a half thousand years has been find out what it is. Um, but there are other paradoxical arguments which have, uh, which are now thought to be veridical. So.
A very standard paradox until the late 19th century was, um, it's sometimes called Galileo's paradox, but it was known a long time before him that if you take the natural numbers, zero, one, two, three, four, five, six, et cetera, and you take the even numbers, not two, four, six, eight, and so on, then you can put those into one to one correspondence. You pair off zero with zero.
Two with one four with two six with three and so on so there's a one to one correspondence between the even numbers and the natural numbers. Okay. Yeah. And so it seems that there's the same number of each cause they can be put into one to one correspondence, but it seems plausible that you know that there's got to be more natural numbers than even numbers because he's thrown away all the old ones. Okay. So this was a standard paradox until the end of the 19th century in the work of
I'm a mathematician go kanto on the infinite and now the standard response in mathematics is well you know you thought that. The naturals and the events have a different number of numbers but you're wrong they actually do have the same there are actually the same number of natural numbers and even natural numbers and you know puzzling if that may seem at first that is now thought to be true.
So there's a paradox which has turned out to be veridical in modern mathematics. You thought you couldn't accept the conclusion. It's counterintuitive for sure. But OK, it is true. That's the way that things work. And then you tell a story about set theory to explain why. Additionally, because we're going to be speaking about logic, it would be great to get a definition of logic.
Look, that's a hard question and it's hammered around in the philosophical literature by philosophers and logicians. Well, just for the people who are watching and maybe they skipped the introduction and they're not aware of who you are, you're a preeminent philosopher. In fact, you have the title of distinguished philosopher at the City University of New York. And furthermore, you've written what's considered to be the go-to text in logic, which is the very short introduction to logic.
So you know what you're talking about and when you laugh you're laughing for a particular reason this isn't just someone who hasn't studied logic or studied at the surface level you're deep in it you're the source of it in the sense so but but i'm certainly a logician okay so um i laughed because um you're asking a contentious question because people disagree about that
And the word has been used in many different ways in many traditions over the last two and a half thousand years. So, um, let me just tell you how, how contemporary logicians tend to understand the nature of logic. Um, but, but even that's contentious, but as a first cut, it's something like this. We argue that is we give reasons and.
Reason start from premises that is things that you assume for the sake of the argument and then steps in the argument, which take you to your conclusion. Okay. Now, um, whether or not the premises are true will in general be someone else's business. So if we're talking about something in geography, whether something's, um, a geographical fact is going to be the, the business of the job.
What are the legitimate steps that you can use there after so what are the legitimate forms of inference. And logic is the study of answers to that question. So if we're if i'm arguing with you about something.
You may use a form of inference and then it's up to the logician to tell you whether or not it's it's valid whether or not you know it's a really good it is a good step in the argument. So in a nutshell. Most modern auditions would tell you that logic is the study of what follows from what and of course why because
Saying yes or no is a bit boring. You gotta have understand why. Okay, so it's akin to following the rules of the game and then sometimes you can argue about why some rules are more applicable to this universe than others. Well, it's making an argument. It's about what what the right rules of the game are. So an analogy not to be pushed too far is with grammar.
So we speak a natural language. Let's take English since we're both speaking English now. Um, what grammarians do is try to figure out the rules of the grammar of that language. Okay. What are the rules which, um, determine whether a sentence, a string is, is grammatical, the cat set on the map or ungrammatical like the cat set set is Matt on. Okay.
So logicians sorry grammarians or linguists in general try to figure out what the rules of that game is if you want to call it a game. And what logicians do is try to figure out similar rules not about grammaticality but about validity about when things fall from other things.
Now you mentioned that we are given a set of axioms or a set of statements we believe are true. And then you say, OK, well, what follows from this? When we say that rules of inference are there to then bring you to someplace. But you mentioned the starting places is not the place of logic. Is that always the case? Or is there a form of logic that tries to bootstrap itself up? Well, if your premises are about logic itself, then, of course,
The truth of the premises is the logicians concern, but most arguments are not about logic. They're about something else. But yes, you're right. I mean, in unusual cases, the premises could be about logic as well. The reason I'm asking is that there's a philosopher named Christopher Langan. I'm not sure if you've heard of him. No, he's known for the cognitive theoretic model of the universe.
Which is an attempt to build a language or a meta language that describes the universe. But anyhow, what I would like to talk about is this conversation. Again, we're going to get more deep into the weeds. This whole conversation will stand on three legs, logic, truth, and then reference, because we're going to be speaking about the liar's paradox and other forms of paradoxes and even nothingness and everything. So what are the different theories of truth and where do you stand on it?
Obviously, there are too many to name, but let's say the predominant ones. Yeah. Okay. So the nature of truth has been hotly contested in philosophy, East and West for two and a half thousand years. Okay. And there's no consensus on the matter. So there are many different theories. As a first cut, you can distinguish between those that are realist in some sense.
And those that are non realist so the realist ones are tell you what is something's true if it corresponds to reality you know there's some stuff out there we call reality and the true statements are the ones that have the appropriate kind of correspondence and what that is of course highly contentious but those are realist theories. The anti realist theories are ones which.
Do not like to talk about this kind of metaphysical notion of reality and so they give some other kind of answer and then there can be various kind of answers so. A very standard kind of answer is that what is true is not something that corresponds to some kind of reality but something for which there is appropriate verification or evidence or something like that so.
Sometimes this kind of notion of truth is said to be epistemically loaded because what makes something true is precisely its verifiability or the grounds for knowing this true or something like that. So there are a number of different theories which fall into those two categories, but as a first cut, that's a sort of rough distinction. Um,
And some theories of truth that kind of hard to sort of fit into that dichotomy. So it's complicated. Um, I don't really have a horse in this game. Um, uh, I suppose I have a kind of temperamental disposition towards some kind of realism, but, um, I think the matter is contentious. Oh, that's just a comment on me. It's not a comment on the truth.
That's just the way I'm disposed to favor things. But that's a comment about me, not a comment about the subject. I mean, everybody has various dispositions in philosophy, as in everywhere else.
Some people do have realist dispositions, you know, um, if something's true, there's gotta be a ground for it. What could that be? Well, it must be some kind of reality. Okay. And that's kind of an intuition that appeals to many people, including me. Um, and some people think, no, you know, talk of what's true in abstraction is sort of vacuous misleading. I mean, truth is, you know, just what we've got evidence for. Um,
And some people find this kind of intuition persuasive. I find that less persuasive, but I can see that there are arguments for it. So, um, sorry, that's a rather evasive answer to your question, but that, I mean, you can ask a dozen philosophers that question. You're going to get a dozen different answers. Well, what I meant was more psychological. How is it that you even identified that this is
Your predilection or your affinity, you have an affinity toward a realist position, is it because you noticed when someone is speaking from a realist point of view, you jive with the more you're less anxious, like how is it that you even came to the realization?
Hola, Miami! When's the last time you've been in Burlington? We've updated, organized and added fresh fashion. See for yourself Friday, November 14th to Sunday, November 16th at our Big Deal event. You can enter for a chance to win free wawa gas for a year, plus more surprises in your Burlington. Miami, that means so many ways and days to save. Burlington. Deals. Brands. Wow! No purchase necessary. Visit bigdealevent.com for more details.
The realist intuition is that truth does not float in midair. If something is true, there must be something that makes it so. Okay. And then what could that be? Well, you know, look, here's something that's true. Melbourne is in Australia. What makes that true? Well, I mean, it's partly the meanings of the words like the meaning of the word Australia, the meaning of the word Melbourne.
But in the last instance, what makes that true is a bit of geography about, you know, a continent in the southern hemisphere of our planet. Um, so would that be the case always? Because even an idealist, at least many idealists would say that what makes something true is that it corresponds to mind. Now they may just not say it's reality. They may say it's mind, but
They would also say that there does exist illusory concepts or illusory facts or illusory experiences and it's because they don't correspond in some way to the ground of reality which itself is mind. It's just they have a different ground. Okay, so there are plenty of real idealists and those are usually... So you raised the question of idealism and idealism is
There are many different kinds okay but um standardly at least most idealisms are taken to be some form of um anti-realism um so there's no reality external to your mind it's all in your mind um i i guess i've never been disposed to that why because um
It seems to me that what makes it true that Melbourne is in Australia? It's not something in my mind. I mean, I can't make Melbourne somewhere else by just changing my mind about it. If I did, I'd just be mistaken. And, you know, the same is true for the whole human race. If everyone was caught a befuddle by some kind of social media and started to think that Melbourne was in New Zealand, they'd just be wrong. Um,
So I mean, it does seem to me that in some sense, facts about the world, at least some of them, not all of them, but some of them had to be mind independent. I believe there's a difference here between solipsism. So it's all in your mind versus it's all in mind. So mind is the ground of reality. Well. Yeah, no, you're right. I mean, solism, solipsism is the view that there's only one mind in the world.
And if you hold that view, you could, I guess, be a realist as well. There's only one world, but most people who are solipsists will probably be some kind of idealist as well. That's true. Earlier used the word intuition, and there's a strand of logic called intuitionist logic. Again, that's something that many people don't know about. There are different forms of logic. They would just think there's classical logic.
So please outline what intuitionist logic is. And then this is a great time to talk about para-consistent logic and your particular brand of logic. Okay. So look, there are lots of things there. You mentioned intuitionism. I'll come back to that in a second. But that use of the word intuition has nothing to do with the way that I was using the word. I mean,
It actually derives back to a view of Kant who used the word intuition. Hear that sound?
That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms.
There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level. Join the ranks of businesses in 175 countries that have made Shopify the backbone.
of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothies, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at shopify.com slash theories, all lowercase.
Go to shopify.com slash theories now to grow your business no matter what stage you're in shopify.com slash theories. To mean something like sensation and intuitionistic logic is supposed to be derived from Kant's view of time, which informs our sensations. Okay, let's not get into the weeds. I just want you to make sure that
This thing, intuitionist logic, is a very technical reference to Kant, although the philosophy of intuitionism doesn't necessarily go back to Kant. OK, so let's put that aside. Look, I said that a modern logician will tell you something like logic is the study of what follows from what and why. And
The views about what follows from what and why have been changing over the last two and a half thousand in the West, let alone the East. Let's just stick to the West to keep things simple. So the first person to produce some kind of theory about what follows from what and why was Aristotle. Okay. No one believes Aristotle's view now. The medieval Christians and the Arabs had
different views, building on Aristotle's views about what follows from modern y. Then in the 19th century, you get all sorts of new views about what follows from modern y. And one that's been very influential was produced by the German logician Gottlob Freger and the British mathematician, well, they're both mathematicians, Gottlob Freger and the English mathematician Bertrand Russell.
And that was much better than anything that had gone before. So it quickly became Orthodox. And that's now what's referred to as classical logic, usually. So classical logic has nothing to do with the classical civilizations of anywhere. Okay. It's completely different from, uh, at Aristotle's view. It's fact is inconsistent with it, but it became kind of Orthodox early in the 20th century. But since then, logicians have invented many other
Possible answers to the story of what follows from what am I, and these are now usually called non-classical logics in contrast to the logic of Frager and Russell. Okay. So that's a bit of terminology. Now intuitionistic logic is a non-classical logic. It was invented by, well, it's mainly a product of the Netherlands. So.
Intuitionist philosophy as such was produced by a Dutch logician, mathematician, and he's working around the same time as Russell. And he has a critique of orthodox mathematicists of history. And he says, well, you know, it actually class standard mathematics uses principles, imprints that are wrong.
I need to try to develop a different kind of mathematics which doesn't use these principles he thought were invalid. So he was he was not a logician who's a mathematician and he didn't think much of formalizing logic. Okay. But about 20 years later, there was a, there was another, uh, Dutch mathematician, uh, called, uh, whose name is hiding. And he formalized the sorts of reasoning that he thought the brow was using.
And it's that that's called intuitionistic logic. Okay, and it differs from so-called classical logic in a number of ways Probably the most famous Although actually it's not the most fundamental is something called the principle of excluded middle So
We're inclined to assume and it's certainly assumed in the mathematics Orthodox mathematics that if I say something is either true or false, okay? Tenth the tenth the ten is either a prime number or it isn't Tenth the tenth the ten plus one is either a prime number although it already isn't okay. We might not know the answer We have to say something well-founded Well
If it's not well founded, would you just say it's false or you would just say it's not well founded? According to these guys, if there's some kind of procedure for determining the truth, then it's true. If there's some kind of procedure for determining the falsity, then it's false. Otherwise it's kind of neither. You got to be very careful about how you formulate these views, but that will do for this very rough and ready forum.
I'm so. Brow I thought this was crazy because. He was one of these people who thought that the truth had to be determined by evidence and if you have no evidence proclaiming mathematics. I'm either that is so or it's not so then he thinks you can't. Apply the law of excluded middle term so let me give you an example.
Take the decimal expansion of pi. So pi is an irrational number. Um, so it's with the form of three points, something, something, something, something, something, which goes on forever without repeating. Okay. Um, and we know what the decimal expansion of pi is to some enormous number of decimal places because there are computers that sort of try to figure this out, but they only know a final part of a finite part of it and it goes on forever. So, um, so question.
In the decimal expansion of pi, is there a sequence of a hundred consecutive sevens? We don't know. Maybe there is, maybe there isn't. Um, and Brown said, well out with the proof of the fact there is no reason. This is just something that's indeterminate. It's neither true nor false. Okay. So.
There's a kind of principle of standard logic, classical logic, if you like, the things are either true or false and brow wasn't persuaded by this at all. So he rejected the law of excluded middle. It's either so or not. So, um, and so that principle is not valid in intuitionistic logic. Okay. Uh,
Intuitionist logic is just one of many kinds of non classical logic. Now you use the word power consistent logic. And that has a kind of technical definition, but let me try and keep this simple. Roughly speaking, it plays the other side of the street to intuitionist logic. So.
There's this principle called Excluded Middle. It's either so or it's not so. And that goes out of the window in intuitionistic logic. There's a kind of flip side of that, which is called the principle of non-contradiction, which said nothing could be both so and not so. Okay. So ones are neither and ones are not both. Uh, and these are not exactly the same, although they often get run together and
A paraconsistent logic is roughly one that ditches the principle of non-contradiction rather than the principle of excluded middle, although there are logics that ditch both. So a paraconsistent logic will allow for the possibility that some things can be both so and not so. So in some sense, you know, intuitionistic logic and a paraconsistent logic play the opposite sides of the street. Yes. Now there are important differences.
that i'm sliding over but roughly speaking that's a kind of big picture story so one way to understand this that i find helpful is to imagine a sheet of paper and that
The standard logic is that this paper is just even well, not evenly divided, but can be divided into just being colored red and then colored blue and all of the papers colored red or blue. So you pick any point, you look at it, it will either be red or blue. So that's classical logic. The other way when people say exclude a middle,
It's quite a funny phrase until it's thought of like this. There is only the border of red and blue when you have a middle. So now you have white, you have some blankness. So you can have red and then you can have blue and there could be some blankness here. That's para consistent. And what's interesting about para consistent is that this image changes through time. So more and more of this map gets filled out with red and blue. So Fermat's last theorem, apparently to the intuitionists would be like,
It wasn't true until Andrew Wiles came along and proved it to be true or some alien civilization in the past proved it to be true, something like that, at least in one form. And then para-consistent would be if you had the red and blue, you were allowed to overlap with red and blue. Yeah. You can also think of coloring this in not with markers, but with something like pencil crayon. And the more intense colors are more truthful and the less intense are less. And that's actually fuzzy logic. I like this analogy.
It's a way to not just memorize, but to understand the litany of logics. So another example would be that if you have a bumpy terrain and there are different points of density inside of red and blue, well, that's contextual logic or modal logic because it depends on the altitude. What's great about this is that you can formulate the other forms of logic in this analogy. So ternary logic is if you then take a third color and you color it green or
Kripke's logic is like if you color it red and blue, but not on the paper itself on tracing paper. And then the next time you draw it on the next tracing paper. Okay. Look, I like this. I like this metaphor. Um, let me just say that I don't think that that wild proof of thermos last serum is intuition is invalid. I think it uses plenty of principles of inference, which, um, a suspect, but then
I've never studied laws proof in detail. So, uh, I could be wrong, but I don't think I am. Okay. So, but let's come back to your metaphor of how to understand these things, which is a nice metaphor. So you've got this piece of paper. Let's suppose that, um, there's a line down the middle. It's red on one side, blue on the other. And you ask what color is the line? Okay.
So you can think of classical logic, intuitionist logic and paraconsistent logic like this. The classical magician says, hey, well, it's either red or blue. Maybe we don't know which, but it's one or the other. It ain't, you know, yellow, for example. Okay. Yes. Yes. And someone might say, well, hey, no, it's just neither red nor blue. It's something else. And that's the person who is kind of,
Ditching Okay, it's not quite excluded middle it would have been better had I started with red and not red Maybe so someone who says well this line in the middle is neither red nor not red. That's exactly ditching excluded middle Yes, okay and And if someone says hey this line in the middle is both red and not red so red and blue and
Then that's the kind of power consistent move. Okay. Um, and for the purpose of this discussion, you can think of, um, classical logic as two valued, you know, uh, it's either true or false. Intuitionistic logic as three valued, uh, true, false and neither, um,
I'm sliding over technical sophistication city, but this will do for the present. So the intuitionist is someone who says, uh, the things which are neither true or false. Okay. That's the third value. And the power consistent logician is someone who says, um, yeah, it's both true and false. And that's the third value. So truly false only in both. So in some sense, um, you can think of these two things as a three valued logic.
So classical logic is true and false, that's it. A logic with truth value gaps is true, false and neither. A paraconsistent logic is true, false and both. So the intuitionist and the paraconsistent logician are going to disagree about what the third value is, either both or neither. But as you can probably imagine, you can have a logic with four values, true, false, both and neither.
We know those. And in principle, you can have an indefinite number of values, true, false, both, neither, and you know, take your pick. And in principle, you can have any number of values, including an infant number. So it's hard to sort of demonstrate these with with the metaphor of the piece of paper. But yeah, I mean, logical techniques go a long way beyond that. But it just thinking about how to react to true, false, both and neither. I mean, the
The image of a piece of paper with a line down the middle and you argue about the color of the line is a nice way of visualizing things. Now I misspoke when I said the pair consistent is allowing some overlap. It's not just that it allows an overlap. It's that it allows the overlap to not explode. So technically in classical logic, if there was even the tiniest bit of overlap, then it poisons the well and everything becomes right. Correct.
Correct. Okay. So paraconsistent just allows the overlap to not poison the well. Correct. So I said there was a technical definition of paraconsistency and I didn't give you that because I was trying to avoid some, uh, just give people the basic idea rather than go into the technical details. But since you've raised it, let me go into the technical details. So in classical logic and intuitionist logic, there's this principle of inference says that from a contradiction, everything follows. So
Here's an inference, uh, Donald Trump is corrupt. Donald Trump is not corrupt. So therefore, uh, the earth has 17 moons. Now prima facie, that doesn't sound a very good inference. It doesn't, I mean, the number of moons seems to have nothing to do with Donald Trump corrupt or otherwise. So, um, prima facie, you can think that's not a very plausible valid inference, but it's said to be valid.
In both classical and intuitionistic logic. Um, and it's not stupid. Um, the, the story that you'll get told to justify this slightly un, um, implausible thought is this. Yeah, but you know, this premise that Donald Trump is corrupt and not corrupt just can't possibly be true because the contradiction can't be true.
Um, and so explosion will never take you from truth to falsehoods because the premise can never be true. So explosion is kind of vacuously valid. That's why this principle of inference gets to be valid in both classical logic and intuitionist logic. Okay. Now, um, if you're moved to a power consistent logic,
It's gonna allow for the possibility that some contributions are true. You know, the line down the middle of your piece of paper is both red and not red. Okay. Um, but you don't want to say, well, it's neither red nor not red. So the earth has 17 moons. I mean, that would be silly now. And now you can't say, well, um, it can't be the case that premise is true because we're allowing for that possibility. So.
Explosion has to be invalid. And that is the technical definition of a power consistent logic, the invalidity of the principle of explosion. And you can make the thing more complex, but you might have a logic with neither and both and some other values as well. So professor, why don't we talk about the liars paradox, your views on why contradictions just exist, they do correspond to something in reality. So
Let's start off with the Liar Paradox. Okay. Many of your listeners will know this, I guess, but many of them will not. So this is a very old paradox in Western philosophy, Western logic. We think it goes back to the ancient Greek thinker eubelides. It was a rough contemporary of Aristotle. So, you know, maybe fourth century BC. And the paradox essentially goes as follows.
Um, suppose I tell you that Melbourne is in Australia. Is that true? Yeah, sure. Suppose I tell you that, um, Melbourne is in China. Is that true? Well, no. Now pay attention. Suppose I say, look, this very sentence that I'm uttering now is not true. Is that true or false? Well, it's kind of hard to answer that question.
Suppose it's true. Well, if it's true, it says that it's not true. So it's not true. So if it's true, it's not true. All right. Is it false? Well, if it's false, it's not true. And the very claim it's making is it's not true. So it seems to be true. So if it's false, it's true. So you seem to be in this very strange situation where if it's true, it's false. And if it's false, it's true.
And, um, the standard paraconsistent thought is that it's both true and false. So that explains why history is false. If his force is true, cause it's both now, um, this is not the most popular account of the paradox, certainly historically, because coming back to the distinction we drew between verical and falsidical paradoxes.
The standard reaction in the history of western logic has been that this is a full cynical paradox. You can't accept the conclusion because it's a contradiction. Um, so the game in town has been to explain what goes wrong with the argument. And logicians have not been very successful if consensus is a mark of success.
Because two and a half thousand years after your abilities, there's still low consensus on what's wrong with that argument. Um, the power consistent move is, uh, this is not a false radical paradox. It's a vertical paradox. Namely you accept the conclusion. The conclusion is that that sentence is true and false. Is that a contradiction? Yes. Um, so some contradictions are true.
In math, there's a concept called proof by contradiction, which is exceedingly powerful.
I've never heard an argument from an intuitionist, so I'm currently speaking to a paraconsistentist, but I've spoken to intuitionist before and I've never heard an argument for why is it that
The proofs by contradiction seem to prove results. You get to results that you could also get to constructively, like later on you get to them constructively. So there seems to be something true about this whole proof by contradiction. No, let's go down the other path. There are two paths. Let's follow one. That's a contradiction. Therefore, it's the other path. Now, in this sentence about the liar, it's interesting because you go down one path and you say there's a contradiction. OK, so let's explore this other one. We also get to a contradiction in math. It's not like that.
You explore one path. If there's only two, it leads to a contradiction. It's a contradiction. Great. So then you accept the other path as true. Yeah. This leads to miracles of engineering and we're here and there's running water and so on. So physics has its applications and math has applications in physics. So it seems to have something to do with reality. So why do you think that is? Why do you think proofs by contradiction work? Okay. So there are many things there.
There's a standard of, there's a form of proof called reductio ad absurdum. Actually, it'll be better called reductio ad contradictionum. And it's valid in classical logic. It's valid in intuitionistic logic. Okay. And the form of proof says assume P deduce a contradiction and then infer that not P and get rid of your assumption.
Okay, in that form is valid in classical logic and intuitionist logic. Whether or not you can always turn that into constructive proof depends. You can't always in classical logic, you can in intuitionistic logic. Okay, so that that's the difference. But it's valid in both forms of logic. Okay. Is it valid in a paraconsistent logic?
Well, it's complicated because there are many versions of paraconsistent logic. There's really only one intuitionistic logic, but paraconsistent logic comes in many different kinds. So in that sense, intuition is logic and paraconsistent logic aren't kind of playing different sides of the street.
And if you look at that kind of argument in in power consistent logics, it's it's gonna be valid in some of them, but not others. Because you're not. If I look at what kind of argument. Reductive argument. I see. So assume pay. Did you use contradiction and infer not pay? Okay, right.
And a lot hangs on how you infer it, in fact. But as a sort of ballpark statement, it's not going to work in a lot of paraconsistent logics. Okay. So how come we can apply logics where it is valid and things go right? That was your question, right?
Well, there are several relevant things here. But the first thing you should notice this hasn't always been the case that people reasoned in this way and got results that were useful. So, for example, in the 17th, 18th century,
Mathematicians invented the infinitesimal calculus. Now a feature of the infinitesimal calculus is you're dealing with things infinitesimals
Which one point in the computation of computation of derivatives integrals and so on had to be assumed to be non zero and another point that had to seem to be zero. So different points in the computation you assume that infinitesimals having consistent properties and this was well known. It was sort of satirized by Berkeley who called the infinitesimals the ghosts of departed quantities. I know the people knew the mathematicians knew this.
But they reasoned in a certain way using infinitesimals and they got the right answer. I mean, the infinitesimal calculus was the basis of Newtonian dynamics and other things as the centuries went on. Okay. Now it's true that about 200 years later, it was figured out how to do this, these computations without using infinitesimals.
so infinitesimals disappeared from the mathematical menagerie but for 200 years mathematics assumed that infinitesimals had different had contradictory properties at different points in their computation so um obviously they weren't using reductio and absurdum otherwise they could have proved anything all right which they didn't do so
Would people still argue about what forms of reasoning they were using? That's a contentious question, but, um, certainly they weren't using an unbridled form of reductive absurd and, but they were getting the right results. You know, um, we inferred how things moved. We inferred how to send rockets around the world and, and so on. So it's actually not true that mathematics has always, um,
Have you heard? Sling TV offers the news you love for less. Hey, wait, you look and sound just like me. I am you. I'm the same news programs on Sling TV for less.
You mean you're me, but for less money? A lot less. I'm all the favorite news programs and more on Sling TV, starting at just $40 a month. Everything great about me, but for less money? Which makes me greater, don't you think? Get the news you love and more, for less. Start saving today. Visit sling.com to see your offer.
How is it that if you do reason in a way that uses reductio, you get the right answer? Well, that raises a much bigger question.
namely how do you know what the right bit of mathematics to use is because people have applied different bits of mathematics for different reasons so for example in particle physics there are two kinds of particles bosons and fermions i think they're called and they satisfy different probabilities distributions
So you reason about bosons and fermions differently in probability theory because they have different probability distributions. Um, how do you know which is the right bit of mathematics to use? Um, and the answer is, well, you know, you get the right results now. So there's always a question of how you, what bit of mathematics you use. Um, we know that, uh, you can be wrong about this.
Another example is this, until at least the end of the 19th century, maybe the early 20th century, people thought that if you want to reason about the space of the cosmos, or at least the space time of the cosmos, use Euclidean geometry. That was what it was designed for, you know, two and a bit thousand years ago. We now think that's wrong. We think that's the wrong bit of mathematics.
Because the geometry of space or space time of the cosmos is not Euclidean. So we just got the wrong bit of mathematics. And how do we know? Well, because a different bit gave the right results. So how do you know where something is the right bit of mathematics to apply? Well, in the end, it's going to be that gives you the right results. Now, bits of mathematics.
Which use redactio do seem to give you the right results sometimes other times they may not if you use them in the eighteenth century for doing the calculus that have given you the wrong results. Mathematics is a much bigger game than people who only learn contemporary mathematics think.
Um, and we now know that there is mathematics based on classical logic. There's mathematics based on intuitionistic logic. There's mathematics based on paraconsistent logic. Um, you've always got a choice about what, what you're going to use and you use the one which gives you the right results for the application. Um, in the end, that's going to be an empirical matter if you're applying mathematics to the empirical. Um, so.
I think that answers your question. Tell me if you want to come back to it. Yeah. And my issue is that if you start off with some axioms and let's just say ZFC to be clear, if you start off with that, one way of looking at that is that it then branches out the whole theory of math that comes from ZFC is like a tree. So you start with the seeds of the eight or so or 10 or so axioms of ZFC and then out from that populates this tree of statements.
And then some of these statements you want to get to, you try to get to, and you find that it will lead you to a contradiction. So then you prune off that branch and go into other branches and you form this Baroque tree. You can also form a tree with ZFC at the bottom and then say, well, you have to minus the C part or the axiom of choice for the intuitionists. And then you formulate a tree as well. And this tree overlaps and it overlaps so
Prevalently now not all of it overlaps like there's Zorn's Lemma and whatever else comes from the axiom of choice. But it's just odd to me that if you allow proofs by contradiction than any point that the person who doesn't allow a proof by contradiction can get to I can also get to and then what you're saying about the physical reality only corresponding to one branch or some subset of this branch. That's fine. That doesn't impact what I'm saying. I'm just saying that
I wonder why, because in the boson and the fermion case, there's nothing contradictory about the math itself. Correct. Now, which math itself we choose, we don't choose a contradictory math. That's what I'm saying. Not in that case. Not in that case. But of course, in the case of the theory of infinitesimals, if you'd chosen to use a logic with explosion, you'd have got the wrong answers. There are a lot of things going on here.
The first is that you talked about Zemilo-Frankel set theory and a very standard view, um, at least until relatively recent times, um, post 1920 is all mathematics could be developed on the basis of Zemilo-Frankel set theory with choice. Okay. Um, you can drop choice. If you drop choice, you prove fewer things. That's true.
But anything who's proved doesn't depend on choice is going to follow in the theory without choice. So that you've got an overlap is not surprising. Um, but, um, even though it was kind of an orthodoxy that, um, all mathematics can be captured as a Milo Frankel set theory, that's highly dubious. And we've known that for a long time category theory.
Doesn't really fit into it, for example, because category theories, at least prima facie deals with enormous totalities, which don't exist in Zemila-Frankel set theory. So, um, at least since the emergence of category theory, the orthodoxy that Zemila-Frankel set theory, uh, grounds all classical grounds, all mathematics is just not right.
What's fair is that it seems to be able to ground all mathematics, at least as it was in the 1920s to maybe the 1960s. And we now know that mathematics does not have to be restricted to being based on classical logic. There's intuitionistic mathematics, intuitionistic paraconsistent mathematics.
You can prove different things, you can't prove the same things in intuition mathematics as you can in classical mathematics, you can prove things in intuition mathematics which are contradictory to things in classical mathematics.
Hmm. Nonetheless, they're perfectly good, pure mathematical structures, but determine rules and you can investigate them, approve things. Like what? What would be an example of something you can prove in intuitionist math that contradicts classical math? They're all real valued functions that continuous. Uh huh. So that one would be in classical. No, that's, that's, that's the most be false in classical real number theory, but it's mostly true in intuitionistic real number theory.
Why can't you make a real valued function that's not continuous and classical? Because you've got to jump. Okay. Just consider the function, which is zero function FX, which is zero. If X is less than zero and one, if X is greater than or equal to zero, that's got a discontinuity at X equals zero. But in intuitionistic real number theory, you can prove with all real valued functions are continuous. Oh, sorry.
I thought you were saying that in classical math, real valued functions are continuous. No, other way around. Cause I'm like, yeah, you can have step functions. So, okay. Understood. Understood. Okay. So let's move a bit, but still staying within intuitionist logic in theme. I was speaking with a quantum physicist named Nicholas Gisson. He's an intuitionist and he suggested that intuitionist logic is intrinsically tied to time. Why? Because something remains undefined until a certain time.
So the classic example is, will it rain tomorrow? Well, it's not truthful. It's not false, but it's undetermined until it's tomorrow, at which point it then becomes true or false. Okay. Paraconsistent logic. Does that have anything to do with time? Um, look, it's, it's true that, um,
On most understandings of intuitionistic mathematics, things can achieve a truth value they didn't have before because you've got a new proof. That's absolutely right. Um, that, but you can have that ink in different non-classical other non-classical logics as well. Um, I mean, the, the example you're using, um, about the future contingents they're called, um,
is usually go taken to validate not intuitionistic logic, but a three valued non intuitionistic logic. Okay. So this is this thing about time is not that your person was pointing to is true, but it's not specific to intuitionistic logic. Okay. There are, it works in a number of other logics as well. Um,
Whereas if you're a classical logic, um, you're not going to accept either of those because even if you don't know what's going to happen in the future, it's either true or it ain't now. Okay. So now the question is, what's interesting is look, some logics have some metaphysical implications with regard to time. Now does para consistent have something similar? Yeah. Maybe it's not just with time. Maybe it's with something else.
Could be space could be something else. Well, time is a tricky subject. Um, and a number of problems with time, highly contentious, not, not the stuff you're doing relativity theory. Uh, that's pretty standard, but there's lots more to time than just special relativity or general relativity. Um, I mean, there's a sort of phenomenology of time. There's,
The flow of time, there's all kinds of problems with time, which are addressed by special relativity. Um, and some of those problems maybe can be addressed with, um, a paraconsistent logic. It's going to be contentious, but you know that there are some problems about time, philosophical problems about time, which are contentious. Now, look, let me give you one example.
Think of the flow of time. Naively, we all think that, you know, there's stuff now and then it goes into the past and then new stuff happens. And, you know, this is sort of partly to do with the open future that you were describing, but time seems to flow in some sense, you know, things start off with the future. Come present and become past. This is usually called the flow of time.
There's no such thing as special relativity, but certainly that's the way that time appears to us. It's part of the afternomenology of time now. Um, how do you account for that? Okay. As I say, there's no consensus on this, but the flow of time certainly does seem to lead you into contradictions. Uh, some very famous ones. In fact, one is, um, one suggested by a
British, actually Scottish philosopher MacTaggart at the beginning of the 20th century. And MacTaggart argued that flow of time is real and that means that time is contradictory because nothing can be past, present and future, but everything is past, present and future. Okay. Now there are various ways of replying to this and MacTaggart had various counter-replies and so on.
We don't need to go into that here. All I'm putting out is a number of people have thought that aspects of the nature of time generate contradictions. Now, you might disagree with the arguments, of course, but if you think those arguments are right and you don't think that time is illusory and so you just throw up your hands in horror, then if time is contradictory, when we reason about time, we're going to need a power of consistent logic.
It could well be that various aspects of time will require a paraconsistent logic if you're going to reason about them sensibly. This is very contentious, but everything about this area of time once you get beyond special relativity is contentious, I'm afraid. So the tricky part here is that often in philosophy, you find that some statement is contradictory or some concept is contradictory.
And that leads you to investigate it further and find that you were using ambiguous terms or you need to explicate further. You get the idea and it leads you to some further insight. The issue with pair consistency that I'm sure you've thought of is that if we're going to accept contradictions, then how do we know we're not prematurely accepting a contradiction?
How do you ever know you're not accepting something prematurely? Look, our views all change all the time. We can always find out we're wrong. That's a hard fact of adult life. But sometimes when you've got a theory and it generates a contradiction, then you want to change the theory and that's the right thing to do. Sometimes it may not be. So look, when you apply
When we're doing most things of any substance physics philosophy moral philosophy history politics. We're dealing with things about which we have to theorize. And there are different theories there's actually no theoretical enterprise in which there aren't all these haven't been competing theories. No if you subscribe to classical logic.
If your theory turns out to be inconsistent, you say, Hey, it's wrong. We've got to look for a consistent theory, right? Um, if you're a power consistent logic and you get to an inconsistent theory, you can say the same. Maybe there's something wrong and let's look for another theory, but something you might say is, well, maybe the phenomenon we're dealing with really is inconsistent.
So it puts another possibility onto the table. So you're not losing anything. You're gaining extra possibilities. So you already had a bunch of different theories to choose from. Some have now gone because you've written them off a priori. But you're still going to have a bunch of theories. Some of them are consistent. Some of them are inconsistent and you choose the best theory. Okay. How do you choose the best theory? Well, that's the sort of standard problem in the philosophy of science.
You choose the theory which answers best to the data, which is simplest, most unifying. These are standard criteria in the philosophy of science. And sometimes it may well be that the inconsistent theory fairs badly than some of the consistent theories. Maybe that's often going to be the case, but maybe it's not. So, I mean, just come back to the liar paradox.
We've been constructing theories, most of which have been consistent for two and a half thousand years. None of them seems to work, at least if consensus is a mark of working. So now we've got another possibility on the table. The theory of truth is inconsistent. Let's compare that theory with all the other theories and see which fairs best. When talking about paradoxes, something I wondered is, is paradox exclusively a property of self
Referential systems so the liars paradoxes self-referential but that you just outlined the mick taggart time paradox so that doesn't seem to be referring to philosophers disagree about this um some philosophers have argued that um all dialithias all true contradictions were generated by self-reference
So there's an American logician, J.C. Beale, who argued this at one time. I'm laughing because he's recently changed his mind and he now thinks that's false. And he thinks that God can be inconsistent, too. OK, I'm not going to go down that path. But, you know, at least 30 years ago or 20 years ago, that was his view that all dialysis were generated by self-reference.
But I've never held that this is the case. I mean, maybe the paradoxes of reference are the most striking, but I think there are other very plausible examples. And, you know, we've talked about motion. That's another one. And there are others that I find very plausible. Now, Professor, something that is extremely interesting is you have a talk which again will be linked in the description. And I believe I referenced it in the introduction.
It is everything and nothing. Yes, this is a wonderful talk. So the reason I say that is that I've just watched it recently. I can tell when I watch something whether it will stay with me for a while. And this is one of those that I'll be thinking about for some time. It also is extremely accessible to the public. Like there's not much background knowledge.
In fact, some background knowledge will hinder you from understanding it. I say that because there's a lowercase sigma for sums. And I'm like, oh, just use the uppercase sigma, because then I could read it like that. But now I have to apply some second order thinking to it. But anyhow, in it, you argue that not only is nothing or nothingness, which we can talk about, not only is nothingness contradictory, but it is the ground of reality. And you explain that as
Either as ontological dependence, which I don't know if that's the same as supervenience. So I would like to know what is the difference between ontological dependence and supervenience before we go on. Well, I'm just trying to think how to put this in simple terms. Okay. Let's take supervenience first.
Supervenience occurs when you've got two levels of reality so to speak and you can't have a change in the more superficial level without a change in the more fundamental level. So one context in which that's often appealed to is the philosophy of mind. So, you know, we have mental states.
Some people think those are completely different from physical states of our body and our brain. Some people have held that you can reduce mental states to physical states. So you can define a mental state in terms of physical states. Both those views face steep problems. Another view is that the mental supervenes on the physical. So you can't actually define the mental in terms of the physical. But what you can say is that in some sense,
There's a sort of dependence relation that you can't have two different mental states without some different physical states and that that supervenience, you know, the supervening phenomenon. You can't have a change in the supervening phenomenon without a change in the subvenient phenomenon, that supervenience. Okay. Um, ontological dependence is this that, um,
Okay and it comes in various different forms so let me try and keep this simple. One very common form is that the nature of something depends on something else. So for example it might be said that you're being a human depends upon your genetic structure.
Actually let me give you a better example that can be a pill to get a tree and the sun's out you got a shadow of a tree. Shadow of the tree depends on being a shadow of a tree on the tree. But the tree doesn't depend on being a tree on the shadow of a tree. Okay understood.
I'm not this is not the same as the super meeting picture i mean you don't have two levels of reality for stop push shadows trees are part of the same reality. So this is not a relation of super variance it's a bit is taken to be a relation of psychological dependence. Okay so now let's explore what is the difference between nothing and nothingness.
okay the word nothing in english and cognate words in other languages is ambiguous the word nothing can be a quantifier which means that it's not a referring term um quantifier phrases tell you that quantify various things like something everything few many most and it tells you whether something everything few many most things satisfy some condition
These are not quantifier phrase are not referring phrases. And if I say she opened the fridge and there was nothing there inside, that's a quantifier. It's saying for no X was X inside the fridge. It was empty, right? So often when we use the word nothing, it's a quantifier phrase, but nothing can also be a noun phrase. So it does refer to something. Well, if it refers at all, that's contentious.
But if it refers, it's the kind of phrase that refers to something. That's what a noun phrase is. So, um, if I say Hagel and Heidegger wrote about nothing, but said different things about it. The word nothing there is a noun phrase. How do you tell when there's this, there's this anaphoric pronoun it, and it refers back to whatever nothing is referring to. So nothing must refer to something.
Okay, so when we're talking about nothing, and we're not talking about the quantifier, we usually mean it as a noun phrase, something that refers. And in English, we often put the word the suffix, the postfix ness on the end, nothingness to make it clear that it's a noun. In German, in other languages, you would put a definite
Description in front of it that's next which you don't do in english right we don't talk about the nothingness in english um but um that we have various devices which we use in most languages to tell you you're talking about the noun phrase and not the quantifier okay and suddenly in that lecture that you mentioned i was talking about nothingness that is nothing called noun phrase not quite quantify which is quite different
So again, the lecture will be on screen here. I'll show an image of it and the link will be in the description. I recommend you watch that because there's a formal proof that the notion of nothingness, given some assumptions and which are reasonable assumptions, given what we think the properties of nothing should be lead to nothing being contradictory, but also that every object is dependent on nothing. So
This is metaphysically interesting and contentious. Right. Now I want to leave that as a teaser, which will come back to and there's a flip side to nothing or nothingness, which is everything. So please define what everything is and talk about whether it itself is a well-defined notion. Okay. Look, all this stuff is contentious. Um,
I think both nothingness and everythingness, if I can use a kind of very strange way of putting it, are both fine. Now, I gave that lecture that you're referring to in Bonn, and I was invited by a philosopher there called Marcus Gabriel, who has made quite a name for himself, arguing that there's no such thing as everything. There's no totality of everything, right?
Oh, okay. So when you were saying in the lecture that Marcus said so-and-so, it wasn't Marx. You weren't speaking about Karl Marx. Okay. Cause I was wondering, I thought as Karl Marx spoken about everything, cause it sounded every time he said, Marcus said, I thought you said Marx has said so-and-so. My poor pronunciation. No, I was talking about Marcus Gaffigan who was in the audience. Yes. Okay. And in fact, Marcus and I have since written a book called everything and nothing.
Well, that's wonderful. Marcus does not think there's such a thing as everything, and I do. I think there's also such a thing as nothingness. Marcus was a bit dubious about that, but that's a different matter. So the question is, how do you define these things? And in the case of everything, there's a standard definition in the branch of metaphysics or logic called Mariology. Mariology is the theory of parts and wholes.
Um, and everything is just the object you get when you put together every thing. So it's a noun phrase, right? It's the very logical sum of everything and every thing there is a quantifier. So you take all the things there are, you squish them together to get one single object and that's everything. So in Mariology, you've got this,
This operation of fusion, which means if you take the parts of something and squish them all together, you get the thing in question. I have parts. I've got two arms, two legs, a head, a torso, et cetera, et cetera. If you've put all those things together, you get me. Okay. If you take Beethoven's fifth symphony, it's got four movements. If you put all those things together, you get the symphony.
And the thought is everything is you take every thing and squish them all together you get this thing everything. Noun phrase. Mark doesn't like that argument for various reasons but i do. So that's everything it is a standard creature in orthodox marialogy.
This episode is brought to you by State Farm. Listening to this podcast? Smart move. Being financially savvy? Smart move. Another smart move? Having State Farm help you create a competitive price when you choose to bundle home and auto. Bundling. Just another way to save with a personal price plan. Like a good neighbor, State Farm is there. Prices are based on rating plans that vary by state. Coverage options are selected by the customer. Availability, amount of discounts and savings, and eligibility vary by state.
Now if that's everything what's nothing well it's the flip side it's what you get when you put no things together right everything is what you get when you put everything together when you fuse all things nothing is what you get when you fuse no things when you put no things together and uh it must be said that nothing is that the the empty fusion
It's not a standard part of marriage. But one of the things I did in that lecture was show that you could construct a marriage based on very natural ideas, which gives you empty fusion, a fusion of no things. And you can use that to prove that nothing is both something and nothing, but an object and not an object. Um, right. And if you think about it, I mean, there's a paradox.
Concerning nothing this well because nothing this is something i mean you can talk about it you can think about it you can wonder whether there is such a thing you are no so nothing this is something but nothing this is well nothing nothing there's nothing there um so this is something like
recently been calling the paradox of nothingness and it's not not a famous paradox like the xenos paradoxes or the paradox of self-reference but i think it's a really interesting paradox uh and for me it ranks right up there with those paradoxes does this sort of paradox that's associated with nothingness characterize everything as well no there isn't a corresponding paradox because
Okay, is there a paradox of everything of a different sort then? Have you heard? Sling TV offers the news you love for less.
Hey Wade, you look and sound just like me. I am you. I'm the same news programs on Sling TV for less. You mean you're me but for less money. A lot less. I'm all the favorite news programs and more on Sling TV starting at just $40 a month. Everything great about me but for less money? Which makes me greater, don't you think? Get the news you love and more for less. Start saving today. Visit Sling.com to see your offer.
Outline by your friend, the co-author Marcus. In the lecture, it seemed like there was, and then it seemed like you just accepted that as intrinsic. Yeah. Looking back on itself. Of course there are various arguments about everything. Ness. Okay. Yes. Yes. Yes. And Marcus does use arguments to try to establish that, um, there's no such thing because it leads you to contradictions. For example.
He thinks that everything has got to be part of something different bigger. So there can't be a totality of everything because it would have to be part of something bigger and there's nothing bigger for there to be. That's an argument he uses. Um, I think that's a fallacious argument because, um, that assumes that nothing can be part of itself.
Which is a kind of standard Mariological principle, but it's one that's been very, everything can be part of itself. He thinks that nothing can be part of itself. Ah, okay. Um, which is, um, a standard principle of Mariology. Uh, and I think that principle is, I mean, that, that principle has been questioned by a number of people. And I actually think that principle is incorrect. So, um,
He doesn't accept that there's such thing as everything because he thinks that that's a good argument. And I don't whether you want to call it a paradox. I'm not sure. Okay. Now another question is given you have such disagreements with this colleague of yours, how is it that you could write a book together? What was that like? Because it was a dialogue.
I put my side of the case, he put his side of the case, and then we sort of discussed these things and recorded it and transcribed the recordings and put them in the book. Did we reach consensus? Of course not. This is philosophy. So it wasn't the sort of book where you write and there's chapters and it's an ordinary book that's not in the form of dialogue.
Great. It was definitely a dialogue between Marcus and myself. Okay. Now, what's interesting to me is that nothingness is contradictory. Contradictory seems to be a property of nothingness. But that would imply that nothingness has properties. So that's not a problem for you. That's interesting to me, because to me, I would think that nothingness would be that which has no properties.
Or at least that a property of nothing. I know this is contradictory. Maybe this is you're allowed to accept this, but a property of nothingness is that it has no properties. Not only does it contain nothing, no thing, but it also has no properties. But I would like to hear your thoughts on this, please. Well, look,
If you define nothing as the thing which has no properties, then of course, well, not of course, but you might think that this is true by definition. I don't think that's the right definition of nothing. Nothing is what you get when you put no things together, which is kind of different. Um, but any thing that's the quantifier has some properties. For example, it's self identical or it's something.
Are there any contemporary philosophers who don't agree with the, I don't know if it's a law, but self identity that X equals X?
Yes, there are. You can construct systems of logic where that fails. One thing we've learned because of the tools of modern logic, they're so powerful, so versatile that you can construct a system of logic where anything fails. Let me just say a little bit more about that.
There was a revolution in logic around the beginning of the 20th century. Associated with Frager and Russell and various other people where they showed for the first time, really in the history of logic, how you can apply very powerful tools of mathematics to the subject. It was the birth of mathematical logic. And they use the tools to construct classical logic. Um, and for a while it was taken that this had to be the right logic.
Because it was a result of applying the tools. But we now know that these tools are really very powerful. Axiomatics, combinatorics, model theory, proof theory. And you can use these tools to construct so many different non-classical logics. That's not contentious. And they're so powerful that you give me any principle. And I can construct a logic where that principle fails.
That's how powerful the tools are. So just applying the tools is not going to get you in itself anywhere. You've then got to worry about, you know, you've got all these systems of logic. How do you know which one is right to use? And we're back with the question of, you know, applied mathematics. How do you know that it's the right bit of applied mathematics to use for the job? We're in that ballpark.
What are those called and who is a proponent of them like a serious proponent of them and intellectually curious endeavor. Let me see there are probably a few people, but I heard I'm just reading a paper by
An Italian, sorry, a Japanese colleague of mine, Naoya Fujikawa, where he discusses these systems. I heard a talk by a Brazilian logician, Octavio Bueno, who works in Miami two weeks ago, where he's talking about logics about these things. So that, I mean, there are certainly philosophers and logicians who play with these ideas and talk about possible applications.
So that's two, right? One's Japanese and works in Japan. One's Brazilian and works in the US. And there are others too, I'm sure. Speaking of an interesting digression. Actually, it's not a digression. What would you say is the difference between no-thingness, so nothingness, but I'm going to call it non-thingness to make it congruent with.
Okay, um,
Look, for start, the word being is ambiguous. So being is the abstract noun derived from the verb to be in English. And any logician will tell you that's ambiguous. There's the B of predication. John is happy. There's the B of identity.
The current president of the United States is Joe Biden. There's the B of quantification. There are people who think the contradictions are true. Now those are different. Okay. Why are any of those even being because I didn't hear the word being in there. There are the being is the abstract noun derived from the verb to be.
And there are or there is uses the verb to be. No, explain this for me. So the sentence, if I was to write it out, I don't see the word to be in it. No, you see the word implicit in. No, no, you see the word is and is is the third person singular of the verb to be. OK.
The reason why i have a sticking point with that is because of you because you made an interesting i've never seen this done you've made an interesting distinction between is and existence yeah that that's that's a different matter but i'm just pointing out that the verb is be is itself ambiguous i see i see okay okay for me now the word is is no longer
So clear cut. So that's why I didn't make it equivalent to be okay. Now, because before I would have made it equivalent to existence. And now since that's up in the air, well, so that that's right. Now, um, one of those meanings, um, namely the meaning of quantification, there is, uh, has been held by some famous philosophers, including Vannall McQuine, uh, to be equivalent to exists.
so he held that when you say there is something that means there exists something now that's kind of a made that an orthodox view in anglo philosophy it's a very dubious view as well his arguments because i can say things like oh
There's something there is something I wanted to get you for your birthday, but I couldn't get it because it doesn't exist. It was a it was an actual picture of Sherlock Holmes. Now. If there is means there exists, what have I just said? I've said there exists something I want to do to buy you for your birthday, but I couldn't buy it because it doesn't exist. I've just contradicted myself. And dialethism aside, that's not a very tempting contradiction. OK.
So that the reason I was pausing is because the question you raised is kind of kind of tricky for several reasons. The first is that the verb to be is ambiguous. The second is one of those meanings. Some people identified it with the existence. I don't think that's a good idea. But then there's another part of your question about nothingness and no thingness.
Now, um, that raises different issues again. Okay. So, um, if I'm right about nothingness, it is no thing. It's something as well, but it's no thing. That's part of the paradox, right? But, um, are there other things which are no thing? That'd be paradoxical, but I mean, is nothingness the only kind of thing like this? Or are there other things?
Well, there are certainly things that don't exist. I mean, Quine didn't think so, but you know, Sherlock Holmes doesn't exist. Maybe you believe in some God or other, but you know, you don't believe in all of them. So whichever ones you don't believe in that God doesn't exist. And, you know, lots of things don't exist. A touchier question is whether some things
I'm not and i don't mean by our exist i mean just a being right not an existing being and a lot of people think the answer to that is no the only thing that is nothing is nothingness that's not actually my view but a lot of people hold that view.
So okay i take you through some weeds there and i apologize but the weeds are fine i like the chaperone we live for the technicality the question you asked at the many different you know aspects and. It's hard to answer without teasing somebody's aspects apart so apologies for taking through you through these various distinctions.
What came first, your love for para-consistent logic or your fondness for Buddhism slash Taoism? The former. So you may or may not know that my doctorate is in mathematics and it was in classical logic. So I was trained as a classical logician. But soon after that, I started to
Realize there are problems and everybody knows there are problems, but I thought these problems are serious, right? So that's when I started to work on power consistency. At that time, I knew absolutely nothing. Actually, I do nothing much about philosophy because I was trained in mathematics, but I certainly knew nothing about the Asian philosophical traditions. I didn't know anything about those until 25 years later.
Okay. Well, um,
For start i'm not a buddhist i don't have any religion okay i don't practice meditation so what i've learned in from the asian philosophical traditions has nothing to with religion specifically of course i am sympathetic to various views both ethical and metaphysical that you find in
eastern traditions maybe especially buddhism but then i'm sympathetic to many views you find in um various you know western traditions some of them are religious too so um as i say you know this has nothing to do with religion but that doesn't mean that i just believe everything that any of these things says okay so what effect has learning about the asian
Very simply it's made my understanding of philosophy much richer. So, um, in all the world's religious traditions, there are some questions which crop up everywhere. What's the nature of reality? Um, how should I live? How do you run the state? How do you know these things? Okay. They all address these in one way or another. Um,
Sometimes you find questions in one tradition. You don't find another. That's fine, too. Sometimes when they are dealing with the same questions, they will give similar answers. Sometimes they give very different answers. But you want to know these things. You get a much broader, richer canvas of philosophy. So when I do philosophy nowadays, I'm able to draw on
a sort of a wealth of ideas from many of the world's philosophical traditions that I wasn't able to do, say, 30 years ago. So my understanding is, Richard, the tools I have are richer. Hopefully my philosophy is richer. We haven't talked about why nothingness is the ground of reality. Yes, I understand that there's an hour long lecture at which I'm recommending people watch where that argument is laid out.
However, can you recapitulate that in a succinct form? Look, it's difficult to do that. But let me at least hint at the reason. How about just the idea of ontological dependence on nothingness? Yeah, OK. Look, let me
Ontological dependence is often couched in terms of certain conditionals, which logicians call counterfactuals. What I mean is this, um, the shadow of the tree depends for being the shadow of a tree on the tree. If it weren't a tree, it wouldn't be the shadow of a tree. Okay. That's a conditional is called a counterfactual. If this thing weren't a tree, it wouldn't be the shadow of a tree. So that's that.
Dependence is often couched in terms of these counterfactual conditionals. Okay. But, um, counterfactual conditionals or at least dependence conditionals can, um, the negative ones as well. So take a Hill. Um, if, if that weren't distinct from the surrounding plane, it wouldn't be a Hill. Okay. So there's counterfactual if it weren't.
That's the counterfactual distinct from the plane. It wouldn't be a hill. It would be part of the plane or it would be a ravine. No, if it were a ravine, it would still be distinct. Let's just leave it at that. Okay. It's being a hill depends on it being distinct from the plane. Okay. Leave it at that. Now, something being an object depends on it being distinct from
Nothingness, if it were nothingness, it wouldn't be an object because nothingness isn't an object. So it's a bit like the hill in the plane. What makes it a plane? What makes it a hill is that it stands out from the plane. And in an analogous way, what makes something an object is that it stands out from nothingness. Okay, that that's the basic form of the argument. And I stole that from Heidegger.
Now, did he steal it from Spinoza or is that a different argument? Not as far as I know. So the reason I'm saying that is this idea that in order for you to specify an object, you have to write about its negation or speak about what it isn't. No, that's that. That's every determination is negation. That's Spinoza. I think that's a different thought. I mean,
This is a specification and it does use a negation but I don't think but it's a special kind of conditional which has to do with the nature of something. What Spinoza was talking about was simply a way of if you want to characterize anything in any way there's got to be a contrast with something that's not that. Okay and you know that's a different point
There's a professor of philosophy. You may know him. His name is Anand Vaidya. Yeah, I know him. There's an interview for people who don't know with Anand Vaidya on analytic philosophy, epistemology, Vedism. It's in the description. It's a fascinating gem of an episode. There are several insights there into non-dualism, dualism, truth and falsity. He knows I'm interviewing you and he said the question. He said, can we understand the Madhyamaka claim
That the ultimate truth is that there is no ultimate truth through para consistent logic. Well, the straight answer, the simple answer is yes. Okay. Now, of course that the simple answer is not very interesting because we want to know why. And let me say, first of all, that this is contentious. I mean, even amongst scholars of Madhyamaka, this is contentious.
But many years ago i wrote an old paper i wrote a paper with an old friend of mine jay garfield on this question and Prima facie The ultimate truth is there is no ultimate truth is contradictory Because it implies that there is something that's ultimately true and there isn't And jay and i argued that that's exactly how it should be understood now
A lot of Buddhist scholars disagree with this, but at this point we have to go into all the reasons there are for what Buddhists, what the Madhyamaka thought about ultimate truth and its properties and its nature and so on. I can't do that in this context.
Now, Anand does have another question. Can you outline your views on the debate over logical pluralism and monism and where you see para-consistent logic in that debate? Look, the word logical pluralism is highly ambiguous. I'm sorry to have to keep saying this to you, but lots of these words get thrown around and they're ambiguous. And if you don't get clear about the differences, you're going to get confused. So this is why I keep coming back to things like saying, well, it depends what you mean, right?
What is not contentious is that there are many, many different kinds of pure logics, classical logic, paraconsistent logic, intuitionistic logic, and all the others, right? And as pure mathematical structures, they're all equally good. That's not contentious. They're just bits of pure mathematics. But when you apply a bit of pure mathematics,
You want to know you want to get the right one we've been over this and when we apply pure logic it can have many applications and they're not all to do with reasoning by any means but there's a sort of canonical application of a pure logic which is precisely about reasoning comes back to where we started figuring out what follows from what that's the canonical application of a pure logic and logical pluralism
In the only interesting sense there is, is that when you apply pure mathematics for that application, there are different logics which are equally good. Some people are logical pluralists in that sense. I'm not. It's a kind of fairly hot topic in the literature at the moment. Traditionally, logic has been modest, not pluralist.
Logical pluralism doesn't really appear on the philosophical scene until about the last 30 years, I think, in the history of logic. So I'm sort of in good historical company here. Of course, that doesn't mean anything really. But I've never been persuaded by the people who put forward cases for logical pluralism in that sense. It's clear that paraconsistent logic is one of the plurality of pure logics.
In that sense, it's one of that plurality. I happen to think that when you apply it for this canonical application of pure logics, there's one correct logic and it's paraconsistent. Even given that, is there still a contradiction or a paradox that you find to be most challenging?
We imagine that we've solved or that you in your mind are settled on the liars paradox but is there another paradox like new comes paradox or something else that sticks in your crowd nettles at you. Okay the history of logic is full of paradoxes. I guess to the extent that I thought about any of them.
I've found solutions which satisfy me. Sometimes it's a paraconsistent solution, sometimes it's not. I can't think offhand of a paradox that I don't feel comfortable with a certain solution to, but maybe I'm just misremembering. Well, then can you describe an epiphany moment where you were struggling with something and then an insight came to you? What was that like? What was it?
Well, here's one. There's another kind of paradox, which is very frequently discussed now, wasn't so frequently discussed in the history of logic called the Sorites paradox. So Sorites paradox is when things happen by degrees. So, you know, if I, I can be totally sober. If I drink one CC of alcohol, I'm not drunk.
If I drink two cc's, I'm not drunk. And generally speaking, if I'm not drunk after n cc's, I'm not drunk after n plus one cc's because one cc doesn't make a difference. But of course, if you drink a whole couple of liters of alcohol, I don't know how many drops that is, but it's a lot, right? Yes. Okay. Yes. So this is called the Sorites Paradox. And I did struggle with the Sorites Paradox for a long time. I didn't really find a solution that I was satisfied with until
In arguing with or discussing with some friends, they pointed out that there's actually a way of seeing it as a paradox with the same structure of the paradox of self-reference. And once I saw that, then I became sympathetic towards a dialectic solution, because if the paradox of self-reference have a
Think Verizon, the best 5G network is expensive? Think again. Bring in your AT&T or T-Mobile bill to a Verizon store today.
Jokes aside, Verizon has the most ways to save on phones and plans where everyone in the family can choose their own plan and save. So bring in your bill to your local Miami Verizon store today and we'll give you a better deal.
It's hard to do that without a piece of paper and a chalk or a blackboard. The structure is called the enclosure schema. That's I-N-C-L-O-S-U-I. Right, right. And way back, I suggested that all the paradoxes I've referenced are enclosure paradoxes. They fit this general schema. And it was only when talking to friends we realized that
So professor, many people have been watching maybe for two hours now. I'm sorry, they haven't got better things to do with their time. And throughout all of this, we've talked about contradictions and dialetheisms and different forms of logic, nothingness and everything in a technical sense. But a looming, maybe the looming question is,
Okay. So what, like you're speaking to the person now who's been listening again for a couple hours. How are they supposed to act differently now as a result of these new found theoretic insights and why should they act differently as a result? I mean, when we theorize, we're interested in problems and we're trying to get to the truth. And when we finally get to the truth, we understand the world better. Does this necessarily affect how we live?
No, not necessarily. Insights in physics don't necessarily affect how we live. Insights in chess don't necessarily affect how we live. And it may well be that insights about the paradoxes of reference don't necessarily affect how we live. How we live is important, but it's not the only important thing in life. I think truth is important.
So maybe the answer is nothing much, but maybe there's a sort of meta lesson and the meta lesson is this. The principle of non-contradiction has been high orthodoxy in Western philosophy, much less so in the Asian traditions. Um, and so often when people are struggling to solve a problem, whether it's a practical problem or theoretical problem,
If they think that you can't accept an inconsistent or contradictory theory, they're going to be certain approach is the problem that you're going to write off just without thinking. And the main meta solution or the main meta takeaway lesson is don't be so narrow minded. There is more.
To the possible theories in heaven and earth than I thought of, than I dreamt of in your philosophy, her ratio. So keep an open mind. Think of all the possible solutions to your problem. Some of them may be contradictory. And once you've got a clear view of all the possibilities that lie before you, then make a sensible choice. Professor,
Thank you. You're welcome, Kurt. I appreciate it. Okay. Well, um, sometimes we've got a bit deeper into the weeds than it is easy for people to follow. And I apologize. That's good. I did try and keep things as simple as I can. Um, sometimes perhaps over simple. Like I said, I live in the chaperone and same with the audience. So we like the technicality. Okay. All right. Well, thanks for the interview, Kurt. It's been a pleasure to chat.
Firstly, thank you for watching, thank you for listening. There's now a website, curtjymungle.org, and that has a mailing list. The reason being that large platforms like YouTube, like Patreon, they can disable you for whatever reason, whenever they like.
That's just part of the terms of service. Now, a direct mailing list ensures that I have an untrammeled communication with you. Plus, soon I'll be releasing a one-page PDF of my top 10 toes. It's not as Quentin Tarantino as it sounds like. Secondly, if you haven't subscribed or clicked that like button, now is the time to do so. Why? Because each subscribe, each like helps YouTube push this content to more people like yourself
Plus, it helps out Kurt directly, aka me. I also found out last year that external links count plenty toward the algorithm, which means that whenever you share on Twitter, say on Facebook or even on Reddit, etc., it shows YouTube, hey, people are talking about this content outside of YouTube, which in turn
Greatly aids the distribution on YouTube. Thirdly, there's a remarkably active Discord and subreddit for theories of everything where people explicate toes, they disagree respectfully about theories and build as a community our own toe. Links to both are in the description. Fourthly, you should know this podcast is on iTunes. It's on Spotify. It's on all of the audio platforms. All you have to do is type in theories of everything and you'll find it. Personally, I gained from rewatching lectures and podcasts.
I also read in the comments
and donating with whatever you like. There's also PayPal. There's also crypto. There's also just joining on YouTube. Again, keep in mind it's support from the sponsors and you that allow me to work on toe full time. You also get early access to ad free episodes, whether it's audio or video. It's audio in the case of Patreon video in the case of YouTube. For instance, this episode that you're listening to right now was released a few days earlier. Every dollar helps far more than you think.
Either way, your viewership is generosity enough. Thank you so much.
▶ View Full JSON Data (Word-Level Timestamps)
{
"source": "transcribe.metaboat.io",
"workspace_id": "AXs1igz",
"job_seq": 5889,
"audio_duration_seconds": 7386.51,
"completed_at": "2025-11-30T23:59:30Z",
"segments": [
{
"end_time": 20.896,
"index": 0,
"start_time": 0.009,
"text": " The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science they analyze."
},
{
"end_time": 36.067,
"index": 1,
"start_time": 20.896,
"text": " Culture, they analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front row access to The Economist's internal editorial debates."
},
{
"end_time": 64.531,
"index": 2,
"start_time": 36.34,
"text": " Where senior editors argue through the news with world leaders and policy makers in twice weekly long format shows. Basically an extremely high quality podcast. Whether it's scientific innovation or shifting global politics, The Economist provides comprehensive coverage beyond headlines. As a toe listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount."
},
{
"end_time": 73.49,
"index": 3,
"start_time": 66.135,
"text": " It's the season for all your holiday favorites. Like a very Jonas Christmas movie and Home Alone on Disney Plus."
},
{
"end_time": 102.466,
"index": 4,
"start_time": 74.838,
"text": " Raise a spoon to grandma, who always took all the hungry cousins to McDonald's for McNuggets and the Play Play slide."
},
{
"end_time": 124.667,
"index": 5,
"start_time": 102.466,
"text": " What is true is not something that corresponds to some kind of reality, but something for which there is appropriate verification or evidence or something like that. Sometimes this kind of notion of truth is said to be epistemically loaded."
},
{
"end_time": 154.07,
"index": 6,
"start_time": 124.667,
"text": " Nothing is what you get when you fuse no things, when you put no things together. Nothing is both something and nothing. There's a paradox concerning nothingness, because nothingness is something. You can talk about it, you can think about it, you can wonder whether there is such a thing you are now. Graham Priest is a philosopher known for his work in Logics and Philosophy of Math. His book, Logic, a Very Short Introduction, is considered the quintessential book, the philosopher's stone, if you will,"
},
{
"end_time": 170.077,
"index": 7,
"start_time": 154.411,
"text": " of logic. If you've ever taken a logic course in university, this is the beacon that's assigned."
},
{
"end_time": 199.138,
"index": 8,
"start_time": 170.077,
"text": " Furthermore, what is nothingness? What does everything mean in a technical sense? What is dialectical logic and paraconsistent logic? Graham Priest holds the title of Distinguished Professor of Philosophy at the City University of New York. Professor Priest's contributions also extend to Eastern philosophy, where he examines non-classical logics found in Buddhist thought, drawing parallels with Western logical traditions rather than the mere contrastive approach that most others take."
},
{
"end_time": 226.561,
"index": 9,
"start_time": 199.138,
"text": " This is a fantastic episode. I've been waiting to speak to Graham Priests for literally years. My name is Kurt Jaimungal and I have this podcast here called Theories of Everything, which is about exploring theories of everything, usually in the physics sense, from my background in mathematical physics. But more and more, I've become interested in philosophy and the largest questions that we have, such as what is consciousness? What is everything, which is explored here? What is nothing? What is existence? What is real? This podcast is like wine."
},
{
"end_time": 253.217,
"index": 10,
"start_time": 226.561,
"text": " The longer you listen into it, the better it gets, especially the last half hour. And that's saying something because man, Graham starts off strong and technical. Enjoy this podcast with Graham Priest. So Professor, there are various Zeno's paradoxes. Many people just know about the one about the tortoise and you just go half and half. You can't overtake the tortoise. But there's another one that you like called Zeno's Arrow. Can you please outline that for the audience?"
},
{
"end_time": 281.476,
"index": 11,
"start_time": 253.695,
"text": " So as you say, four paradoxes from Zeno have come down to us. The ones that most people are aware of are the ones that depend on the thought that you can't do an infinite number of things in a finite time. So if I'm going from here to Toronto, I've got to get halfway first and then halfway again and halfway again and so on."
},
{
"end_time": 311.22,
"index": 12,
"start_time": 281.613,
"text": " So before I get to Toronto, I've done an infinite number of things and the paradox depends on the thought you can't do that in a finite time. And no one would now think that's true, although it might've been a plausible assumption for Zeno. However, the one that you mentioned, the arrow is rather different. And it goes like this. Let's take the arrow. Suppose I fire it from my bow."
},
{
"end_time": 341.203,
"index": 13,
"start_time": 311.459,
"text": " And it makes its way to the target. Now take some instant of the motion. At an instant, the arrow makes zero progress on its journey because it is an instant and it cannot occupy more than a single place at that instant. So it makes zero progress. It doesn't get any further. Okay."
},
{
"end_time": 368.899,
"index": 14,
"start_time": 341.937,
"text": " So progress at any instant is zero. Now, at least going to sort of standard mathematics and physics, the time between my firing the arrow and hitting the target is made up of those instance. So at each instant it makes zero progress. So if at each instant it makes zero progress,"
},
{
"end_time": 396.732,
"index": 15,
"start_time": 369.872,
"text": " It can't make any progress over the whole period because, um, you can add zero to zero as many times as you'd like, even uncountably many infinitely times and you still get zero. So, uh, the argument goes, the argument cannot move. It cannot get from the bow to the target. That that's the, that's Zeno's arrow paradox."
},
{
"end_time": 422.449,
"index": 16,
"start_time": 397.056,
"text": " So why can't measures theory overcome this? Well, yeah, look, it can in a certain sense. So if you try and apply standard measures theory to this, it depends on the thought that if you have a bunch of intervals with non zero measure, I was zero measure rather. Um,"
},
{
"end_time": 451.647,
"index": 17,
"start_time": 422.961,
"text": " And you add them all together and consider the measure of the sum, then this can have non-zero measure provided there's enough of these things. And you need an uncountable number to do it, but that's okay. So that's some mathematics, but the problem is not about mathematics. The problem is about how the arrow manages to actually move."
},
{
"end_time": 480.247,
"index": 18,
"start_time": 453.37,
"text": " And that's not going to be solved by mathematics. You need to tell a story of something else, something that relates to the real world to do this. So just so, I mean, if you assume that you can add an uncountable number of intervals with zero measure together and you get something with non-zero measure,"
},
{
"end_time": 510.145,
"index": 19,
"start_time": 480.708,
"text": " That's true, but I mean, how is it that reality answers to that bit of mathematics? You know, there can be other bits, other bits of mathematics you could use. You could have a different kind of measure theory. Why choose that one? Well, because the one you choose has got to apply to reality in some sense. So what is it in reality that makes that the appropriate bit of mathematics? And that's the real problem, I think. So this is seen as a paradox, and there are various types of paradoxes."
},
{
"end_time": 539.053,
"index": 20,
"start_time": 510.35,
"text": " Most people think of paradox as the same as contradiction, but there are at least three. Can you please delineate them? The reason being that paradox is going to come up again and again in this entire interview, so we may as well be specific as to what we're speaking about. So normally I think there are two, the vertical and the false vertical. I'm not quite sure what you're thinking of as the third, but you can tell me. Antinomy, so self contradictory."
},
{
"end_time": 567.995,
"index": 21,
"start_time": 539.872,
"text": " Oh, so a vertical would contradict our intuition and a false cynical seems true, but there's some fallacy in it. Okay. So let's take a step back. Um, what, what is a paradox? Okay. And the standard definition of a paradox, look, everything in philosophy is contentious, right? But what will most, what most people were saying, I think it's right is that a paradox is an argument for a start."
},
{
"end_time": 594.445,
"index": 22,
"start_time": 569.275,
"text": " It's an argument that proceeds from premises that appear to be true, uh, with steps of inference that appear to be valid. Um, and yet the conclusion you, you, you did use something which isn't true, maybe can't be true, but certainly isn't true. Right. So you starting off with these things which appear to be true to you."
},
{
"end_time": 624.036,
"index": 23,
"start_time": 595.06,
"text": " Making inferential steps that appear to be right you end up with something you can't accept that's the paradox now If you take that as your definition of a paradox You got two choices Either there's something wrong with the argument Or the arguments fine and you have to accept the conclusion"
},
{
"end_time": 656.271,
"index": 24,
"start_time": 626.561,
"text": " okay and usually the ones where you accept the conclusion on reflection are called veridical so you might have thought you couldn't accept the paradox but you can paradoxical conclusion but you can and the for cynical ones is where something has gone wrong with the with the argument and then of course we worry about what the argument is and there are both kinds in the history of philosophy"
},
{
"end_time": 685.742,
"index": 25,
"start_time": 657.346,
"text": " So for example, the liar paradox, which we can come back and talk about if you want to is usually taken to be, um, a false cynical paradox. People think there's something wrong with the argument and the name of the game per two and a half thousand years has been find out what it is. Um, but there are other paradoxical arguments which have, uh, which are now thought to be veridical. So."
},
{
"end_time": 716.493,
"index": 26,
"start_time": 686.766,
"text": " A very standard paradox until the late 19th century was, um, it's sometimes called Galileo's paradox, but it was known a long time before him that if you take the natural numbers, zero, one, two, three, four, five, six, et cetera, and you take the even numbers, not two, four, six, eight, and so on, then you can put those into one to one correspondence. You pair off zero with zero."
},
{
"end_time": 746.732,
"index": 27,
"start_time": 717.312,
"text": " Two with one four with two six with three and so on so there's a one to one correspondence between the even numbers and the natural numbers. Okay. Yeah. And so it seems that there's the same number of each cause they can be put into one to one correspondence, but it seems plausible that you know that there's got to be more natural numbers than even numbers because he's thrown away all the old ones. Okay. So this was a standard paradox until the end of the 19th century in the work of"
},
{
"end_time": 776.869,
"index": 28,
"start_time": 747.312,
"text": " I'm a mathematician go kanto on the infinite and now the standard response in mathematics is well you know you thought that. The naturals and the events have a different number of numbers but you're wrong they actually do have the same there are actually the same number of natural numbers and even natural numbers and you know puzzling if that may seem at first that is now thought to be true."
},
{
"end_time": 800.52,
"index": 29,
"start_time": 777.875,
"text": " So there's a paradox which has turned out to be veridical in modern mathematics. You thought you couldn't accept the conclusion. It's counterintuitive for sure. But OK, it is true. That's the way that things work. And then you tell a story about set theory to explain why. Additionally, because we're going to be speaking about logic, it would be great to get a definition of logic."
},
{
"end_time": 832.858,
"index": 30,
"start_time": 803.916,
"text": " Look, that's a hard question and it's hammered around in the philosophical literature by philosophers and logicians. Well, just for the people who are watching and maybe they skipped the introduction and they're not aware of who you are, you're a preeminent philosopher. In fact, you have the title of distinguished philosopher at the City University of New York. And furthermore, you've written what's considered to be the go-to text in logic, which is the very short introduction to logic."
},
{
"end_time": 857.995,
"index": 31,
"start_time": 833.183,
"text": " So you know what you're talking about and when you laugh you're laughing for a particular reason this isn't just someone who hasn't studied logic or studied at the surface level you're deep in it you're the source of it in the sense so but but i'm certainly a logician okay so um i laughed because um you're asking a contentious question because people disagree about that"
},
{
"end_time": 887.773,
"index": 32,
"start_time": 858.626,
"text": " And the word has been used in many different ways in many traditions over the last two and a half thousand years. So, um, let me just tell you how, how contemporary logicians tend to understand the nature of logic. Um, but, but even that's contentious, but as a first cut, it's something like this. We argue that is we give reasons and."
},
{
"end_time": 917.961,
"index": 33,
"start_time": 888.336,
"text": " Reason start from premises that is things that you assume for the sake of the argument and then steps in the argument, which take you to your conclusion. Okay. Now, um, whether or not the premises are true will in general be someone else's business. So if we're talking about something in geography, whether something's, um, a geographical fact is going to be the, the business of the job."
},
{
"end_time": 948.507,
"index": 34,
"start_time": 918.763,
"text": " What are the legitimate steps that you can use there after so what are the legitimate forms of inference. And logic is the study of answers to that question. So if we're if i'm arguing with you about something."
},
{
"end_time": 975.52,
"index": 35,
"start_time": 950.094,
"text": " You may use a form of inference and then it's up to the logician to tell you whether or not it's it's valid whether or not you know it's a really good it is a good step in the argument. So in a nutshell. Most modern auditions would tell you that logic is the study of what follows from what and of course why because"
},
{
"end_time": 1004.855,
"index": 36,
"start_time": 976.22,
"text": " Saying yes or no is a bit boring. You gotta have understand why. Okay, so it's akin to following the rules of the game and then sometimes you can argue about why some rules are more applicable to this universe than others. Well, it's making an argument. It's about what what the right rules of the game are. So an analogy not to be pushed too far is with grammar."
},
{
"end_time": 1031.51,
"index": 37,
"start_time": 1005.606,
"text": " So we speak a natural language. Let's take English since we're both speaking English now. Um, what grammarians do is try to figure out the rules of the grammar of that language. Okay. What are the rules which, um, determine whether a sentence, a string is, is grammatical, the cat set on the map or ungrammatical like the cat set set is Matt on. Okay."
},
{
"end_time": 1053.285,
"index": 38,
"start_time": 1031.92,
"text": " So logicians sorry grammarians or linguists in general try to figure out what the rules of that game is if you want to call it a game. And what logicians do is try to figure out similar rules not about grammaticality but about validity about when things fall from other things."
},
{
"end_time": 1082.671,
"index": 39,
"start_time": 1055.026,
"text": " Now you mentioned that we are given a set of axioms or a set of statements we believe are true. And then you say, OK, well, what follows from this? When we say that rules of inference are there to then bring you to someplace. But you mentioned the starting places is not the place of logic. Is that always the case? Or is there a form of logic that tries to bootstrap itself up? Well, if your premises are about logic itself, then, of course,"
},
{
"end_time": 1107.875,
"index": 40,
"start_time": 1083.114,
"text": " The truth of the premises is the logicians concern, but most arguments are not about logic. They're about something else. But yes, you're right. I mean, in unusual cases, the premises could be about logic as well. The reason I'm asking is that there's a philosopher named Christopher Langan. I'm not sure if you've heard of him. No, he's known for the cognitive theoretic model of the universe."
},
{
"end_time": 1135.145,
"index": 41,
"start_time": 1108.285,
"text": " Which is an attempt to build a language or a meta language that describes the universe. But anyhow, what I would like to talk about is this conversation. Again, we're going to get more deep into the weeds. This whole conversation will stand on three legs, logic, truth, and then reference, because we're going to be speaking about the liar's paradox and other forms of paradoxes and even nothingness and everything. So what are the different theories of truth and where do you stand on it?"
},
{
"end_time": 1163.439,
"index": 42,
"start_time": 1135.469,
"text": " Obviously, there are too many to name, but let's say the predominant ones. Yeah. Okay. So the nature of truth has been hotly contested in philosophy, East and West for two and a half thousand years. Okay. And there's no consensus on the matter. So there are many different theories. As a first cut, you can distinguish between those that are realist in some sense."
},
{
"end_time": 1187.773,
"index": 43,
"start_time": 1164.138,
"text": " And those that are non realist so the realist ones are tell you what is something's true if it corresponds to reality you know there's some stuff out there we call reality and the true statements are the ones that have the appropriate kind of correspondence and what that is of course highly contentious but those are realist theories. The anti realist theories are ones which."
},
{
"end_time": 1215.35,
"index": 44,
"start_time": 1189.172,
"text": " Do not like to talk about this kind of metaphysical notion of reality and so they give some other kind of answer and then there can be various kind of answers so. A very standard kind of answer is that what is true is not something that corresponds to some kind of reality but something for which there is appropriate verification or evidence or something like that so."
},
{
"end_time": 1242.415,
"index": 45,
"start_time": 1215.913,
"text": " Sometimes this kind of notion of truth is said to be epistemically loaded because what makes something true is precisely its verifiability or the grounds for knowing this true or something like that. So there are a number of different theories which fall into those two categories, but as a first cut, that's a sort of rough distinction. Um,"
},
{
"end_time": 1275.316,
"index": 46,
"start_time": 1245.742,
"text": " And some theories of truth that kind of hard to sort of fit into that dichotomy. So it's complicated. Um, I don't really have a horse in this game. Um, uh, I suppose I have a kind of temperamental disposition towards some kind of realism, but, um, I think the matter is contentious. Oh, that's just a comment on me. It's not a comment on the truth."
},
{
"end_time": 1293.507,
"index": 47,
"start_time": 1275.708,
"text": " That's just the way I'm disposed to favor things. But that's a comment about me, not a comment about the subject. I mean, everybody has various dispositions in philosophy, as in everywhere else."
},
{
"end_time": 1321.271,
"index": 48,
"start_time": 1294.445,
"text": " Some people do have realist dispositions, you know, um, if something's true, there's gotta be a ground for it. What could that be? Well, it must be some kind of reality. Okay. And that's kind of an intuition that appeals to many people, including me. Um, and some people think, no, you know, talk of what's true in abstraction is sort of vacuous misleading. I mean, truth is, you know, just what we've got evidence for. Um,"
},
{
"end_time": 1349.735,
"index": 49,
"start_time": 1321.817,
"text": " And some people find this kind of intuition persuasive. I find that less persuasive, but I can see that there are arguments for it. So, um, sorry, that's a rather evasive answer to your question, but that, I mean, you can ask a dozen philosophers that question. You're going to get a dozen different answers. Well, what I meant was more psychological. How is it that you even identified that this is"
},
{
"end_time": 1363.968,
"index": 50,
"start_time": 1350.145,
"text": " Your predilection or your affinity, you have an affinity toward a realist position, is it because you noticed when someone is speaking from a realist point of view, you jive with the more you're less anxious, like how is it that you even came to the realization?"
},
{
"end_time": 1391.237,
"index": 51,
"start_time": 1364.735,
"text": " Hola, Miami! When's the last time you've been in Burlington? We've updated, organized and added fresh fashion. See for yourself Friday, November 14th to Sunday, November 16th at our Big Deal event. You can enter for a chance to win free wawa gas for a year, plus more surprises in your Burlington. Miami, that means so many ways and days to save. Burlington. Deals. Brands. Wow! No purchase necessary. Visit bigdealevent.com for more details."
},
{
"end_time": 1426.084,
"index": 52,
"start_time": 1398.951,
"text": " The realist intuition is that truth does not float in midair. If something is true, there must be something that makes it so. Okay. And then what could that be? Well, you know, look, here's something that's true. Melbourne is in Australia. What makes that true? Well, I mean, it's partly the meanings of the words like the meaning of the word Australia, the meaning of the word Melbourne."
},
{
"end_time": 1451.834,
"index": 53,
"start_time": 1426.681,
"text": " But in the last instance, what makes that true is a bit of geography about, you know, a continent in the southern hemisphere of our planet. Um, so would that be the case always? Because even an idealist, at least many idealists would say that what makes something true is that it corresponds to mind. Now they may just not say it's reality. They may say it's mind, but"
},
{
"end_time": 1482.193,
"index": 54,
"start_time": 1452.5,
"text": " They would also say that there does exist illusory concepts or illusory facts or illusory experiences and it's because they don't correspond in some way to the ground of reality which itself is mind. It's just they have a different ground. Okay, so there are plenty of real idealists and those are usually... So you raised the question of idealism and idealism is"
},
{
"end_time": 1511.254,
"index": 55,
"start_time": 1482.654,
"text": " There are many different kinds okay but um standardly at least most idealisms are taken to be some form of um anti-realism um so there's no reality external to your mind it's all in your mind um i i guess i've never been disposed to that why because um"
},
{
"end_time": 1539.616,
"index": 56,
"start_time": 1511.63,
"text": " It seems to me that what makes it true that Melbourne is in Australia? It's not something in my mind. I mean, I can't make Melbourne somewhere else by just changing my mind about it. If I did, I'd just be mistaken. And, you know, the same is true for the whole human race. If everyone was caught a befuddle by some kind of social media and started to think that Melbourne was in New Zealand, they'd just be wrong. Um,"
},
{
"end_time": 1569.991,
"index": 57,
"start_time": 1540.111,
"text": " So I mean, it does seem to me that in some sense, facts about the world, at least some of them, not all of them, but some of them had to be mind independent. I believe there's a difference here between solipsism. So it's all in your mind versus it's all in mind. So mind is the ground of reality. Well. Yeah, no, you're right. I mean, solism, solipsism is the view that there's only one mind in the world."
},
{
"end_time": 1594.718,
"index": 58,
"start_time": 1570.606,
"text": " And if you hold that view, you could, I guess, be a realist as well. There's only one world, but most people who are solipsists will probably be some kind of idealist as well. That's true. Earlier used the word intuition, and there's a strand of logic called intuitionist logic. Again, that's something that many people don't know about. There are different forms of logic. They would just think there's classical logic."
},
{
"end_time": 1620.862,
"index": 59,
"start_time": 1595.299,
"text": " So please outline what intuitionist logic is. And then this is a great time to talk about para-consistent logic and your particular brand of logic. Okay. So look, there are lots of things there. You mentioned intuitionism. I'll come back to that in a second. But that use of the word intuition has nothing to do with the way that I was using the word. I mean,"
},
{
"end_time": 1633.012,
"index": 60,
"start_time": 1622.824,
"text": " It actually derives back to a view of Kant who used the word intuition. Hear that sound?"
},
{
"end_time": 1660.06,
"index": 61,
"start_time": 1633.968,
"text": " That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms."
},
{
"end_time": 1686.169,
"index": 62,
"start_time": 1660.06,
"text": " There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level. Join the ranks of businesses in 175 countries that have made Shopify the backbone."
},
{
"end_time": 1711.954,
"index": 63,
"start_time": 1686.169,
"text": " of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothies, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at shopify.com slash theories, all lowercase."
},
{
"end_time": 1738.524,
"index": 64,
"start_time": 1711.954,
"text": " Go to shopify.com slash theories now to grow your business no matter what stage you're in shopify.com slash theories. To mean something like sensation and intuitionistic logic is supposed to be derived from Kant's view of time, which informs our sensations. Okay, let's not get into the weeds. I just want you to make sure that"
},
{
"end_time": 1767.79,
"index": 65,
"start_time": 1739.002,
"text": " This thing, intuitionist logic, is a very technical reference to Kant, although the philosophy of intuitionism doesn't necessarily go back to Kant. OK, so let's put that aside. Look, I said that a modern logician will tell you something like logic is the study of what follows from what and why. And"
},
{
"end_time": 1795.418,
"index": 66,
"start_time": 1769.155,
"text": " The views about what follows from what and why have been changing over the last two and a half thousand in the West, let alone the East. Let's just stick to the West to keep things simple. So the first person to produce some kind of theory about what follows from what and why was Aristotle. Okay. No one believes Aristotle's view now. The medieval Christians and the Arabs had"
},
{
"end_time": 1825.435,
"index": 67,
"start_time": 1795.794,
"text": " different views, building on Aristotle's views about what follows from modern y. Then in the 19th century, you get all sorts of new views about what follows from modern y. And one that's been very influential was produced by the German logician Gottlob Freger and the British mathematician, well, they're both mathematicians, Gottlob Freger and the English mathematician Bertrand Russell."
},
{
"end_time": 1855.794,
"index": 68,
"start_time": 1826.169,
"text": " And that was much better than anything that had gone before. So it quickly became Orthodox. And that's now what's referred to as classical logic, usually. So classical logic has nothing to do with the classical civilizations of anywhere. Okay. It's completely different from, uh, at Aristotle's view. It's fact is inconsistent with it, but it became kind of Orthodox early in the 20th century. But since then, logicians have invented many other"
},
{
"end_time": 1883.677,
"index": 69,
"start_time": 1857.056,
"text": " Possible answers to the story of what follows from what am I, and these are now usually called non-classical logics in contrast to the logic of Frager and Russell. Okay. So that's a bit of terminology. Now intuitionistic logic is a non-classical logic. It was invented by, well, it's mainly a product of the Netherlands. So."
},
{
"end_time": 1910.094,
"index": 70,
"start_time": 1884.599,
"text": " Intuitionist philosophy as such was produced by a Dutch logician, mathematician, and he's working around the same time as Russell. And he has a critique of orthodox mathematicists of history. And he says, well, you know, it actually class standard mathematics uses principles, imprints that are wrong."
},
{
"end_time": 1939.667,
"index": 71,
"start_time": 1912.602,
"text": " I need to try to develop a different kind of mathematics which doesn't use these principles he thought were invalid. So he was he was not a logician who's a mathematician and he didn't think much of formalizing logic. Okay. But about 20 years later, there was a, there was another, uh, Dutch mathematician, uh, called, uh, whose name is hiding. And he formalized the sorts of reasoning that he thought the brow was using."
},
{
"end_time": 1964.377,
"index": 72,
"start_time": 1940.572,
"text": " And it's that that's called intuitionistic logic. Okay, and it differs from so-called classical logic in a number of ways Probably the most famous Although actually it's not the most fundamental is something called the principle of excluded middle So"
},
{
"end_time": 1992.756,
"index": 73,
"start_time": 1965.503,
"text": " We're inclined to assume and it's certainly assumed in the mathematics Orthodox mathematics that if I say something is either true or false, okay? Tenth the tenth the ten is either a prime number or it isn't Tenth the tenth the ten plus one is either a prime number although it already isn't okay. We might not know the answer We have to say something well-founded Well"
},
{
"end_time": 2022.807,
"index": 74,
"start_time": 1993.78,
"text": " If it's not well founded, would you just say it's false or you would just say it's not well founded? According to these guys, if there's some kind of procedure for determining the truth, then it's true. If there's some kind of procedure for determining the falsity, then it's false. Otherwise it's kind of neither. You got to be very careful about how you formulate these views, but that will do for this very rough and ready forum."
},
{
"end_time": 2053.097,
"index": 75,
"start_time": 2023.746,
"text": " I'm so. Brow I thought this was crazy because. He was one of these people who thought that the truth had to be determined by evidence and if you have no evidence proclaiming mathematics. I'm either that is so or it's not so then he thinks you can't. Apply the law of excluded middle term so let me give you an example."
},
{
"end_time": 2083.66,
"index": 76,
"start_time": 2054.599,
"text": " Take the decimal expansion of pi. So pi is an irrational number. Um, so it's with the form of three points, something, something, something, something, something, which goes on forever without repeating. Okay. Um, and we know what the decimal expansion of pi is to some enormous number of decimal places because there are computers that sort of try to figure this out, but they only know a final part of a finite part of it and it goes on forever. So, um, so question."
},
{
"end_time": 2109.411,
"index": 77,
"start_time": 2084.787,
"text": " In the decimal expansion of pi, is there a sequence of a hundred consecutive sevens? We don't know. Maybe there is, maybe there isn't. Um, and Brown said, well out with the proof of the fact there is no reason. This is just something that's indeterminate. It's neither true nor false. Okay. So."
},
{
"end_time": 2131.493,
"index": 78,
"start_time": 2110.384,
"text": " There's a kind of principle of standard logic, classical logic, if you like, the things are either true or false and brow wasn't persuaded by this at all. So he rejected the law of excluded middle. It's either so or not. So, um, and so that principle is not valid in intuitionistic logic. Okay. Uh,"
},
{
"end_time": 2161.937,
"index": 79,
"start_time": 2133.166,
"text": " Intuitionist logic is just one of many kinds of non classical logic. Now you use the word power consistent logic. And that has a kind of technical definition, but let me try and keep this simple. Roughly speaking, it plays the other side of the street to intuitionist logic. So."
},
{
"end_time": 2192.159,
"index": 80,
"start_time": 2163.319,
"text": " There's this principle called Excluded Middle. It's either so or it's not so. And that goes out of the window in intuitionistic logic. There's a kind of flip side of that, which is called the principle of non-contradiction, which said nothing could be both so and not so. Okay. So ones are neither and ones are not both. Uh, and these are not exactly the same, although they often get run together and"
},
{
"end_time": 2221.408,
"index": 81,
"start_time": 2192.551,
"text": " A paraconsistent logic is roughly one that ditches the principle of non-contradiction rather than the principle of excluded middle, although there are logics that ditch both. So a paraconsistent logic will allow for the possibility that some things can be both so and not so. So in some sense, you know, intuitionistic logic and a paraconsistent logic play the opposite sides of the street. Yes. Now there are important differences."
},
{
"end_time": 2236.442,
"index": 82,
"start_time": 2222.005,
"text": " that i'm sliding over but roughly speaking that's a kind of big picture story so one way to understand this that i find helpful is to imagine a sheet of paper and that"
},
{
"end_time": 2255.452,
"index": 83,
"start_time": 2237.176,
"text": " The standard logic is that this paper is just even well, not evenly divided, but can be divided into just being colored red and then colored blue and all of the papers colored red or blue. So you pick any point, you look at it, it will either be red or blue. So that's classical logic. The other way when people say exclude a middle,"
},
{
"end_time": 2283.49,
"index": 84,
"start_time": 2256.032,
"text": " It's quite a funny phrase until it's thought of like this. There is only the border of red and blue when you have a middle. So now you have white, you have some blankness. So you can have red and then you can have blue and there could be some blankness here. That's para consistent. And what's interesting about para consistent is that this image changes through time. So more and more of this map gets filled out with red and blue. So Fermat's last theorem, apparently to the intuitionists would be like,"
},
{
"end_time": 2313.183,
"index": 85,
"start_time": 2283.848,
"text": " It wasn't true until Andrew Wiles came along and proved it to be true or some alien civilization in the past proved it to be true, something like that, at least in one form. And then para-consistent would be if you had the red and blue, you were allowed to overlap with red and blue. Yeah. You can also think of coloring this in not with markers, but with something like pencil crayon. And the more intense colors are more truthful and the less intense are less. And that's actually fuzzy logic. I like this analogy."
},
{
"end_time": 2342.227,
"index": 86,
"start_time": 2313.387,
"text": " It's a way to not just memorize, but to understand the litany of logics. So another example would be that if you have a bumpy terrain and there are different points of density inside of red and blue, well, that's contextual logic or modal logic because it depends on the altitude. What's great about this is that you can formulate the other forms of logic in this analogy. So ternary logic is if you then take a third color and you color it green or"
},
{
"end_time": 2370.247,
"index": 87,
"start_time": 2343.029,
"text": " Kripke's logic is like if you color it red and blue, but not on the paper itself on tracing paper. And then the next time you draw it on the next tracing paper. Okay. Look, I like this. I like this metaphor. Um, let me just say that I don't think that that wild proof of thermos last serum is intuition is invalid. I think it uses plenty of principles of inference, which, um, a suspect, but then"
},
{
"end_time": 2398.66,
"index": 88,
"start_time": 2370.589,
"text": " I've never studied laws proof in detail. So, uh, I could be wrong, but I don't think I am. Okay. So, but let's come back to your metaphor of how to understand these things, which is a nice metaphor. So you've got this piece of paper. Let's suppose that, um, there's a line down the middle. It's red on one side, blue on the other. And you ask what color is the line? Okay."
},
{
"end_time": 2430.299,
"index": 89,
"start_time": 2400.333,
"text": " So you can think of classical logic, intuitionist logic and paraconsistent logic like this. The classical magician says, hey, well, it's either red or blue. Maybe we don't know which, but it's one or the other. It ain't, you know, yellow, for example. Okay. Yes. Yes. And someone might say, well, hey, no, it's just neither red nor blue. It's something else. And that's the person who is kind of,"
},
{
"end_time": 2457.722,
"index": 90,
"start_time": 2430.589,
"text": " Ditching Okay, it's not quite excluded middle it would have been better had I started with red and not red Maybe so someone who says well this line in the middle is neither red nor not red. That's exactly ditching excluded middle Yes, okay and And if someone says hey this line in the middle is both red and not red so red and blue and"
},
{
"end_time": 2485.35,
"index": 91,
"start_time": 2458.319,
"text": " Then that's the kind of power consistent move. Okay. Um, and for the purpose of this discussion, you can think of, um, classical logic as two valued, you know, uh, it's either true or false. Intuitionistic logic as three valued, uh, true, false and neither, um,"
},
{
"end_time": 2515.759,
"index": 92,
"start_time": 2485.759,
"text": " I'm sliding over technical sophistication city, but this will do for the present. So the intuitionist is someone who says, uh, the things which are neither true or false. Okay. That's the third value. And the power consistent logician is someone who says, um, yeah, it's both true and false. And that's the third value. So truly false only in both. So in some sense, um, you can think of these two things as a three valued logic."
},
{
"end_time": 2543.353,
"index": 93,
"start_time": 2516.613,
"text": " So classical logic is true and false, that's it. A logic with truth value gaps is true, false and neither. A paraconsistent logic is true, false and both. So the intuitionist and the paraconsistent logician are going to disagree about what the third value is, either both or neither. But as you can probably imagine, you can have a logic with four values, true, false, both and neither."
},
{
"end_time": 2573.609,
"index": 94,
"start_time": 2543.814,
"text": " We know those. And in principle, you can have an indefinite number of values, true, false, both, neither, and you know, take your pick. And in principle, you can have any number of values, including an infant number. So it's hard to sort of demonstrate these with with the metaphor of the piece of paper. But yeah, I mean, logical techniques go a long way beyond that. But it just thinking about how to react to true, false, both and neither. I mean, the"
},
{
"end_time": 2600.623,
"index": 95,
"start_time": 2573.985,
"text": " The image of a piece of paper with a line down the middle and you argue about the color of the line is a nice way of visualizing things. Now I misspoke when I said the pair consistent is allowing some overlap. It's not just that it allows an overlap. It's that it allows the overlap to not explode. So technically in classical logic, if there was even the tiniest bit of overlap, then it poisons the well and everything becomes right. Correct."
},
{
"end_time": 2631.288,
"index": 96,
"start_time": 2601.408,
"text": " Correct. Okay. So paraconsistent just allows the overlap to not poison the well. Correct. So I said there was a technical definition of paraconsistency and I didn't give you that because I was trying to avoid some, uh, just give people the basic idea rather than go into the technical details. But since you've raised it, let me go into the technical details. So in classical logic and intuitionist logic, there's this principle of inference says that from a contradiction, everything follows. So"
},
{
"end_time": 2659.923,
"index": 97,
"start_time": 2632.517,
"text": " Here's an inference, uh, Donald Trump is corrupt. Donald Trump is not corrupt. So therefore, uh, the earth has 17 moons. Now prima facie, that doesn't sound a very good inference. It doesn't, I mean, the number of moons seems to have nothing to do with Donald Trump corrupt or otherwise. So, um, prima facie, you can think that's not a very plausible valid inference, but it's said to be valid."
},
{
"end_time": 2686.459,
"index": 98,
"start_time": 2660.913,
"text": " In both classical and intuitionistic logic. Um, and it's not stupid. Um, the, the story that you'll get told to justify this slightly un, um, implausible thought is this. Yeah, but you know, this premise that Donald Trump is corrupt and not corrupt just can't possibly be true because the contradiction can't be true."
},
{
"end_time": 2711.647,
"index": 99,
"start_time": 2687.944,
"text": " Um, and so explosion will never take you from truth to falsehoods because the premise can never be true. So explosion is kind of vacuously valid. That's why this principle of inference gets to be valid in both classical logic and intuitionist logic. Okay. Now, um, if you're moved to a power consistent logic,"
},
{
"end_time": 2739.701,
"index": 100,
"start_time": 2711.937,
"text": " It's gonna allow for the possibility that some contributions are true. You know, the line down the middle of your piece of paper is both red and not red. Okay. Um, but you don't want to say, well, it's neither red nor not red. So the earth has 17 moons. I mean, that would be silly now. And now you can't say, well, um, it can't be the case that premise is true because we're allowing for that possibility. So."
},
{
"end_time": 2767.875,
"index": 101,
"start_time": 2740.009,
"text": " Explosion has to be invalid. And that is the technical definition of a power consistent logic, the invalidity of the principle of explosion. And you can make the thing more complex, but you might have a logic with neither and both and some other values as well. So professor, why don't we talk about the liars paradox, your views on why contradictions just exist, they do correspond to something in reality. So"
},
{
"end_time": 2797.824,
"index": 102,
"start_time": 2768.968,
"text": " Let's start off with the Liar Paradox. Okay. Many of your listeners will know this, I guess, but many of them will not. So this is a very old paradox in Western philosophy, Western logic. We think it goes back to the ancient Greek thinker eubelides. It was a rough contemporary of Aristotle. So, you know, maybe fourth century BC. And the paradox essentially goes as follows."
},
{
"end_time": 2827.944,
"index": 103,
"start_time": 2798.951,
"text": " Um, suppose I tell you that Melbourne is in Australia. Is that true? Yeah, sure. Suppose I tell you that, um, Melbourne is in China. Is that true? Well, no. Now pay attention. Suppose I say, look, this very sentence that I'm uttering now is not true. Is that true or false? Well, it's kind of hard to answer that question."
},
{
"end_time": 2858.695,
"index": 104,
"start_time": 2829.582,
"text": " Suppose it's true. Well, if it's true, it says that it's not true. So it's not true. So if it's true, it's not true. All right. Is it false? Well, if it's false, it's not true. And the very claim it's making is it's not true. So it seems to be true. So if it's false, it's true. So you seem to be in this very strange situation where if it's true, it's false. And if it's false, it's true."
},
{
"end_time": 2888.814,
"index": 105,
"start_time": 2859.923,
"text": " And, um, the standard paraconsistent thought is that it's both true and false. So that explains why history is false. If his force is true, cause it's both now, um, this is not the most popular account of the paradox, certainly historically, because coming back to the distinction we drew between verical and falsidical paradoxes."
},
{
"end_time": 2914.497,
"index": 106,
"start_time": 2889.787,
"text": " The standard reaction in the history of western logic has been that this is a full cynical paradox. You can't accept the conclusion because it's a contradiction. Um, so the game in town has been to explain what goes wrong with the argument. And logicians have not been very successful if consensus is a mark of success."
},
{
"end_time": 2944.616,
"index": 107,
"start_time": 2914.821,
"text": " Because two and a half thousand years after your abilities, there's still low consensus on what's wrong with that argument. Um, the power consistent move is, uh, this is not a false radical paradox. It's a vertical paradox. Namely you accept the conclusion. The conclusion is that that sentence is true and false. Is that a contradiction? Yes. Um, so some contradictions are true."
},
{
"end_time": 2965.265,
"index": 108,
"start_time": 2945.452,
"text": " In math, there's a concept called proof by contradiction, which is exceedingly powerful."
},
{
"end_time": 2976.476,
"index": 109,
"start_time": 2965.742,
"text": " I've never heard an argument from an intuitionist, so I'm currently speaking to a paraconsistentist, but I've spoken to intuitionist before and I've never heard an argument for why is it that"
},
{
"end_time": 3006.613,
"index": 110,
"start_time": 2976.954,
"text": " The proofs by contradiction seem to prove results. You get to results that you could also get to constructively, like later on you get to them constructively. So there seems to be something true about this whole proof by contradiction. No, let's go down the other path. There are two paths. Let's follow one. That's a contradiction. Therefore, it's the other path. Now, in this sentence about the liar, it's interesting because you go down one path and you say there's a contradiction. OK, so let's explore this other one. We also get to a contradiction in math. It's not like that."
},
{
"end_time": 3036.084,
"index": 111,
"start_time": 3006.937,
"text": " You explore one path. If there's only two, it leads to a contradiction. It's a contradiction. Great. So then you accept the other path as true. Yeah. This leads to miracles of engineering and we're here and there's running water and so on. So physics has its applications and math has applications in physics. So it seems to have something to do with reality. So why do you think that is? Why do you think proofs by contradiction work? Okay. So there are many things there."
},
{
"end_time": 3066.51,
"index": 112,
"start_time": 3036.698,
"text": " There's a standard of, there's a form of proof called reductio ad absurdum. Actually, it'll be better called reductio ad contradictionum. And it's valid in classical logic. It's valid in intuitionistic logic. Okay. And the form of proof says assume P deduce a contradiction and then infer that not P and get rid of your assumption."
},
{
"end_time": 3098.063,
"index": 113,
"start_time": 3068.234,
"text": " Okay, in that form is valid in classical logic and intuitionist logic. Whether or not you can always turn that into constructive proof depends. You can't always in classical logic, you can in intuitionistic logic. Okay, so that that's the difference. But it's valid in both forms of logic. Okay. Is it valid in a paraconsistent logic?"
},
{
"end_time": 3119.497,
"index": 114,
"start_time": 3098.66,
"text": " Well, it's complicated because there are many versions of paraconsistent logic. There's really only one intuitionistic logic, but paraconsistent logic comes in many different kinds. So in that sense, intuition is logic and paraconsistent logic aren't kind of playing different sides of the street."
},
{
"end_time": 3149.889,
"index": 115,
"start_time": 3120.657,
"text": " And if you look at that kind of argument in in power consistent logics, it's it's gonna be valid in some of them, but not others. Because you're not. If I look at what kind of argument. Reductive argument. I see. So assume pay. Did you use contradiction and infer not pay? Okay, right."
},
{
"end_time": 3178.814,
"index": 116,
"start_time": 3150.469,
"text": " And a lot hangs on how you infer it, in fact. But as a sort of ballpark statement, it's not going to work in a lot of paraconsistent logics. Okay. So how come we can apply logics where it is valid and things go right? That was your question, right?"
},
{
"end_time": 3206.442,
"index": 117,
"start_time": 3180.981,
"text": " Well, there are several relevant things here. But the first thing you should notice this hasn't always been the case that people reasoned in this way and got results that were useful. So, for example, in the 17th, 18th century,"
},
{
"end_time": 3236.766,
"index": 118,
"start_time": 3207.193,
"text": " Mathematicians invented the infinitesimal calculus. Now a feature of the infinitesimal calculus is you're dealing with things infinitesimals"
},
{
"end_time": 3267.415,
"index": 119,
"start_time": 3237.483,
"text": " Which one point in the computation of computation of derivatives integrals and so on had to be assumed to be non zero and another point that had to seem to be zero. So different points in the computation you assume that infinitesimals having consistent properties and this was well known. It was sort of satirized by Berkeley who called the infinitesimals the ghosts of departed quantities. I know the people knew the mathematicians knew this."
},
{
"end_time": 3295.06,
"index": 120,
"start_time": 3268.183,
"text": " But they reasoned in a certain way using infinitesimals and they got the right answer. I mean, the infinitesimal calculus was the basis of Newtonian dynamics and other things as the centuries went on. Okay. Now it's true that about 200 years later, it was figured out how to do this, these computations without using infinitesimals."
},
{
"end_time": 3323.592,
"index": 121,
"start_time": 3296.101,
"text": " so infinitesimals disappeared from the mathematical menagerie but for 200 years mathematics assumed that infinitesimals had different had contradictory properties at different points in their computation so um obviously they weren't using reductio and absurdum otherwise they could have proved anything all right which they didn't do so"
},
{
"end_time": 3352.602,
"index": 122,
"start_time": 3324.428,
"text": " Would people still argue about what forms of reasoning they were using? That's a contentious question, but, um, certainly they weren't using an unbridled form of reductive absurd and, but they were getting the right results. You know, um, we inferred how things moved. We inferred how to send rockets around the world and, and so on. So it's actually not true that mathematics has always, um,"
},
{
"end_time": 3381.834,
"index": 123,
"start_time": 3352.858,
"text": " Have you heard? Sling TV offers the news you love for less. Hey, wait, you look and sound just like me. I am you. I'm the same news programs on Sling TV for less."
},
{
"end_time": 3401.152,
"index": 124,
"start_time": 3382.176,
"text": " You mean you're me, but for less money? A lot less. I'm all the favorite news programs and more on Sling TV, starting at just $40 a month. Everything great about me, but for less money? Which makes me greater, don't you think? Get the news you love and more, for less. Start saving today. Visit sling.com to see your offer."
},
{
"end_time": 3431.135,
"index": 125,
"start_time": 3402.858,
"text": " How is it that if you do reason in a way that uses reductio, you get the right answer? Well, that raises a much bigger question."
},
{
"end_time": 3462.022,
"index": 126,
"start_time": 3432.432,
"text": " namely how do you know what the right bit of mathematics to use is because people have applied different bits of mathematics for different reasons so for example in particle physics there are two kinds of particles bosons and fermions i think they're called and they satisfy different probabilities distributions"
},
{
"end_time": 3491.92,
"index": 127,
"start_time": 3462.602,
"text": " So you reason about bosons and fermions differently in probability theory because they have different probability distributions. Um, how do you know which is the right bit of mathematics to use? Um, and the answer is, well, you know, you get the right results now. So there's always a question of how you, what bit of mathematics you use. Um, we know that, uh, you can be wrong about this."
},
{
"end_time": 3521.63,
"index": 128,
"start_time": 3492.261,
"text": " Another example is this, until at least the end of the 19th century, maybe the early 20th century, people thought that if you want to reason about the space of the cosmos, or at least the space time of the cosmos, use Euclidean geometry. That was what it was designed for, you know, two and a bit thousand years ago. We now think that's wrong. We think that's the wrong bit of mathematics."
},
{
"end_time": 3550.009,
"index": 129,
"start_time": 3523.439,
"text": " Because the geometry of space or space time of the cosmos is not Euclidean. So we just got the wrong bit of mathematics. And how do we know? Well, because a different bit gave the right results. So how do you know where something is the right bit of mathematics to apply? Well, in the end, it's going to be that gives you the right results. Now, bits of mathematics."
},
{
"end_time": 3571.578,
"index": 130,
"start_time": 3550.589,
"text": " Which use redactio do seem to give you the right results sometimes other times they may not if you use them in the eighteenth century for doing the calculus that have given you the wrong results. Mathematics is a much bigger game than people who only learn contemporary mathematics think."
},
{
"end_time": 3601.203,
"index": 131,
"start_time": 3572.09,
"text": " Um, and we now know that there is mathematics based on classical logic. There's mathematics based on intuitionistic logic. There's mathematics based on paraconsistent logic. Um, you've always got a choice about what, what you're going to use and you use the one which gives you the right results for the application. Um, in the end, that's going to be an empirical matter if you're applying mathematics to the empirical. Um, so."
},
{
"end_time": 3629.104,
"index": 132,
"start_time": 3601.971,
"text": " I think that answers your question. Tell me if you want to come back to it. Yeah. And my issue is that if you start off with some axioms and let's just say ZFC to be clear, if you start off with that, one way of looking at that is that it then branches out the whole theory of math that comes from ZFC is like a tree. So you start with the seeds of the eight or so or 10 or so axioms of ZFC and then out from that populates this tree of statements."
},
{
"end_time": 3656.237,
"index": 133,
"start_time": 3629.735,
"text": " And then some of these statements you want to get to, you try to get to, and you find that it will lead you to a contradiction. So then you prune off that branch and go into other branches and you form this Baroque tree. You can also form a tree with ZFC at the bottom and then say, well, you have to minus the C part or the axiom of choice for the intuitionists. And then you formulate a tree as well. And this tree overlaps and it overlaps so"
},
{
"end_time": 3686.988,
"index": 134,
"start_time": 3657.176,
"text": " Prevalently now not all of it overlaps like there's Zorn's Lemma and whatever else comes from the axiom of choice. But it's just odd to me that if you allow proofs by contradiction than any point that the person who doesn't allow a proof by contradiction can get to I can also get to and then what you're saying about the physical reality only corresponding to one branch or some subset of this branch. That's fine. That doesn't impact what I'm saying. I'm just saying that"
},
{
"end_time": 3715.367,
"index": 135,
"start_time": 3687.466,
"text": " I wonder why, because in the boson and the fermion case, there's nothing contradictory about the math itself. Correct. Now, which math itself we choose, we don't choose a contradictory math. That's what I'm saying. Not in that case. Not in that case. But of course, in the case of the theory of infinitesimals, if you'd chosen to use a logic with explosion, you'd have got the wrong answers. There are a lot of things going on here."
},
{
"end_time": 3744.138,
"index": 136,
"start_time": 3716.032,
"text": " The first is that you talked about Zemilo-Frankel set theory and a very standard view, um, at least until relatively recent times, um, post 1920 is all mathematics could be developed on the basis of Zemilo-Frankel set theory with choice. Okay. Um, you can drop choice. If you drop choice, you prove fewer things. That's true."
},
{
"end_time": 3771.903,
"index": 137,
"start_time": 3744.616,
"text": " But anything who's proved doesn't depend on choice is going to follow in the theory without choice. So that you've got an overlap is not surprising. Um, but, um, even though it was kind of an orthodoxy that, um, all mathematics can be captured as a Milo Frankel set theory, that's highly dubious. And we've known that for a long time category theory."
},
{
"end_time": 3797.295,
"index": 138,
"start_time": 3772.244,
"text": " Doesn't really fit into it, for example, because category theories, at least prima facie deals with enormous totalities, which don't exist in Zemila-Frankel set theory. So, um, at least since the emergence of category theory, the orthodoxy that Zemila-Frankel set theory, uh, grounds all classical grounds, all mathematics is just not right."
},
{
"end_time": 3822.705,
"index": 139,
"start_time": 3797.705,
"text": " What's fair is that it seems to be able to ground all mathematics, at least as it was in the 1920s to maybe the 1960s. And we now know that mathematics does not have to be restricted to being based on classical logic. There's intuitionistic mathematics, intuitionistic paraconsistent mathematics."
},
{
"end_time": 3838.695,
"index": 140,
"start_time": 3823.336,
"text": " You can prove different things, you can't prove the same things in intuition mathematics as you can in classical mathematics, you can prove things in intuition mathematics which are contradictory to things in classical mathematics."
},
{
"end_time": 3867.142,
"index": 141,
"start_time": 3839.121,
"text": " Hmm. Nonetheless, they're perfectly good, pure mathematical structures, but determine rules and you can investigate them, approve things. Like what? What would be an example of something you can prove in intuitionist math that contradicts classical math? They're all real valued functions that continuous. Uh huh. So that one would be in classical. No, that's, that's, that's the most be false in classical real number theory, but it's mostly true in intuitionistic real number theory."
},
{
"end_time": 3897.602,
"index": 142,
"start_time": 3868.234,
"text": " Why can't you make a real valued function that's not continuous and classical? Because you've got to jump. Okay. Just consider the function, which is zero function FX, which is zero. If X is less than zero and one, if X is greater than or equal to zero, that's got a discontinuity at X equals zero. But in intuitionistic real number theory, you can prove with all real valued functions are continuous. Oh, sorry."
},
{
"end_time": 3927.654,
"index": 143,
"start_time": 3898.063,
"text": " I thought you were saying that in classical math, real valued functions are continuous. No, other way around. Cause I'm like, yeah, you can have step functions. So, okay. Understood. Understood. Okay. So let's move a bit, but still staying within intuitionist logic in theme. I was speaking with a quantum physicist named Nicholas Gisson. He's an intuitionist and he suggested that intuitionist logic is intrinsically tied to time. Why? Because something remains undefined until a certain time."
},
{
"end_time": 3955.708,
"index": 144,
"start_time": 3928.422,
"text": " So the classic example is, will it rain tomorrow? Well, it's not truthful. It's not false, but it's undetermined until it's tomorrow, at which point it then becomes true or false. Okay. Paraconsistent logic. Does that have anything to do with time? Um, look, it's, it's true that, um,"
},
{
"end_time": 3989.616,
"index": 145,
"start_time": 3959.94,
"text": " On most understandings of intuitionistic mathematics, things can achieve a truth value they didn't have before because you've got a new proof. That's absolutely right. Um, that, but you can have that ink in different non-classical other non-classical logics as well. Um, I mean, the, the example you're using, um, about the future contingents they're called, um,"
},
{
"end_time": 4016.135,
"index": 146,
"start_time": 3990.435,
"text": " is usually go taken to validate not intuitionistic logic, but a three valued non intuitionistic logic. Okay. So this is this thing about time is not that your person was pointing to is true, but it's not specific to intuitionistic logic. Okay. There are, it works in a number of other logics as well. Um,"
},
{
"end_time": 4045.776,
"index": 147,
"start_time": 4017.159,
"text": " Whereas if you're a classical logic, um, you're not going to accept either of those because even if you don't know what's going to happen in the future, it's either true or it ain't now. Okay. So now the question is, what's interesting is look, some logics have some metaphysical implications with regard to time. Now does para consistent have something similar? Yeah. Maybe it's not just with time. Maybe it's with something else."
},
{
"end_time": 4073.2,
"index": 148,
"start_time": 4046.357,
"text": " Could be space could be something else. Well, time is a tricky subject. Um, and a number of problems with time, highly contentious, not, not the stuff you're doing relativity theory. Uh, that's pretty standard, but there's lots more to time than just special relativity or general relativity. Um, I mean, there's a sort of phenomenology of time. There's,"
},
{
"end_time": 4100.282,
"index": 149,
"start_time": 4073.456,
"text": " The flow of time, there's all kinds of problems with time, which are addressed by special relativity. Um, and some of those problems maybe can be addressed with, um, a paraconsistent logic. It's going to be contentious, but you know that there are some problems about time, philosophical problems about time, which are contentious. Now, look, let me give you one example."
},
{
"end_time": 4131.561,
"index": 150,
"start_time": 4104.445,
"text": " Think of the flow of time. Naively, we all think that, you know, there's stuff now and then it goes into the past and then new stuff happens. And, you know, this is sort of partly to do with the open future that you were describing, but time seems to flow in some sense, you know, things start off with the future. Come present and become past. This is usually called the flow of time."
},
{
"end_time": 4161.442,
"index": 151,
"start_time": 4132.295,
"text": " There's no such thing as special relativity, but certainly that's the way that time appears to us. It's part of the afternomenology of time now. Um, how do you account for that? Okay. As I say, there's no consensus on this, but the flow of time certainly does seem to lead you into contradictions. Uh, some very famous ones. In fact, one is, um, one suggested by a"
},
{
"end_time": 4188.251,
"index": 152,
"start_time": 4161.988,
"text": " British, actually Scottish philosopher MacTaggart at the beginning of the 20th century. And MacTaggart argued that flow of time is real and that means that time is contradictory because nothing can be past, present and future, but everything is past, present and future. Okay. Now there are various ways of replying to this and MacTaggart had various counter-replies and so on."
},
{
"end_time": 4217.927,
"index": 153,
"start_time": 4188.575,
"text": " We don't need to go into that here. All I'm putting out is a number of people have thought that aspects of the nature of time generate contradictions. Now, you might disagree with the arguments, of course, but if you think those arguments are right and you don't think that time is illusory and so you just throw up your hands in horror, then if time is contradictory, when we reason about time, we're going to need a power of consistent logic."
},
{
"end_time": 4244.48,
"index": 154,
"start_time": 4218.336,
"text": " It could well be that various aspects of time will require a paraconsistent logic if you're going to reason about them sensibly. This is very contentious, but everything about this area of time once you get beyond special relativity is contentious, I'm afraid. So the tricky part here is that often in philosophy, you find that some statement is contradictory or some concept is contradictory."
},
{
"end_time": 4265.111,
"index": 155,
"start_time": 4245.196,
"text": " And that leads you to investigate it further and find that you were using ambiguous terms or you need to explicate further. You get the idea and it leads you to some further insight. The issue with pair consistency that I'm sure you've thought of is that if we're going to accept contradictions, then how do we know we're not prematurely accepting a contradiction?"
},
{
"end_time": 4294.275,
"index": 156,
"start_time": 4265.708,
"text": " How do you ever know you're not accepting something prematurely? Look, our views all change all the time. We can always find out we're wrong. That's a hard fact of adult life. But sometimes when you've got a theory and it generates a contradiction, then you want to change the theory and that's the right thing to do. Sometimes it may not be. So look, when you apply"
},
{
"end_time": 4321.92,
"index": 157,
"start_time": 4295.367,
"text": " When we're doing most things of any substance physics philosophy moral philosophy history politics. We're dealing with things about which we have to theorize. And there are different theories there's actually no theoretical enterprise in which there aren't all these haven't been competing theories. No if you subscribe to classical logic."
},
{
"end_time": 4347.978,
"index": 158,
"start_time": 4322.534,
"text": " If your theory turns out to be inconsistent, you say, Hey, it's wrong. We've got to look for a consistent theory, right? Um, if you're a power consistent logic and you get to an inconsistent theory, you can say the same. Maybe there's something wrong and let's look for another theory, but something you might say is, well, maybe the phenomenon we're dealing with really is inconsistent."
},
{
"end_time": 4378.626,
"index": 159,
"start_time": 4348.951,
"text": " So it puts another possibility onto the table. So you're not losing anything. You're gaining extra possibilities. So you already had a bunch of different theories to choose from. Some have now gone because you've written them off a priori. But you're still going to have a bunch of theories. Some of them are consistent. Some of them are inconsistent and you choose the best theory. Okay. How do you choose the best theory? Well, that's the sort of standard problem in the philosophy of science."
},
{
"end_time": 4404.633,
"index": 160,
"start_time": 4379.087,
"text": " You choose the theory which answers best to the data, which is simplest, most unifying. These are standard criteria in the philosophy of science. And sometimes it may well be that the inconsistent theory fairs badly than some of the consistent theories. Maybe that's often going to be the case, but maybe it's not. So, I mean, just come back to the liar paradox."
},
{
"end_time": 4433.626,
"index": 161,
"start_time": 4405.64,
"text": " We've been constructing theories, most of which have been consistent for two and a half thousand years. None of them seems to work, at least if consensus is a mark of working. So now we've got another possibility on the table. The theory of truth is inconsistent. Let's compare that theory with all the other theories and see which fairs best. When talking about paradoxes, something I wondered is, is paradox exclusively a property of self"
},
{
"end_time": 4459.309,
"index": 162,
"start_time": 4433.985,
"text": " Referential systems so the liars paradoxes self-referential but that you just outlined the mick taggart time paradox so that doesn't seem to be referring to philosophers disagree about this um some philosophers have argued that um all dialithias all true contradictions were generated by self-reference"
},
{
"end_time": 4488.217,
"index": 163,
"start_time": 4459.991,
"text": " So there's an American logician, J.C. Beale, who argued this at one time. I'm laughing because he's recently changed his mind and he now thinks that's false. And he thinks that God can be inconsistent, too. OK, I'm not going to go down that path. But, you know, at least 30 years ago or 20 years ago, that was his view that all dialysis were generated by self-reference."
},
{
"end_time": 4516.783,
"index": 164,
"start_time": 4488.404,
"text": " But I've never held that this is the case. I mean, maybe the paradoxes of reference are the most striking, but I think there are other very plausible examples. And, you know, we've talked about motion. That's another one. And there are others that I find very plausible. Now, Professor, something that is extremely interesting is you have a talk which again will be linked in the description. And I believe I referenced it in the introduction."
},
{
"end_time": 4538.097,
"index": 165,
"start_time": 4517.415,
"text": " It is everything and nothing. Yes, this is a wonderful talk. So the reason I say that is that I've just watched it recently. I can tell when I watch something whether it will stay with me for a while. And this is one of those that I'll be thinking about for some time. It also is extremely accessible to the public. Like there's not much background knowledge."
},
{
"end_time": 4567.944,
"index": 166,
"start_time": 4538.336,
"text": " In fact, some background knowledge will hinder you from understanding it. I say that because there's a lowercase sigma for sums. And I'm like, oh, just use the uppercase sigma, because then I could read it like that. But now I have to apply some second order thinking to it. But anyhow, in it, you argue that not only is nothing or nothingness, which we can talk about, not only is nothingness contradictory, but it is the ground of reality. And you explain that as"
},
{
"end_time": 4593.951,
"index": 167,
"start_time": 4568.592,
"text": " Either as ontological dependence, which I don't know if that's the same as supervenience. So I would like to know what is the difference between ontological dependence and supervenience before we go on. Well, I'm just trying to think how to put this in simple terms. Okay. Let's take supervenience first."
},
{
"end_time": 4620.52,
"index": 168,
"start_time": 4595.828,
"text": " Supervenience occurs when you've got two levels of reality so to speak and you can't have a change in the more superficial level without a change in the more fundamental level. So one context in which that's often appealed to is the philosophy of mind. So, you know, we have mental states."
},
{
"end_time": 4651.493,
"index": 169,
"start_time": 4621.527,
"text": " Some people think those are completely different from physical states of our body and our brain. Some people have held that you can reduce mental states to physical states. So you can define a mental state in terms of physical states. Both those views face steep problems. Another view is that the mental supervenes on the physical. So you can't actually define the mental in terms of the physical. But what you can say is that in some sense,"
},
{
"end_time": 4678.712,
"index": 170,
"start_time": 4652.244,
"text": " There's a sort of dependence relation that you can't have two different mental states without some different physical states and that that supervenience, you know, the supervening phenomenon. You can't have a change in the supervening phenomenon without a change in the subvenient phenomenon, that supervenience. Okay. Um, ontological dependence is this that, um,"
},
{
"end_time": 4706.817,
"index": 171,
"start_time": 4680.162,
"text": " Okay and it comes in various different forms so let me try and keep this simple. One very common form is that the nature of something depends on something else. So for example it might be said that you're being a human depends upon your genetic structure."
},
{
"end_time": 4727.602,
"index": 172,
"start_time": 4707.5,
"text": " Actually let me give you a better example that can be a pill to get a tree and the sun's out you got a shadow of a tree. Shadow of the tree depends on being a shadow of a tree on the tree. But the tree doesn't depend on being a tree on the shadow of a tree. Okay understood."
},
{
"end_time": 4755.52,
"index": 173,
"start_time": 4727.91,
"text": " I'm not this is not the same as the super meeting picture i mean you don't have two levels of reality for stop push shadows trees are part of the same reality. So this is not a relation of super variance it's a bit is taken to be a relation of psychological dependence. Okay so now let's explore what is the difference between nothing and nothingness."
},
{
"end_time": 4783.78,
"index": 174,
"start_time": 4756.135,
"text": " okay the word nothing in english and cognate words in other languages is ambiguous the word nothing can be a quantifier which means that it's not a referring term um quantifier phrases tell you that quantify various things like something everything few many most and it tells you whether something everything few many most things satisfy some condition"
},
{
"end_time": 4813.524,
"index": 175,
"start_time": 4784.633,
"text": " These are not quantifier phrase are not referring phrases. And if I say she opened the fridge and there was nothing there inside, that's a quantifier. It's saying for no X was X inside the fridge. It was empty, right? So often when we use the word nothing, it's a quantifier phrase, but nothing can also be a noun phrase. So it does refer to something. Well, if it refers at all, that's contentious."
},
{
"end_time": 4843.865,
"index": 176,
"start_time": 4813.933,
"text": " But if it refers, it's the kind of phrase that refers to something. That's what a noun phrase is. So, um, if I say Hagel and Heidegger wrote about nothing, but said different things about it. The word nothing there is a noun phrase. How do you tell when there's this, there's this anaphoric pronoun it, and it refers back to whatever nothing is referring to. So nothing must refer to something."
},
{
"end_time": 4870.026,
"index": 177,
"start_time": 4844.906,
"text": " Okay, so when we're talking about nothing, and we're not talking about the quantifier, we usually mean it as a noun phrase, something that refers. And in English, we often put the word the suffix, the postfix ness on the end, nothingness to make it clear that it's a noun. In German, in other languages, you would put a definite"
},
{
"end_time": 4900.077,
"index": 178,
"start_time": 4872.056,
"text": " Description in front of it that's next which you don't do in english right we don't talk about the nothingness in english um but um that we have various devices which we use in most languages to tell you you're talking about the noun phrase and not the quantifier okay and suddenly in that lecture that you mentioned i was talking about nothingness that is nothing called noun phrase not quite quantify which is quite different"
},
{
"end_time": 4929.036,
"index": 179,
"start_time": 4901.084,
"text": " So again, the lecture will be on screen here. I'll show an image of it and the link will be in the description. I recommend you watch that because there's a formal proof that the notion of nothingness, given some assumptions and which are reasonable assumptions, given what we think the properties of nothing should be lead to nothing being contradictory, but also that every object is dependent on nothing. So"
},
{
"end_time": 4956.749,
"index": 180,
"start_time": 4930.538,
"text": " This is metaphysically interesting and contentious. Right. Now I want to leave that as a teaser, which will come back to and there's a flip side to nothing or nothingness, which is everything. So please define what everything is and talk about whether it itself is a well-defined notion. Okay. Look, all this stuff is contentious. Um,"
},
{
"end_time": 4982.671,
"index": 181,
"start_time": 4957.602,
"text": " I think both nothingness and everythingness, if I can use a kind of very strange way of putting it, are both fine. Now, I gave that lecture that you're referring to in Bonn, and I was invited by a philosopher there called Marcus Gabriel, who has made quite a name for himself, arguing that there's no such thing as everything. There's no totality of everything, right?"
},
{
"end_time": 5011.817,
"index": 182,
"start_time": 4983.268,
"text": " Oh, okay. So when you were saying in the lecture that Marcus said so-and-so, it wasn't Marx. You weren't speaking about Karl Marx. Okay. Cause I was wondering, I thought as Karl Marx spoken about everything, cause it sounded every time he said, Marcus said, I thought you said Marx has said so-and-so. My poor pronunciation. No, I was talking about Marcus Gaffigan who was in the audience. Yes. Okay. And in fact, Marcus and I have since written a book called everything and nothing."
},
{
"end_time": 5041.971,
"index": 183,
"start_time": 5012.312,
"text": " Well, that's wonderful. Marcus does not think there's such a thing as everything, and I do. I think there's also such a thing as nothingness. Marcus was a bit dubious about that, but that's a different matter. So the question is, how do you define these things? And in the case of everything, there's a standard definition in the branch of metaphysics or logic called Mariology. Mariology is the theory of parts and wholes."
},
{
"end_time": 5072.261,
"index": 184,
"start_time": 5042.875,
"text": " Um, and everything is just the object you get when you put together every thing. So it's a noun phrase, right? It's the very logical sum of everything and every thing there is a quantifier. So you take all the things there are, you squish them together to get one single object and that's everything. So in Mariology, you've got this,"
},
{
"end_time": 5098.08,
"index": 185,
"start_time": 5072.517,
"text": " This operation of fusion, which means if you take the parts of something and squish them all together, you get the thing in question. I have parts. I've got two arms, two legs, a head, a torso, et cetera, et cetera. If you've put all those things together, you get me. Okay. If you take Beethoven's fifth symphony, it's got four movements. If you put all those things together, you get the symphony."
},
{
"end_time": 5121.408,
"index": 186,
"start_time": 5098.746,
"text": " And the thought is everything is you take every thing and squish them all together you get this thing everything. Noun phrase. Mark doesn't like that argument for various reasons but i do. So that's everything it is a standard creature in orthodox marialogy."
},
{
"end_time": 5150.845,
"index": 187,
"start_time": 5122.09,
"text": " This episode is brought to you by State Farm. Listening to this podcast? Smart move. Being financially savvy? Smart move. Another smart move? Having State Farm help you create a competitive price when you choose to bundle home and auto. Bundling. Just another way to save with a personal price plan. Like a good neighbor, State Farm is there. Prices are based on rating plans that vary by state. Coverage options are selected by the customer. Availability, amount of discounts and savings, and eligibility vary by state."
},
{
"end_time": 5182.995,
"index": 188,
"start_time": 5153.524,
"text": " Now if that's everything what's nothing well it's the flip side it's what you get when you put no things together right everything is what you get when you put everything together when you fuse all things nothing is what you get when you fuse no things when you put no things together and uh it must be said that nothing is that the the empty fusion"
},
{
"end_time": 5213.114,
"index": 189,
"start_time": 5183.473,
"text": " It's not a standard part of marriage. But one of the things I did in that lecture was show that you could construct a marriage based on very natural ideas, which gives you empty fusion, a fusion of no things. And you can use that to prove that nothing is both something and nothing, but an object and not an object. Um, right. And if you think about it, I mean, there's a paradox."
},
{
"end_time": 5236.015,
"index": 190,
"start_time": 5213.933,
"text": " Concerning nothing this well because nothing this is something i mean you can talk about it you can think about it you can wonder whether there is such a thing you are no so nothing this is something but nothing this is well nothing nothing there's nothing there um so this is something like"
},
{
"end_time": 5262.927,
"index": 191,
"start_time": 5236.527,
"text": " recently been calling the paradox of nothingness and it's not not a famous paradox like the xenos paradoxes or the paradox of self-reference but i think it's a really interesting paradox uh and for me it ranks right up there with those paradoxes does this sort of paradox that's associated with nothingness characterize everything as well no there isn't a corresponding paradox because"
},
{
"end_time": 5281.323,
"index": 192,
"start_time": 5263.729,
"text": " Okay, is there a paradox of everything of a different sort then? Have you heard? Sling TV offers the news you love for less."
},
{
"end_time": 5306.118,
"index": 193,
"start_time": 5281.442,
"text": " Hey Wade, you look and sound just like me. I am you. I'm the same news programs on Sling TV for less. You mean you're me but for less money. A lot less. I'm all the favorite news programs and more on Sling TV starting at just $40 a month. Everything great about me but for less money? Which makes me greater, don't you think? Get the news you love and more for less. Start saving today. Visit Sling.com to see your offer."
},
{
"end_time": 5339.309,
"index": 194,
"start_time": 5309.923,
"text": " Outline by your friend, the co-author Marcus. In the lecture, it seemed like there was, and then it seemed like you just accepted that as intrinsic. Yeah. Looking back on itself. Of course there are various arguments about everything. Ness. Okay. Yes. Yes. Yes. And Marcus does use arguments to try to establish that, um, there's no such thing because it leads you to contradictions. For example."
},
{
"end_time": 5371.288,
"index": 195,
"start_time": 5342.244,
"text": " He thinks that everything has got to be part of something different bigger. So there can't be a totality of everything because it would have to be part of something bigger and there's nothing bigger for there to be. That's an argument he uses. Um, I think that's a fallacious argument because, um, that assumes that nothing can be part of itself."
},
{
"end_time": 5400.469,
"index": 196,
"start_time": 5372.517,
"text": " Which is a kind of standard Mariological principle, but it's one that's been very, everything can be part of itself. He thinks that nothing can be part of itself. Ah, okay. Um, which is, um, a standard principle of Mariology. Uh, and I think that principle is, I mean, that, that principle has been questioned by a number of people. And I actually think that principle is incorrect. So, um,"
},
{
"end_time": 5422.961,
"index": 197,
"start_time": 5401.203,
"text": " He doesn't accept that there's such thing as everything because he thinks that that's a good argument. And I don't whether you want to call it a paradox. I'm not sure. Okay. Now another question is given you have such disagreements with this colleague of yours, how is it that you could write a book together? What was that like? Because it was a dialogue."
},
{
"end_time": 5448.763,
"index": 198,
"start_time": 5423.865,
"text": " I put my side of the case, he put his side of the case, and then we sort of discussed these things and recorded it and transcribed the recordings and put them in the book. Did we reach consensus? Of course not. This is philosophy. So it wasn't the sort of book where you write and there's chapters and it's an ordinary book that's not in the form of dialogue."
},
{
"end_time": 5475.418,
"index": 199,
"start_time": 5449.445,
"text": " Great. It was definitely a dialogue between Marcus and myself. Okay. Now, what's interesting to me is that nothingness is contradictory. Contradictory seems to be a property of nothingness. But that would imply that nothingness has properties. So that's not a problem for you. That's interesting to me, because to me, I would think that nothingness would be that which has no properties."
},
{
"end_time": 5494.77,
"index": 200,
"start_time": 5476.783,
"text": " Or at least that a property of nothing. I know this is contradictory. Maybe this is you're allowed to accept this, but a property of nothingness is that it has no properties. Not only does it contain nothing, no thing, but it also has no properties. But I would like to hear your thoughts on this, please. Well, look,"
},
{
"end_time": 5530.043,
"index": 201,
"start_time": 5502.5,
"text": " If you define nothing as the thing which has no properties, then of course, well, not of course, but you might think that this is true by definition. I don't think that's the right definition of nothing. Nothing is what you get when you put no things together, which is kind of different. Um, but any thing that's the quantifier has some properties. For example, it's self identical or it's something."
},
{
"end_time": 5560.435,
"index": 202,
"start_time": 5530.503,
"text": " Are there any contemporary philosophers who don't agree with the, I don't know if it's a law, but self identity that X equals X?"
},
{
"end_time": 5589.718,
"index": 203,
"start_time": 5560.981,
"text": " Yes, there are. You can construct systems of logic where that fails. One thing we've learned because of the tools of modern logic, they're so powerful, so versatile that you can construct a system of logic where anything fails. Let me just say a little bit more about that."
},
{
"end_time": 5618.916,
"index": 204,
"start_time": 5590.316,
"text": " There was a revolution in logic around the beginning of the 20th century. Associated with Frager and Russell and various other people where they showed for the first time, really in the history of logic, how you can apply very powerful tools of mathematics to the subject. It was the birth of mathematical logic. And they use the tools to construct classical logic. Um, and for a while it was taken that this had to be the right logic."
},
{
"end_time": 5649.019,
"index": 205,
"start_time": 5619.735,
"text": " Because it was a result of applying the tools. But we now know that these tools are really very powerful. Axiomatics, combinatorics, model theory, proof theory. And you can use these tools to construct so many different non-classical logics. That's not contentious. And they're so powerful that you give me any principle. And I can construct a logic where that principle fails."
},
{
"end_time": 5676.596,
"index": 206,
"start_time": 5649.957,
"text": " That's how powerful the tools are. So just applying the tools is not going to get you in itself anywhere. You've then got to worry about, you know, you've got all these systems of logic. How do you know which one is right to use? And we're back with the question of, you know, applied mathematics. How do you know that it's the right bit of applied mathematics to use for the job? We're in that ballpark."
},
{
"end_time": 5705.691,
"index": 207,
"start_time": 5677.483,
"text": " What are those called and who is a proponent of them like a serious proponent of them and intellectually curious endeavor. Let me see there are probably a few people, but I heard I'm just reading a paper by"
},
{
"end_time": 5736.288,
"index": 208,
"start_time": 5707.312,
"text": " An Italian, sorry, a Japanese colleague of mine, Naoya Fujikawa, where he discusses these systems. I heard a talk by a Brazilian logician, Octavio Bueno, who works in Miami two weeks ago, where he's talking about logics about these things. So that, I mean, there are certainly philosophers and logicians who play with these ideas and talk about possible applications."
},
{
"end_time": 5764.531,
"index": 209,
"start_time": 5736.886,
"text": " So that's two, right? One's Japanese and works in Japan. One's Brazilian and works in the US. And there are others too, I'm sure. Speaking of an interesting digression. Actually, it's not a digression. What would you say is the difference between no-thingness, so nothingness, but I'm going to call it non-thingness to make it congruent with."
},
{
"end_time": 5792.5,
"index": 210,
"start_time": 5764.753,
"text": " Okay, um,"
},
{
"end_time": 5823.046,
"index": 211,
"start_time": 5794.906,
"text": " Look, for start, the word being is ambiguous. So being is the abstract noun derived from the verb to be in English. And any logician will tell you that's ambiguous. There's the B of predication. John is happy. There's the B of identity."
},
{
"end_time": 5850.725,
"index": 212,
"start_time": 5823.763,
"text": " The current president of the United States is Joe Biden. There's the B of quantification. There are people who think the contradictions are true. Now those are different. Okay. Why are any of those even being because I didn't hear the word being in there. There are the being is the abstract noun derived from the verb to be."
},
{
"end_time": 5873.285,
"index": 213,
"start_time": 5851.852,
"text": " And there are or there is uses the verb to be. No, explain this for me. So the sentence, if I was to write it out, I don't see the word to be in it. No, you see the word implicit in. No, no, you see the word is and is is the third person singular of the verb to be. OK."
},
{
"end_time": 5896.732,
"index": 214,
"start_time": 5873.78,
"text": " The reason why i have a sticking point with that is because of you because you made an interesting i've never seen this done you've made an interesting distinction between is and existence yeah that that's that's a different matter but i'm just pointing out that the verb is be is itself ambiguous i see i see okay okay for me now the word is is no longer"
},
{
"end_time": 5925.674,
"index": 215,
"start_time": 5897.483,
"text": " So clear cut. So that's why I didn't make it equivalent to be okay. Now, because before I would have made it equivalent to existence. And now since that's up in the air, well, so that that's right. Now, um, one of those meanings, um, namely the meaning of quantification, there is, uh, has been held by some famous philosophers, including Vannall McQuine, uh, to be equivalent to exists."
},
{
"end_time": 5947.534,
"index": 216,
"start_time": 5926.988,
"text": " so he held that when you say there is something that means there exists something now that's kind of a made that an orthodox view in anglo philosophy it's a very dubious view as well his arguments because i can say things like oh"
},
{
"end_time": 5976.92,
"index": 217,
"start_time": 5948.131,
"text": " There's something there is something I wanted to get you for your birthday, but I couldn't get it because it doesn't exist. It was a it was an actual picture of Sherlock Holmes. Now. If there is means there exists, what have I just said? I've said there exists something I want to do to buy you for your birthday, but I couldn't buy it because it doesn't exist. I've just contradicted myself. And dialethism aside, that's not a very tempting contradiction. OK."
},
{
"end_time": 6004.138,
"index": 218,
"start_time": 5977.756,
"text": " So that the reason I was pausing is because the question you raised is kind of kind of tricky for several reasons. The first is that the verb to be is ambiguous. The second is one of those meanings. Some people identified it with the existence. I don't think that's a good idea. But then there's another part of your question about nothingness and no thingness."
},
{
"end_time": 6034.206,
"index": 219,
"start_time": 6005.162,
"text": " Now, um, that raises different issues again. Okay. So, um, if I'm right about nothingness, it is no thing. It's something as well, but it's no thing. That's part of the paradox, right? But, um, are there other things which are no thing? That'd be paradoxical, but I mean, is nothingness the only kind of thing like this? Or are there other things?"
},
{
"end_time": 6063.183,
"index": 220,
"start_time": 6035.401,
"text": " Well, there are certainly things that don't exist. I mean, Quine didn't think so, but you know, Sherlock Holmes doesn't exist. Maybe you believe in some God or other, but you know, you don't believe in all of them. So whichever ones you don't believe in that God doesn't exist. And, you know, lots of things don't exist. A touchier question is whether some things"
},
{
"end_time": 6085.64,
"index": 221,
"start_time": 6064.735,
"text": " I'm not and i don't mean by our exist i mean just a being right not an existing being and a lot of people think the answer to that is no the only thing that is nothing is nothingness that's not actually my view but a lot of people hold that view."
},
{
"end_time": 6109.087,
"index": 222,
"start_time": 6088.473,
"text": " So okay i take you through some weeds there and i apologize but the weeds are fine i like the chaperone we live for the technicality the question you asked at the many different you know aspects and. It's hard to answer without teasing somebody's aspects apart so apologies for taking through you through these various distinctions."
},
{
"end_time": 6139.923,
"index": 223,
"start_time": 6110.572,
"text": " What came first, your love for para-consistent logic or your fondness for Buddhism slash Taoism? The former. So you may or may not know that my doctorate is in mathematics and it was in classical logic. So I was trained as a classical logician. But soon after that, I started to"
},
{
"end_time": 6168.558,
"index": 224,
"start_time": 6143.2,
"text": " Realize there are problems and everybody knows there are problems, but I thought these problems are serious, right? So that's when I started to work on power consistency. At that time, I knew absolutely nothing. Actually, I do nothing much about philosophy because I was trained in mathematics, but I certainly knew nothing about the Asian philosophical traditions. I didn't know anything about those until 25 years later."
},
{
"end_time": 6196.92,
"index": 225,
"start_time": 6168.951,
"text": " Okay. Well, um,"
},
{
"end_time": 6224.838,
"index": 226,
"start_time": 6198.37,
"text": " For start i'm not a buddhist i don't have any religion okay i don't practice meditation so what i've learned in from the asian philosophical traditions has nothing to with religion specifically of course i am sympathetic to various views both ethical and metaphysical that you find in"
},
{
"end_time": 6254.94,
"index": 227,
"start_time": 6225.299,
"text": " eastern traditions maybe especially buddhism but then i'm sympathetic to many views you find in um various you know western traditions some of them are religious too so um as i say you know this has nothing to do with religion but that doesn't mean that i just believe everything that any of these things says okay so what effect has learning about the asian"
},
{
"end_time": 6282.261,
"index": 228,
"start_time": 6256.237,
"text": " Very simply it's made my understanding of philosophy much richer. So, um, in all the world's religious traditions, there are some questions which crop up everywhere. What's the nature of reality? Um, how should I live? How do you run the state? How do you know these things? Okay. They all address these in one way or another. Um,"
},
{
"end_time": 6311.442,
"index": 229,
"start_time": 6283.131,
"text": " Sometimes you find questions in one tradition. You don't find another. That's fine, too. Sometimes when they are dealing with the same questions, they will give similar answers. Sometimes they give very different answers. But you want to know these things. You get a much broader, richer canvas of philosophy. So when I do philosophy nowadays, I'm able to draw on"
},
{
"end_time": 6338.951,
"index": 230,
"start_time": 6312.005,
"text": " a sort of a wealth of ideas from many of the world's philosophical traditions that I wasn't able to do, say, 30 years ago. So my understanding is, Richard, the tools I have are richer. Hopefully my philosophy is richer. We haven't talked about why nothingness is the ground of reality. Yes, I understand that there's an hour long lecture at which I'm recommending people watch where that argument is laid out."
},
{
"end_time": 6367.193,
"index": 231,
"start_time": 6339.616,
"text": " However, can you recapitulate that in a succinct form? Look, it's difficult to do that. But let me at least hint at the reason. How about just the idea of ontological dependence on nothingness? Yeah, OK. Look, let me"
},
{
"end_time": 6397.5,
"index": 232,
"start_time": 6369.599,
"text": " Ontological dependence is often couched in terms of certain conditionals, which logicians call counterfactuals. What I mean is this, um, the shadow of the tree depends for being the shadow of a tree on the tree. If it weren't a tree, it wouldn't be the shadow of a tree. Okay. That's a conditional is called a counterfactual. If this thing weren't a tree, it wouldn't be the shadow of a tree. So that's that."
},
{
"end_time": 6425.93,
"index": 233,
"start_time": 6398.234,
"text": " Dependence is often couched in terms of these counterfactual conditionals. Okay. But, um, counterfactual conditionals or at least dependence conditionals can, um, the negative ones as well. So take a Hill. Um, if, if that weren't distinct from the surrounding plane, it wouldn't be a Hill. Okay. So there's counterfactual if it weren't."
},
{
"end_time": 6455.913,
"index": 234,
"start_time": 6426.408,
"text": " That's the counterfactual distinct from the plane. It wouldn't be a hill. It would be part of the plane or it would be a ravine. No, if it were a ravine, it would still be distinct. Let's just leave it at that. Okay. It's being a hill depends on it being distinct from the plane. Okay. Leave it at that. Now, something being an object depends on it being distinct from"
},
{
"end_time": 6485.862,
"index": 235,
"start_time": 6456.34,
"text": " Nothingness, if it were nothingness, it wouldn't be an object because nothingness isn't an object. So it's a bit like the hill in the plane. What makes it a plane? What makes it a hill is that it stands out from the plane. And in an analogous way, what makes something an object is that it stands out from nothingness. Okay, that that's the basic form of the argument. And I stole that from Heidegger."
},
{
"end_time": 6513.422,
"index": 236,
"start_time": 6486.152,
"text": " Now, did he steal it from Spinoza or is that a different argument? Not as far as I know. So the reason I'm saying that is this idea that in order for you to specify an object, you have to write about its negation or speak about what it isn't. No, that's that. That's every determination is negation. That's Spinoza. I think that's a different thought. I mean,"
},
{
"end_time": 6544.804,
"index": 237,
"start_time": 6515.606,
"text": " This is a specification and it does use a negation but I don't think but it's a special kind of conditional which has to do with the nature of something. What Spinoza was talking about was simply a way of if you want to characterize anything in any way there's got to be a contrast with something that's not that. Okay and you know that's a different point"
},
{
"end_time": 6571.817,
"index": 238,
"start_time": 6546.015,
"text": " There's a professor of philosophy. You may know him. His name is Anand Vaidya. Yeah, I know him. There's an interview for people who don't know with Anand Vaidya on analytic philosophy, epistemology, Vedism. It's in the description. It's a fascinating gem of an episode. There are several insights there into non-dualism, dualism, truth and falsity. He knows I'm interviewing you and he said the question. He said, can we understand the Madhyamaka claim"
},
{
"end_time": 6601.817,
"index": 239,
"start_time": 6572.159,
"text": " That the ultimate truth is that there is no ultimate truth through para consistent logic. Well, the straight answer, the simple answer is yes. Okay. Now, of course that the simple answer is not very interesting because we want to know why. And let me say, first of all, that this is contentious. I mean, even amongst scholars of Madhyamaka, this is contentious."
},
{
"end_time": 6632.483,
"index": 240,
"start_time": 6602.807,
"text": " But many years ago i wrote an old paper i wrote a paper with an old friend of mine jay garfield on this question and Prima facie The ultimate truth is there is no ultimate truth is contradictory Because it implies that there is something that's ultimately true and there isn't And jay and i argued that that's exactly how it should be understood now"
},
{
"end_time": 6656.783,
"index": 241,
"start_time": 6633.166,
"text": " A lot of Buddhist scholars disagree with this, but at this point we have to go into all the reasons there are for what Buddhists, what the Madhyamaka thought about ultimate truth and its properties and its nature and so on. I can't do that in this context."
},
{
"end_time": 6687.227,
"index": 242,
"start_time": 6657.875,
"text": " Now, Anand does have another question. Can you outline your views on the debate over logical pluralism and monism and where you see para-consistent logic in that debate? Look, the word logical pluralism is highly ambiguous. I'm sorry to have to keep saying this to you, but lots of these words get thrown around and they're ambiguous. And if you don't get clear about the differences, you're going to get confused. So this is why I keep coming back to things like saying, well, it depends what you mean, right?"
},
{
"end_time": 6716.937,
"index": 243,
"start_time": 6687.602,
"text": " What is not contentious is that there are many, many different kinds of pure logics, classical logic, paraconsistent logic, intuitionistic logic, and all the others, right? And as pure mathematical structures, they're all equally good. That's not contentious. They're just bits of pure mathematics. But when you apply a bit of pure mathematics,"
},
{
"end_time": 6744.804,
"index": 244,
"start_time": 6717.995,
"text": " You want to know you want to get the right one we've been over this and when we apply pure logic it can have many applications and they're not all to do with reasoning by any means but there's a sort of canonical application of a pure logic which is precisely about reasoning comes back to where we started figuring out what follows from what that's the canonical application of a pure logic and logical pluralism"
},
{
"end_time": 6774.684,
"index": 245,
"start_time": 6745.282,
"text": " In the only interesting sense there is, is that when you apply pure mathematics for that application, there are different logics which are equally good. Some people are logical pluralists in that sense. I'm not. It's a kind of fairly hot topic in the literature at the moment. Traditionally, logic has been modest, not pluralist."
},
{
"end_time": 6804.497,
"index": 246,
"start_time": 6775.077,
"text": " Logical pluralism doesn't really appear on the philosophical scene until about the last 30 years, I think, in the history of logic. So I'm sort of in good historical company here. Of course, that doesn't mean anything really. But I've never been persuaded by the people who put forward cases for logical pluralism in that sense. It's clear that paraconsistent logic is one of the plurality of pure logics."
},
{
"end_time": 6825.333,
"index": 247,
"start_time": 6804.821,
"text": " In that sense, it's one of that plurality. I happen to think that when you apply it for this canonical application of pure logics, there's one correct logic and it's paraconsistent. Even given that, is there still a contradiction or a paradox that you find to be most challenging?"
},
{
"end_time": 6854.957,
"index": 248,
"start_time": 6825.64,
"text": " We imagine that we've solved or that you in your mind are settled on the liars paradox but is there another paradox like new comes paradox or something else that sticks in your crowd nettles at you. Okay the history of logic is full of paradoxes. I guess to the extent that I thought about any of them."
},
{
"end_time": 6886.357,
"index": 249,
"start_time": 6856.834,
"text": " I've found solutions which satisfy me. Sometimes it's a paraconsistent solution, sometimes it's not. I can't think offhand of a paradox that I don't feel comfortable with a certain solution to, but maybe I'm just misremembering. Well, then can you describe an epiphany moment where you were struggling with something and then an insight came to you? What was that like? What was it?"
},
{
"end_time": 6914.104,
"index": 250,
"start_time": 6887.415,
"text": " Well, here's one. There's another kind of paradox, which is very frequently discussed now, wasn't so frequently discussed in the history of logic called the Sorites paradox. So Sorites paradox is when things happen by degrees. So, you know, if I, I can be totally sober. If I drink one CC of alcohol, I'm not drunk."
},
{
"end_time": 6945.333,
"index": 251,
"start_time": 6915.333,
"text": " If I drink two cc's, I'm not drunk. And generally speaking, if I'm not drunk after n cc's, I'm not drunk after n plus one cc's because one cc doesn't make a difference. But of course, if you drink a whole couple of liters of alcohol, I don't know how many drops that is, but it's a lot, right? Yes. Okay. Yes. So this is called the Sorites Paradox. And I did struggle with the Sorites Paradox for a long time. I didn't really find a solution that I was satisfied with until"
},
{
"end_time": 6972.432,
"index": 252,
"start_time": 6945.896,
"text": " In arguing with or discussing with some friends, they pointed out that there's actually a way of seeing it as a paradox with the same structure of the paradox of self-reference. And once I saw that, then I became sympathetic towards a dialectic solution, because if the paradox of self-reference have a"
},
{
"end_time": 6991.63,
"index": 253,
"start_time": 6973.302,
"text": " Think Verizon, the best 5G network is expensive? Think again. Bring in your AT&T or T-Mobile bill to a Verizon store today."
},
{
"end_time": 7015.691,
"index": 254,
"start_time": 6996.237,
"text": " Jokes aside, Verizon has the most ways to save on phones and plans where everyone in the family can choose their own plan and save. So bring in your bill to your local Miami Verizon store today and we'll give you a better deal."
},
{
"end_time": 7047.824,
"index": 255,
"start_time": 7020.845,
"text": " It's hard to do that without a piece of paper and a chalk or a blackboard. The structure is called the enclosure schema. That's I-N-C-L-O-S-U-I. Right, right. And way back, I suggested that all the paradoxes I've referenced are enclosure paradoxes. They fit this general schema. And it was only when talking to friends we realized that"
},
{
"end_time": 7077.79,
"index": 256,
"start_time": 7048.114,
"text": " So professor, many people have been watching maybe for two hours now. I'm sorry, they haven't got better things to do with their time. And throughout all of this, we've talked about contradictions and dialetheisms and different forms of logic, nothingness and everything in a technical sense. But a looming, maybe the looming question is,"
},
{
"end_time": 7108.456,
"index": 257,
"start_time": 7078.78,
"text": " Okay. So what, like you're speaking to the person now who's been listening again for a couple hours. How are they supposed to act differently now as a result of these new found theoretic insights and why should they act differently as a result? I mean, when we theorize, we're interested in problems and we're trying to get to the truth. And when we finally get to the truth, we understand the world better. Does this necessarily affect how we live?"
},
{
"end_time": 7137.91,
"index": 258,
"start_time": 7108.916,
"text": " No, not necessarily. Insights in physics don't necessarily affect how we live. Insights in chess don't necessarily affect how we live. And it may well be that insights about the paradoxes of reference don't necessarily affect how we live. How we live is important, but it's not the only important thing in life. I think truth is important."
},
{
"end_time": 7165.691,
"index": 259,
"start_time": 7139.667,
"text": " So maybe the answer is nothing much, but maybe there's a sort of meta lesson and the meta lesson is this. The principle of non-contradiction has been high orthodoxy in Western philosophy, much less so in the Asian traditions. Um, and so often when people are struggling to solve a problem, whether it's a practical problem or theoretical problem,"
},
{
"end_time": 7192.176,
"index": 260,
"start_time": 7166.937,
"text": " If they think that you can't accept an inconsistent or contradictory theory, they're going to be certain approach is the problem that you're going to write off just without thinking. And the main meta solution or the main meta takeaway lesson is don't be so narrow minded. There is more."
},
{
"end_time": 7218.677,
"index": 261,
"start_time": 7192.995,
"text": " To the possible theories in heaven and earth than I thought of, than I dreamt of in your philosophy, her ratio. So keep an open mind. Think of all the possible solutions to your problem. Some of them may be contradictory. And once you've got a clear view of all the possibilities that lie before you, then make a sensible choice. Professor,"
},
{
"end_time": 7247.841,
"index": 262,
"start_time": 7219.292,
"text": " Thank you. You're welcome, Kurt. I appreciate it. Okay. Well, um, sometimes we've got a bit deeper into the weeds than it is easy for people to follow. And I apologize. That's good. I did try and keep things as simple as I can. Um, sometimes perhaps over simple. Like I said, I live in the chaperone and same with the audience. So we like the technicality. Okay. All right. Well, thanks for the interview, Kurt. It's been a pleasure to chat."
},
{
"end_time": 7263.319,
"index": 263,
"start_time": 7248.404,
"text": " Firstly, thank you for watching, thank you for listening. There's now a website, curtjymungle.org, and that has a mailing list. The reason being that large platforms like YouTube, like Patreon, they can disable you for whatever reason, whenever they like."
},
{
"end_time": 7289.804,
"index": 264,
"start_time": 7263.575,
"text": " That's just part of the terms of service. Now, a direct mailing list ensures that I have an untrammeled communication with you. Plus, soon I'll be releasing a one-page PDF of my top 10 toes. It's not as Quentin Tarantino as it sounds like. Secondly, if you haven't subscribed or clicked that like button, now is the time to do so. Why? Because each subscribe, each like helps YouTube push this content to more people like yourself"
},
{
"end_time": 7308.285,
"index": 265,
"start_time": 7289.804,
"text": " Plus, it helps out Kurt directly, aka me. I also found out last year that external links count plenty toward the algorithm, which means that whenever you share on Twitter, say on Facebook or even on Reddit, etc., it shows YouTube, hey, people are talking about this content outside of YouTube, which in turn"
},
{
"end_time": 7336.51,
"index": 266,
"start_time": 7308.49,
"text": " Greatly aids the distribution on YouTube. Thirdly, there's a remarkably active Discord and subreddit for theories of everything where people explicate toes, they disagree respectfully about theories and build as a community our own toe. Links to both are in the description. Fourthly, you should know this podcast is on iTunes. It's on Spotify. It's on all of the audio platforms. All you have to do is type in theories of everything and you'll find it. Personally, I gained from rewatching lectures and podcasts."
},
{
"end_time": 7356.476,
"index": 267,
"start_time": 7336.51,
"text": " I also read in the comments"
},
{
"end_time": 7382.722,
"index": 268,
"start_time": 7356.476,
"text": " and donating with whatever you like. There's also PayPal. There's also crypto. There's also just joining on YouTube. Again, keep in mind it's support from the sponsors and you that allow me to work on toe full time. You also get early access to ad free episodes, whether it's audio or video. It's audio in the case of Patreon video in the case of YouTube. For instance, this episode that you're listening to right now was released a few days earlier. Every dollar helps far more than you think."
},
{
"end_time": 7386.51,
"index": 269,
"start_time": 7382.722,
"text": " Either way, your viewership is generosity enough. Thank you so much."
}
]
}No transcript available.