This book provides an epistemological study of the great Islamic scholar of Banjarese origin, Syeikh Muhammad Arsyad al-Banjari (1710-1812) who contributed to the development of Islam in Indonesia and, in general, Southeast Asia. The work focuses on Arsyad al-Banjari¿s dialectical use and understanding of qiy¿s or correlational inference as a model of parallel reasoning or analogy in Islamic jurisprudence. This constituted the most prominent instrument he applied in his effort of integrating Islamic law into the Banjarese society.This work studies how Arsyad al-Banjari integrates jadal theory or dialectic in Islamic jurisprudence, within his application of qiy¿s. The author develops a framework for qiy¿s which acts as the interface between jadal, dialogical logic, and Per Martin-Löf¿s Constructive Type Theory (CTT). One of the epistemological results emerging from the present study is that the different forms of qiy¿s applied by Arsyad al-Banjari represent an innovative and sophisticated form of reasoning. The volume is divided into three parts that discuss the types of qiy¿s as well their dialectical and argumentative aspects, historical background and context of Banjar, and demonstrates how the theory of qiy¿s comes quite close to the contemporary model of parallel reasoning for sciences and mathematics developed by Paul Bartha (2010). This volume will be of interest to historians and philosophers in general, and logicians and historians of philosophy in particular.