The difference between experimental sciences and formal sciences is the difference between Reductionism and Reductio ad absurdum.
Reductio ad absurdum is simply not possible in any experimental framework and is the hallmark of sciences based on formal logic.
