Vitalsource Technologies, Inc. Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction