Mantiqfan is a study of logic, focusing on formal, dialectical, and classical logic, as well as different forms of thinking and laws.