The science of Buddhist Logic was developed in India based on the writings of Masters like Dignaga and Dharmakirti during the 5th through 7th centuries CE. This tradition of logic, which itself developed based on one of the six main schools of Hindu philosophy known as Nyaya, developed rules of logical and epistemological reasoning. Jamgon Kongtrul says in his Treasury of Knowledge that the purpose of Buddhist logic is to “eradicate wrong understanding with regard to all objects of knowledge that are not directly evident but are held to be indirectly evident to one’s mind”. During subsequent centuries in Tibet, each one of the different Buddhist traditions that evolved there developed its own distinct interpretation and composed its own texts on the subject matter. This system also forms the foundation for debate. This formal philosophical debate (རྩོད་པ་) tradition is still very much alive in Indo-Tibetan Buddhism and it is used as a pedagogical tool for monks and nuns who study at the shedra (monastic university) branch of their monasteries. Traditionally in Tibet, the shedra was reserved only for monastics, but nowadays there are a few that are open to both monastics and lay practitioners. There are also many online shedras as shown below.