The Verification Theory and Reductionism