 Most free logics have been first-order, their quantifiers ranging over individuals. Recently, however, some work on higher-order free logics has appeared. Corine Besson (2009) argues that internalist theories of natural kinds require second-order free logics whose quantifiers range over kinds, and she finds precedent for this idea ranging as far back as Cocchiarella (1986). Andrew Bacon, John Hawthorne, and Gabriel Uzquiano (2016) explore the possibility of using a higher-order free logic to resolve certain intensional paradoxes, but they find that this idea faces daunting difficulties. Timothy Williamson (2016) reluctantly concurs. This article, however, focuses mainly on first-order logics.