Загварын онол

Математик логикийн хувьд загварын онол нь албан ёсны онолуудын хоорондын хамаарлыг судалдаг (Математикийн бүтцийн мэдэгдлийг илэрхийлсэн албан ёсны хэл дээрх өгүүлбэрүүдийн цуглуулга),бас тэдний загварууд (онолын мэдэгдлүүд багтсан тэдгээр бүтэц).Онолын загваруудын тоо хэмжээ, өөр өөр загваруудын харилцан хамаарал тэдгээрийн албан ёсны хэлтэй харилцан үйлчлэл зэргийг судалсан асуудлууд орно. Тухайлбал, загварын онолч нь онолын загварт тодорхойлж болох олонлогууд болон тэдгээр тодорхойлогдох олонлогуудын хоорондын хамаарлыг мөн судалдаг. Загварын онол нь тусдаа шинжлэх ухаан болохын хувьд 1954 онд хэвлэгдсэн "Загварын онол" гэсэн нэр томьёог анх ашигласан Альфред Тарскид буцаж ирдэг. 1970-аад оноос хойш энэ сэдвийг Сахарон Шелагийн тогтвортой байдлын онол шийдэмгий байдлаар боловсруулж ирсэн.

Баталгаажуулах онол гэх мэт математик логикийн бусад салбаруудтай харьцуулахад загварын онол нь албан ёсны хатуу ширүүнд бага анхаарал хандуулж, нотлох баримттай математиктай илүү ойр байдаг. Энэ нь "Хэрэв нотлох онол нь ариун байдлын тухай юм бол загварын онол нь бузар зүйлийн тухай" гэсэн тайлбарыг хийхэд хүргэсэн. Загварын онолыг алгебр болон диофантийн геометрт хэрэглэх нь сонгодог математиктай ойр байгааг илтгэдэг, учир нь тэдгээр нь ихэвчлэн алгебрийн болон загварын онолын үр дүн, арга техникийг нэгтгэдэг. Иймээс нотлох онол нь синтакс шинж чанартай байдаг ба семантик шинж чанартай загварын онолоос ялгаатай.

Загварын онолын салбар дахь хамгийн алдартай эрдэм шинжилгээний байгууллага бол Симболик логикийн холбоо юм.