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 qiyas 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 qiyas. The author develops a framework for qiyas 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 qiyas 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 qiyas as well their dialectical and argumentative aspects, historical background and context of Banjar, and demonstrates how the theory of qiyas 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.

Autorentext

Muhammad Iqbal: Lecturer and researcher at Universitas Islam Negeri Antasari Banjarmasin Indonesia. His interests are logic and epistemology in Islamic tradition.

Inhalt

1. A General View of Qiyas: A Dialectical Reading.- 2. Dialectical System of Qiyas Al- illa.- 3. Dialectical System of Qiyas Al-Dalala and Qiyas Al-Shabah.- 4. Arsyad Al-Banjari: A Banjarese Shafi'I Scholar.- 5. Systems of Qiyas in Arsyad Al-Banjari's Works.- 6. Arsyad Al-Banjari's Qiyas for Integrating Banjarese Traditions into Islamic Law.- 7. Qiyas and Contemporary Models of Parallel Reasoning.