empirism logic