A Philosophical Introduction to Higher-order Logics