Quote:
Originally Posted by PairTheBoard
Hope your research has gone well.
Thanks. I've been looking at infinitary logic lately (logic that allows countable conjunctions and disjunctions). I was reflecting on all our old conversations and thought I'd drop back in. It's much quieter than I remember, but nice to see a lot of the same people still around.
Quote:
Originally Posted by PairTheBoard
This is news to me that mainstream physics has rejected classical logic and probability to accommodate locality and quantum effects. Exactly what do they modify in classical logic to do this. Do they substitute a sliding scale for the law of the excluded middle?
It is the distributive law of conjunction over disjunction that fails. As far as I know, it's not replaced by anything. The
Wikipedia article is a good jumping-off point. But I believe the rejection of probability theory, as outlined in Bell's paper, can be also be used to demonstrate a violation of classical logic. What I have in mind is that some use of the law of large numbers can transform the probabilistic contradiction into a deterministic contradiction. Exploring this is on my back-burner to-do list.
Quote:
Originally Posted by PairTheBoard
Also, from what I remember the last time we looked at Bohm's model, it's deterministic based on a Universal Schrodinger wave function that depends on unknown initial conditions. Are the unknown initial conditions where the "intrinsic randomness" you mentioned come in? Are those initial conditions just unknown or might they be intrinsically uncertain or even indeterminate?
What would be the difference between "intrinsically uncertain" and "indeterminate"? I believe you are right about the unknown initial conditions, but this is just one way of looking at it. For instance, the solution to a PDE might be uniquely determined by specifying initial conditions. But it might also be determined by specifying terminal conditions, or conditions on a hypersurface, or various types of boundary conditions, or some combination of these, for instance. Looking at any of these and saying "
that's the source of the randomness" is rather arbitrary.