A Philosophical Introduction to Higher-order Logics av Andrew Bacon

Dette er den første omfattende læreboken om høyere-ordens logikk, skrevet spesifikt for å introdusere emnet til ph.d.-studenter i filosofi. Boken dekker både de formelle aspektene av høyere-ordens språk, inkludert modellteori og bevisteori, samt teorien om ?-abstraksjon og dens generaliseringer. Den tar også for seg filosofiske anvendelser, med særlig vekt på emner som modalitet og proposisjonell granularitet. Med et sterkt fokus på ikke-ekstensional høyere-ordens logikker, er denne boken mer passende for grunnleggende metafysikk enn andre introduksjoner til emnet fra datavitenskap, matematikk og lingvistikk. "A Philosophical Introduction to Higher-order Logics" forutsetter kun at leserne har en grunnleggende kjennskap til førstepords logikk. Med et sterkt fokus på oppgaver og øvelser kan den brukes som lærebok, men er også ideell for selvstudium. Forfatter Andrew Bacon organiserer bokens 18 kapitler rundt fire hoveddeler: I. Typet språk II. Høyere-ordens språk III. Generell.