Episode 42: Popper without Refutation & Resolving the Problems of Refutation (part 2)
- Links to this episode: Spotify / Apple Podcasts
- This transcript was generated with AI using PodcastTranscriptor.
- Unofficial AI-generated transcripts. These may contain mistakes. Please check against the actual podcast.
- Speakers are denoted as color names.
Transcript
[00:00:11] Blue: Welcome back to the theory of anything podcast. We’re continuing our discussion about popper without refutation and related subjects. How’s it going. Well, Bruce, how are you. Good, I just finished my 15 minute presentation for the popper conference. And, and did, did they kill you?
[00:00:30] Red: Did they try one?
[00:00:31] Blue: Yeah, they tried. You had mentioned in the last podcast that they’re going to be coming at me with lightsabers and at least one person was and it was David Miller. Very probably the most well known and best popperian alive today. Okay, so I’ll actually talk about what he had a concern with. I think it was more a concern with something David Deutsch said that I was, I had printed, or maybe it’s he had an accent was a little bit hard to understand what his concern was but I think I understood what it was. Okay. Okay, so David Deutsch specified in our last podcast, I gave the quote where David Deutsch specified that to have a refutation requires a second theory. Okay. Now, in context, what I actually was saying was that’s a different way of thinking about the word refutation that is not the way popper thought of the word refutation. And I think maybe he missed that I said that. So he came back with what Deutsch is saying might be true for physics, but it’s not true for every universal statement. I think what he’s trying to say is, and maybe this is where it ties into what I was saying, you don’t always have to worry about background knowledge for every single universal statement if you have the universal statement, all swans are white. Okay, you have the basic statement. Here I have a black swan that refutes that statement. There’s there’s no actual background knowledge well now there is and I brought this up to him and he didn’t like it but it I’m right, but he’s right to we’re not really disagreeing. I said, I said,
[00:02:07] Blue: part of part of a basic statement is you’re basically just assuming this is an empirical thing that we have to deal with it. And typically, a single observation does not count as a basic statement. Typically, it has to have been repeated by other groups. It’s, everyone can see that this is true it’s not just you. Okay, okay. So, one of the first things you’re going to do when somebody observes a black swan is they’re going to go check to see if it’s not a white swan that’s been painted black. Right, they’re going to do their due diligence on their background knowledge. Yeah, that they’ve kind of eliminated the every obvious possibility. First, right.
[00:02:46] Red: Yes,
[00:02:47] Blue: and that would be an example of how you’re always dealing with background knowledge you can never not deal with background knowledge. Now his point is, look, that’s all that’s all part of the basic statement and he’s right about that the basic statement. Here is a black swan. The assumption is you’ve already done all that everybody is seeing this black swan that’s an empirical thing we now need to deal with. Now it could be wrong because everything is tentative, right, nothing is ever for sure. But at this point we’re assuming we’ve got a black swan, because that is we’ve already tried everything else. So now at this point, we’ve now refuted the statement, all swans are white. And in so far as that’s what he means I completely agree with him. Now, a completely fair question would be, do actual scientific theories ever take that form. No, I mean they’re always more complicated than that. I guess one way you could look at this is, Deutsch was talking about real scientific theories, and David Miller is talking about universal statements and that the two aren’t quite the same because a theory could have multiple universal statements involved with
[00:03:52] Red: Yeah, yeah there’s a level of complexity that’s different between those two inherently I think.
[00:03:59] Blue: Yes. So I think the thing he was trying to clarify is, look, if you’re talking about just a single universal statement, a refutation could be against that universal statement it does not necessarily a part of some other theoretical system. And I think my point was, well in real life it’s always part of some theoretical system but the basic statement maybe taking that into consideration. So I don’t know that we were really disagreeing, but he certainly didn’t like the way it was worded.
[00:04:25] Red: So, in a 15 minute talk though how does he even have time to ask you that kind of a question.
[00:04:31] Blue: After 15 minute talk there’s 15 minutes of questions I got quite a few questions.
[00:04:35] Red: Okay, okay. Did he like your answer did he I mean when once you started discussing it with him was he like,
[00:04:41] Blue: ah, there wasn’t yeah he kind of was. Okay, but we were agreeing so the moderator said you guys are agreeing let’s just move on. So that was kind of you guys are agreeing.
[00:04:53] Red: Okay enough fighting you guys agree.
[00:04:56] Blue: Well he had to let other people ask questions. So it wasn’t possible for us to talk further and to work out if there was a difference of opinion or not. Yeah, I don’t think there was I, you know there’s not I mean there’s not much I can explain in 15 minutes, and there wasn’t much chance to respond to him. So my guess is is that if we actually could sit and talk, we would realize okay in context we’re really just saying the same thing. It’s not really at odds with each other. So it’s kind of a good distinction though the fact that when I say it’s always refutes the theory plus the background knowledge. I am talking about scientific theories complicated scientific theories. If you’re talking about a single universal statement. Yes, you can think of it as all the background knowledge is now contained within the basic statement at this point, and therefore you can kind of abstract that aspect that aspect away so I’ll admit that upfront as part of this podcast as a good clarifying statement.
[00:05:51] Red: Alright, alright, I think that that’s, I think that’s accepting your own refutation. Yeah,
[00:05:57] Blue: absolutely. I’ve tweaked my theory to now I’ve refuted the old version I’ve tweaked my theory. So now we’ve got a better version of you.
[00:06:10] Red: It’s almost like it’s a popperian podcast. Yeah. All right, so hey and I just want to point out because I googled David Miller I didn’t know who he was he has written for books. The most recent out of error further essays on critical rationalism prior to that and his most notable work is critical rationalism, a recent restatement and defense, and then popper selections. And then his very first book was croquet and how to play it.
[00:06:38] Blue: I wonder if that’s a different David Miller.
[00:06:41] Red: No, it’s not I’m looking on his Wikipedia page. Oh really. Yes.
[00:06:46] Blue: That is awesome.
[00:06:47] Red: That is nice.
[00:06:50] Blue: I’m planning to read David Miller I have only read like one of his papers and it was really awfully good. Okay, so it’s, he’s, he is really someone who knows what he’s talking about let me just say that. The paper I did read was problems with critical rationalism where he’s actually trying to look at what are the things that we have not resolved that really are problems. Right. And some of them were too complicated for me to understand, but the ones I could understand, they were all spot on right I mean like he’s really thought this through well so.
[00:07:19] Red: I don’t even know what it might look like if it’s too complicated for you to understand.
[00:07:24] Blue: Yes. You know, I, it’s good for me to remind people that I’m, I’m really and truly not an expert. I mean, I’m just a interested layman. I’m neither a scientist nor a philosopher and I’m not trying to be either. So, it’s important that we as laymen that we that we try to understand things right and that that’s what I try to do. I’m very interested in trying to understand what is this. And I’ll put some effort in to figure it out if it’s something I’m interested in will put some effort into figure it out. And we layman, we have things intelligent to say to experts. And that’s just the way real life works, right is, yeah, you cannot just trust experts because you know I actually had an interesting I was going to bring this up in a future podcast let me mention it I’ll re mention it again. I had an interesting conversation with with a guy who’s studying philosophy, and he wanted he asked me if it was actually true that the the church during great thesis really implied that we could create an AGI. And I said yes. Now I had certain things in mind, just as I was saying, it’s always based on your background knowledge I was making certain sort of assumptions that maybe he wasn’t and if the conversation had gone further. I could have clarified that, for instance, I was assuming the laws of physics were correct, right, not assuming that then obviously everything goes out the window, right.
[00:08:49] Blue: So, but I had in mind that he was asking, usually when someone asked me a question like that, they are assuming the laws of physics are holding right they’re not assuming there’s a new set of laws of laws of physics. So I was making certain and you always have to right and until someone clarifies it would be natural for me to assume that. And what I was trying to explain though, is that even if the laws of physics are false. That would really just mean that the church during which thesis is wrong, right, in which case it’s still implied it. And so I was trying to explain that to him that this isn’t some sort of dogmatic statement this isn’t some sort of thing that you know that it’s not even that big a deal it’s just the realization that if that theory happens to be true then that’s part of what that theory actually implies under our current understanding of the laws of physics. Okay, and he cut he said, here’s this guy who’s an expert and he gives me a book, and he says, he’s disagreeing with you, so you must be wrong. So I read part of the book. And the guy who’s this expert who’s written multiple books on the subject, by the way, he starts off explaining that the church during Jewish, sorry the church touring thesis he wouldn’t have known about the church during Jewish thesis that it was describing what a human computer could compute and that the class of computations that a turn machine can do would be different. That is false.
[00:10:10] Blue: Like that is completely not what they teach you in computational theory school which I’ve been in twice now, both at the undergrad and the grad level. Right. That is absolutely just not the case. So I whipped up Turing’s paper which he was quoting. I said, you don’t have to take my word for it. Go read Turing’s paper you will see that this expert is wrong on what he said right here. And the guy at this point says I can’t believe that you would claim this experts wrong there’s no way that’s really true he’s written all these books. I’m not going to talk to you anymore in the conversation at it. It seriously. Yes. Okay, you know what I understand where he’s coming from. Okay, this guy’s an expert and I’m just a layman, and I’m not even trying to be anything but a layman. You know, if you were a betting man and you if you didn’t have the ability to actually go look at Turing’s paper and resolve it by looking at Turing’s paper which he refused to do unfortunately. If you were betting man you should bet on the expert right, but in this case, I’m right and experts wrong, and that’s a fact, right I mean all you have to do is go look at the paper and you can see it’s wrong. So,
[00:11:16] Red: the interesting thing about that though is you didn’t, you didn’t try and talk him out, out of his belief in that expert by showing your own expertise. You gave him the, the expert that the expert was citing. Yes, and you gave him the opportunity to look at the source material. I, this actually I don’t even want to talk about this anymore I think we should totally save it for a few tracks, fascinating conversation and we will never get through the end of refuting copper or copper.
[00:11:52] Blue: You’re getting at exactly what’s so interesting about it is that there was no reason to take my word for it. I, I, I, there was no need for me to insert my expertise, because all I needed to do was point to the actual paper. Yes. And that’s actually the right way to go about this right is experts appeals to authority mean nothing. They literally mean nothing. And that’s a hard thing for us to accept, especially since we live in a world where you just don’t have time to go research everything. Yes, you almost have to assume authority means something. Right, you’re playing this kind of gamble with
[00:12:26] Red: it.
[00:12:26] Blue: But at the end of the day, there’s just a factual statement being made and it’s either true or it’s false and we can actually determine if it is or not. Right. Yeah, of course, I was based on certain assumptions that I was assuming is making maybe if we continue to talk. He would have said, Oh, I’m not assuming this and you are and said, Oh yeah, if you’re not assuming that, then this would be true instead. Right now I’ve got no problem explaining that. But everything I said was correct within the set of assumptions that I thought he was asking me. So anyhow, and it didn’t matter what this expert said it like literally, and I think that’s a hard thing for us to accept is just how often experts are completely wrong. So knowledgeable, but they are often completely wrong. Right, right. So
[00:13:11] Red: we’re going to put a pin in this and back to how did we even get here. All right. David Miller, right.
[00:13:21] Blue: Yes, yes. So let’s let’s do a quick review here. So when Papa speaks of that reputation he really means a counter example or a problem. Okay, and here I will allow for David Miller’s correction if we’re talking about a single universal statement. This is still true but it’s all kind of part of the basic statement that we’re talking about this point so you can kind of ignore it, but to talk about a real theory. We’re talking about some combination of the theory plus the background knowledge, you don’t have a true refuting case if you mean the theory itself. You’re really refuting the combination of all the theories that you are dependent upon theories about your instruments assumptions about how many planets there are, you know, everything in your background knowledge, some of which you may not have even explicitly thought of it’s just a tacit assumption that you’re making. You’re actually refuting that whole combination. Okay, therefore, it might be better to refer to them as problems or counter examples.
[00:14:17] Red: I like the word counter example I think.
[00:14:19] Blue: Yes, it can be thought of as a refutation of the combination of the theory plus the background knowledge if it’s a single universal statement and if we’re accepting David Miller’s adjustment, then there is no background knowledge because it’s part of the, in that case it’s part of the basic statement, and therefore, the theory plus background knowledge equals the theory but other than that, everything I’m saying is still correct. Okay, and it would be very common for there to be background knowledge that you have to carefully think about it would probably to be better not to call such problems a reputation at all, as the words carry too much baggage. This is one of the main sources of misunderstanding that exists about popper that has kept his philosophy from catching from catching on in a lot of quarters I gave examples of that you give examples of people who clearly had misunderstood this aspect of popper and therefore thought they had disproven popper when in fact they had. And even a famous paparian like David Deutsch clearly is using the word refutation in a at least somewhat different way than popper himself. And that ought to give us a sign that even committed paparians sometimes don’t make this distinction correctly. Yes, and then I listed several problems with refutation that are actually we’re going to prove this time around that they’re pseudo problems but at least they sound like legitimate problems the way I’ve ordered them back then.
[00:15:36] Unknown: Okay.
[00:15:37] Blue: So, now let me say okay is this really true I had people challenge me on this not in this not in the conference but Saudi and her husband we’re talking with me about this and they said, okay is this really true like with Jupiter’s orbit. When you see that Jupiter’s orbit doesn’t match does that really refute Newton’s theory and I said, no it doesn’t refute Newton’s theory but it is a paparian refutation. They’re like okay explain that to me so okay okay here we go. So, with that theory considered that the two competing theories are Newton plus seven planets versus Newton plus eight planets. Okay, that’s really the two competing theories that we’re going to ultimately end up with or initially we have other theories were like possibly Newton’s wrong. We eliminate those as we go. Okay, and we come down to Newton plus seven planets versus Newton with eight planets. Once we know those are the final two competing theories, the fact that Jupiter’s orbit doesn’t match Newton plus seven planets is a refutation of that theoretical system. Okay, so it is a refutation, even though it didn’t refute Newton. And this is the distinction that I’m trying to make is that the fact that it turned out to be a part of the part of the background knowledge doesn’t make it not a refuting case which is why probably we should call them counter examples instead.
[00:16:54] Red: Okay,
[00:16:55] Blue: so it’s still a completely fair paparian reputation. It doesn’t change Popper at all. The fact that Jupiter’s orbit didn’t match Newton. Okay, is because it’s still refuted the theory that there was seven planets. Okay, so now what about Mercury. So, with Mercury, we have this orbit that doesn’t match and they already had this history with Jupiter so they thought that means there’s another planet. So they named this planet Vulcan, which is, you know, from Star Trek where that’s where the term actually comes from.
[00:17:24] Red: Sure.
[00:17:25] Blue: And they need to name this planet Vulcan, they calculate where the planet must be for the orbit of Mercury to match. Then they go out and they look forward and it is not there. They just eliminated the theory Newton plus nine planets. So in this case, here’s the competing theories. Newton plus eight planets versus Newton plus nine planets versus general relativity plus eight planets. So, the fact that Mercury’s orbit doesn’t match prediction refutes Newton plus eight planets. The fact that we then said, let’s look for this ninth planet and we don’t find it refutes Newton plus nine planets, leaving general relativity plus eight planets. Okay, so these are still fair refutations. Once you realize that you’re doing the combination of the theory plus the background knowledge, the idea of a paparian refutation will always work. There’s never really a problem with it, other than the fact that the word refutation happens to bring the wrong thing to mind. But in terms of the way Popper intended it, it’s just non problematic. Okay, do you see what I’m saying here.
[00:18:33] Red: Yeah, it’s, and was this part of your presentation.
[00:18:37] Blue: No, this was not part of my presentation. I did I did use this as one of my examples during the discussion afterwards though. I see, I, because I think this does bring a lot of clarity to what that that background knowledge portion is and and the impact of it. Yes. Okay, and this is why I say they’re counter examples we’ve got this counter example. We don’t know yet what it refutes. Right, it’s, we have a guess with a theory. A lot of times we have a very good theory, like, if, if I measure something and it’s totally off from what theory says it’s going to be. The very first thing I think of is, Oh, something’s wrong with my instrument. So I go calibrate my instrument or I go try a different one. Like everybody does that. You never think of that as a refutation but it is it’s refuting the part of your background knowledge that was the assumption that your instrument worked. Right.
[00:19:32] Red: No, it’s, it’s really great clarification.
[00:19:36] Blue: Yeah. Okay, here’s the key thing though, problems are objective. Okay, there’s never a case where a problem isn’t a problem. Now, again, let me let me make sure we’re always realize we’re always talking about theory plus the background knowledge. The fact that Jupiter’s orbit didn’t match that was a problem that had to be resolved and it had to be resolved by adding an eighth planet. You know, to the solar system, the fact that my instrument is off and I have to recalibrate it that is a problem, and I have to change my theory by recalibrating my system that changes that part of that theoretical system. There’s never a case where a counter example or a problem isn’t an objective fact that you have to deal with.
[00:20:19] Red: Right, you don’t just get to like brush it under the carpet and say, hey, that’s not just don’t worry about the fact that the that we’re questioning whether our tooling works.
[00:20:31] Blue: Right. You will always go and you will resolve that problem somewhere I guess the one counter example you could come up with is something you know you like you repeated and it doesn’t happen again. At that point that repeat that repetition you make the assumption I did something wrong and I don’t know what it is but I’m not going to worry about it, but that is still dealing with the problem objectively. Right, I mean that’s, that’s still you making now a conjecture, I did something wrong and I don’t know what it is but now that I’m getting the right answer every single time I’m just going to go with that. Right, right, it’s still a case of you having some part of your background knowledge that got refuted and now replaced it with something else. Okay, so there will never be a case where that isn’t what you’re doing so long as you are looking broadly at what we mean by theoretical system. Now, and this is why this matters is because the fact that problems are objective is precisely why poppers, epistemology is correct and why progress is always possible, because you always have something you can hang your hat on and say, Okay, okay, now I’ve got to deal with this problem. I can now conjecture how to deal with that problem. Alright, so let’s talk about now, a bit more about poppers epistemology specifically the asymmetry now we talked last time about the fact that there’s at least a common misunderstanding amongst lay poparians like myself, at least I don’t know this misunderstanding exists amongst like true popper scholars, but amongst layman like me. There’s this misunderstanding that we called the absolute verification policy.
[00:21:56] Blue: It’s the idea that when popper talked about refutation. We refute theories but we can’t verify them or support them that what he really meant was that refutation is always tentative, but verifications imply certainty and certainty is impossible. Well, if that were really the case, if that were really what popper meant, then all we would need to do is replace absolute certainty with tentative certainty, and suddenly the symmetry we’ve restored the symmetry between refutation and verification so that that can’t possibly be what popper meant. Well, what did popper mean. Well, he explains about, I’m going to quote him here. He says, this asymmetry that he’s referring to has a purely logical and also methodological or heuristic aspect. As to its logical aspect, there can be no doubt that a unilaterally falsifiable universal statement is logically much stronger than the corresponding unilaterally verifiable existential statement. Remember, we talked last time about the fact that universal statement can logically only be refuted in an existential statement can only be verified. For the following is a well known logical rule from universal statement pertaining to all things of a certain kind, or all elements of a certain kind, non empty universe of discourse. One, all things have the property P, we can derive for any individual thing a belonging to this kind of universe to the thing a has property P, and from two in turn we can derive three, there exists a thing that has property P. Thus, it one entails two and three two entails three but three does not entail either one or two and two does not entail three are one. In other words, one is logically stronger than one and two and three and two is logically stronger than three.
[00:23:37] Blue: Of course, there’s no way anyone just listening this going to follow anything I just said. I’m, I am looking at the screen. And this is the source of the important asymmetry in the case of unilaterally falsifiable universal and unilaterally verifiable existential statements and the situation is the same for more complex statement this is from logic of scientific discovery page 184. Okay,
[00:24:00] Red: I can see why there is some disagreement as to his intent. So let me let me explain this kind of in plain English. Okay. Before you do that can I ask, since I am looking at that the screen. This is just a direct extract from that is correct. 184. Okay, thank you. That’s correct.
[00:24:23] Blue: Go ahead. An existential statement would be like cameo. There exists a woman named cameo. Okay, something along those lines. Okay. We might even, you know, if we move on to any type of singular statement we might say cameo is a woman or something like that. Let’s so a universal statement though would be like, there are no such thing as women. One of those two statements tells you a lot more than the other is what he’s trying to get at.
[00:24:50] Red: Okay,
[00:24:51] Blue: so if I wanted to verify that cameo exists, I go meet cameo, right and then I verify cameo exists. If I want to verify cameos a woman, you know, maybe I take a DNA test, how we happen to be defining woman, I guess, you know, there are ways you could go about verifying that basic statement. If I say, there are no such thing as women. All right, that tells me that the statement cameos a woman if we’re assuming that statement is true. That tells me the statement cameos a woman is false. Okay, that it also tells me the statement that, you know, Margaret Thatcher as a woman is false. It tells me all sorts of things, because it’s just a logically stronger statement. Okay, and this is what he’s getting at is that science is built on universal statements like this constraints things that that say this cannot be true or this is always true or something along those lines. And because those are the statements that we are interested in in physics or sorry in science, particularly in physics but all science, it makes sense that those are only logically refutable. Now, we’re going to see that there are, there are some theories that challenge this slightly, and I’ll explain how to deal with those but just at a, at a general level, hopefully you can already see what I’m talking about that universal statements are just logically stronger. And because they are logically stronger that is where scientists are going to be concentrating. And because that’s where scientists are going to be concentrating.
[00:26:17] Blue: They will only be able to deal with those statements by refuting them the way you refute the statement there are no such thing as women is by demonstrating that cameo is a woman.
[00:26:26] Red: Yeah, I can accept that.
[00:26:27] Blue: Okay, this is the asymmetry now it is a purely it’s a logical asymmetry, it’s got nothing to do with certainty or lack of certainty. Okay, that this does not even play a role in poppers asymmetry. And this is what the absolute verification fallacy is misunderstood. This is also why he used the word refutation because when you’re dealing with logic, the correct term in English for how you showed that a universal statement is false is called a refutation. It just so happens that that’s not the best word in the scientific realm for it, because typically we’re talking about an individual theory at that point. But in terms of the logical realm, it’s exactly the right word. And that’s why popper used it. Okay. Also, I would argue that popper English was a second language for him. So, I think some of these misunderstandings come from the fact and I’ve heard. I don’t know German but I’ve heard that some of these problems don’t exist in Germany. I’m trusting. So it may be he did his own translation for I understand someone correct me if I’m wrong in the audience there, but it makes sense that he picked the best words he could in English, but that they maybe there were better words to pick. Or maybe we
[00:27:35] Red: maybe our language doesn’t even have the concept right have the concept you know I the Germans have I think a more negative. You know, Americans have this kind of artificial over emphasis towards positiveness that I don’t think you see in a lot of European countries you know in Germany. Yeah. So that’s it’s fascinating he there may not have been the language for him to describe the nuance he wanted to
[00:28:08] Blue: describe without using lots of words yeah. Yes, like I’m trying to do right
[00:28:12] Red: yes yes I mean it you can see how how much work it is to get to that precision of what you want to describe. Yeah,
[00:28:20] Blue: this is popper again, owing to the logical power universal statements may be important as explanatory hypotheses. They may explain especially in conjunction with singular initial conditions, singular events or statements purely existential existential statements on the other hand in isolation or even in conjunction with singular statements are usually too weak to explain anything. This is why so this is why scientists are interested in universal hypotheses rather than isolated existential hypotheses. Notice that this is almost more like a convention poppers not really saying you’re never going to be interested in a theory that has an existential statement. And this is a good nuance to understand that he’s talking about a certain convention, it’s possible to word things in such a way to make popper sound wrong but then you just misunderstanding his point. And I’ll give an example of that in a second. This leads to this methodological or heuristic aspect of asymmetry do the difference between the critical or falsifications attitude and the verification is attitude this is logic of scientific discovery page 184. And then he talks about how predictions are verified but not refuted. And this is something that I think a lot of lay papyrians like myself miss initially I know I did is that verification plays this huge role in papyrian epistemology it just is in a different. It’s just in terms of experiments testing via prediction is the main case where poppers epistemology comes about verification. This is because predictions take the form of singular statements, which are a form of existential statements and thus have to be verified not refuted so here’s popper again, certain singular statements which may be called predictions are deduced from the theory being tested. That’s me saying being tested.
[00:30:02] Blue: If the singular conclusions turn out to be acceptable or verified, then the theory has for the time being past its test we have found no reason to discard it. Notice that popper does not avoid the word verified when we’re in this context. Okay, and for those who think I’m doing this wrong goal I looked up in the index, and it said existential statements can only be verified in the index. So popper does not avoid the language of verification. He’s just using it in a different context, specifically how we test things, how we test predictions. Okay, and they still play a big role there. So to really understand this distinction now, and to get this kind of driven home what Papa was getting at, let’s talk about his demarcation criteria. So now famously his demarcation is between science and non science. I’m going to make the argument. And again people will come out with lightsabers, but I’m going to make the argument that this is really about the worst way he could have said it. He’s right in the way he’s thinking of the word science, but not in the way most people in the English language think of the word science. Okay, what he really means is that his demarcation is between empirical and non empirical. That’s what he really means. In fact, here’s a quote from Parker where he says it outright. The criterion of demarcation between empirical and non empirical theories. I have called the criteria falsifiability or the criterion of refutability. It does not imply that irrefutable theories are false nor does it imply that they are meaningless but it does imply that as long as we cannot describe what a possible refutation of a certain theory would be like.
[00:31:38] Blue: The theory may be regarded as laying outside the field of empirical science. So notice the first part of the quote. He doesn’t even use the word science he just says empirical and non empirical theories. And then when he does mention the word science he qualifies it as empirical science. Now poppers pretty good about qualifying that he means the boundary between empirical science and non empirical science, which would be identical to saying the boundary between empirical and non empirical theories. Occasionally he doesn’t though. So if someone wants to find me a quote and says, here’s work popper says it’s there between science and non science. Yes, I know plain well it is possible to find quotes that say that. But they’re rare. He almost always clarifies he means empirical science. So, when I mentioned this I say really the demarcation is between empirical and non empirical. And the reason why popper says between science and non science is because to popper, the word science meant the set of empirical theories. And therefore he meant the same thing he meant empirical and non empirical. When I tell that to preparing some mostly lay ones that I’m talking to like on Twitter, the, the reaction is always a strong. Oh, that’s not what popper said, and sometimes they’ll stop and think about it. And they’ll say I’ll say okay, if you don’t think his demarcation is between empirical and non empirical. So, first of all, let me clarify that if in your mind, science equal the set of empirical theories, then you should not have challenged me, you should have said, Oh, well those two are the same. That’s what you should have said, I can, I can agree with that.
[00:33:17] Blue: Okay, so the very fact that you’re challenging me at all means that in your mind, science does not equate to the set of empirical theories that you had something else in mind, when you were thinking about the demarcation boundary. Okay, what is it. And that’s what I asked people, what is it, what is it that you think the demarcation is, if it’s not empirical versus non empirical. Well, that turns out to be a basically impossible question.
[00:33:42] Red: Yeah, but even impossible questions, especially on Twitter people will try and give you a, you know, a confident answer so I had someone give me a good
[00:33:51] Blue: answer. I had someone give me a good answer. He said, I can’t remember exactly what it was, but he came back and he said, I think science means this and empirical means that. So then, once he had, I said, which of those is is popper’s demarcation and suddenly realized. Oh, it’s actually the empiric is not the one I was, it’s not between science and non science, it’s between empirical and non empirical. And that was my point, right. Is, if you do come up with some sort of definition of science that’s distinct from empirical theories that will not turn out to be the demarcation popper was talking about, because he was actually talking about empirical versus non empirical. So this,
[00:34:27] Red: this quote you have here. Why is this not a more appreciated statement. Does he counter this more than I mean, you make it sound like I’m just surprised people are fighting back against this so much.
[00:34:41] Blue: You know, keep in mind that this is probably mostly layman, like myself that it’s just a bunch of layman talking just about
[00:34:48] Red: just a bunch of layman arguing.
[00:34:49] Blue: But, but, but understand, but understand that there’s there’s a legitimate problem here. Let and let’s talk about what the problem is, so that we can make it very distinct. The problem is, is that the that string theory is part of science in most people’s minds. And yet it is not empirical. No, nobody doubts string theory is not an empirical theory. Nobody is arguing there’s no scientists out there arguing string theory in its current form is an empirical theory. But there are many scientists out there arguing as we saw with Penrose, by the way using Penrose as an example which was one of the problems I raised in the previous podcast. There are many scientists arguing. Popper is wrong, that the only scientific theories are ones that you can refute, because we have theories like string theory or supersymmetry that can’t be refuted, and they are part of science. So we have many scientists who are just familiar enough with Popper to know that it’s supposed to be the boundary between science and non science and that it’s based on refutability. What they’ve missed is that Penrose is not going to tell you that string theory or supersymmetry are empirical theories because he knows they’re not. And this is actually one of the, this is one of the resolutions to one of the problems that I raised. Okay, this one’s a little bit more complicated I’ll get to it in a second. It’s the fact that the word science to most people mean something different than the set of empirical theories, because we, we have basically any early theory in science, before you can make it, the goal of science is usually to make a theory testable.
[00:36:18] Blue: So the gold standard of science is that the theory is empirical. But when you’re initially coming up with the theory. It’s, it’s often not empirical. It takes you a while to figure out and refine that theory to the point that you can figure out tests for it. And sometimes it takes a long time string theory still has no empirical consequences that we know.
[00:36:39] Red: Right. And sometimes we just might not have the technology yet to test the theory. By
[00:36:46] Blue: the way, that’s a good example of how you can’t easily differentiate between the theory and the theoretical system that’s attached to it. Because a theory may be non empirical for its current theoretical system but as instruments change that part of the theoretical system changes and now that original theory that was non empirical has now become empirical. There’s no real distinct boundary between the theory proper and the rest of the theory theories that it relies on. So this is actually the answer to Penrose’s problem. Um, is that when he said poppers wrong about refutability because there are theories and science that aren’t refutable but they’re legitimate science. He’s simply a misunderstanding that popper was actually talking about empirical theories in which case the two are in agreement. But because that is what people know popper by rumor, if you will, right I mean, this is all a little hard to tease out when you’re just trying to read through the book and most people don’t read his logical scientific discovery they start with a different book or they go off of some summary of someone. What, what, what book do they read. You know, I read David Deutsch first and that was my introduction to problem. And at the back of his book he recommended I think conjecture refutation and the myth of the framework and those are the first two I read. I did not read logic of scientific discovery until years later. In fact, fairly recently, in fact, because I’d always heard it was hard, and by the way it is. Well just
[00:38:11] Red: one thing that you quoted on the last page is very difficult to read and and parse through as you know that like that’s that’s heavy reading. So,
[00:38:25] Blue: however, the logic of scientific discovery is the only actual book that popper wrote the rest of his books are actually collections of speeches or papers that they’re they don’t they don’t have a centralized theme, usually, whereas the logic of scientific discovery was popper saying I’m going to lay my theory out in full. And it’s the only place he ever does the science and the realism of the aim of science is him clarifying things, which so it’s another good one. But there’s only one book where he actually lays out his theory in full and that is the logic of scientific discovery. And I would suggest as a layman paparian who only recently read logic of scientific discovery. Everything we’re talking about now is me having read that book and going, Oh, I misunderstood that. Oh, I misunderstood that. Oh, I misunderstood that.
[00:39:10] Red: Right, either either you misunderstood, because you were reading a summary of some that somebody else who also misunderstood, or I was reading popper talking about stuff
[00:39:21] Blue: more in the abstract. Yeah, some of the details I needed to because and because he picks words that are a little misleading in English, and that’s kind of the main point I’m making. It’s natural that I misread him. Yeah,
[00:39:35] Red: absolutely, because you needed to do a deep study of his actual philosophy and his actual theories.
[00:39:42] Blue: Yeah. So, let’s go back to Penrose’s example of super symmetry. His argument was super symmetry super symmetry and he also mentioned string theory are important parts of science yet they cannot be refuted ergo popper was wrong. But if the boundary is empirical versus non empirical, then actually popper and Penrose are agreeing those are both non empirical theories period and the story. So, this is no longer a disagreement between them it was just a misunderstanding on Penrose’s part in part because of the fact popper chose to refer to it as the boundary between science and non science. Even when he clarified empirical science I think people just miss that clarification. Right. It’s so easy but the word science just has a broader range of meanings it’s not always the set of theories that are empirical. Yes, string theory is a part of science. Yes, super symmetry is a part of science. They’re just not part of the empirical part of science.
[00:40:36] Red: Yeah.
[00:40:37] Blue: Okay. So, by insisting on the demarcation science versus non science, we set up a war of words. And this is why I don’t think we should do that anymore, where really Penrose is always going to claim string theory and super symmetry are part of science. I’ve seen popperians tried to say and non popperians to people that agree with proper but not necessarily popperians say, Oh string theories not science. I’ve seen people say that it’s like fighting words like there’s no point in saying that. Yeah, of course it’s part of what we call science. Right.
[00:41:07] Red: We’re just saying it’s non empirical.
[00:41:10] Blue: Right. And if you try if you clarify what I mean is it’s not empirical. No one will be able to argue with you.
[00:41:15] Red: Right, because that what. All right, show me how you’re testing your theory. Right. Right. Do you have a special string theory machine.
[00:41:24] Blue: Yeah. Okay, now, I just said there’s no one who can argue with you but actually, you could make one argument
[00:41:30] Red: here and
[00:41:31] Blue: I’m going to now clarify that argument. So Sean Carroll, he gave a, and I put this out on Twitter for comment from people. He attacked popper’s theory, and he attacked it on exactly the grounds I just gave that there are theories like string theory that that in theory we can verify them, but we can’t refute them. And then he said but what if we actually do find one of these particles what if to use the Penrose example I don’t think this is the example he was using those very similar. Let’s say that we get bigger and bigger colliders and then we actually find super partners. Okay, wouldn’t that then verify supersymmetry in some sense I mean obviously it can’t in any absolute sense, because there may be some other theory that also predicts super partners. So you can’t verify it is completely correct, but wouldn’t it give us some sort of support for the theory is what I’m trying to say. Yeah, of course it will. Okay, and this is what Sean Carroll then used to say this proves popper is wrong, and he would go a step further that was empirical Sean Carroll would say, because we actually didn’t experiment and we found it. Okay, well now it depends on what you mean by empirical but let me let me make a case that that’s not a great way to use the word empirical I’m not going to deny the word empirical could be stretched to include that case. And popper doesn’t deny that either by the way I can, I can give you quotes specifically from popper where he admits this. So, he says I made a system as empirical or scientific only if it is capable of being tested by experience.
[00:42:56] Blue: The key thing here that we’re talking about is when popper says testable by experience, he really means, I can set up a program for test and get a definitive answer. So, yes, I could build larger and larger colliders and in theory, maybe I find super partners at some point. And yes, in theory that was a test in some sense of string theory or super symmetry. But really, nobody is going to think that these are fair test because every single time you don’t find something. You just wait for the next collider and then you see if it finds something and if that doesn’t then just wait for the next collider. There’s no definitive answer ever until you actually find it. So it’s not a definitive test is not a test in that sense. Popper when he talks about a test he means it in the normal scientific sense of, I’m going to do this test and it’s going to distinguish between theories. That’s what he means. He doesn’t mean tested in a looser sense of who knows maybe we’ll find it by chance. Okay, and this is really what he means by empirical is we can do we can set a program for test we can do this test we can definitively decide was this correct or not. And that will always be only on universal and thus refutable theories. And that’s not, that’s not normative. That’s just a statement of fact. As to how these things work, logically, you always would have if you’re going to have a definitive test, then you have to have some sort of universal statement that says okay, all under these very specifics, spatial temporal conditions, you will find this result. And if you don’t, the theories wrong.
[00:44:33] Blue: That’s an empirical test in Popper’s mind. So an existential theory that has no attached constraints like that can never have a program for test. It just can’t just it’s logically impossible for it to have it. So constraints by definition imply universal loss, and universal laws have to be refuted, because that’s the way logic works. There we go, empirical equals logically refutable done everything else you say may be true, it may be true that you could find super partners by chance. It may be true that when you did, that would be important discovery I’ll talk about what that means in a second, but you’re not talking about what what Popper meant when he said, empirical equals logically refutable. What he said what he meant when he said that is a statement of logical fact, and there is no way around it. It’s not normative. It’s not science should be refutable. It is. Every time you do science, or rather, you do a test in science, it will be because you have some sort of constraint that constraint is a universal law. Therefore, it will be refutable and not verifiable. That’s what he means and he is right. And there is no way around that fact. Now, let’s talk about how this gets a little weird. Okay, why he’s right, but why it feels like he’s wrong sometimes. Popper gives the example of the theory that the element with the tonic number 72, which is hafnium exists. When stated in that way that is an existential statement, and it can only be verified.
[00:46:04] Blue: So Popper points out though that this theory was never actually verified until the theory had developed enough that there was reasonable constraints that helped us understand enough about the element 72 that we could reasonably go look for. He says all attempts to find elements 72 were in vain until Boris succeeded in prediction predictions several of its properties by deducing them from the theory. But Boris theory and those of his conclusions which were relevant to this element are far from being isolated purely existential existential statements, they are universal statements logic of scientific discovery page 49. So this creates this weird circumstance where we speak of a theory in a we use linguistically we may speak of the theory that atomic number 72 exists. But what we really mean is something more complicated than that we mean, we’re going to go find atomic number 72 and part of the theory or the following constraints, and therefore we should do this following test to find atomic number 72. Well the part of the test we’re doing, that’s going to be a series of universal statements because there are constraints because that’s what universal statements and constraints are the same thing. What you’re really going to do is you’re going to try to refute that part of the theory. That’s what you’re really going to do. And when you then do that find element number 72. You’re then going to announce to the world we verified the theory that element number 72 hafnium exists. There’s nothing wrong with that and it’s not counter to popper.
[00:47:31] Blue: And this is where I think popper is making a mistake, they’ve downplayed the language of verification so much that they missed the fact that popper was never talking about the language of verification or even had a problem with it. We’ve already seen multiple examples of where popper uses the word verify he just didn’t have an issue with it. He’s saying something very specific, which is, look, if you’re going to try to test this theory it has to have constraints those are universal those will have to be refutable. And that’s how you’re going to set up a test. And once you’ve done that. Yes, then you can announce to the world we verified talk number 72 exists. Nothing wrong with that that’s not counter to his theory at that point. You simply if you think it is, you simply misunderstood what he was actually say. And in this case though what popper would say is, look, even in that case, what was the alternative theory, since this theory is being worded as an existential statement, even though it’s not really, it’s more complicated than that. It’s Karen theory would be, there is no atomic number 72. When you found atomic number 72, you refuted that universal statement. So even in a case like this, you’re really still always refuting things and it’s really the refutations that mattered what mattered here was, you killed the alternative theory through a refutation. Now, the reason why this is weird is because existential statements when we were to theory that way, their competitor is basically just the inverse of it. The theory, atomic number 72 exists, its competitor is that it doesn’t exist.
[00:48:57] Blue: That’s just not true for most scientific theories, the, the, the theory, Newton’s theory, its inverse is not Einstein’s theory. Okay, this is something that David Deutsch always points out. So in the scientific realm, except when you happen to be wording things like an existential statement, you’re the, the inverse of the theory is not its competitor. In the one case where we’re wording the theory as an existential statement, which sometimes that is just the most convenient way to do it. So you should in a certain sense, the theory you really care about is its inverse that that that atomic number 72 does not exist and you’re refuting that. In other words, poppers theory still works. There’s never a case you’re going to come up with where poppers theory doesn’t work. What you will come up with though, is cases where it’s much easier to word things as a verification. And there are probably plenty of cases like that. But those aren’t refutations of poppers theory those that’s just a misunderstanding of poppers theory. Okay, are you with me on that. Do you follow what I’m saying here. I do.
[00:49:56] Red: Yes.
[00:49:56] Blue: Okay, so we already kind of talked about the fact that I get a lot of pushback on this, but I do think what people are going to find is you just can’t make sense of the boundary condition, the demarcation, unless you’re assuming science equals empirical equals testable equals the test gives a definitive answer. Those have to be understood as the same thing. If you understand one of those is not the same thing. I don’t think poppers epistemology makes sense anymore.
[00:50:20] Red: Right. You know, you almost throw out the baby and the bathwater with the whole thing. Yeah, if you can’t resolve that problem and that. Yes.
[00:50:31] Blue: You know, let me use an example that I think I have in our coming up slide but I think would fit better here. Let’s take the theory Bigfoot exists.
[00:50:38] Red: I should probably note here that
[00:50:40] Blue: that wouldn’t even be considered a theory under the way popper would normally think of a word theory but I’m using theory in its looser sense
[00:50:46] Red: and there’s
[00:50:46] Blue: not really
[00:50:47] Red: a problem with doing that poppers theory still applies. And
[00:50:50] Blue: I intentionally word that theory as a purely existential statement. First of all, that’s a non empirical theory. Bigfoot might exist or he might not exist, but there is no program for testing if Bigfoot exists or not as of today. Okay, because right now that theory is just an existential statement. So that would be an example of why that theory is not part of empirical science is because in its current form, it simply can’t be tested so it’s not empirical. Now let’s say we had a theory of Bigfoot that told us enough about Bigfoot that we could say Bigfoot exists and he will be found within this two mile square radius of this forest. That’s dumb but let’s say we could, based on what we knew about Bigfoot. At that point, the theory Bigfoot exists now has enough universal statements attached to it that we can realistically go test that theory. At that point, that theory becomes empirical. We would then go out and we would go search that two mile square radius. Now let’s say we found Bigfoot that would then refute the theory that Bigfoot does not exist, leaving only one theory that Bigfoot does exist. Let’s say on the other hand, we didn’t find Bigfoot within that two mile square radius. At that point, we would have refuted the theory that Bigfoot exists because that current theory included the empirical facts that it should have been within that two mile square radius. Do you see how there’s two different possible types of refutation at that point? One where we conclude Bigfoot does not exist and one where we conclude that he does exist.
[00:52:21] Blue: Now this may sound like a silly example but this actually happened with the Loch Ness monster, believe it or not. The Loch Ness monster by definition has to be in Loch Ness. So that means that now we have a specific temporal spatial area to search that’s at least somewhat reasonable. So they took out boats with sonar mapping and they mapped the whole thing and there was no Loch Ness monster. Now maybe we can make a little bit of wiggle room here for true believers of the Loch Ness monster, that the monster was super smart, it knew how to swim around the boats that were doing the, you know, maybe we can make that much of a room for them. Okay, that’s definitely at this point a complete ad hoc save which by poppers epistemology we always discount. The fact is though is that we actually have refuted the idea that Loch Ness monster exists and the reason why we were able to do that was because we found a way to make the theory testable, which made it had to have universal laws attached.
[00:53:20] Red: Yes. Okay, cool. Poor Loch Nessians.
[00:53:27] Blue: Has this tied to induction everything popper talks about is all tied together this is something that I think a lot of people miss is they got this, this idea of his epistemology and they think it’s distinct from the fact that he has this boundary condition on science and I think that’s distinct from how he solved the problem of induction but they’re all really all part of one program. So how does this all relate to induction. Okay, so what we need. If we’re going to do science and make it empirical keeping in mind that poppers mind science equal to empirical is we need a way to learn about the world through observations. Now David Deutsch would be the first to say that you can’t learn about the world through observations that empiricism. It’s not quite true that’s almost true. We do need a way to learn about the world through observations because we’ve got observations available to us empiricism by the way is really the idea that observations are infallible, which is not true. That’s the part that’s really false about it.
[00:54:17] Red: Okay,
[00:54:17] Blue: so induction was this was this fictional form of logic that allowed you to flow from observation to general law so I’ve seen 100 million white swans I can now deduce that all swans are white. Now, obviously, that’s just logically false, because you can’t make that assumption, no matter how many white swans you see. So how what is the relationship then between observation and general laws. This is really what Papa was trying to solve. So everything I just said I’m going to say it again but in a different way. The idea here is that you can no truth flows. If if what you’re trying to do is you’re trying to demonstrate that all swans are white, no truth flows from the observation that you have a white swan to the rule all swans are white, you cannot deduce anything that way. Okay, okay, but you can deduce that that theory is wrong by having a non white swan, and that is also an observation so that’s a case where we can do something about universal laws through an observation. And that’s what science needs to do so science needs a way to do that. Therefore it has to be refutation that was how he figured this out. So here is Papa statement from page 19 of logic of scientific discovery, such an argument to the falsity of universal statements is the only strict deductive kind of inference that proceeds as it were in the inductive direction that is from singular to universal statements. This is the relationship between induction and how Papa addressed induction and the rest of his theory is he was trying to work out how do I go how do I learn something about universal laws through an observation.
[00:55:52] Blue: Oh, I see I can do it through refutation through a logical reputation. So poppers epistemology captures the only logically deductive way we can learn from observations. Okay, now, can you strengthen the theory, many paparians claim you cannot strengthen the theory. I think they’re technically correct if you happen to understand the word strengthen in a certain peculiar way. By now you should probably used to me the fact that it depends on what you mean is always my answer. I think that when understood as, can the theory become more sure. No, it can’t. There is no way to make a theory more sure. But I would have to ask the question, what do we really mean when we when somebody says, I saw this observation and it strengthened this theory, what do they mean, are they are they meaning this in the inductive sort of way I don’t think so. So, Mark, which is Saudia’s husband, he threw out the example on social media, he said, Listen, what about Brownian motion when we discovered Brownian motion, how can you say that didn’t strengthen the theory that atoms really exist because at the time there was the belief that atoms were actual physical things and the belief that they were just kind of instrumentalist numerical things that we use but they didn’t actually exist in real life. Okay. And, you know, mock was a super famous scientist that back that idea. And he said to Andrew Crosshaw, I said Crenshaw last time his name is actually Crosshaw. How can you say that doesn’t strengthen the theory. Well, they were talking past each other.
[00:57:17] Blue: What Andrew meant was nothing about that theory changes just because Brownian motion was found what really changes is that its competitor is no longer viable. And it’s now the last remaining theory. My point of view is is that when Mark says it strengthens the theory that’s what he meant. And so, trying to tell him, you can’t strengthen the theory when clearly you can, even though it what we want to do is we don’t want to tell Mark, you can’t strengthen the theory which is what Andrew was saying, we want to tell Mark, yes, you can strengthen the theory. But what you mean in this case is that Brownian motion made mocks version of atoms non viable. So there was only one competitor left. There’s only one theory left the atoms were real things that they physically existed. That’s what we mean by strengthen the theory. I think there’s one other thing we mean by strengthen the theory. I think you can also strengthen the theory by making it more testable. Now this depends on what you mean by theory. But if I were to look at Darwin’s original theory of evolution, and then compare it to modern synthesis today, the way it ties in with DNA theory and just all the things we can do today. One could argue it’s the same Darwinian theory, or one could argue that we’ve long since refuted Darwin’s original theory and replaced it with something far better that still had the heart of Darwin at it. It depends on what you mean by theory.
[00:58:42] Blue: If we’re going to be really kind of technically in the logical sense, which is what Popper was doing, then we have to understand that every time we improve a theory to make it more testable, even if that means we’ve improved the instruments that are attached as part of the theoretical system, that in a certain sense we refuted the old theory and we now have a better one. Because of that, the idea of improving the theory of making it more testable is actually a special case of case number one, which is strengthening a theory means that you’ve killed off its competitors. However, because that feels different enough to most people I’m not going to insist on that. So let’s just say there are two ways to strengthen the theory. One is you kill its competitors. And the other is that you make your theory more precise so that it’s more testable, which means it’s more empirical in has more empirical content that these are the two senses in which you can strengthen the theory. I don’t think any preparing would argue with me that you can do those two things that they’re important. I think what they would argue with me is that they would tell me I shouldn’t use the word strengthen to call those two things strengthening of a theory. I’m simply disagreeing with them that’s that’s essentialism that’s they can choose what words they want. I can choose what words I want. I think mine are easier to understand so I’m going to go with mine, especially when I’m talking to non -puppets.
[00:59:55] Blue: Yes, you can strengthen the theory, but you must understand that what you’re really doing is you’re either increasing the empirical content of the theory, or you’re killing off its competitor. And I can give an example, and I can always give an example because it’s always one of those two things. That’s that’s all strengthen whatever actually mean. So we gave the example of Brownie motion. Now it may be that some people when they say strengthen the theory, they are thinking in terms of inductivism or surety, they may be thinking, we’ve now proved, you know, Brownie motion happened with now proven 100 % that atomic theory is correct. Okay, no, if that’s what they mean, then yeah, they’re wrong. Okay. And maybe some of them do mean that. So it may be worth clarifying what they mean, what when you say strengthen the theory, do you mean this or do you mean that. In fact, I think strengthen the theory means that we’ve killed his competitor. Is that what you mean. We can talk to people we don’t have to jump down their throats over what word they use.
[01:00:45] Red: Okay, are you sure we can talk to people.
[01:00:49] Blue: It’s sometimes quite hard, I admit. But for me, this is what it means. Okay, so now with all this in mind, I’m now going to resolve all the problems and then we’ll be done. Okay, so let’s go through each of the problems that I originally mentioned in the previous podcast. So coon, nevertheless, anomalous experiences may not be identified with falsifying ones indeed I doubt the later exist. If any and every failure to fit were grounds for three rejection all theories ought to be rejected at all times. Can you based on what we’ve said, can you explain how to resolve this problem using poppers actual theory and hint it’s right on the screen, but anyhow, anomalous experiences may not be identified with falsifying ones. So, what he says anomalous experiences he means counter examples right falsifying ones, he means ones that target a specific theory which, which, as per to find don’t exist. In other words he’s just misunderstanding popper theory because popper theory is actually about what you can do with anomalous observations with counter examples, right what he’s calling anomalous experiences is what popper meant when he said refutations. They’re using
[01:01:53] Red: just the same problem with understanding that that words, those those particular words.
[01:01:59] Blue: Yes, if you understand coon as meaning by refutation the theory itself and he’s actually right. But that isn’t what popper meant. So the two are two men are not actually disagree. They’re actually saying the same thing. The asymmetry so tentative refutation versus tentative support. So, this, so do it said the symmetry between refutation tentative and support nonexistent in scientific methodology is better understood in this way by regarding theories and explanations. First of all, do it is using his terminology different than poppers to do it a refutation was accommodation of an anomalous observation, a counter example, plus a rival theory. So it’s something that happens later in the process, whereas to popper, it was that the original anomalous observation, but the theory that was being refuted was the entire theoretical system the theory plus the background knowledge. That’s the first thing you have to understand to understand what George is saying here and how it differs from what popper is saying. So now, George is also mistaken a little bit here. He says you cannot support a theory. Now, the way he’s taking the word support, maybe that is true he never clarifies what he means by support, but you can absolutely support a theory through cooperation. Okay, so yes, there is such a thing as support. And if someone were to read this statement I think what I would suggest to them is, do it is correct but only if you understand support is meaning prove a theory completely true. That is truly nonexistent. And that’s what I think he had in mind at the time, and have to also understand that he’s talking about a different sort of, it’s related but different asymmetry, and that poppers original asymmetry was actually a logical one.
[01:03:37] Blue: And there’s actually a little bit of a disagreement here between Deutsche and popper over this I won’t get into the disagreement I can I have a blog post where I talk about it, but do it is taking this a somewhat different direction. He’s not necessarily wrong. And there’s not necessarily a disagreement at the conceptual level, but he is, do it is downplaying the logical aspects of popper in this paper. And that even says that we shouldn’t understand it that way, where I don’t think you can understand poppers original epistemology without understanding that one. I think Deutsche is getting there by different path though and I think ultimately you end up with the same results, no matter which which which way you try to conceptualize it so now let me also point out that I think when he uses the word support that maybe wasn’t the best word. If you’d use the word verify that would have been a better word, support and verify aren’t the same thing, you may think of them as the same but they’re not. So let me give an example of lightweight theory versus like particle theory was one time we thought we had a theory that light was waves and we had a theory that light was particles. We went out and we found a crucial test between those two theories. And what we did is we showed that there was a refraction effect that was an interference pattern and that that and we saw we saw that as verifying that light was a way. Because waves have interference patterns and particles don’t so we thought of it as a verification of light wave theory.
[01:04:59] Blue: Okay, and at that point because we had put verified light wave theory, we saw like particle theory as refuted. And so it died, it almost started to disappear as a theory until Einstein showed the photoelectric effect. Now the photoelectric effect demonstrates that light behaves in quanta, which is the same as saying it’s in it’s in discrete particles. And so he had now come up with an experiment that quote verified the light particle theory and supposedly refutes the light wave theory. So they had to resurrect the light particle theory and now they had two experiments, one that quote verified one theory and one that quote verified another. I want to suggest that in reality we verified neither at all that what we really did is we refuted both. And we know that’s true, because the correct theory or more correct theory anyhow is quantum mechanics, which has some aspects of wave and some aspects of particle, but under different circumstances. And that’s the true nature of life. The idea of superposition plays a role here. So we may have thought of it as this experiment verifies light wave theory or this experiment verifies light particle theory. But when we look at it in total, really what we did, the theory that showed the refraction effect, the interference pattern that refuted the theory, light particle theory. And then we had photoelectric effect that refuted the light wave theory. Once we had neither theory, we were forced to come up with a new theory that was not refuted by either experiment. And this is how we may speak of verifications but we really mean at best support.
[01:06:34] Blue: We could say that one of those supports those and one supports the other that would be a true statement, but we really mean is we mean refutations. And this is a weird thing for people to wrap their mind around that we may use words like support and verify but we really mean, when we really get down to it when we’re looking at at the logical level. We’re really talking about refutations and we’re always talking about refutations we’re always talking about a competitor dying, even if the competitor is an improved version of itself versus a less improved version of itself. Okay, corroboration support support. So I raised the issue that this is related to the dutch one, really, dutch is just picking a bad word here, in my opinion, corroboration is a kind of support. Our support is always just tentative though as bumper says it’s always temporary until we think of a good reputation. We go out and we test our theories as best we can we try to refute them. We may fail to that we call that corroboration that plays an important role in poppers epistemology. Okay, so you can’t really say support plays no role in a poppers epistemology it’s just not true. Now what is it that it’s doing now this is where basians make a big deal. They say, look, you’re claiming as a paparian that the epistemic status of the theory can’t change it can’t strengthen I just admitted that that’s not true, but often paparians claim that wrongly, whereas we’re saying it can we’re saying you can have positive evidence you can have negative evidence. So our theories better than yours. Okay, let’s clarify this now what’s really going on.
[01:07:56] Blue: Okay, when we make a crop so let’s let’s use an example of Saudi, she doesn’t like the many worlds interpretation theory she still will say it’s the best current theory we have, but she’s starting to favor other more speculative theories and science based on certain problems that she perceived and we had a whole series of podcasts where she got to explain her point of view on that. Let’s say that we invent a time machine. So right now we already have a best theory of quantum mechanics and it’s many worlds. So in a certain sense, those two theories are one of the same, and they are. Okay, I know a lot of physicists disagree with me but they’re wrong. It’s actually not that hard to demonstrate that this is the case. Let’s say though and let’s but Saudi is points not wrong either. There are problems. And it may be that one of those days, those problems forces to come up with a theory that doesn’t weigh with the many worlds aspect of quantum physics. That’s not a completely logical impossible. And that’s what Saudi is hoping for. Now, let’s say though that we corroborate the theory in the following way. Let’s say we invented the following this is coming from David Deutsches fabric of reality with his chapter on time travel. Let’s say we invent a time machine. And when you do what it works exactly the way quantum mechanics claims it should, where you go back into a moment of time but at that moment that reality branches off from the original reality. And so you go back in time you kill your, kill your grandfather. So you’re never born in that reality but doesn’t cause you to disappear like back to the future.
[01:09:22] Blue: Because you existed in a timeline where where your grandfather continues to exist. This is the many worlds version. We had a whole podcast on this on the do it the do it proposition which doesn’t really exist but came up in. Yeah, Avengers.
[01:09:37] Red: Yeah, Avengers.
[01:09:38] Blue: Okay, so let’s say we do this let’s say we do an actual experiment. Now no one in the right mind would not see this as strengthening the theory of many worlds quantum physics.
[01:09:48] Red: I agree.
[01:09:49] Blue: What do we mean in this case by strengthening. Okay, so let’s use Saudi is the example. She sees this experiment she’s doing research into other alternative theories that don’t that that explain everything in quantum physics, but don’t have a many worlds aspect. Okay, they’re single universe, and she’s trying to do that she’s up to this point she hasn’t come up with a good alternative theory. We don’t know the fact that she hasn’t come up with one doesn’t mean what doesn’t exist. It could mean that there isn’t one and that’s why she’s a she will never actually be able to find it because it just doesn’t exist because realities isn’t that way there actually is multiple universes out there. Then she’ll never come up with a good alternative theory, but there’s no way for us to know that for sure. We’ve now corroborated many worlds by actually entering an alternate universe where that we can go observe. There’s no way Saudi doesn’t kill her research program at that point. This is what corroborations really do is they make it harder to come up with alternatives. So there’s still cases of refutations. It’s just the refutation may not be an actual existing theory, it may be in its nascent research program state, and as we do corroborations, if we talked about this with evolution I said, it was only until I reached the 100th problem and I really said, oh, now I really get why this theory is so important. And if you’re, if you’re a, you know, naive creationist. It’s not that you don’t understand the theory you just haven’t dealt with enough problems at this point to really understand why your alternative theory is in fact not an alternative theory.
[01:11:19] Blue: It’s the same thing for everything. Right. As you start to get corroborations as you start to have. I stress tested this theory and this happened. It starts to close down alternatives. And as those even even if you only have one problem. It’s not that hard to come up with some sort of ad hoc say that really sounds reasonable. And that maybe you can see as a research program and you’re going to go try to come up with this alternative. This is also why refutations in the sense of actually doing away with the theory never happened in science. What really happens is people start to give up on the alternatives until finally there’s only one left. And that takes time. Every scientist has to have their chance to say, I think maybe it could be this state it, have someone try to test it. But as each test happens, and as the alternatives continue to die out, people will start to fail to come up with alternatives. This is what corroboration does is it strengthens a theory by killing nascent alternatives, killing either real alternatives if it’s a crucial test, or alternatives that we’re working on alternatives that at this point or maybe not even legitimate theories or just ad hoc theories,
[01:12:31] Red: right,
[01:12:31] Blue: but we think maybe we can turn into real theories, then some cooperation comes along and we go, Oh, no balance dead. And that’s what’s really going on. And this is what an actual strengthening of a theory is. And this explains what corroboration is why it’s an important part of poppers epistemology, why you cannot do without it and why testing is so dang important to science. The barbarians that I’ve talked to, I quoted Brett Hall is kind of downplaying corroboration. This is why I believe he’s wrong. I think he has missed this connection that corroborations are in fact a kind of refutation to, and therefore it’s all it’s refutation all the way down. That’s true. Sometimes it’s easier to use the language of support corroboration. It makes more sense to people to say the fact that we entered an alternative universe using time travel corroborates many worlds, rather than to say it kills these following nascent theories, you know, it would be awkward to try to phrase it that way. Yeah,
[01:13:27] Red: yeah, interesting.
[01:13:29] Blue: Okay, so the work the language of support should not be downplayed by paparians, but needs to be understood in a refutational context, because it always takes a reputational context in poppers theory. And that is the right way to think. And that’s why Bayesians are wrong. The fact that Bayesians haven’t figured out that positive evidence is actually negative evidence for nascent theories is one of one of the many things that Bayesian epistemologists have gotten wrong and why their theory can’t produce good results and never will. They are wrong about their theory. I don’t know what else to say.
[01:14:04] Red: That’s as clear as you can be. Okay,
[01:14:07] Blue: so ultimately, corroborations are still about refuting competitors. This is the big foot example that I just gave. So this is an example of theories that are required to verify. Yes, there are theories that you’re required to verify, but ultimately the empirical aspect of the theory is always about falsification and that was poppers point. So now we’ve resolved this problem. Do you agree can I move on past this one.
[01:14:32] Red: Yeah, absolutely.
[01:14:34] Blue: Okay, Penrose is challenged to popper now I mentioned a part of this already that when Penrose uses his super symmetry and super partners example to disprove poppers epistemology. He’s first of all he’s mistaking that it’s not the demarcation between science and non science it’s actually demarcation between empirical and non empirical. If he had understood that he probably wouldn’t have used that example. Let’s now address Sean Carroll’s question, which is, but what if we actually do find it. Okay, let’s say we build a large large Hadron collider, and we actually find super partners at this point, can you really say that that theory is not empirical. Well, it depends what you mean by empirical it’s still not empirical in the sense that we never had a test that was definitive, we just by chance happened to find it. Okay, does that. What’s the status of the theories though so now consider the two competing theories are on the one hand regular physics let’s say the standard model, because that’s the model that talks about particles.
[01:15:33] Red: Okay,
[01:15:33] Blue: and its competitor is super symmetry so standard article standard model without super symmetry and standard model with super symmetry or string theory with super symmetry. We probably seen as creating some evidence for string theory because string theory. You don’t have to have super symmetry with string theory the relationship it’s more complicated than that, but the two have some sort of theoretical type. So let’s just say that that because theories and their inverse theories, theories inverse isn’t usually its competitor that we have a weird circumstance here, where we find a super partner. And we go, well, the standard model doesn’t say there aren’t super partners so this doesn’t refute the standard model. Okay, you could make that argument. And in fact, Andrew, Russia does make that argument to me. Okay, and he’s a very good poparian. He says, yeah, he’s and I’m actually not completely sure I’m right about this so let me let me give both points of view because both are productive. So Andrew’s point of view if I understand it correctly is that and I may not I’ll actually bring him on to clarify himself at some point if I can convince him to come on the show. He says, look, what you’ve done is you’ve, you’ve produced a way to produce super partners, and that’s an important theoretical find. But you really haven’t refuted the standard model, but that doesn’t matter because any, any more than say you’ve refuted evolutionary theory evolutionary theory doesn’t say if you have super partners or not either. So if that was your theory doesn’t say it, and standard models and say it, then clearly you haven’t refuted it and so you can’t really save strengthened super symmetry. Well I don’t agree.
[01:17:08] Blue: And, and let me just admit, he’s making a good argument so I’m not sure I agree with myself. And I could probably persuaded other ones. Okay, let me make, let me make a case though, his argument that the status of the center model hasn’t changed. In the same sense, the status that the evolutionary biological evolution hasn’t changed, because neither says anything about super partners. That’s actually a pretty good argument and gave me a little bit of pause. Here’s what I would say about it though. In real life, what would actually happen, we know what would happen is people would announce scientists would announce. We have found evidence for super symmetry, and it has confirmed the theory or supported the theory confirmed in the absolute sense is always impossible I don’t really disagree. Confirmed in the sense of supported, tentatively supported, it supports the theory of super symmetry, it to provide support for string theory, the string theory was built on super symmetry more strongly than, you know, standard models and have to have. Okay, okay. So they would have mentally announced that now my point of view is that they’re not wrong to, because I think there’s actually a tacit refutation going on I just said, there’s no such thing as support, unless it’s tacitly actually a reputation of a competitor, although the competitor might be nascent. Now Andrew says no that’s not true, you have not supported the theory, because there is no theory out there that you refuted. Okay, I’m going to make the case that there is. And here is what I think it is. In real life, not only would they announce that they now have evidence for string theory and super symmetry theory.
[01:18:43] Blue: They would also announce an updated version of the standard model that now includes super partners, because the center model is supposed to contain every single particle. So they have to update it all the time, if they discover new particles, the standard model by the way is kind of a weird theory in that most of it just comes by observation they just go out and they test, what’s the weight of this and then they put that in just based on empirical evidence. They don’t, they don’t derive it from first principles, like they wish. So it’s generally saw as a fairly ugly theory by scientists, even though it’s like one remain most important theories. Scientists hate it, right, just inherently they know it’s ugly and it’s just the best we know how to do right now. The update standard model all the time anytime something that if the God particles found, then they have to go update the theory. Now remember when you update the theory you’re really refuting the old theory, and you’re creating a new one. Okay, you follow. Yeah, yeah,
[01:19:40] Red: well right because, because you’re saying we were wrong. And here’s our new understanding. Yes, right. That’s, that’s what you’re doing.
[01:19:49] Blue: Now notice that you we won’t be announcing a new evolutionary theory based on the discovery of super partners. So in my mind, the discovery of super partners supports the theory of supersymmetry and string theory, depending on how you want to look at that. In that it tacitly refutes the existing standard model, because part of the, even though the center model didn’t say there are no super partners, it was kind of tacitly saying that, based on the fact that the center model was supposed to contain all the particles, right, which is why they have to then go update it. So they’re going to treat it like a reputation because it is a reputation. And that’s the sense in which it strengthens super symmetry theory is that now there won’t be a non super symmetry version of standard model anymore. That’s gone. They will have to come up with, here’s how super symmetry ties to the standard model, which by the way I think they’ve worked a lot about out on that. So in a sense we’ve already refuted the original standard model, which is why this is kind of a weird example. But I think the idea of a tacit refutation makes sense to me. And I can kind of see why Andrew pushes back on me on that. And really I’m going to throw that out there to the audience to form their own opinions now that they’ve got both opinions on that one. But I think something more is going on. That’s why I have to look for the tacit refutations because I think it is the case that finding super partners supports super symmetry theory. Therefore, as per pop or something got refuted. I want to know what it is.
[01:21:22] Blue: I think it’s the original standard model got refuted. I think it was a tacit refutation. Now, let me say that I don’t have the quote here, but David Deutsch in logic of scientific discovery or sorry the logic experimental tests. He actually says this he actually says, you can have a theory that doesn’t say this won’t happen, and yet becomes a worse theory, because it doesn’t explain something that does happen. Now he was using this in context of quantum mechanics, where it’s like probabilistic theories. So let’s say one theory says, you can get a B or C outcomes and one theory says, you will only get C as the outcome. And then you, you do the test and you get C, then you do the test again, and you get C and do the test again, and you get C. From a certain point of view, if you’re if you’re understanding popper to strictly stricter than it is intended, you might say both these theories are still viable because neither has been refuted. What do it is saying is that the first theory now has a basic statement that it can’t explain. And therefore we treat it as a sort of tacit refutation. We say the first theory which predicted it would be either a B or C is now the less explanatory theory, and therefore we’re going to go with the theory that actually explains why it’s all in C. And so even though there’s no actual definitive refutation, as you would normally think of it as a contradiction, there’s a sort of a tacit refutation. I’m doing the same thing but I’m using it in different circumstance, and I don’t know if Deutsch would allow me to use it in that circumstance or not.
[01:22:59] Blue: But I don’t see any reason why it can’t be stretched into that circumstance and therefore explain why Sean Carroll is wrong, why Sean Carroll’s example that we might find these particles, and that would strengthen the theory is at once correct, but that is still consistent with popper theory. Does that make sense. Do you see where I’m going with this.
[01:23:19] Red: Yeah, I absolutely do.
[01:23:21] Blue: Okay, so now based on what I just said, let’s take the best theories without refuting the competition. So, reputations are problems but but reputations are problems but they’re not definitive reputations popper does, does in logic of scientific discovery he points out that probabilistic theories are a problem for his theory although he explains how to solve the problem at length like for chapters he explains how to solve the problem. He says you can’t really definitively refute a probabilistic theory just exactly like do it just said. So he says how do you handle that well, he gives this giant technical discussion that I didn’t understand. And I don’t think is even necessary for the most part for a layman like myself the bottom line is that let’s say you had a theory that you know the example of the outcome could be a B or C, but instead it’s always see. Yes, you can explain that as we happen to get see every single time. Well do do the experiment 100 times do the experiment 1000 times. If the theory that it can be a B or C is correct and just by chance you keep getting see not every that that’s not going to be repeatable it will never become a basic statement that the the theory that it has to always be see can’t become can’t ever have a true basic statement. It won’t be repeatable by different group it won’t be repeatable if you do the experiment again, it won’t be repeatable I mean I just won’t happen right because that’s the way probability works.
[01:24:43] Blue: So, the bottom line is that it never really ends up posing a problem for his, for his theory, while in principle if you take it too strictly yes it’s a problem in practice it just never does, even when it’s probabilistic like this. So now, based on that, let’s take the two examples I came down to a man is murdered and his wife has a motive. So why do the police go to the wife first and start to investigate your first. Well, it’s because that’s their best theory. They haven’t really refuted an alternative theory at this point. What they’ve really done is they have. Let’s say a basic statement something like a basic statement I don’t know if this would technically be a basic statement that this wife has a motive and they don’t know of anyone else that has a motive. Yet. Well that’s good enough that that is enough to make the other theories problematic. Remember refutations are definitive their problems and we don’t know how to solve them yet. The other theories have problems that we don’t know how to solve so it makes sense that the first thing we’re going to go do is we’re going to try to take the theory that the wife committed the murder, and we’re going to try to make that a stronger empirical theory. Okay, we’re going to try to strengthen the theory and I’m making it more empirical. So we’re going to try to figure out what she there does she have an alibi.
[01:25:53] Blue: And during that process we may end up refuting the theory that she committed the murder, in which case we will be then forced to go to the alternative theories that somebody else did and try to figure out who it is, and figure out did we miss somebody else having a motive. Okay, nothing about this is actually at odds with poppers theory. It’s really just being too strict about the idea of a refutation. You have to understand refutation in the idiosyncratic way that he met that term. If you ever understand it in a different way than yes poppers theory doesn’t make sense anymore. And then the DNA example was that we’re trying to figure out if so and so as a descendant you know, Thomas Jefferson in real life we have the case of Thomas Jefferson where we wanted to know if he had a child by his slave because you know of course in our day and age we want to know if he’s a hero or a villain. Right. So they do a DNA test, and they discover that there’s a certain marker that the descendants of the slave have that Thomas Jefferson also has and it’s rare. Okay, let’s I’m making up that it’s one in 10,000 chance of the months. Okay, this doesn’t really definitively refute the idea that it doesn’t. There’s nothing definitive here. Right. It’s we haven’t we haven’t demonstrated it is Thomas Jefferson’s child. We haven’t even refuted the alternative. Right, it could be that his brother lived in this case I think his brother did live there but let’s say the brother didn’t live there that’s that’s too obvious case.
[01:27:26] Blue: Maybe the brother came by, and on a chance encounter had a child with the slave, maybe somebody else that was unrelated to Thomas Jefferson. So obviously we haven’t really refuted the competitors. What we’ve done is we’ve made a problem for them. Okay, at this point in time. Yes, our best theory is in again I’m, let’s ignore the true real life case let’s pretend like this is a fictional case. There’s no other brother in this case to worry about. We’ve only got the one person that happened to live with the slave. Yeah, our best theory is is that it’s his child. Right, that’s our best theory, but it’s just the best theory. The other competing theories, they’re problematic. They’re maybe even bigly problematic. Okay, but you could see how you might save them. If you could demonstrate well actually he did have a brother and they live together or there’s ways you could go about, therefore, resolving that problem which would then make the competitors better again. Okay, again, this fits perfectly into poppers epistemology they’re not a slightest ounce of problem here. In so far as it seemed like there was a problem it was really just because we were understanding the word refutation as definitive when really we should be talking about it as a counter example or a problem. Because that’s really what they are. It’s the problem that’s an objective not the not the definitive reputation. That’s objective. Okay, that’s it. I have now resolved all the problems with poppers epistemology that I originally raised. It turns out, all of them boiled down to you simply misunderstood poppers epistemology.
[01:28:58] Red: So, so you of course present today very much shorter version of this today. Yes. Do you think that that’s going to start conversation with some of these hardcore popperians. Or do you think like with David Miller. There wasn’t sufficient time for you to really talk through essentially their refutations of your refutation theory. Yeah, and and that now they’re essentially going to dismiss your concepts because they either are just too unwilling to hear a contrary theory which you have said about popperians in the past.
[01:29:39] Blue: Yeah. Okay, so first of all I said that about popperians but I would say that about any group of people anywhere.
[01:29:45] Red: That’s fair. People get passionate about their beliefs.
[01:29:50] Blue: Yes. So let me let me make a few statements about that because that’s actually a good set of questions. First of all, yes my intent was to start a conversation. Realistically how far without conversation go probably not very far. I’ve got neither the credentials to get to gather interest I don’t even know how go about really getting published. There are people who will dismiss me that really probably you should be listening to like a Miller, even though ultimately I feel there wasn’t necessarily a disagreement there. I don’t know what to say about that other than to say that’s the way the system works. Right. It’s, I’ve raised something that I think is a legitimate issue at heart. The issue isn’t a problem with poppers epistemology. It’s a problem with the way we present poppers epistemology. Now, will David Miller take that to heart and present it a little differently so that people understand what he’s saying better, probably not. My guess is is that won’t hinder him that much. It will really do is it’ll hinder the people trying to read him. Because really, when it comes right down to it David Miller understands this. He’s got a certain way of speaking that may be a little misleading to people outside of his circle. That’s my real point, but he’s not wrong. Right. He’s, he’s, he’s got conceptually the right concepts. David Miller would agree. None of these problems that I raised are actual problems. He would maybe want to describe them differently than I did, but ultimately those what he would describe would be the same as what I’m saying. I’m, we’re just using different wording.
[01:31:18] Blue: It’s kind of up to David Miller, if he wants to stop, take enough interest, understand what I’m saying, and then realize, oh, there was something there for me to learn. It just wasn’t what I originally thought it was. Right. And we all have to make that judgment call because honestly, the spam to ham ratio for everyone is high. You know, I mean, it’s, we do the 15 minutes sniff test to decide if we’re going to listen to this person or not, because we just don’t have the physical time to really stop and understand every single viewpoint. And I don’t see an alternative to that. Honestly, I think we to some degree rely on the fact that if this person’s right, eventually it will succeed. You know, how long do bad theory stick around in place of good theories, sometimes very long periods of time. Hundreds of
[01:32:06] Red: years,
[01:32:07] Blue: right amongst amongst brilliant scientists, right. To use an example of, I can’t remember which guy this is mathematician not scientists but the guy who discovered that there are different different magnitudes of infinity. Cantor I think maybe I’m wrong. He discovers that there’s so like, if I were to tell you, hey cameo did you know that there’s different magnitudes of infinity that some infinities are larger than others. What would you think of that.
[01:32:35] Red: I kind of baffled by it.
[01:32:39] Blue: It sounds wrong. Right. It sounds like there’s no way it could be right because infinity is infinity. So there was a guy who figured out that that was the case that there’s actually an infinity of infinities, each one larger than the next. And he came with a proof that demonstrates that that is the case. He then published the proof and got made fun of by absolutely every mathematician alive, and died upset that he was looked down upon and, you know, honestly, some people claim he kind of went insane over it that he was attacked and all his peers thought he was crazy and made fun of him. He was right. And there are no mathematicians alive today I shouldn’t say that there’s probably our methods of life today that would just send over this that they would have some sort of really off theory, okay that they’d be backing like intuition ism or something. There are no mainstream mathematicians today let me put it that way that really have any doubt that he was right, because and the reason why is because it’s proof demonstrates that he’s right. No, the people back then had the same proof, but they just couldn’t get past the way they were thinking of the word infinity. So they weren’t able to see, look, you’ve got you can’t just make fun of the guy you’ve got to actually deal with his proof later mathematicians who didn’t have the same biases. And that’s one of the great things about the fact that you got constantly a new group of people coming in, as they come of age they study they become a mathematician or whatever. And they don’t have the same biases as the old group.
[01:34:10] Blue: They haven’t already had it drilled into their head. They’re going to see that and they’re going to go. Look, why are you making fun of this guy, you have to deal with his proof. And you haven’t. Right, right.
[01:34:22] Red: You just mocked him into silence. Okay.
[01:34:29] Blue: Unfortunately, at any given moment in time we’re always starting at the mock in the silence phase. Right. And I put something out there, and then I’m hoping somebody catches something useful out of it. Assuming I’m even right, you know what if I’m wrong, right, I mean, but I still put it out there and I should see if somebody else noticed what I noticed, or maybe they’ll correct me they will say, Hey, here’s what you need to understand which is what they did to me today. And then I have to decide are they actually telling me something substantial, or they really agreeing with me, and they don’t like my wording. Why am I going to figure that out. And they’ve got to figure that out. Right. And this and this gets back to why is philosophy, why does it actually matter, even though I hate it. You know, it’s hard to know if you’ve got the right legitimate problem. It’s, but even, even Andrew listened to our podcast after we talked about him last time. And he said you didn’t really he says what you said was good, but it wasn’t really quite what I meant. And so he clarified, even in a case where you have, it’s not just that lots of its philosophies bad but some of it’s good, and it’s the good that cat matters. He said, even the bad stuff matters, because a lot of times bad philosophy is trying to deal with a real problem. And I thought, that’s, that’s really
[01:35:45] Red: good. That’s a good point. It’s very, it’s very Popperian right it’s, it’s, it’s applying the same rules to philosophy that we’re applying to empirical science.
[01:35:58] Blue: Yes. And this is one of the things that’s interesting is as much as we concentrate on poppers theory in terms of empirical science. It is possible to extend poppers theory and popper knew this into other realms where we’re not dealing with empirical science. For instance, instead of having counter examples, which he called refutations, you can have criticisms. And so a non empirical theory may have criticisms that then have to be dealt with and then the preparing theory still works almost the same way. But you’re dealing with a criticism instead of an actual empirical basic statement. Okay, obviously that’s going to be less. It’s going to be fuzzier. It’s going to be harder to know if you’ve got the problem right. When you’re dealing with empirical theories, you’ve got a lot of advantages because ultimately you can ask the real world if this is correct or not. Right. We’re with non empirical theories you can’t. But popper points out, they still have problems, you can still try to resolve the problems. They have problems that have relevance to real life and maybe to resolve them that way. Poppers whole theory was a reaction to inductivism which was a bad theory. But poppers theory wouldn’t have existed if they hadn’t been dealing with a real problem that needed to be solved. So induction existed to solve a problem. The problem was real. It was just the wrong solution. And its existence as a bad theory was what led to the creation of the correct theory. I don’t think we would have poppers theory, but for the existence of induction as a theory. Okay. And so it’s it’s I guess the bottom line is it’s okay that people disagree with me it’s okay if they misunderstand me.
[01:37:33] Blue: I’ve already had at least one person write to me after reading my paper was a PhD. And he said, you know what I think I’ve been misreading popper this whole time. Seriously. Yeah. Oh interesting. As long as that clarifies something for him, right, where he understands something a little better. That’s the point. And you know what, maybe I didn’t phrase this all well. Maybe David Miller is completely correct in the way I’m currently phrasing things. I’m on to something that’s a real problem I may be even on to sort of the right solution. But I’m just doing it in my own, you know, halting way that I can I understand a certain amount. I can I can get to the solution to a certain level of abstraction. And then maybe I’m just wrong. Anything outside that level of abstraction, and someone smarter than me is going to have to come along formalize this and really say Bruce was right in this domain. Here is what you need to say for the rest of the domains and here’s now how you say it and this is this is really the right answer. And that’s fine. You know if that’s all I do is get somebody to that next step who’s smarter than me understands this better that’d be fine too. Right. On the other hand when it really comes right down to it. Most people aren’t David Miller. Most people you talk to on Twitter or Facebook about popper. They don’t have David Miller’s understanding of poppers epistemology they’ve got a number of misunderstandings that they’re carrying around as of today.
[01:39:02] Blue: I believe that everything I just said will clarify a number of those misunderstandings maybe it will create new misunderstandings, but hopefully smaller ones in a different domain, right, that I’m partially solved the problem. And I’m admitting it’s a linguistic problem it’s not a, it’s not a fundamental problem. It’s it’s ultimately a linguistic problem.
[01:39:21] Red: Right. Well and, and you know, to your point about David Miller. You know, he, he worked directly with popper and incident, incidentally when he wrote his important book on croquet was right about the same time he had just started working directly with popper so
[01:39:41] Blue: interesting.
[01:39:42] Red: I don’t know if those are connected actually it was about yeah, looking at Wikipedia. That’s.
[01:39:49] Blue: That’s amazing. All
[01:39:50] Red: right. And on that note, I think we’re done.
[01:39:55] Blue: All
[01:39:56] Red: right. So,
[01:39:58] Blue: we will revisit some of these topics. I feel like a lot of these topics deserve some more in depth discussion this was a little bit fast. This is the fastest I think I could go. But we won’t revisit this immediately but I know we have an upcoming podcast we’re going to talk about. The topic of was, you know, popper open minded, or was he kind of non paparian himself which there’s a great deal of, of rumor that popper was a very bad example of his own epistemology. And I’ve always been curious about that. And you actually get mixed opinions, people who will say, yeah he was really bad and people who knew him, and people who knew him will say, no actually that just wasn’t true. And I’ve always wondered about that. And that example that I use I’ll bring up that example again the example of the philosopher that asked me about, you know, does the church during George thesis imply that the brain really is a computer. You know, I, I think that there’s a big open question around what popper intended on a lot of things, and what his, how he reacted. A lot of times when a person’s right to come across close minded, you know, it’s, it’s sometimes hard to tell the difference between those two. And I’ve often wondered, did popper come across close minded because he was close minded, or did it come across because he was often right, or is it some combination of the two.
[01:41:27] Red: And after seeing how much misunderstanding there was about the language that he was using how much of that is just a misunderstanding of the, of the way he was communicating. Yeah. And again,
[01:41:39] Blue: if he if he really was English as a second language, you know, I think there’s a good case to be made that people were misunderstanding him and then he got upset because they kept misunderstanding him.
[01:41:50] Red: Right.
[01:41:50] Blue: So anyhow, we’ll do a podcast about that I think that that’s a will be a fun subject and that’ll tie will tie that in with these episodes we just talked about, because I do believe there is likely to be a connection that a great deal of poppers anger at other people came down to the fact that that his theory was a little hard to get exactly to understand all the way, and that there were numerous slight misunderstandings that were just close enough that you could talk, but then misunderstanding to take place. And that’s really what I was after here is, is there a way we can reword this for non -popperians, where we can get our point across easier. That was really what I was after.
[01:42:29] Red: Well, you, you won in my perception. Thank you. All right. Thanks so much, Chris. All right. Thanks, Camille. Next time. All right. Bye -bye.
[01:42:43] Blue: The theory of anything podcast could use your help. We have a small but loyal audience, and we’d like to get the word out about the podcast to others so others can enjoy it as well. To the best of our knowledge, we’re the only podcast that covers all four strands of David Deutch’s philosophy, as well as other interesting subjects. If you’re enjoying this podcast, please give us a five star rating on Apple podcasts. This can usually be done right inside your podcast player. Or you can Google the theory of anything podcast Apple or something like that. Some players have their own rating system and giving us a five star rating on any rating system would be helpful. If you enjoy a particular episode, please consider tweeting about us or linking to us on Facebook or other social media to help get the word out. If you are interested in financially supporting the podcast, we have two ways to do that. The first is via our podcast host site, Anchor. Just go to anchor.fm slash four dash strands f -o -u -r dash s -t -r -a -n -d -s. There’s a support button available that allows you to do reoccurring donations. If you want to make a one time donation, go to our blog, which is four strands.org. There is a donation button there that uses PayPal. Thank you.
Links to this episode: Spotify / Apple Podcasts
Generated with AI using PodcastTranscriptor. Unofficial AI-generated transcripts. These may contain mistakes; please verify against the actual podcast.