- #36
Haelfix
Science Advisor
- 1,965
- 233
You can go about this in so many ways, its easy to get confused. Keep in mind science involves a lot of intrinsically circular reasoning, the big difference from usual propositional logic is that at the end of the day we have experiment to ensure the consistency of the model.
Its really no different than picking an axiomatic system, and then choosing extra axioms that are really related by theorems to former ones, eg they are not necessarily independant.
In the original work of Einstein, the constancy of the speed of light/information is an axiom. You are of course free to not do this and pick another axiom as fundamental, and for instance classical field theory (Landau/Lifschitz) more or less does this and instead rederives the former as a theorem.
Its really no different than picking an axiomatic system, and then choosing extra axioms that are really related by theorems to former ones, eg they are not necessarily independant.
In the original work of Einstein, the constancy of the speed of light/information is an axiom. You are of course free to not do this and pick another axiom as fundamental, and for instance classical field theory (Landau/Lifschitz) more or less does this and instead rederives the former as a theorem.