Mysticism and Logic