The Tibetan science of pramāṇa, or valid cognition, rests first of all on the Indian Buddhist foundations laid by Dignāga and Dharmakīrti. Dignāga’s *Pramāṇasamuccaya* is regarded as the initial systematic presentation of Buddhist logic, while Dharmakīrti’s *Pramāṇavārttika* became the single most important root text for Tibetan epistemology and debate. Dharmakīrti’s other works, such as the *Pramāṇaviniścaya*, *Nyāyabindu*, *Hetubindu*, and *Vādanyāya*, further refine the analysis of inference, reasons, and debate. Together, these Sanskrit treatises provide the conceptual vocabulary and technical distinctions that Tibetan scholars would later translate, interpret, and embody in rigorous monastic training.

As these teachings took root in Tibet, a distinctively Tibetan pramāṇa tradition emerged through a succession of scholar-practitioners. Early on, Chapa Chökyi Senge is remembered as a pivotal Kadam master who adapted Indian pramāṇa to the Tibetan scholastic environment and helped shape formal debate as a discipline. His work, along with that of other early commentators, prepared the ground for more comprehensive syntheses. In this way, the living practice of debate began to mirror the subtlety of the Indian theories, while also responding to the particular needs of Tibetan monastic institutions.

Within this evolving landscape, Sakya Paṇḍita Kunga Gyaltsen stands out as a central architect of Tibetan logic. His *Tshad ma rigs gter* (“Treasury of Logic”) offers a wide-ranging presentation of valid cognition that became a standard reference across traditions. Later, in the Gelug school, figures such as Tsongkhapa Lobsang Drakpa, Gyaltsab Je, Khedrup Je, and Jamyang Shepa deepened and systematized the study of pramāṇa. Their commentaries and summaries of valid cognition, including works like Tsongkhapa’s general exposition of pramāṇa and Jamyang Shepa’s detailed presentations, shaped the structured curricula that still define Tibetan debate training.

Seen together, these texts and figures trace a lineage in which logic is never merely abstract. From Dignāga and Dharmakīrti through Chapa Chökyi Senge and Sakya Paṇḍita to the great Gelug commentators, pramāṇa functions as a disciplined way of seeing: a method for clarifying how things appear and how they are known. The historical development of Tibetan logic thus reflects a continuous effort to wed sharp reasoning with the contemplative path, so that debate in the courtyard serves insight in the meditation hall.