Хауза — традиционная шиитская исламская академия, духовная семинария, в которой изучаются исламские дисциплины: фикх джафаритского мазхаба, тафсир и другие коранические науки, логика (мантик), история ислама, наука о хадисах (илм аль-хадис), наука о передатчиках хадисов (илм ар-риджал), теология (акида и калам), арабский и другие языки, исламская философия и ирфан.
Основоположником института хаузы является выдающийся шиитский учёный, составитель сборников «Тахзиб аль-ахкам» и «Аль-Истибсар» Абу Джафар ат-Туси (995—1067 гг. н. э.). Он основал хаузу в ан-Наджафе (Ирак), которая оставалась главным центром шиитского знания и образования на протяжении 1000 лет, впоследствии передав пальму первенства аналогичной хаузе в Куме (Иран). Во многом возвышению кумской школы способствовала деятельность имама Хомейни и многих его учителей и предшественников, а в дальнейшем — Исламская революция в Иране, зародившаяся в недрах кумской хаузы.
Исламская логика аналогична той, которую в западных университетах называют традиционной логикой (в противовес современной логике, преподаваемой в рамках курса высшей математики).
Основной текст по логике, который использовался в хаузах в прошлом, — это «Шарх аль-мандума фи-ль-мантик» Сабзевари. Кроме того, и по сей день в некоторых хаузах самым популярным трудом по логике является «Усул аль-мантик» («Основы логики») за авторством шейха аль-Музаффара.
Логика является одной из тех дисциплин, с которой студенты (талабе) начинают своё обучение в хаузе, поскольку она рассматривается в качестве средства постижения всех остальных исламских дисциплин — фикха, принципов юриспруденции (усул аль-фикх), теологии (акида и калам) и исламской философии, хотя постижение последней возможно и вне контекста логики, учитывая наличие в ней ряда интуитивистских, иррациональных течений.
Известный мусульманский философ и логик аль-Фараби определял логику (мантик) как инструментальную, построенную на правилах науку, которая направляет разум к истине и охраняет его от ошибок в размышлениях.