Logical Axioms are the rules that decide what can and can’t happen. Then, our physical world is one application of these to some starting physical position (and that may be logical defined too, read this post, or Good and Real).
Logic is useful when we have uncertainty. If we are unsure about a certain variable, we can extrapolate to how the future will be given the different possibilites—the different variables that are logically consistent within a causal universe that fits with everything else we know. Of course, if we had no causal knowledge whatsoever, then we’d not have anything with which to apply logic (kinda like this post, with causal reference being emotions, and logic being logic).
So, I’m saying that logic can define how everything that could be would work, which we deduce from our universe’s laws. If we have uncertainty, then logic defines the possibilites. If we pretend to have only the knowledge of one law, like ‘1 + 1 = 2’, then we can find out more using logic. And this is the study of mathematics.
I think Logical Axioms are the rules that decide what can and can’t happen. Then, our physical world is one application of these to some starting position (and that may be logical defined too, read this post, or Good and Real).
No, logical axioms are much too general from that. You need physical laws to projoect the future state of the world, and they are much more specific than logical axioms.
Could you provide an example please? I must apologise, I’m not competent with fundamental laws of physics, but why can’t the most basic laws (the ‘wave function’ is apparently one of them) be specified logically? Wouldn’t that just be a mathematical description of the first state of a universe? Then that whole universe, specified by the simplest law(s) would be one universe, and to those/us within that world would only be able to be affected by the things causally connected.
(I suppose I’m talking Tegmark’s stuff, although I’ve only read Drescher’s account)
Okay. I tried to respond here, but I’m not qualified to do so. I’ll just state what I’m thinking, and then, if you could point out what I might be confused about, I’ll leave it there and might go read some books.
I think this is a confusion of definitions. If every universe is described in logic, then the physical laws are a subset of those. So, logic describes everything that is consistently possible and then whichever universe we’re in is a subset. Logic describes how our universe works. So the Great Reductionist Project is defining which branch of logical description space we are, and showing on the way that no part of the universe is not describable within logic.
No, if you buy a book on logic, it doens’t describe the universe.To get a description of our universe in mathematical/logical terms, you have to add in empirical information. There is a convenient
shorthand for that: physics. Physics described how our universe works.
So the Great Reductionist Project is .. showing on the way that no part of the universe is not describable within logic.
Huh? How can it show that? Whether there is part of our universe that is not describable by logic is an empirical claim. Science could encouner somethig irreducible are any point.
Logical Axioms are the rules that decide what can and can’t happen. Then, our physical world is one application of these to some starting physical position (and that may be logical defined too, read this post, or Good and Real).
Logic is useful when we have uncertainty. If we are unsure about a certain variable, we can extrapolate to how the future will be given the different possibilites—the different variables that are logically consistent within a causal universe that fits with everything else we know. Of course, if we had no causal knowledge whatsoever, then we’d not have anything with which to apply logic (kinda like this post, with causal reference being emotions, and logic being logic).
So, I’m saying that logic can define how everything that could be would work, which we deduce from our universe’s laws. If we have uncertainty, then logic defines the possibilites. If we pretend to have only the knowledge of one law, like ‘1 + 1 = 2’, then we can find out more using logic. And this is the study of mathematics.
No, logical axioms are much too general from that. You need physical laws to projoect the future state of the world, and they are much more specific than logical axioms.
Could you provide an example please? I must apologise, I’m not competent with fundamental laws of physics, but why can’t the most basic laws (the ‘wave function’ is apparently one of them) be specified logically? Wouldn’t that just be a mathematical description of the first state of a universe? Then that whole universe, specified by the simplest law(s) would be one universe, and to those/us within that world would only be able to be affected by the things causally connected.
(I suppose I’m talking Tegmark’s stuff, although I’ve only read Drescher’s account)
You could, but that is not what is usually meant by “logical axiom”. The rules that decide what can and can’t happen are called physical laws.
Okay. I tried to respond here, but I’m not qualified to do so. I’ll just state what I’m thinking, and then, if you could point out what I might be confused about, I’ll leave it there and might go read some books.
I think this is a confusion of definitions. If every universe is described in logic, then the physical laws are a subset of those. So, logic describes everything that is consistently possible and then whichever universe we’re in is a subset. Logic describes how our universe works. So the Great Reductionist Project is defining which branch of logical description space we are, and showing on the way that no part of the universe is not describable within logic.
yes, largely.
No, if you buy a book on logic, it doens’t describe the universe.To get a description of our universe in mathematical/logical terms, you have to add in empirical information. There is a convenient shorthand for that: physics. Physics described how our universe works.
Huh? How can it show that? Whether there is part of our universe that is not describable by logic is an empirical claim. Science could encouner somethig irreducible are any point.