What did logical empiricism try to combine with mathematical logic