Ordenꜛ van logica

((Te doen. Het onderstaande klopt niet voor logica's van eindige orde.))

De tot nog toe behandelde logica is van de eerste orde. In een eerste-orde­logicaꜛ zijn formules en argumenten strict gescheiden. In een hogere-orde­logicaꜛ is die scheiding minder strict, en kan bij voorbeeld een argument als formule optreden.