Aukštesnės eilės logika – tai logikos, kuriose nagrinėjama aukštesnės eilės kvantorių ir aukštesnės eilės tapatybės loginės savybės. Klasikinė kvantorinė logika yra pirmos eilės, mat joje galima kvantifikuoti tik vardo pozicijoje esančius termus. Pavyzdžiui, joje iš
- (1) Sokratas yra žmogus (Pa)
galima išvesti tai, kad
- (2) kažkas yra žmogus (∃xPx)
Aukštesnės ėilės logikoje galima kvantifikuoti ir predikato poziciją – iš (1) taip pat galima išvesti tai, kad
- (3) Sokratas yra kažkoks (∃X Xa).