Is the Second Law of Thermodynamics Falsifiable?

AI Thread Summary
The discussion centers on whether the Second Law of Thermodynamics is an empirical or mathematical law, questioning its falsifiability. Participants argue that while the law describes predictable outcomes based on observations, it does not imply absolute certainty, allowing for potential violations under specific conditions. The distinction between mathematical laws and empirical laws is emphasized, with the Second Law being classified as empirical due to its reliance on real-world observations. Examples are provided to illustrate how one could theoretically falsify the law, such as the existence of a perpetual motion machine. Ultimately, the conversation highlights the complexity of defining scientific laws and their applicability to reality.
  • #51
Dale said:
Do you have a reference for that?

Yes, you did it yourself as standard procedure. It's a matter of semantics what you call the alternative "possibility" or "outcome" or "universe". We shouldn't let semantics distract from the physics of the question, which is a good one.
 
Science news on Phys.org
  • #52
atyy said:
Yes, you did it yourself as standard procedure. It's a matter of semantics what you call the alternative "possibility" or "outcome" or "universe". We shouldn't let semantics distract from the physics of the question, which is a good one.
Sorry, misrepresenting a physics forum post is not a professional scientific reference. This thread is closed. If an actual suitable reference defining falsifiability in terms of other universes is sent to me by PM then I will reopen the thread. Otherwise I would encourage you and the OP to use less objectionable semantics.
 
  • Like
Likes russ_watters
  • #53
The OP has found a reference from the professional philosophical literature that uses slightly different terminology than previously proposed. While we normally don’t go into philosophy, since the concept of falsifiability was originally developed by a philosopher and is used by professional scientists I felt that it was appropriate in this context. Please allow the OP to post the reference and from thence we will stick strictly to the language therein.
 
Last edited:
  • Like
Likes hutchphd
  • #54
1) The mathematical model of Nature, the Second Law of Thermodynamics, can be derived from basic Probability. I derived it in my book "Mathematical Models of Information and Stochastic Systems"(2008) by Philipp Kornreich CRC Press Taylor Francis Group ISBN 978
 
  • Like
Likes PhDeezNutz and Drakkith
  • #55
madness said:
But we can take that reasoning to absurd limits, for example by applying the same logic to the laws of arithmetic. It's an empirical fact that if I put one apple and then another apple in a bowl then there are two apples in the bowl. We could imagine that I put one apple and then another in the bowl and there are three apples in the bowl, but that doesn't happen because the universe appears to obey the laws of arithmetic. Most wouldn't claim that the laws of arithmetic are scientific or falsifiable laws.

If I'm not mistaken, the 2nd law is expected to hold regardless of the initial conditions. Entropy can never decrease according to the 2nd law (statistically speaking), and the fact that the initial conditions had low entropy then implies that we expect it to increase steadily over time. If the universe started at equilibrium state, entropy still wouldn't increase (statistically speaking again), which would again be in accordance with the 2nd law.
A misreading. There are many reactions (specific cases) where entropy decreases. The Second Law only promises that the average total system entropy will increase.
 
  • #56
shjacks45 said:
There are many reactions (specific cases) where entropy decreases.

More precisely, where entropy of one part of the reacting system decreases, compensated for by a greater increase of entropy in another part.
 
  • Like
Likes PhDeezNutz, vanhees71, sysprog and 1 other person
  • #57
madness said:
If I'm not mistaken, the 2nd law is expected to hold regardless of the initial conditions. Entropy can never decrease according to the 2nd law (statistically speaking), and the fact that the initial conditions had low entropy then implies that we expect it to increase steadily over time. If the universe started at equilibrium state, entropy still wouldn't increase (statistically speaking again), which would again be in accordance with the 2nd law.

You may also want to look at the Poincare recurrence time, which would lead to a violation of the second law of thermodynamics in some universes. In our universe, the recurrence time is far longer than the age of the universe, as mentioned in eg. Time's arrow and Boltzmann's entropy.

There is also discussion as to whether big crunch scenarios or cyclic cosmologies would lead to violations of the second law of thermodynamics, as mentioned in eg. Universe bounces back from the brink which refers to Turnaround in Cyclic Cosmology.

Another interesting read is Wald's amusing personal account of the events leading to Bekenstein and Hawking's discovery of black hole entropy. He states that at one point he thought it would be fine if the second law of thermodynamics is violated, since it is not a fundamental law. In a classical universe, it can be argued that black holes will lead to a violation of the second law of thermodynamics. In a quantum universe, black holes radiate and have a temperature, saving the second law of thermodynamics.
 
Last edited:
  • Like
Likes madness
  • #58
Please wait for the OP to post their reference before continuing
 
  • #59
The "2nd law of thermodynamics" is not really a law, in that unlike other laws of physics, it does not always hold. Rather it is a statistical law, which is different. Simple models of entropy show that (on a given experimental trial) it is overwhelmingly likely that entropy will increase, but with a very small positive probability, it will not increase.
 
  • #60
Apologies all for the delay in responding to this thread. The reference I found for the "logically possible worlds" definition of falsifiability was this one https://www.jstor.org/stable/pdf/687321.pdf?casa_token=pqL-ZTfdrUwAAAAA:8w6gGfAMqSueO1bQbf2p1pn_tu1SfSQxQM6u_SRNVdB1FSG-nXkrG43C14cbwunQnj5fwqsKGUZMZfL0igb2AKa-7yC2EIn5nBsFIFTByJ1pk6YUiu8 , from which I quote:

"Falsifiability in the strong sense demands that there be a refutation of the theory in every logically possible world in which the theory is empirically inadequate "

"When a theory Σ is said to be falsifiable what is usually meant is that there is a set of singular observation sentences which falsifies (i.e., is inconsistent with) Σ. Essentially this is the classical analysis given by Hempel and Popper. Semantically, it requires that in some observation structure there exists a set of observations which refutes Σ. In a much stronger sense we might say that Σ is falsifiable just in case in every observation structure not expandable to a model of Σ there exists a falsifying set of observations. Let us distinguish these two senses by calling the first the weak sense and the second the strong sense. The difference is this. The weak sense requires only that an empirical refutation of Σ be a logical possibility. The strong sense stipulates in addition that no matter how Σ is empirically inadequate it is susceptible to empirical refutation. For example, an observation sentence of the form 'VxFx' is strongly falsifiable, but the conjunction of 'VxFx' with another observation sentence of the form '3xGx' is only weakly falsifiable"
[boldface my own]

The first quote justifies my usage of logically possible worlds (I used universes, as I felt it was a better choice at the time). Technically, however, their "strong definition" in the first quote doesn't exactly correspond to my own definition, where I required the existence of a logically possible world in which the a falsifying observation could occur. To see this discrepancy, note that if the set of logically possible worlds were the empty set, falsiability would trivially hold according to their "strong" definition but would fail according to my own definition. Nevertheless, on reading both the weak and strong definition put forward in the second quote I believe that my definition is actually consistent with their "weak" definition (see boldfaced text). One might quibble that they used "logical possibility" rather than "logically possible world" as I used, but on comparing the strong definition across the two quotes it looks as though the two terms are used interchangeably by the author.

Now aside from that, I've become reasonably convinced from certain posts in this thread that the 2nd law is falsifiable (in the sense of the study I linked as well as the more naive sense that several posters in this thread argued for). In particular, if atyy is correct in post #57 that there are already logically consistent physical theories that violate the 2nd law, then that would effectively answer the question. Grossgnlockner in post #54 appears to suggest otherwise - I would like to get to the bottom of that if possible. Does the derivation from probability assume some basic physics that is not present in the theories mentioned by atyy? Do the theories mentioned by atyy violate the basic laws of probability used in the derivation mentioned by Grossgnlockner?

Footnote:

As an aside (I left this as a footnote as I am not sure how well non peer reviewed sources will be taken here). There was a discussion on a similar topic on falsifiability here . They found better examples than my case of arithmetic (which was quite fairly critiqued in this thread). Specifically, is the statement that all squares have four sides falsifiable? I would argue not, and yet I can point to an observation which would falsify it (finding a square with 3 sides). The only way I can see to evade this problem is to add the condition that falsifying observations have to be logically possible in the definition of falsifiability! PS: if the moderators don't like my including this link, I'll be happy to remove it, but I thought some posters did a better job at framing the issue than I did.
 
  • #61
madness said:
When a theory Σ is said to be falsifiable what is usually meant is that there is a set of singular observation sentences which falsifies (i.e., is inconsistent with) Σ
With this definition the second law of thermodynamics is clearly falsifiable. If we take an isolated system and a clock and measure it’s entropy ##S(t_0)## and ##S(t_1)## with ##t_0<t_1## then the observation sentence ##S(t_0)>S(t_1)## is inconsistent with the second law of thermodynamics
 
  • #62
Dale said:
With this definition the second law of thermodynamics is clearly falsifiable. If we take an isolated system and a clock and measure it’s entropy ##S(t_0)## and ##S(t_1)## with ##t_0<t_1## then the observation sentence ##S(t_0)>S(t_1)## is inconsistent with the second law of thermodynamics

In the same way that the law "all squares have 4 sides" is clearly falsifiable according to sentence you selected. However, once you take into account the bold-faced part of the quote I posted you see it's not so simple.
 
  • #63
madness said:
In the same way that the law "all squares have 4 sides" is clearly falsifiable

No, it isn't, because it's a tautology. The second law of thermodynamics is not a tautology.

Using "logical possibility" modal logic, the second law is falsifiable because there are logically possible worlds in which it is not true. There are no logically possible worlds in which there is a square that does not have 4 sides. See below.

madness said:
I can point to an observation which would falsify it (finding a square with 3 sides)

There is no such observation; "a square with 3 sides" is a meaningless string of words, not a description of a possible observation. A plane figure with 3 sides is a triangle, not a square.
 
  • Like
Likes PhDeezNutz and Dale
  • #64
madness said:
In the same way that the law "all squares have 4 sides" is clearly falsifiable according to sentence you selected.
What observation would falsify it?

If you see a three sided object then that is a triangle, so observation of a three sided object does not falsify it. So what observation would falsify it?
 
  • #65
PeterDonis said:
Using "logical possibility" modal logic, the second law is falsifiable because there are logically possible worlds in which it is not true.

This was the question I've been trying to get answered and justified throughout the whole thread. You have simply asserted it without any evidence.
 
  • #66
madness said:
You have simply asserted it without any evidence.

You already have a description of a logically possible observation that would falsify the second law (in post #61, and earlier ones in this thread as well). What more do you need?
 
  • #67
PeterDonis said:
You already have a description of a logically possible observation that would falsify the second law (in post #61, and earlier ones in this thread as well). What more do you need?

A justification for the assertion that such the observation suggested in post #61 is logically possible.
 
  • #68
madness said:
A justification that such the observation suggested in post #61 is logically possible.

The description of it is logically consistent. What more do you need?
 
  • #69
PeterDonis said:
The description of it is logically consistent. What more do you need?

Others have claimed that the 2nd law of thermodynamics can be derived from probability alone. I would like to understand how that can be reconciled with the possibility that it might not hold in our universe.
 
  • #70
madness said:
Others have claimed that the 2nd law of thermodynamics can be derived from probability alone. I would like to understand how that can be reconciled with the possibility that it might not hold in our universe.

Logical possibility has nothing whatever to do with the possibility that the second law might not hold in our universe. Our universe is not the only logically possible universe; plenty of things that are logically possible are impossible in our universe.
 
  • Like
Likes Ranvaldo
  • #71
PeterDonis said:
Logical possibility has nothing whatever to do with the possibility that the second law might not hold in our universe. Our universe is not the only logically possible universe; plenty of things that are logically possible are impossible in our universe.

I don't follow your argument. My claim is that logical possibility constrains the facts which can be falsified (in any universe). Facts which hold in all logically possible worlds are called necessary truths, and are not generally considered falsifiable.
 
  • #72
madness said:
My claim is that logical possibility constrains the facts which can be falsified

Yes, tautologies cannot be falsified because they are true in all logically possible worlds. But, as has already been pointed out, the second law is not a tautology. Tautologies are statements that are derivable from the laws of logic and the definitions of terms alone. "All squares have 4 sides" is such a statement, because having 4 sides is part of the definition of a square. Any tautology must therefore be consistent with all other logically possible statements. But the second law is not: it is inconsistent with the logically possible observation statement described in post #61. So the second law is not a tautology, and there are logically possible worlds in which it is not true.
 
  • #73
madness said:
Others have claimed that the 2nd law of thermodynamics can be derived from probability alone.

I haven't claimed that, and I'm not sure that "can be derived from probability alone" is equivalent to "is a tautology" anyway.
 
  • #74
madness said:
I don't follow your argument. My claim is that logical possibility constrains the facts which can be falsified (in any universe). Facts which hold in all logically possible worlds are called necessary truths, and are not generally considered falsifiable.
If the second law follows directly from the statistics of random motions of atoms, then your assumption is that the motions of atoms are random. The second law would be falsified if atomic motions were found not to be random.
 
  • #75
PeterDonis said:
Yes, tautologies cannot be falsified because they are true in all logically possible worlds. But, as has already been pointed out, the second law is not a tautology. Tautologies are statements that are derivable from the laws of logic and the definitions of terms alone. "All squares have 4 sides" is such a statement, because having 4 sides is part of the definition of a square. Any tautology must therefore be consistent with all other logically possible statements. But the second law is not: it is inconsistent with the logically possible observation statement described in post #61. So the second law is not a tautology, and there are logically possible worlds in which it is not true.

I did mention in my earlier reply that I have more or less been convinced already by the arguments in this thread that the 2nd law is falsifiable. In particular that there appears to exist logically consistent physical theories that would violate it. Rather than continuing to argue over that point, I was hoping to refine the question to get a better understanding of what kinds of logically possible worlds might violate the 2nd law. It seems to me that the 2nd law does logically follow from a very minimal set of quite general assumptions (as suggested by a previous post regarding its derivation from probability). What are the assumptions needed to derive the 2nd law from pure probability theory? If it is not a tautology, is that because probability theory is not tautological, or because something else is required in addition to the laws of probability?
 
  • #76
madness said:
What are the assumptions needed to derive the 2nd law from pure probability theory?

Basically, that the system is closed, that all microstates of the system are equally probable, and that we are using a coarse-graining of microstates into macrostates that leads to the existence of a thermodynamic equilibrium state which has so many more microstates than any other macrostate that the probability is overwhelming that a randomly chosen microstate of the system will be in the thermodynamic equilibrium macrostate.

madness said:
If it is not a tautology, is that because probability theory is not tautological, or because something else is required in addition to the laws of probability?

Probability theory as a piece of pure math is tautological (since any piece of pure math is), but as a piece of pure math it doesn't apply to anything.

Probability theory as applied to any actual physical system is not tautological, because it must be supplemented with propositions describing the actual physical system that can be logically linked to probability theory.
 
  • #77
madness said:
Others have claimed that the 2nd law of thermodynamics can be derived from probability alone.
So what? Who cares how it is derived in determining falsifiability. It is logically possible that the world does not obey the laws of probability. I don’t see how the method of derivation matters to falsifiability. Per the definition of falsifiable it is falsifiable, as described above.

Furthermore, I disagree that the second law of thermo can be derived from statistical mechanics. Statistical mechanics can derive that the second law is asymptotically correct over long times and for large systems. The second law itself does not say “entropy doesn’t decrease in the long run for large systems” it just says “entropy doesn’t decrease”. So in fact the “derivations” you suggest actually indicate that the second law will occasionally be falsified for sufficiently small systems over sufficiently short time scales. In this sense, statistical mechanics supersedes and generalizes the second law of thermo, just like relativity supersedes and generalizes Newtonian mechanics.

madness said:
In the same way that the law "all squares have 4 sides" is clearly falsifiable according to sentence you selected.
I am still interested in hearing how you think this is falsifiable. What observation would be inconsistent? I think you are misapplying the definition.

If you observe a three sided object, then that is a triangle, so observation of a three sided object does not falsify it. So what observation would falsify it?
 
Last edited:
  • Like
Likes russ_watters
  • #78
PeterDonis said:
Basically, that the system is closed, that all microstates of the system are equally probable, and that we are using a coarse-graining of microstates into macrostates that leads to the existence of a thermodynamic equilibrium state which has so many more microstates than any other macrostate that the probability is overwhelming that a randomly chosen microstate of the system will be in the thermodynamic equilibrium macrostate.

Depending on how one defines things, this need not be considered "pure" probability, since the assumption that all microstates of the system are equally probable need not hold for all dynamical systems. For example, it is not clear if the assumption holds when the dynamical system is not ergodic. It may be possible that the second law holds without ergodicity, but that possibility seems not yet well understood. I found an interesting discussion in Ergodic hypothesis in classical statistical mechanics by César R. de OliveiraI and Thiago Werlang.

Here are some other interesting discussions:
http://www.cgogolin.de/downloads/absthermalization.beamer.pdf
https://arxiv.org/abs/1503.07538 (see Chapter 7 and Appendix A)
p56: "We have seen that the ETH as defined in Definition 3 is by construction essentially sufficient and, in a certain sense, necessary for thermalisation. The necessary part, however, only holds if one is willing to call a system thermalising only if it thermalises for a given set of POVMs for all initial states with a sufficiently narrow energy distribution for which it also apparently equilibrates. Hence, there is the possibility to show thermalisation in systems that do not fulfil the ETH, if one is willing to restrict the class of allowed initial states. As we will see in the following this can indeed be done."
 
Last edited:
  • #79
Dale said:
I am still interested in hearing how you think this is falsifiable. What observation would be inconsistent? I think you are misapplying the definition.

If you observe a three sided object, then that is a triangle, so observation of a three sided object does not falsify it. So what observation would falsify it?

It is only falsifiable according to your own mistaken definition that " there is a set of singular observation sentences which falsifies (i.e., is inconsistent with) Σ " which you subselected without including the broader requirement of logical possibility. According to my own definition the statement is not falsifiable because one has to not only name a possible observation but has also to verify whether the observation is logically possible. You seem to have no problem applying the correct definition, and you just did so in this post.
 
  • #80
madness said:
My question is which kind of "law" is the 2nd law of the thermodynamics? And pointing out a case in which we can imagine the 2nd law being falsified won't work, as we can apply the same logic to other statistical laws, including the law of large numbers.

Sir Arthur Stanley Eddington in “THE NATURE OF THE PHYSICAL WORLD” (Cambridge, At the University Press (1929)):

Primary and Secondary Law. I have called the laws controlling the behaviour of single individuals "primary laws”, implying that the second law of thermodynamics, although a recognised law of Nature, is in some sense a secondary law. This distinction can now be placed on a regular footing. Some things never happen in the physical world because they are impossible; others because they are too improbable. The laws which forbid the first are the primary laws; the laws which forbid the second are the secondary laws…..

….But for all its completeness primary law does not answer every question about Nature which we might reasonably wish to put. Can a universe evolve backwards, i.e. develop in the opposite way to our own system? Primary law, being indifferent to a time direction, replies, "Yes, it is not impossible". Secondary law replies, "No, it is too improbable". The answers are not really in conflict; but the first, though true, rather misses the point.
 
  • Like
Likes Ranvaldo, hutchphd and vanhees71
  • #81
madness said:
It is only falsifiable according to your own mistaken definition
I don’t think it is falsifiable even with that definition (which isn’t mine, it is Hempel and Popper’s according to your source). What observation can be made to falsify it? You can write down the sentence “square with three sides” but the definition requires an “observation sentence” not merely a “sentence”. There is no observation you can make which corresponds to that sentence, so it isn’t an observation sentence.

If you disagree then spell out the actual observation. What combination of observed lengths and angles leads to a falsification?
 
Last edited:
  • #82
Dale said:
I don’t think it is falsifiable even with that definition (which isn’t mine, it is Hempel and Popper’s according to your source). What observation can be made to falsify it? You can write down the sentence “square with three sides” but the definition requires an “observation sentence” not merely a “sentence”. There is no observation you can make which corresponds to that sentence, so it isn’t an observation sentence.

If you disagree then spell out the actual observation. What combination of observed lengths and angles leads to a falsification?

You quoted a small part of the definition attributed to Hempel and Popper but left out the part that stated the observation must also be logically possible. You now appear to have resorted to defining observation sentence to mean "sentence pertaining to an observation which is also logically possible", which is the same as my definition anyway. In fact, that isn't the definition of an observation sentence.

https://plato.stanford.edu/entries/quine/#ObseSent
 
  • #83
madness said:
In fact, that isn't the definition of an observation sentence.
So what is? I had encouraged you by PM to provide all of the definitions of the unfamiliar terms. I am not trying to cherry-pick a definition, but the one that I picked had the least unfamiliar terminology.

madness said:
You quoted a small part of the definition attributed to Hempel and Popper but left out the part that stated the observation must also be logically possible.
I quoted the whole part you quoted. If you provided an incomplete reference that is on you.
 
  • #84
Dale said:
I quoted the whole part you quoted. If you provided an incomplete reference that is on you.

That's simply false. I boldfaced the statement on logical possibility in the quote I posted and you left it out.
 
  • #85
madness said:
That's simply false. I boldfaced the statement on logical possibility in the quote I posted and you left it out.
That wasn’t part of the definition. It was a subsequent explanatory paragraph! Look at it. There is the definition I quoted, then the statement that the previous sentence is the one used by Popper. Then the subsequent explanation. That is not part of the definition.

In any case, I just read the link on observation sentences and it completely corroborates my assertion. Your “observe a 3 sided square” is not an observation sentence. There is no set of sensory stimuli that correspond to it.
 
Last edited:
  • #86
Dale said:
In any case, I just read the link on observation sentences and it completely corroborates my assertion. Your “observe a 3 sided square” is not an observation sentence. There is no set of sensory stimuli that correspond to it.

And how did you arrive at that conclusion? Presumably by noting that the observation would be logically impossible. Or put another way, that there is no logically possible world in which the observation could occur.
 
  • #87
madness said:
A justification for the assertion that such the observation suggested in post #61 is logically possible.

Logic is only as good as the assumptions or givens. A logical deduction about a proposed experiment on a system is only as good as the givens assumed. If the givens are garbage, so is the logical conclusion one has made. If the system in #61 doesn't conform to the assumptions one is making about it, then it's the assumptions which must be changed. Hence the experiment has falsified the assumptions or the model of said system.
 
  • #88
madness said:
And how did you arrive at that conclusion?
By noting that “I observe a three sided square” is not an observation sentence since it does not correspond to any sensory stimulus or combination of sensory stimuli. As I already said.

If you disagree then spell out the actual observation. What combination of observed lengths (ruler observations) and angles (protractor observations) leads to a falsification?

Purely by Poppers definition the second law is falsifiable and your straw man is not.
 
  • #89
Dale said:
By noting that “I observe a three sided square” is not an observation sentence since it does not correspond to any sensory stimulus or combination of sensory stimuli. As I already said.

And how did you come to know that “I observe a three sided square” "does not correspond to any sensory stimulus or combination of sensory stimuli"? Presumably you will admit that “I observe a four sided square” does correspond to a sensory stimulus? And yet the difference between the two sentences can only deduced from logical considerations.
 
  • #90
madness said:
And how did you come to know that “I observe a three sided square” "does not correspond to any sensory stimulus or combination of sensory stimuli"? Presumably you will admit that “I observe a four sided square” does correspond to a sensory stimulus? And yet the difference between the two sentences can only deduced from logical considerations.
If we are arguing about the meaning of threeness or fourness then we are not arguing about universes. We are arguing about words.

If we are arguing about what it entails for an object to have three sides or four sides, we are not arguing about the problem at hand. We are arguing about definitions.

Once we have dispensed with details of interpretation, there is no physical problem remaining. All that remains is a dispute about whether three is equal to four. Or whether four is equal to four. We need not invoke universes to argue that. [In my view, "three" is part of the model, not part of the universe].
 
  • Like
Likes russ_watters
  • #91
madness said:
how did you come to know that “I observe a three sided square” "does not correspond to any sensory stimulus or combination of sensory stimuli"?

Because having four sides is part of the definition of a square, as has already been pointed out.
 
  • #92
PeterDonis said:
Because having four sides is part of the definition of a square, as has already been pointed out.

Exactly, which is equivalent to saying that the observation can't occur because it's logically impossible.
 
  • #93
madness said:
Presumably you will admit that “I observe a four sided square” does correspond to a sensory stimulus?
The relevant observation sentence would be eg “I observe four straight connected line segments each of 1 m length by ruler with four 90 degree interior angles by protractor”. That is the sensory stimulus, a series of observable measurements.

There are no such observation statements that correspond to your straw man. So just purely by Poppers definition the second law is falsifiable and your straw man is not. There is no need to add the additional language. Poppers definition is sufficient on its own.

In this case it is true that the reason there is no observation sentence is because of logical impossibility. But the reason is not necessary for the definition, merely the fact that there is no such observation sentence.

There are other situations where there is no observation sentence and the reason has nothing to do with logic. For example, the Lorentz aether is perfectly logically possible but is designed so that there is no observation sentence that can be attributed to it. The Lorentz aether is therefore non-falsifiable, but logically possible. So the key is the existence or non-existence of observation sentences, not logical possibility or impossibility.

Importantly, I was not quoting out of context nor twisting words. I was correctly applying the quoted definition to reach the clear conclusion that the 2nd law is falsifiable and the straw man is not. So your posts 62 and 79 are wrong.
 
Last edited:
  • Like
Likes russ_watters
  • #94
Dale said:
The relevant sensory stimulus would be eg “I observe four straight connected line segments each of 1 m length by ruler with four 90 degree interior angles by protractor”. That is the sensory stimulus, a series of observable measurements.

This line of argument equates to denying that the original statement was an observation statement. An observation statement is taken to be a statement about sense experiences that can be directly used for falsification, and which does not require to be further decomposed into simpler sensory stimuli to be applied. Quine used examples such as "the cat is on the mat", but he emphasised the requirement of intersubjective agreement on the utterance within a community of speakers. If (as you appear to argue) "I see a four sided square" isn't already sufficient to define the observation, then it's not an observation statement. But that's not how the term was intended, at least by Quine, and "I see a four sided square" is already good enough as is. If anything, the reason "I see a 4 sided square" would be considered an observation statement while "I see a 3 sided square" would not is that there would not be intersubjective agreement among the community of speakers in the latter case. At least according to the definitions in the source below.

Source: https://www.jstor.org/stable/pdf/42969075.pdf?refreqid=excelsior%3A17843ed1c85feac7ab9dc15b66cc5f5d

"Such, then, is an observation sentence: it is an occasion sentence whose occasion is not only intersubjectively observable but is generally adequate, moreover, to elicit assent to the sentence from any present witness conversant with the language. (Quine (1975a) p. 73)"

" A person p understands the observation sentence s if and only if there is unique set of stimulations such that p and every speaker of the same language as p would assent to s, when asked s in the presence of any member of this set and would dissent from s when asked s in the presence of no member of the set. "

 
  • #95
The reason why you don't see someone flip a coin ten times, and heads every time, is because that is a small percentage of allowed outcomes. The reason why you don't get a royal flush when playing poker is because it is a small percentage of allowed outcomes. The reason why you don't see the air rush to the corners of the room is because trajectories of air molecules that lead to that configuration are a small percentage of allowed trajectories. Of course, it is possible in all these cases. Of course, it possible to flip a coin ten times in a row, and get heads every time. If you flip a coin enough times, it is guaranteed to happen. Of course, it is possible to get a royal flush while playing poker. Of course, it is possible for the air to rush to the corners of the room. If you wait long enough, it is guaranteed to happen. It is possible for entropy to decrease. It is possible for the Second Law of Thermodynamics to be violated.

In Renaissance Europe, they had absolute monarchy and the divine right of kings. The laws were not the result of any legislative process. Laws were simply decreed by the king. You were not allowed to debate whether the laws could be different or ask why they are the way they are, because that would be questioning the will of the king. It was assumed that the laws must always be followed since to imply otherwise was treason punishable by death.

In Renaissance Europe, they made an analogy between a country and the Universe, and the king and God. Whatever a scientist's private beliefs, they had to at at least publicly pretend that their goal was to gain insight into God's will. Natural laws were simply decided by God. You were not allowed to debate whether the laws could be different or ask why they are the way they are, because that would be questioning the will of God. It was assumed that the laws must always be followed since to imply otherwise was blasphemy punished by eternal damnation. This analogy is the reason for the use of the word "laws" in physics. It was assumed that all "laws" were sacred, and that "laws" in physics must always be true.

This changed in the 19th Century. Government shifted from absolute monarchy to parliamentary democracy. Science became more secular, and openly contradicted the church with such things as the age of the Earth, or evolution. It was also recognized that so-called laws in physics were not always true. You were allowed to ask why laws were true, or usually true, or under what circumstances, they were true. We now know that many laws are not always true. For example, Ohm's law does not apply to non-linear elements, such as diodes. With this new way of thinking, we quit using the word "law". This is why we say "Maxwell's laws" but do not say "Einstein's laws" when referring to the various equations discovered by Einstein. However, in physics. we do not change the names of things. We are not going to stop using the name "Maxwell's laws" and start calling them "Maxwell's equations". If you hear someone calling something a "law" in physics, it is only because they referring to something that was named before we quit using the word "law".
 
  • #96
madness said:
he emphasised the requirement of intersubjective agreement on the utterance within a community of speakers
And there is no such agreement for “I observe a three sided square”. So again Poppers definition is sufficient and your posts 62 and 79 are wrong.
 
  • #97
Dale said:
And there is no such agreement for “I observe a three sided square”. So again Poppers definition is sufficient and your posts 62 and 79 are wrong.

Yep, that's what I wrote. But your posts are also wrong :P
 
  • #98
madness said:
Yep, that's what I wrote. But your posts are also wrong :P
Which one? Certainly not my 61.
 
  • #99
Dale said:
Which one? Certainly not my 61.

Specifically certain claims in most of the posts you made from 85 onwards, that an observation sentence needs to spell out a set of sensory stimuli to be valid. I had conceded openly a few times and long ago that I had become convinced the 2nd law was falsifiable, as you claim in 61.
 
  • #100
Also, it still seems to me that the only way we know there couldn't be intersubjective agreement by a community of speakers regarding the statement "I see a square with 3 sides", is that it is logically impossible. So as far as I can see, my reasoning was correct.
 
Back
Top