empirical logic