*5*/ 06 7829|7822|7813|7811|7807|7806|7795|7794|7746|7740|7729|7745|7728|7725|7724|7721|7703|7701|7697|7685|7682|7667|7661|7649|7647|7646|7645|7228|7227|7226|7225|7224|7223|7222|7221|7220|7218|7217|7216|7215|2656|2657|2153|2154|2155|2156|2157|2158|301|300|150|2304|151|152|153|154|156|157|302|303|304|305|306|307|308|309|310|2161|2162|2163|2164|2165|2166|2167|2168|2169|2170|2171|2172|2173|2174|2175|2176|2177|2178|2179|2180|2181|2182|2183|2184|2185|2186|2187|2188|2189|2190|2191|2192|2193|2194|2195|2196|2197|2198|2199|2200|2201|2202|2203|2204|2205|2206|2207|2208|2209|2210|2211|2212|2213|2214|2215|2216|2217|2218|2219|2220|2221|2222|2223|2224|2225|2226|2227|2228|2229|2230|2231|2232|2233|2234|2235|2236|2237|2238|2239|2240|2241|2242|2243|2244|2245|2246|2247|2248|2249|2250|2251|2252|2253|2254|2255|2256|2257|2258|2259|2260|2261|2262|2263|2264|2265|2266|2267|2268|2269|2270|2271|2272|2273|2274|2275|2276|2277|2278|2279|2280|2281|2282|2283|2285|2284|2286|2287|2288|2289|2290|2291|2292|2293|2294|2295|2296|2297|2298|2299|2300|2301|2302|2303|2305|2306|2307|2308|2309|2310|2311|2312|2313|2314|2315|2316|2317|2318|2319|2320|2321|2322|2323|2324|2325|2326|2327|2328|2329|2330|2331|2333|2334|2335|2336|2337|2338|2339|2340|2341|2343|2342|2344|2345|2346|2347|2348|2349|2350|2351|2352|2353|2354|2355|2356|2357|2358|2359|2360|2361|2362|2363|2364|2365|2366|2367|2368|2369|2370|2371|2372|2373|2374|2375|2376|2377|2378|2379|2380|2381|2382|2383|2384|2386|2387|2388|2389|2390|2391|2392|2393|2394|2395|2396|2397|2398|2399|2400|2402|2403|2404|2405|2406|2407|2408|2409|2410|2412|2413|2414|2415|2416|2417|2418|2420|2421|2422|2423|2424|2425|2426|2427|2429|2430|2431|2432|2433|2434|2436|2437|2438|2439|2440|2441|2442|2443|2444|2445|2446|2447|2448|2449|2450|2451|2452|2453|2454|2455|2456|2457|2458|2459|2460|2461|2462|2463|2465|2466|2467|2468|2469|2470|2471|2472|2473|2474|2475|2476|2477|2478|2479|2480|2481|2411|2482|2483|2484|2486|2487|2488|2489|2490|2491|2493|2494|2495|2496|2497|2498|2499|2500|2501|2503|2504|2508|2509|2510|2511|2513|2514|2515|2517|2519|2520|2521|2522|2523|2524|2525|2526|2527|2528|2529|2530|2531|2532|2533|2534|2535|2536|2537|2538|2539|2540|2541|2542|2543|2544|2545|2419|2547|2548|2549|2550|2551|2553|2555|2556|2557|2558|2560|2561|2562|2563|2564|2565|2566|2567|2568|2569|2570|2571|2572|2573|2574|2575|2576|2577|2578|2579|2580|2582|2583|2584|2585|2587|2588|2589|2591|2592|2593|2594|2595|2596|2597|2598|2599|2600|2601|2602|2603|2604|2605|2606|2607|2608|2609|2610|2611|2612|2613|2614|2615|2616|2617|2618|2619|2620|2621|2622|2623|2624|2625|2626|2627|2628|2629|2630|2631|2632|2332|2633|2634|2635|2636|2637|2638|2639|2640|2641|2642|2643|2644|2645|2646|2647|2648|2649|2401|2650|2651|2652|2653|2654|2655|7851|

# #266 Atheistic Physicists’ Repudiation of Logic and Probability Theory

May 20, 2012Hello Dr. Craig,

First of all let me say that you are my favorite 'philosopher-missionary' on the scene, and I am just overjoyed and excited everytime I hear that you went somewhere new in the world! I recently watched your debate with the physicist from Finland named Kari . Kari's continued assertion that observations on the sub-atomic level have shown us that classical logic doesn't model the quantum realm is something that is beginning to appear more and more in the blogosphere. I was hoping to get a deeper explanation from you about each of the responses you gave in the debate:

1) Quantum logic is held by a tiny minority of physicists.

2) You seemed to imply that if we adopt a Bohmeian interpretation of quantum mechanics, then classical logic applies to the quantum level (does this also imply that quantum logic presupposes the Copenhagen interpretation of quantum mechanics).

3) I think you said that classical logic is distinct from the 9 rules of 'formal' logic (i.e. modus ponens, modus tollens, etc.) and your arguments don't rely on things like the law of excluded middle; but can you really separate these in this manner?

4) You also said that your arguments rely on observational evidence at macro-level where classical logic clearly does apply and not on any quantum observations. But didn't the universe began in some sort of quantum state which might imply that classical logic cannot guide us in our thinking about the origin of the universe (i.e. maybe something can come from nothing)?

5) It is self-defeating to use formal logic to deny applicability of formal logic at the quantum level.

Thank you,

Kevin

United States

## Dr. craig’s response

A

Kevin, I have been scratching my head about this seemingly crazy repudiation of classical logic and probability theory on the part of certain atheistic physicists ever since my debate with Lawrence Krauss, who took the same line as Kari Enqvist. Krauss even seemed to call into question the truth of theorems of elementary arithmetic like 2+2=4! What could they be thinking?

Since their repudiation of logic and probability theory was put forward as a response to my theistic arguments, it appeared that they are rejecting the rules of inference of formal sentential logic like *modus ponens*, *modus tollens*, disjunctive syllogism, *etc*. My conclusions are alleged, it seems, not to follow because quantum mechanics has overthrown the rules of logic. But that can’t be their contention, for there is nothing in quantum mechanics that would lead one to deny the logical rules of inference, and such a position would be hopeless in any case, since one has then rejected any means of rationally drawing conclusions—including those of the quantum physicist!

So are they rejecting Aristotelian syllogistic logic? That can’t be right, since my arguments don’t depend upon any peculiarities of Aristotelian logic (like the ability to draw existential conclusions from universally quantified statements) that are not part of modern sentential logic.

So maybe they’re repudiating the classical Law of Excluded Middle, the principle which states that for any proposition *p*, either *p* is true or not-*p* is true. A tiny minority of physicists and philosophers, as I mentioned, have sought to develop a quantum logic according to which, due to indeterminacy, certain statements about quantum entities or events are neither true nor false. But Enqvist denied that that was his claim, and, as I said, the program of quantum logic wouldn’t affect any of my arguments anyway, since there’s no ground for thinking that the premises of my arguments, which are not about quantum entities or events, are neither true or false.

It sometimes sounded as if Krauss and Enqvist were rejecting the probability calculus. But Bayes’ Theorem is a rock-solid formula for how probabilities are to be computed. And in my debate with Krauss I wasn’t even using the Theorem as a whole but just talking about certain factors in it, like the probability of God’s existence given our background information and certain specific evidence (like the beginning of the universe, fine-tuning, *etc*.).

So what in the world are these men talking about?

Well, fortunately, after our debate Enqvist and I went out to lunch together, and I was able to ask him directly what he meant. You can imagine my shock when he replied that what he was talking about was the violation of the Bell Inequalities by quantum mechanics! My mind shot back to my debate with Krauss, and it suddenly dawned on me that that is what he also must have been talking about! When Enqvist said this, I replied that the experimental results on Bell’s Theorem exposed a failure of physics but surely not of probability theory itself. But he was adamant, maintaining that the results exposed a deficiency in probability theory, which had predicted the wrong results.

Now this is completely wrong-headed. What John Bell did was use classical probability theory to show that any physical theory which affirms what is called locality (*i.e*., there is no action at a distance; all effects are local) will predict certain statistical results that are at odds with the predictions of quantum theory. The experimental evidence vindicated the predictions of quantum theory. The evidence therefore strongly suggests that the physical world is non-local. (Interestingly, the easiest way to have a non-local physical theory is to abandon Einsteinian special relativity and adopt instead Lorentz’s theory of relativity, which permits causal influences to be propagated at super-luminal velocities and therefore has no problem with the experimental results violating the Bell Inequalities. In fact, Bell’s own personal recommendation was precisely that we take this Lorentzian route. Bohm’s interpretation of quantum mechanics, though fully deterministic, is also a non-local theory featuring absolute simultaneity. For an account of the implications of the experimental results on Bell’s Theorem for relativity theory see my *Time and the Metaphysics of Relativity*, pp. 221-35. But I digress!)

The point is that what the experimental results should lead us to reject is *locality*, not probability theory! Indeed, if you reject probability theory, then locality and quantum theory are NOT incompatible after all! You could happily embrace both quantum mechanics and local, so-called hidden variable theories by just blowing off probability theory! So what if the Bell Inequalities are violated by quantum mechanics? Those inequalities were computed using probability theory, so who cares? Ironically, then, the experimental results to which these physicists appeal to reject probability theory actually presuppose probability theory!

I hope you can see how perverse this attack on probability theory is. The problem exposed by experimental science is not probability theory but the assumption of locality. Faulting probability theory rather than a particular physical theory is like rejecting mathematics because your checkbook fails to balance—but then Krauss did say 2+2=5, didn’t he?

There are some sobering lessons in all this. First, it shows once again what a gross abuse of science some philosophically naïve physicists are guilty of. (If I have misunderstood these gentlemen, then I am eager to be corrected and to hear an explanation of what they mean.) Second, even to suggest a rejection of logic and probability theory in order to avoid theistic conclusions is a sign of desperation. Can you imagine how ridiculed religious people would be if, in order to maintain our view, we had to renounce logic and probability theory? Finally, the tack taken by these thinkers is ultimately counter-productive for them and helpful to theists, for it just is to admit that theism is more logical and more probable than atheism.

**- William Lane Craig**