I didn’t use ‘modal’ because that is used to refer to logical possibility/impossibility, whereas I am interested in referring to physical possibility/impossibility. Depending on your philosophical views, those two things may or may not be the same.
The form of a counterfactual law ("your perpetual motion machine won't work even if you make that screw longer or do anything else different") seems to be "A, no matter which parameter you change".
I don’t think this is right. As I am using it, ‘counterfactual’ refers to a statement about whether something is possible or impossible. Statements of the form "A, no matter which parameter you change" are not always like this. For example if A=’this ball has a mass of 10kg’. This is not a statement about what is possible or impossible. You could frame it as ‘it is impossible for this ball to have a mass other than 10kg, no matter which parameter you change’, but doesn’t give us any new information compared to the original statement.
Another important feature is that the impossibility/possibility is not restricted to specific dynamical laws. In your example ‘F=ma, even if the frictionless sphere is blue’, this statement is only true when Newton’s laws apply. But the statement ‘it is impossible to build a perpetual motion machine’ refers, in principle, to all dynamical laws-even ones we haven’t discovered yet-which is why principles like this may help guide our search for new laws.
Glad that confusion is removed!
I think that it is the best word to use. When used as an adjective Collins defines 'counterfactual' as 'expressing what has not happened but could, would, or might under differing conditions '. I think that this fits the way I was talking about it (eg. when referring to 'counterfactual laws'). In the first post, I talk about whether the lamp 'could would, or might' have been in a different state. In this post, we talk about whether a perpetual motion machine 'could would, or might' work if it was made using a different configuration. (maybe some of the confusion comes from using 'counterfactual' as both an adjective and a noun?)
Though if you have any suggestions on other words that might be clearer, let me know.
Hi, thanks for the question. I am using the term 'counterfactual' (admittedly somewhat loosely) to describe facts that refer to whether things are possible or impossible, regardless of whether they actually happen.
In the first post, I claimed that it is only meaningful to say that the lamp transmits information if it is possible for the lamp to be a in a different state. Conversely, if the lamp was broken, then it is impossible for the lamp to be in a different state, and information does not get transmitted. If you just describe the system in terms of what actually happens (ie. 'the lamp is on'), you miss out on this fact. In the first post, I called statements about what actually happens in the system 'factual statements', and statements about what is possible/impossible 'counterfactual statements'.
Similarly, in the case of the perpetual motion machine, you can make a factual statement about what actually happens (ie, some gears turn around and eventually the machine stops moving, failing to achieve perpetual motion), or you can make a counterfactual statement (that it is impossible to make perpetual motion machine, regardless of the specifications of that machine). In this post, I again claimed that just making the factual statement misses out on the important counterfactual claim.
Of course, in the first post, when the lamp is broken, and we say it is 'impossible' to send another signal, this is specified by the parameters of the thought experiment, rather than the laws of physics (in practice, the laws of physics might not prevent you from fixing the lamp, for example). Whereas in the this this post, when we say it is 'impossible' to build a perpetual motion machine, the restriction does come from the laws of physics.
Hope this helps clear things up!
I think this was well-written and clear, so good job there! I also happen to disagree with the contents.
Thanks for your comment!
First off, I'm highly suspicious of any definition of a "prevailing conception" of physics that excludes the second law of thermodynamics! It seems like in actual practice, sometimes people make predictions by simulation, (the "PC") sometimes they make predictions by generalizing about the character of physical law (the quantum gravity example), and sometimes they do something in between those things and make abstractions/generalizations but then treat those abstractions as tools to do simulation (condensed matter theorists I see you).
Yeah, the term 'prevailing conception' is Deutsch's. It refers specifically to formulating things in terms of initial conditions and dynamical law. I agree its not a great term, as it implies that all current physics comes under its umbrella, which, as you pointed out, is not true.
And so what does it mean to recast physics in a different picture? Does this mean people are going to be rendered unable to do simple simulations about what actually happens when you shoot a particle at a barrier?
The idea isn't to throw away the dynamical laws picture, but to provide a different angle of attack on some problems that seem intractable when expressed in the PC.
So then does it mean that we're going to be able to make new exciting arguments that physicists were unable to make before?
That's the hope!
I mean, I'd love it if this were true, but I'm skeptical. My cynical side expects that there will be few new sorts of arguments, but plenty of flag-planting on old sorts of arguments.
Fair enough. I'm skeptical as well. Constructor theory has produced a couple of interesting results, but as far as I can see, nothing world-changing yet. But I am still convinced that the problems described here (eg. the incompatibility of reversible dynamics with irreversibility of the 2nd law) are real problems. Even if counterfactuals/constructor theory don't work (who knows?), we will need something new to address them!
I think I disagree with your characterisation of the split between 'objective' Shannon information and information as meaning, which requires interpretation.
As you point at the end of your comment, Shannon information requires you to know the probability distribution from which your data is drawn. And probabilities are reflections of your own state of knowledge, which is subjective. (Or at least subjectively objective, if you are using 'objective' in that sense, then I guess I agree.) For example, if Alice sends Bob a string '11111', we might be tempted to say that she has sent Bob 5 bits of information, but if Bob knows that Alice can only send two possible strings '00000' or '11111', then he would say that she has only sent one bit. All signals, not just what you call 'information as meaning' require some degree of interpretation. And this interpretation, I argue, requires knowing the possible signals that could be sent, even if they are not actually sent. These possible signals are what I am calling counterfactuals.
I'm not sure I understand your point about conditionals vs counterfactuals.
AFAICS, that's just a special case of the inverse relationship between probability and(Shannon) information. If the lamp is stuck "on", the probability of an "on" signal is 1.000 and the information content is 0.000. So it's not fundamentally about counterfactuals at all.
I kind of agree with this, but it doesn't tell the whole story. Consider the case where, instead of being stuck 'on', the lamp flickers randomly and is on 50% of the time and off 50% of the time. In this case, you would not be able to use the lamp to send information, even though the probability of an 'on' signal is 0.5 and, in one sense, the Shannon entropy would be maximal. To send information requires that it is possible for you to change the signal sent by the lamp. This is what I was trying to get at in this post. Another way of thinking about it is to say that you must have a causal effect on the state of the signal. In both the case where the lamp is stuck on and the case where it is flickering uncontrollably, you have no causal link to the state of the signal. I tried to explain the link between counterfactuals, information and causality in the subsequent post.
I agree with your example and think that it touches on something important. However, in this post, I did not claim that the counterfactual condition was the only condition required for information transfer. You are correct to say that the lamp signal would not constitute information to someone who was unaware of the plan. But this is because, in that situation, there are other conditions that have not been met. Since the other person seeing the lamp signal would not react differently to the different signals, there is no causal link between the signal and them. This is also required for information transfer. I tried to explain this idea a bit more in my subsequent post.
If you don't like the idea of information being physical, rather than epistemological, then maybe you can think of this post as asking the question 'what are the physical conditions that a system must satisfy in order to transmit epistemological information?'
Hi, thanks for your question. I have a big piece covering all of this in more detail which I plan to post in a couple of days once I've finished writing it. In the meantime, please accept this 'teaser' of a few problems in the prevailing conception (PC):
I presume you are talking about the post What is Evidence?
Yes, the ideas in that post are closely related to this one. I think that the main difference is that, in that post Eliezer is interested in epistemology whereas here I am interested in how the process works from a physics point of view. For example, in my post, there is no need for 'information' (as I am using the word) to be correlated with true beliefs.