Do we need to have 'faith' in logic?