olemus
predikaatloogika, milles kvantifitseeritakse lisaks subjektmuutujatele ka predikaatmuutujaid

näide
teist järku loogika lause:
"sellest, et iga omaduse P korral kehtib P(x) parajasti siis,
kui kehtib P(y), järeldub, et x = y"

ülevaateid
https://en.wikipedia.org/wiki/Second-order_logic

http://phil.elte.hu/mekis/sol.pdf

http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Jerzak.pdf

http://people.ucalgary.ca/~rzach/static/open-logic/content/second-order-logic/second-order-logic.pdf

http://www.math.helsinki.fi/logic/people/jouko.vaananen/VaaSec.pdf

vt ka
- esimest järku predikaatloogika
- matemaatiline loogika
- predikaatloogika