etotheipi said:
I wonder if there is a redundancy in the second postulate. If the first postulate amounts to saying physical laws take the same form in all IRFs, then naturally Maxwell's equations take the same form in all IRFs. Then from Maxwell's equations you can derive the wave equation for ##\vec{E}## and ##\vec{B}##, and deduce that light propagates at ##1/\sqrt{\varepsilon_0 \mu_0}## in all IRFs. So perhaps the second postulate is more a case of asserting "Maxwell's equations are correct physical laws". I don't know, hopefully someone explains it better!
(P.S. when you take (Lorentz invariant) Maxwell's equations as true then you notice that the correct way to transform components between IRFs must be the Lorentz transform, and that Galilean velocity addition must only be approximation which holds in low speed regime.)
Yes, and that's how Maxwell got to the conclusion that light might be electrocmagnetic waves. In our modern SI units the ##\mu_0## and ##\epsilon_0## can be measured by electrostatic and magnetostatic experiments and then from Maxwell's equations you get that there must be waves of the em. field in free space with the speed ##c=1/\sqrt{\epsilon_0 \mu_0}##, and that speed turned out to be equal (within the accuracy of the measurements by Kohlrausch and Weber) to the speed of light in vacuum (or air for that matter). Of course at that time the physicists used more natural (though less convenient) units, namely either the electrostatic or the magnetostatic units, and there this characteristic speed came from the relation between the electrostatic and magnetostatic charge units.
The difference in thinking at Maxwell's time, i.e., around 1865 when he discovered his equations, was however that the fact that these equations are not Galilei invariant was not to come to the conclusion that the spacetime model had to be adapted but to the contrary that this finally established an absolute inertial frame of reference a la Newton in an operational way. The idea was that em. waves are waves of a very strange medium, called the aether, and that this aether's restframe provided the absolute inertial restframe of Newtonian mechanics.
At the first glance this model worked very well, and today we know why: If you make experiments concerning the em. phenomena in moving media the now known relativistic laws lead to the same result as the aether-theoretical ones at the order ##v/c##, where ##v## is the velocity of the moving medium and ##c## the vacuum speed of light. To see deviations from aether theory you need experiments which can resolve deviations in the next order, ##(v/c)^2##. The classical experiments that achieved this were the well-known Michelson-Morley "aether-wind experiment" (with the famous null result in contradiction to aether theory) and the Trouton-Noble experiment (again a null result in contradiction to the expecations from aether theory).
It took quite some time to come to the quite radical conclusion that the space-time model and the mechanical laws had to be adapted such as to be consistent with the invariance of the Maxwell equations when changing from one inertial frame to another. The corresponding Lorentz transformations were known for quite a while. They were found (in preliminary form though) already by Woldemar Voigt, but taken as a mathematical curiosity rather than of physical value. Also Lorentz, FitzGerald, Poincare, et al did not give up aether theory too easily (I'm not sure whether they finally really gave it up) after Einstein's breakthrough in 1905.