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-ordelogicaꜛ zijn formules en argumenten strict gescheiden. In een hogere-ordelogicaꜛ is die scheiding minder strict, en kan bij voorbeeld een argument als formule optreden.