magasabb rendű logika

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A magasabb rendű logika az elsőrendű logika egy továbbfejlesztése. Az elsőrendű logikában vannak a világot leíró objektumok, és az objektumokon vagy objektumok között értelmezett függvények és relációk. A magasabb rendű logikában az objektumokon vagy azok között értelmezett függvények és relációk is objektumokként kerülnek kezelésre, így ezekről is képesek vagyunk különböző állításokat vagy kérdéseket megfogalmazni. Minden elsőrendű logikai állítás kifejezhető a magasabb rendű logikával de nem minden magasabb rendű logikai állítás fejezhető ki elsőrendű logikával. Tehát a magasabb rendű logika nagyobb kifejezőerővel bír.