Non-ontological constructs : the effects of Abaelard's log. and eth. theories on his theology ; a study in meaning and verification