the problem of the empirical basis Just as a logical proof has reached a satisfactory shape when the difficult work is over, and everything can be easily checked, so, after science has done its work of deduction or explanation, we stop at basic statements which are easily testable.