A Logical Approach to Spirituality