Study of logic, including formal, dialectical, and classical logic. Explores the importance of laws of thought and their representation. The word "Mantiq" comes from Arabic and signifies "words", "knowledge", and "science"