Nereid
Staff Emeritus
Science Advisor
Gold Member
- 3,392
- 3
One small (metacristi said:We haven't escaped of problems yet,even using observables other than spin.As far as I know the last such experiment,using ions,is not considered as compeling because they were not enough separated in space.So mere skepticism is still rational.Anyway since establishing a standard of knowledge (openly accepted as fallible) does not involve absolute truth I consider the current evidence as representing a sufficient reason to support the rejection of local hidden variables.If some compelling data against will ever appear,way beyond a mere skepticism,counting as sufficient reasons,science will (re)accept the principle of locality.However this does not mean we are deceived now in accepting provisionally the rejection of locality as knowledge.
As regarding the validity of modus ponens,well the problem is much more complicated.We have no proof that logic should apply with necessity to natural facts,even if a conclusion were unique and unavoidable logically,deduced from true premises.Likewise with the modus tollens when applied in this case (the premises are fallible).Even if we had 100% empirical certainty that Bell's inequalities are violated (more generally all such types of equalities,even those involving single detection) we still need to assume the validity of the modus tollens scheme as applying to nature in order to accept that one of the premises is false.For example some might argue that logic does not apply here to nature,that is even if we are compelled to think (as logic indicates) that one premise is false this does not mean also that ontologically this must be the case.Basically there is no way to avoid this on empirical grounds entirely but,as I've pointed before,we have enough reasons to prefer that logic is a valid 'tool' even here.

