Seven Treatises on Valid Cognition
Written by Dharmakīrti as a detail commentary on the works of Dignāga, they became the fundamental works (mūla) to be studied on logic.
The principle text, containing the 'body' of the system is the
- Pramāṇa-vārtika - consisting of four chapters on
- Inference
- Valid cognition
- Sense perception
- Logic
The remaining texts, considered the 'six feet' of this text, are:
- The two abridgments of the Pramāṇa-vārtika called:
- Pramāṇa-vinišcaya
- Nyāya-bindu
These both contain three chapters dealing with: sense perception, inference, and logic.
Then:
- Hetubindu - a short classification of logical reasons
- Sambandha-parīkṣā - an examination of the problem of relations
- Codanā-prakaraṇa - a treatise on debate
- Santānāntara-siddhi - a treatise on the reality of other minds, directed against the position of Solopsism (the theory that only the self exists).
All these works, aside from the Nyāya-bindu, are lost in the original Sanskrit but remain as translated works then the Tibetan Tengyur (bstan 'gyur).
Source: Buddhist Logic Volume 1 - TH. Stcherbatsky: p37