The Proslogion argument of Anselm as a non-reductionist example of philosophical theology