I don’t know what real-for-me means here. Everything that in principle, in theory, could be observed, is real. Most of those you didn’t. This does not make them any less real.
I meant the “for whom?” not in the sense of me, you, or the barkeeper down the street. I meant it in the sense of normal beings who know only things that are in principle knowable, vs. some godlike being who can know how things really “are” regardless of whether they are knowable or not.
Everything that in principle, in theory, could be observed, is real.
Well, that’s where it starts to break down; because what you can, in theory, observe is different from what I can, in theory, observe.
This is because, as far as anyone can tell, observations are limited by the speed of light. I cannot, even in principle, observe the 2015 Alpha Centauri until at least 2019 (if I observe it now, I am seeing light that left it around 2011). If Alpha Centauri had suddenly exploded in 2013, I have no way of observing that until at least 2018 - even in principle.
So if the barkeeper, instead of being down the street, is rather living on a planet orbiting Alpha Centauri, then the set of what he can observe in principle is not the same as the set of what I can observe in principle.
Physicists are not very precise about it, may I suggest looking into “potential outcomes” (the language some statisticians use to talk about counterfactuals):
Potential outcomes let you think about a model that contains a random variable for what happens to Fred if we give Fred aspirin, and a random variable for what happens to Fred if we give Fred placebo. Even though in reality we only gave Fred aspirin. This is “counterfactual definiteness” in statistics.
This paper uses potential outcomes to talk about outcomes of physics experiments (so there is an exact isomorphism between counterfactuals in physics and potential outcomes):
Sounds like this is perhaps related to the counterfactual-consistency statement? In its simple form, that the counterfactual or potential outcome under policy “a” equals the factual observed outcome when you in fact undertake policy “a”, or formally, Y^a = Y when A = a.
No, not quite. Counterfactual consistency is what allows you to link observed and hypothetical data (so it is also extremely important). Counterfactual definiteness is even more basic than that. It basically sets the size of your ontology by allowing you to talk about Y(a) and Y(a’) together, even if we only observe Y under one value of A.
edit: Stephen, I think I realized who you are, please accept my apologies if I seemed to be talking down to you, re: potential outcomes, that was not my intention. My prior is people do not know what potential outcomes are.
edit 2: Good talks by Richard Gill and Jamie Robins at JSM on this:
I just need to translate that for him to street lingo.
“There is shit we know, shit we could know, and shit could not know no matter how good tech we had, we could not even know the effects it has on other stuff. So why should we say this later stuff exists? Or why should we say this does not exist? We cannot prove either.”
My serious point is that one cannot avoid metaphysics, and that way too many people start out from “all this metaphysics stuff is BS, I’ll just use common sense” and end up with there own (bad) counter-intuitive metaphysical theory that they insist is “not metaphysics”.
You could charitably understand everything that such people (who assert that metaphysics is BS) say with a silent “up to empirical equivalence”. Doesn’t the problem disappear then?
I don’t know what real-for-me means here. Everything that in principle, in theory, could be observed, is real. Most of those you didn’t. This does not make them any less real.
I meant the “for whom?” not in the sense of me, you, or the barkeeper down the street. I meant it in the sense of normal beings who know only things that are in principle knowable, vs. some godlike being who can know how things really “are” regardless of whether they are knowable or not.
Well, that’s where it starts to break down; because what you can, in theory, observe is different from what I can, in theory, observe.
This is because, as far as anyone can tell, observations are limited by the speed of light. I cannot, even in principle, observe the 2015 Alpha Centauri until at least 2019 (if I observe it now, I am seeing light that left it around 2011). If Alpha Centauri had suddenly exploded in 2013, I have no way of observing that until at least 2018 - even in principle.
So if the barkeeper, instead of being down the street, is rather living on a planet orbiting Alpha Centauri, then the set of what he can observe in principle is not the same as the set of what I can observe in principle.
I’d like to congratulate you on developing your own “makes you sound insane to the man in the street” theory of metaphysics.
Man on the street needs to learn what counterfactual definiteness is.
Ilya, can you give me a definition of “counterfactual definiteness” please?
Physicists are not very precise about it, may I suggest looking into “potential outcomes” (the language some statisticians use to talk about counterfactuals):
https://en.wikipedia.org/wiki/Rubin_causal_model
https://en.wikipedia.org/wiki/Counterfactual_definiteness
Potential outcomes let you think about a model that contains a random variable for what happens to Fred if we give Fred aspirin, and a random variable for what happens to Fred if we give Fred placebo. Even though in reality we only gave Fred aspirin. This is “counterfactual definiteness” in statistics.
This paper uses potential outcomes to talk about outcomes of physics experiments (so there is an exact isomorphism between counterfactuals in physics and potential outcomes):
http://arxiv.org/pdf/1207.4913.pdf
Sounds like this is perhaps related to the counterfactual-consistency statement? In its simple form, that the counterfactual or potential outcome under policy “a” equals the factual observed outcome when you in fact undertake policy “a”, or formally, Y^a = Y when A = a.
Pearl has a nice (easy) discussion in the journal Epidemiology (http://www.ncbi.nlm.nih.gov/pubmed/20864888).
Is this what you are getting at, or am I missing the point?
No, not quite. Counterfactual consistency is what allows you to link observed and hypothetical data (so it is also extremely important). Counterfactual definiteness is even more basic than that. It basically sets the size of your ontology by allowing you to talk about Y(a) and Y(a’) together, even if we only observe Y under one value of A.
edit: Stephen, I think I realized who you are, please accept my apologies if I seemed to be talking down to you, re: potential outcomes, that was not my intention. My prior is people do not know what potential outcomes are.
edit 2: Good talks by Richard Gill and Jamie Robins at JSM on this:
http://www.amstat.org/meetings/jsm/2015/onlineprogram/ActivityDetails.cfm?SessionID=211222
No offense taken. I am sorry I did not get to see Gill & Robins at JSM. Jamie also talks about some of these issues online back in 2013 at https://www.youtube.com/watch?v=rjcoJ0gC_po
Well, this whole thread started because minusdash and eli_sennesh objected to the concept of accusal trade for being too metaphysical.
I just need to translate that for him to street lingo.
“There is shit we know, shit we could know, and shit could not know no matter how good tech we had, we could not even know the effects it has on other stuff. So why should we say this later stuff exists? Or why should we say this does not exist? We cannot prove either.”
My serious point is that one cannot avoid metaphysics, and that way too many people start out from “all this metaphysics stuff is BS, I’ll just use common sense” and end up with there own (bad) counter-intuitive metaphysical theory that they insist is “not metaphysics”.
You could charitably understand everything that such people (who assert that metaphysics is BS) say with a silent “up to empirical equivalence”. Doesn’t the problem disappear then?
No because you need a theory of metaphysics to explain what “empirical equivalence” means.
To be honest, I don’t see that at all.
So how would you define “empirical equivalence”?