Vitalsource Technologies, Inc. A Philosophical Introduction to Higher Order Logics