friend
- 1,448
- 9
Simon Bridge said:Philosophy of Science 101:
Topics: Realism vs Phenominalism, Empiricism vs Rationalism, and the problem of Induction.
Major figures: Carl Popper and Sam Kuhn.
A proposition "proved" by logic alone is just an extension of whatever model was used for axioms... it just says that the proposition is consistent with these models. It does not tell you that the proposition is true of Nature.
The models themselves must include synthetic propositions if they are to be scientific - and the truth of synthetic statements cannot be known a-priori. There are some things you cannot know just by thinking about them. i.e. you have to go look. It is not just physics that is like this - it's any empirical science.
We should consider that whatever synthetic proposition we would start with can be comprised of a conjunction of other propositions used to describe it in finer detail. And even these can be decomposed into a conjunction of even finer propositions. And this process can go on until we are considering propositions that carry the minimum of physical information, exists or does not exist, on or off, true or false, propositions in the most basic general form, pure informational. And if this is done, then at that level we are describing physics in terms of abstract logic alone.
Simon Bridge said:Which means that Deep Thought cannot deduce the existence of rice pudding and income tax starting from, "I think, therefore I am". Which is why it's a joke.
It would be a serious paradigm shift to go from the normal trial-and-error method of science, to including physics as a part of math or logic. I don't think any attempt would even be considered in refereed publications, even if it were easily understandable with high-school math. And so there will be no attempt to publish here. But if you really want to see the math, then send me a Private Message, and I'll give you a link. That might prove to be a very interesting conversation.